artjom's Top FindsLoading...
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🔄compilers
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·18h·
Discuss: Hacker News
⚙️systems programming
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
✅formal methods
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
✅formal methods
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
✅formal methods
Good context leads to good code: How we built an AI-Native Eng Culture
blog.stockapp.com·15h·
Discuss: Hacker News
⚙️systems programming
The Amaranth hardware description language
amaranth-lang.org·1d·
Discuss: Hacker News
⚙️systems programming
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
✅formal methods
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·15h·
Discuss: Hacker News
🔄compilers
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·1d·
Discuss: Hacker News
✅formal methods
A New Concurrent ML in Guile Scheme
wingolog.org·2d·
Discuss: Hacker News
✅formal methods
Qualifiers on Hypertext Links (1991)
w3.org·14h·
Discuss: Hacker News
🗄️databases
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Beta-Relased: OWASP Operational Technology (OT) Top 10
ot.owasp.org·39m·
Discuss: Hacker News
⚙️systems programming
p-fast trie, but smaller
dotat.at·15h·
Discuss: Hacker News
⚡query optimization
Building My Own Astrodynamics Library in Zig
atempleton.dev·7h·
Discuss: Hacker News
⚙️systems programming
Cross-Entropy. Intuition and Applications
hclimente.eu·8h·
Discuss: Hacker News
⚙️systems programming
Towards a Modern Web Stack
docs.google.com·16h·
Discuss: Hacker News
⚙️systems programming
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·18h·
Discuss: Lobsters, Hacker News
✅formal methods
Python performance myths and fairy tales
lwn.net·1d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·2d·
Discuss: Hacker News
🔄compilers