How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧫Programmable Microbiology
Changelog #296
rust-analyzer.github.io·6d·
Discuss: Hacker News
🐧Open Source
Sync primitives are Functionally Complete
kprotty.me·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖AI
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·21h·
Discuss: Lobsters, Hacker News
🤖AI
The Unstoppable Rise of Disposable ML Frameworks
petewarden.com·1d·
Discuss: Hacker News
🐧Open Source
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
🐧Open Source
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🐧Open Source
How JIT builds of CPython work
savannah.dev·4d·
Discuss: Hacker News
🧫Programmable Microbiology
A Sea of Nodes IR Tutorial
github.com·16h·
Discuss: Hacker News
🐧Open Source
The smallest embeddable scripting language, part 1
log.schemescape.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🧫Programmable Microbiology
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·19h·
Discuss: Substack
🤖AI
Amplifying Myself: How I Use Claude to Build a Premium App and a Blockchain Game
dragosroua.medium.com·8h·
Discuss: Hacker News
🤖AI
SFrame Stack Trace Format
sourceware.org·1d·
Discuss: Hacker News
🐧Open Source
Executing arbitrary Python code from a comment
hacktron.ai·5d·
Discuss: Lobsters, Hacker News
🧫Programmable Microbiology
The Summer of Codex
paylias.xyz·22h·
Discuss: Hacker News
🐧Open Source
If Odin Had Macros
gingerbill.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧫Programmable Microbiology
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🐧Open Source
From Frustration to Power: What We Learned at Nixcademy
niteo.co·2d·
Discuss: Lobsters, Hacker News
🐧Open Source
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·21h·
Discuss: Hacker News
🧫Programmable Microbiology
Writing a basic service for GNU Guix
tannerhoelzel.com·7h·
Discuss: Hacker News
🐧Open Source