Symbol-Level Editing
sysprogs.com·1d·
Discuss: Hacker News
🌐HTMX
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·19h·
Discuss: Substack
📦WebAssembly
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·1d·
Discuss: Hacker News
📦WebAssembly
Isle FPGA Computer
projectf.io·2d·
Discuss: Hacker News
🧠Computer Architecture
The Dartboard Sequence
mathpages.com·3d·
Discuss: Hacker News
🔐Cryptography
AI Thinking, Fast and Slow
danmu.nz·13h·
Discuss: Hacker News
✅Formal Verification
Learning the Bitter Lesson
rlancemartin.github.io·1d·
Discuss: Hacker News
📡Distributed Systems
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·22h·
Discuss: Hacker News
📡Distributed Systems
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
✅Formal Verification
A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop
oldvcr.blogspot.com·5h·
Discuss: Lobsters, Hacker News
🧠Computer Architecture
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·3d·
Discuss: Hacker News
📦WebAssembly
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·4d·
Discuss: r/programming
🚢DevOps
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·1d·
Discuss: Hacker News
🚢DevOps
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·5d·
Discuss: Hacker News
✅Formal Verification
Building a New Package from Scratch – Cursor Heatmap Pt1
emacs.dyerdwelling.family·22h·
Discuss: Hacker News
📦WebAssembly
Show HN: Predict GPT-5 skills with a community AI benchmark
news.ycombinator.com·20h·
Discuss: Hacker News
⚡Performance Engineering
How Kimi RL’ed Qualitative Data to Write Better
dbreunig.com·2d·
Discuss: Hacker News
✅Formal Verification
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·21h·
Discuss: Lobsters, Hacker News
✅Formal Verification
Announcing TypeScript 5.9
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
📦WebAssembly
SFrame Stack Trace Format
sourceware.org·1d·
Discuss: Hacker News
🔍eBPF