Parallel Programming Models
ayushgundawar.me·5h·
Discuss: Hacker News
💻programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·19h·
Discuss: Hacker News
💻programming
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·1h·
Discuss: Hacker News
🏗️software engineering
Lobsters Interview with Icefox
lobste.rs·19h·
Discuss: Lobsters
🏗️software engineering
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
💻programming
Learning the Bitter Lesson
rlancemartin.github.io·21h·
Discuss: Hacker News
🏗️software engineering
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
💻programming
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·50m·
Discuss: Substack
🖥️operating systems
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·22h·
Discuss: Hacker News
🖥️operating systems
Mun Programming Language
mun-lang.org·22h·
Discuss: Hacker News
💻programming
How to Write Inductive Invariants
quint-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
📡distributed systems
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·2d·
Discuss: Substack
📡distributed systems
The Schwartzian Transform (2016)
perl.com·21h·
Discuss: Hacker News
🏗️software engineering
Teaching Open Source in North Korea
izbicki.me·1d·
Discuss: Hacker News
💻programming
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·2d·
Discuss: Hacker News
💻programming
How Long Before Superintelligence?
nickbostrom.com·1d·
Discuss: Hacker News
📡distributed systems
Show HN: List of Clojure-Like projects
github.com·16h·
Discuss: Hacker News
🔵golang
Step3
stepfun.ai·1d·
Discuss: Hacker News
🏗️software engineering
Isle FPGA Computer
projectf.io·1d·
Discuss: Hacker News
🖥️operating systems
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·1d·
Discuss: Hacker News
📡distributed systems