Measuring Explicit Congestion Notification
potaroo.net·23h·
Discuss: Lobsters
📡Network Protocol Design
HTTP: //HTTP://HTTP:// HTTP://HTTP://?HTTP://#HTTP://
daniel.haxx.se·19h·
Discuss: Hacker News
🌐NetworkProtocols
Clankers Die on Christmas
remyhax.xyz·17h·
Discuss: Hacker News
📚Automata Learning
Schlep Blindness (2012)
paulgraham.com·8h·
Discuss: Hacker News
🛡️seL4
How To Build a FinOps Strategy That Works
thenewstack.io·16h
⎈Kubernetes
OSS Licensing Sucks
jackson.dev·2d·
Discuss: Hacker News
🖥Self-Hosting
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·3d·
Discuss: Hacker News
🛡️seL4
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org·1d
🐫OCaml
Hashed sorting is typically faster than hash tables
reiner.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔧Unikernel Development
Show HN: D-Tale, easy to use GUI for Pandas data structures
github.com·18h·
Discuss: Hacker News
🐳Containerization
The LLM models the user, and then it models itself
animassteward.substack.com·5h·
Discuss: Substack
📚Automata Learning
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·5d·
Discuss: Hacker News
🔄Reproducible Builds
Beyond OOP and the future of development experience
bennett.ink·6d·
Discuss: r/programming
🔬Static Analysis
C++ library for reading MacBook lid angle sensor data
github.com·1d·
Discuss: Hacker News, Hacker News
🍎Apple
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·13h
🛡️seL4
ReScript's Generalized Algebraic Data Types
rescript-lang.org·3d·
Discuss: Hacker News
🔠Type-Level Programming
Evaluating NL2SQL via SQL2NL
arxiv.org·1d
🧩Parser Combinators
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·5d
🛡️seL4
Thoughts on This Snr. Ruby on Rails Interview Question?
news.ycombinator.com·5h·
Discuss: Hacker News
💎Refinement Types