TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·4h·
Discuss: Substack
⚙Complex ststems
Complete Guide to Self-Hosting Next.js at Scale
dlhck.com·2h·
Discuss: Hacker News
🦀Rust
Architecting Beliefs for a Contested World
vasily.cc·8h·
Discuss: Hacker News
⚙Complex ststems
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·7h·
Discuss: Hacker News
⚙Complex ststems
Notes on Autograd
aschrein.github.io·3h·
Discuss: Hacker News
🧠Machine learning
AGI Is an Engineering Problem
vincirufus.com·1d·
Discuss: Hacker News
⚙Complex ststems
Cabinet: Dynamically Weighted Consensus Made Fast
muratbuffalo.blogspot.com·4d·
Discuss: Hacker News
⚙Complex ststems
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·8h·
Discuss: Hacker News
🦀Rust
Episode 100
reloadin.net·3h·
Discuss: Hacker News
🎲Branden Fitelsin
The Limits of NTP Accuracy on Linux
scottstuff.net·8h·
Discuss: Lobsters, Hacker News
🦀Rust
The MiniPC Revolution
jadarma.github.io·5h·
Discuss: Hacker News
🦀Rust
DocumentDB Joins the Linux Foundation
opensource.microsoft.com·15h·
Discuss: Hacker News
🦀Rust
Make the Easy Change Hard
blog.appliedcomputing.io·1h·
Discuss: Lobsters, Hacker News
🦀Rust
Reliable
catherinejue.com·1d·
Discuss: Hacker News
⚙Complex ststems
Show HN: Get insights from Hacker News on X
github.com·5h·
Discuss: Hacker News
🦀Rust
IBM’s Power11 Processor Architecture at Hot Chips 2025
servethehome.com·4h·
Discuss: Hacker News
🦀Rust
Teams Grow Organically
frederickvanbrabant.com·9h·
Discuss: Hacker News, r/programming
⚙Complex ststems
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·6h·
Discuss: Lobsters, Hacker News
⚙Complex ststems
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust