< prev 8 / 10 more >

• 35P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)
  by Davidbrcz21 hours ago | 3 comments
• 62Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
  by surprisetalk5 days ago | 9 comments
• 131Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox1 day ago | 12 comments
• 94Pizlix: Memory Safe Linux from Scratch (fil-c.org)
  by nullbyte8083 days ago | 6 comments
• 96Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte1 day ago | 12 comments
• 122The biggest heat pumps (bbc.com)
  by rayhaanj1 day ago | 14 comments
• 435Ask HN: What Are You Working On? (December 2025)
  by david9273 days ago | 880 comments
• 154A2UI: A Protocol for Agent-Driven Interfaces (a2ui.org)
  by makeramen1 day ago | 29 comments
• 40Playing Santa changed Bob Rutan profoundly (esquire.com)
  by Lightbody4 days ago | 3 comments
• 15OpenAI Is Maneuvering for a Government Bailout (prospect.org)
  by boh5 hours ago | 6 comments

< prev 8 / 10 more >