How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📡Distributed Systems
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
🔄Compiler Design
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·9h·
Discuss: Lobsters, Hacker News
🔄Compiler Design
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
📦WebAssembly
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·5h·
Discuss: Hacker News
🚢DevOps
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🔄Compiler Design
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·8h·
Discuss: Hacker News
📡Distributed Systems
Onboarding for Coding Agents
fuzzycomputer.com·8h·
Discuss: Hacker News
🚢DevOps
Linear Types for Programmers
twey.io·5h·
Discuss: Hacker News
🔄Compiler Design
Plague: A Newly Discovered Pam-Based Backdoor for Linux
nextron-systems.com·7h·
Discuss: Hacker News
🔐Cryptography
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·9h·
Discuss: Hacker News
📡Distributed Systems
Help (Unable to solve the assignments on Coursera)
coursera.org·6h·
Discuss: r/programming
🔄Compiler Design
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·7h·
Discuss: Lobsters, Hacker News
🔄Compiler Design
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔄Compiler Design
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
🧠Computer Architecture
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
🔄Compiler Design
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·11h·
Discuss: Hacker News
📦WebAssembly
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com·1d·
Discuss: Hacker News
🚢DevOps
Bold Devlog - July Summary (JSON, DAP, LSP)
bold-edit.com·4h·
Discuss: r/programming
📦WebAssembly
Why LLMs Struggle with Text-to-SQL
selectstar.com·1d·
Discuss: Hacker News
🗄Database Systems