Parallel Programming Models
ayushgundawar.me·9h·
Discuss: Hacker News
💻programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·23h·
Discuss: Hacker News
💻programming
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3h·
Discuss: Lobsters, Hacker News
💻programming
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·5h·
Discuss: Hacker News
🏗️software engineering
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·2h·
Discuss: Hacker News
📡distributed systems
The Summer of Codex
paylias.xyz·3h·
Discuss: Hacker News
💻programming
The Parallel Lives of an AI Engineer
worksonmymachine.ai·2h·
Discuss: Hacker News
🏗️software engineering
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·3h·
Discuss: Hacker News
📡distributed systems
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·2d·
Discuss: Substack
📡distributed systems
Show HN: Gomoku game in JavaScript (GitHub and live demo)
github.com·1h·
Discuss: Hacker News, r/javascript
💻programming
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️operating systems
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
💻programming
Mun Programming Language
mun-lang.org·1d·
Discuss: Hacker News
💻programming
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·4h·
Discuss: Substack
🖥️operating systems
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📡distributed systems
Learning the Bitter Lesson
rlancemartin.github.io·1d·
Discuss: Hacker News
🏗️software engineering
Lobsters Interview with Icefox
lobste.rs·23h·
Discuss: Lobsters
🏗️software engineering
Applications That Work with Motif/Lesstif (2005)
lesstif.sourceforge.net·2h·
Discuss: Hacker News
🧰developer tools
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
🏗️software engineering
A Library Approach to Constant Template Parameters
brevzin.github.io·2h·
Discuss: Hacker News
💻programming