40,000+ US troops have been lost at sea, tracking invisible clues to find them
cnn.com·22h·
Discuss: Hacker News
✅formal methods
Flag this post
Show HN: I got fired so I built a bank statement converter
aussiebankstatements.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
SQLite extension to synchronize data using PostgreSQL logical replication
github.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
US to demand countries share data on ‘pathogens with epidemic potential’ in return for health aid
theguardian.com·9h·
Discuss: Hacker News
🌐network programming
Flag this post
Garbage Collection Is a Hack
blog.adamant-lang.org·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
German Research Foundation wants to retrieve data from US clouds
heise.de·5d·
Discuss: Hacker News
✅formal methods
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·2d·
Discuss: Hacker News
✅formal methods
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.com·1d·
Discuss: Lobsters, Hacker News, r/rust
🔄compilers
Flag this post
How to make government work: Lessons from a rare British success story
samf.substack.com·18h·
Discuss: Substack
✅formal methods
Flag this post
A Scientific Comparison with Meditation App
news.ycombinator.com·4h·
Discuss: Hacker News
⚙️systems programming
Flag this post
A Week of Teaching
fivetwelvethirteen.substack.com·1d·
Discuss: Substack
⚙️systems programming
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·2d·
Discuss: Hacker News
✅formal methods
Flag this post
The Scariest Lines of Code I've Ever Written
canro91.github.io·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·2d·
Discuss: Hacker News
🐫ocaml
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·3d·
Discuss: Hacker News
⚡query optimization
Flag this post
A self-hosted Security Operations Center in a box to avoid vendor lock
github.com·1d·
Discuss: DEV, Hacker News, r/opensource
⚙️systems programming
Flag this post
Is Software the UFOlogy of Engineering Disciplines?
codemanship.wordpress.com·1d·
Discuss: Hacker News, r/programming
⚙️systems programming
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·2d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Flag this post