Tony Hoare (1934-2026) Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

blog.computationalcomplexity.org/2026/03/tony...

it was going to happen, death comes for us all. but man. what a legend

Rob Grant. I can’t believe it. All love and respect to his family.

Half of the team that showed teenage me how ambitious sitcom storytelling could be - so well that I made it a career.

I rewatched Red Dwarf: Terrorform tonight. Because it always felt to me like an especially Robbish episode.

RIP Rob Grant 😢

www.independent.co.uk/arts-entertainment/tv/ne...

Typst is used to create the official Swift reference. Check the repo for a great example on how to create long-form documentation with Typst.

It's an MTV simulator with almost 30,000 videos, organized by decade, with special sections for Headbanger's Ball and Yo! MTV Raps. This is so good.

I regret that I answered "yes" to "Is there Home Alone <N>?" questions where N > 2.

Happy Christmas everyone! Hope you all have a fab day!

#Lemmings

There should be a Clippy lint for using .unwrap() or .expect() inside a From/Into impl, which tells you to use TryFrom/TryInto instead.

Convoluted flow diagram "how to measure like a Brit" that shows when to use metric and when not. Contains stuff like "Cow milk is pints. Plant milk is litres."

@JessTheUnstill

Building serverless applications with Rust on AWS Lambda | Amazon Web Services Today, AWS Lambda is promoting Rust support from Experimental to Generally Available. This means you can now use Rust to build business-critical serverless applications, backed by AWS Support and the ...

AWS has promoted the Rust runtime for AWS Lambda from experimental to GA. Not much has changed in the runtime, but their customers will have official support from the company. I’m glad it finally happened, but it’s still a bittersweet moment for me: aws.amazon.com/blogs/comput...

Building serverless applications with Rust on AWS Lambda | Amazon Web Services Today, AWS Lambda is promoting Rust support from Experimental to Generally Available. This means you can now use Rust to build business-critical serverless applications, backed by AWS Support and the ...

If you haven't been using #rustlang for lambda functions, this is the sign for you to do so

aws.amazon.com/blogs/comput...

webbsite.renavon.com/dbpub/

New NIN, Deftones, and Ladytron. What a year!

https://webb-site.com/articles/shutdown2.asp

:(

GitHub - builtbybel/Flyoobe: Fly through your Windows 11 setup 🐝 Fly through your Windows 11 setup 🐝. Contribute to builtbybel/Flyoobe development by creating an account on GitHub.

github.com/builtbybel/F...

#win10 upgrade tip

Are "glassholes" socially acceptable now? I find it strange that Meta Ray-Bans etc. don't have physical camera lens covers. They may have blinking LEDs, but that's "trust me, bro, it's not recording" feature.

Review | The inventor of the web says we can recapture its magic. Is he right? In “This Is for Everyone,” Tim Berners-Lee writes about the early days of the internet and how we might restore its more democratic roots.

“The free, open access communications paradigm we have did not arrive like magic. It was the product of a fair amount of political wrangling” - that's why we must continue our fight for the web.

🙏 @washingtonpost.com for reviewing 'This Is for Everyone'

www.washingtonpost.com/books/2025/0...

Implement support for `become` and explicit tail call codegen for the LLVM backend by xacrimon · Pull Request #144232 · rust-lang/rust This PR implements codegen of explicit tail calls via become in rustc_codegen_ssa and support within the LLVM backend. Completes a task on (#112788). This PR implements all the necessary bits to ma...

tailcalls on Rust nightly: github.com/rust-lang/ru... 🚀

Didn’t want to believe this was true. It’s true.

The Saga of Multicore OCaml YouTube video by Jane Street

I had a lot of fun giving this talk in Singapore about the many-years-long saga of multicore OCaml, and in particular, the work over the least 2.5 years of getting it ready for production work within Jane Street's walls.

www.youtube.com/watch?v=XGGS...

thanks, kojima 🙏

GitHub - dtolnay/buck2-rustc-bootstrap: Compile Rust compiler using Buck2 Compile Rust compiler using Buck2. Contribute to dtolnay/buck2-rustc-bootstrap development by creating an account on GitHub.

github.com/dtolnay/buck...

Build #rust via buck2 instead of x.py, very cool project by @dtolnay.bsky.social

RIP Usenix ATC – I’ve got many fond memories of you

www.usenix.org/blog/usenix-...

Memory-safe sudo to become the default in Ubuntu - Trifecta Tech Foundation May 6, 2025 – Ubuntu 25.10 is set to adopt sudo-rs by default. Sudo-rs is a memory-safe reimplementation of the widely-used sudo utility, written in the Rust programming language.

* Announcement * Memory-safe sudo to become the default in Ubuntu!

@canonicalltd.bsky.social is supporting us to get sudo-rs ready for Ubuntu 25.10. 

trifectatech.org/blog/memory-...

We released Wolfenstein 3D on this day (May 5th) in 1992. Here's a local television news report about it. What an amazing time that was. #wolfenstein #gamedev #retrogames

Notepad.exe is already my favorite #SwiftUI cratchbook where I keep experimenting and save ideas for later notepadexe.com #notepadexe

🎧 sound on! I'm proud of this one

AWS Lambda standardizes billing for INIT Phase | Amazon Web Services Effective August 1, 2025, AWS will standardize billing for the initialization (INIT) phase across all AWS Lambda function configurations. This change specifically affects on-demand invocations of Lamb...

If you're on the edge about learning Rust, this is 1 more new reason for it 😂

aws.amazon.com/blogs/comput...

#rustlang

Oh no! The 3DS audio guide for the Louvre is getting discontinued in September!

#GTA test and an early GTA Master.

The master isn’t much different, but the test has several bugs still needing fixed.

Benchmarking Crimes Meet Formal Verification

There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchmarking crime.