Lobsters
Python Release Python 3.15.0
The official home of the Python Programming Language
Topics: Programming
Entities: Programming
Source feed
Lobsters
1894 items
A computing-focused community centered around link aggregation and discussion.
Lobsters
Unison Cloud is now open source · Unison programming language
Unison Cloud is open source, MIT licensed. We think this tech will be more useful to the world as an open source technology and hope that people build great things with it.
Topics: Programming
Entities: Programming
Lobsters
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
All four of the above are theorem proving applications; that is, their purpose is to computer-formalize mathematics. Broadly speaking, both Lean and Agda are dependent-types based systems, utilizing the Curry-Howard correspondence to prove theorems via a...
Lobsters
Why Are Coding Agents So Dumb?
Updates about my life and what I learn about creating software
Topics: Programming
Entities: Programming
Lobsters
"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot - Robot Girl Gang
The most effective way to nerd snipe a roboticist is to present them with a controversial definition of a "robot"
Lobsters
Deepthi Sigireddi from Supabase - The Consensus
Deepthi Sigireddi is a developer with over 25 years of experience. She's worked on Vitess and Multigres. And she now serves as Head of Databases at Supabase.
Topics: Databases
Entities: Databases
Lobsters
Deno is joining Cloudflare | Deno
Putting ourselves in the best place to build the future of the web
Lobsters
HIP and ROCm as first-class citizens
Earlier this year, two years after AMD engineers contributed packages the HIP/ROCm stack to the Guix-HPC channels, Guix developers migrated the whole HIP/ROCm stack into Guix proper, starting with version 7.1.1. This was quite a milestone as it makes...
Lobsters
A minimal kernel in Swift, running in QEMU
Update (28th of September 2026) Max Desiatov told me that the @c swift attribute should work, instead of declaring the functions using @_cdecl. The @c attribute marks a global function as a C function implemented in Swift, which formalizes the @_cdecl...
Lobsters
There are many themes, but this one is yours | Earendil
Pi's new system theme asks your terminal for its colors and builds Pi's theme from them. How it works.