HSN-1000 Nuclear Event Detector
powerdevicecorp.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Reconfiguring Soviet-era "TM" mines into smart mines
thedefender.media·6h·
Discuss: Hacker News
🛰️Geospatial
Flag this post
Comet 3I/Atlas Perihelion Update
seti.org·9h·
Discuss: Hacker News
🌊Helen Czerski
Flag this post
Opinion: The era of 'free' excess renewable energy is over
utilitydive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
7 Linux commands to keep your system healthy and optimized
howtogeek.com·12h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🦀Rust
Flag this post
Show HN: Multi-Agent Code Review
news.ycombinator.com·7h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Inline vs. Pipeline Ray Tracing
evolvebenchmark.com·12h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
This Month in Ladybird – October 2025
ladybird.org·14h·
Discuss: Hacker News
📊Streaming ML
Flag this post
After the Last Git Commit
gist.github.com·2d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Nostr is deceptively tricky to understand
njump.me·2d·
Discuss: Lobsters, Hacker News
⚙Complex ststems
Flag this post
The Case That A.I. Is Thinking
newyorker.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Viruses of the Mind
grokipedia.com·2d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Digital Strategy for Organisations
blog.muni.town·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Generalized Consensus: Discovery and Propagation
multigres.com·5d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·2d·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·16h·
Discuss: Hacker News
🧬Computational Biology
Flag this post
100 Hours to Shanghai
medium.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post