Modern Transactional Stack(a16z.com)

104 points by opiniateddev 3 years ago | 72 comments

Geico repatriates work from the cloud, continues ambitious infra overhaul(thestack.technology)

35 points by us0r 2 years ago | 37 comments

The Aha Stack(ahastack.dev)

84 points by alexzeitler 2 years ago | 58 comments

Stack Overflow's CEO Doesn't Understand Stack Overflow(jlericson.com)

194 points by jlericson 3 years ago | 177 comments

330+ data teams share what's working (and what's not)(metabase.com)

11 points by margotli 1 year ago | 2 comments

A simulation of me: fine-tuning an LLM on 240k text messages(edwarddonner.com)

165 points by eddonner 2 years ago | 104 comments

How to Formalize All of Mathematics(xenaproject.wordpress.com)

62 points by practal 28 days ago | 53 comments

A Xena Project blog post by Kevin Buzzard's group on how to formalize all of mathematics using the Lean theorem prover.

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura(thedataexchange.media)

193 points by datascientist 15 days ago | 45 comments

Podcast episode and transcript of The Data Exchange where Ben Lorica interviews Lean creator Leo de Moura about AI, formal verification, and verified software.

Formal methods and the future of programming(blog.janestreet.com)

322 points by eatonphil 5 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.

Stacked PRs are now live on GitHub(github.blog)

754 points by tomzorz 3 months ago | 266 comments

GitHub changelog post announcing that stacked pull requests, which can be merged together as a stack, are now in public preview.

GitHub Stacked PRs(github.github.com)

847 points by ezekg 7 months ago | 475 comments

Documentation landing page for GitHub Stacked PRs, a private-preview feature and gh stack CLI for splitting large changes into small, dependent pull requests.

Continuous reinvention: A brief history of block storage at AWS(allthingsdistributed.com)

350 points by riv991 2 years ago | 79 comments

A guest post on Werner Vogels' All Things Distributed blog by Marc Olson recounting the evolution of AWS Elastic Block Store and lessons learned.