A lot of people in Bitcoin are still saying quantum can't factor 21 or 15. Here is a full ECDLP solve using quantum computers.

Dmitri Volkov This is the book version if you want to support the engineer that wrote it: amazon.com/Agentic-Design…

A Final Message From Scott Adams

Blog post on type sharing for API contracts between front-end and backed. We saw big wins Anduril Industries with this strategy. platonic.systems/blog/type-leve… gitlab.com/platonic/aeson… gitlab.com/platonic/serva…

I was going through the The Pragmatic Engineer podcast on How AWS S3 is built, where Mai-Lan was speaking about data structures like replicated journal and cache coherency protocol for implementing strong consistency in S3. Indeed a very insightful discussion .. link to the podcast:

My daughter has an English vocab exam soon. Instead of flashcards, I built her a small terminal app. Rust + ratatui. Clean TUI, zero distractions. Not a "startup idea" - just software solving a real problem. Still one of the most satisfying ways to code. Rust keeps delivering.

I can not agree more Nick Bolton

ICYMI, one of the most alien, ridiculously genius aspects of Zcash is that you can, in principle, explain the whole thing by just picking up a maths textbook. imagine licking a random graduate‑level maths text… pick Proofs, Arguments, and Zero-Knowledge by Justin Thaler, then

I was introduced to this article back in 2020 by a colleague. I've ignored it at a time. Boy, was that a mistake. It's such a marble! The intro itself is worth reading, even if you don't care about Rust at all. Highly recommend read. rust-unofficial.github.io/too-many-lists/

But can the author reverse a binary tree?

millennial software devs need to accept that we are becoming the 'old guys who are good at working on their own cars.'

Preparations for Rustikon are in full swing! And we'll soon be announcing something really cool we're planning with our Partner for this year's edition! Stay tuned! Enjoy the wait by reading our summary from the previous edition: softwaremill.com/rustikon-2025-…

In Rust's async/await syntax, async functions are desugared into state machines implementing the Future trait, where local variables surviving suspension points (.await) are captured as fields in the generated future struct. Holding a mutable reference (&mut) across an .await

How can you short a country?

We opensourced all agents and internal tools we have been using to write Quint (and do great things with the Quint you wrote). I have heard great things from people who tried this internally 💜 The effort it takes to write a formal spec has reduced drastically since this time

Platonic is superb