My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·3d·
Discuss: Hacker News
🧩Separation Logic
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🌐NetworkProtocols
Write Better with Vale
pragprog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Release candidate: Godot 4.5 RC 2
godotengine.org·23h·
Discuss: Hacker News, r/godot
🎮Verification Games
Neural Logic Gates
blog.typeobject.com·3d·
Discuss: Hacker News
🧩Separation Logic
Go Is the Language of Vibe Coding
sinwoobang.notion.site·3d·
Discuss: Hacker News
💎Refinement Types
Stop trusting your employees. Uber's "God View" proves you can't
cerbos.dev·3h·
Discuss: Hacker News
🛡️seL4
So you want to control flow in PyTorch 2
blog.ezyang.com·5d·
Discuss: Hacker News
✅Model Checking
Rackintosh Plus
identity4.com·1d·
Discuss: Hacker News
💾Retro Computing
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·1d·
Discuss: r/programming
📊Runtime Verification
The Strangely Anthropic Form of Natural Laws
brianschrader.com·1d·
Discuss: Hacker News
➡️Category Theory
I still use GPT 4o
firasd.substack.com·2d·
Discuss: Substack
🔬Unikernels
Visualizing the Vocabulary of an LLM
alessiodevoto.github.io·4d·
Discuss: Hacker News
🧩Parser Combinators
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·3d·
Discuss: Hacker News
🔬Static Analysis
A GitHub Co-Founder's Next Commit
opensourcepledge.com·19h·
Discuss: Hacker News
🍏Darwin
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·1d
🎮Verification Games
Flexible inference of learning rules from de novo learning data using neural networks
arxiv.org·3d
📚Automata Learning
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·2d
🛡️seL4
Stop Building Super Agents; Build Effective AI Teams Instead
thenewstack.io·35m
🩹Self-Healing Systems
Recently inherited this rack
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab