To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·5d·
Discuss: Hacker News, r/programming
💻Programming Languages
Read post
allenai.org·14h·
Discuss: Hacker News
🌱Open Source
What people said about an OpenZFS bug
despairlabs.com·3d·
Discuss: Lobsters, Hacker News
💻Programming Languages
Cresting the 0Caml Al Humps
anil.recoil.org·2d·
Discuss: Hacker News
🤖AI
H-Nets – The Future
goombalab.github.io·2d·
Discuss: Hacker News
🌱Open Source
First-Hand:The AT&T Bellmac-32 Microprocessor Development
ethw.org·18h·
Discuss: Hacker News
⚙️Software Engineering
Maybe writing speed actually is a bottleneck for programming
buttondown.com·2d·
Discuss: Hacker News
💻Programming Languages
Why Aggregators Ate the Internet
every.to·3d·
Discuss: Hacker News
🌐Web Development
Gradual negation types and the Python type system
jellezijlstra.github.io·3d·
Discuss: Hacker News
💻Programming Languages
Good binding data is all you need
leashbio.substack.com·3d·
Discuss: Substack
🤖AI
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·3d·
Discuss: Hacker News
💻Programming Languages
Make things that are easy to delete
medium.com·20h·
Discuss: Hacker News
⚙️Software Engineering
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·3d·
Discuss: Hacker News
💻Programming Languages
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
utkarshkanwat.com·17h·
Discuss: Hacker News, r/programming
🤖AI
Rethinking MCP or Tool Calling Through Permission Based System
shivasurya.me·1h·
Discuss: Hacker News
🤖AI
Anthony Scopatz on xonsh and shells in general (2015)
johndcook.com·20h·
Discuss: Hacker News
💻Programming Languages
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·5d·
Discuss: Hacker News
💻Programming Languages
Frequently Asked Questions about FHE
jeremykun.com·1d·
Discuss: Lobsters, Hacker News
💻Programming Languages
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.com·19h·
Discuss: Hacker News
📝Note-Taking App
Zig Interface Revisited
williamw520.github.io·3d·
Discuss: Hacker News
💻Programming Languages