The Data Systems group at Microsoft Research (Redmond) is looking to hire full-time researchers. We are interested in a variety of topics including storage and indexing, resource management, modern hardware, etc. Check out our job posting and apply here: jobs.careers.microsoft.com/global/en/job/…

We're hiring! Please apply to join RiSE @ MSR Both fresh PhDs: jobs.careers.microsoft.com/global/en/job/… And Principal Researchers: jobs.careers.microsoft.com/global/en/job/…

If anyone knows of places that are looking for summer PhD student PL interns, please let me know! Currently looking for summer work that's hopefully related to my field of interest. Happy to send my resume or answer any questions!

Pretty cool to see this temporal server aspire resource! github.com/InfinityFlowAp… A great example of wrapping a command line tool in the aspire resource model. Nomenclature: this is a resource not a component 😅. #dotnet #aspire

whitehouse.gov/oncd/briefing-… Get the facts. And parents, please: talk to your kids about memory safety... before someone else does.

We're hiring again! Very excited to be hiring for roles focused on improving developer productivity through standardizing metrics and best practices. We've got roles for both developers and technical program managers in this space. jobs.careers.microsoft.com/global/en/job/…

One day I’d like to write a “Senior Software Engineer” chatbot that randomly responds to questions with answers like: - “It depends…” - “What are you trying to accomplish?” - “You’re asking the wrong question.”

You can now develop apps using PowerShell 7.4 locally and deploy them to all Azure Functions Windows plans (Linux support coming soon). Upgrade your apps today! aka.ms/azfuncps74

Hi everyone, I'm excited to announce that the Garnet research project is now open source! Garnet is our new cache-store that offers very high performance and adopts the popular RESP wire protocol of Redis. Check it out at github.com/microsoft/garn… and see our blog post quoted here.

Thrilled to announce that Andres Freund (Tech) will be joining Adam Leventhal and me on the next Oxide and Friends! mastodon.social/@bcantrill/112…

It's day three of Cloudflare Developers Developer Week and finally time to share what I've been working on for the past few weeks! Introducing Workflows A thread 🧵 blog.cloudflare.com/data-anywhere-…

An epoch @ Fission is now over. I'm searching for a dope role that leverages my varied background & abilities. Resume: zee.town/zeeshan/resume/ GH: github.com/zeeshanlakhani Scholar: scholar.google.com/citations?user… Into: PL & type systems, Rust, network fns, dist. systems & compute, Wasm.

w/ Fission's farewell (fission.codes/blog/farewell-…) I'm looking for a dope, remote gig. Res: zee.town/zeeshan/resume/ GH: github.com/zeeshanlakhani What I've done/do: PL & type sys., interpreters, DSLs, Rust, network functions, dist. sys. & compute, Wasm, arch, & lead teams

Just discovered "snoozing" emails and I think my productivity is about to go through the roof

📢 Calling all distributed app developers! We're seeking participants for a paid user research study. If you build backend app logic using infrastructure like pub/sub message brokers and state stores, we want to talk to you! Interested? Sign up here: userinterviews.com/projects/4lQ4V…

I am in .NET binding redirect hell and I can't escape

An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with other fantastic students. jobs.careers.microsoft.com/global/en/job/…

On a personal note - I've joined the visual C++ org at Microsoft to work on ASan, the address sanitizer: a fast runtime tool for detecting memory safety errors. I'm very excited to be working within a programming languages group and to dive head first into sys programming!

The Durable Task Scheduler brings forward a focus on observability, debuggability, and performance. Some very important foundations are being laid with this project; very excited to see it announced now!