A Vision of Chocolate's Future in an Amsterdam Brownie
bloomberg.com·13h·
Discuss: Hacker News
🌡Entropy
Flag this post
Independent Audits of Waymo's Safety Case and Remote Assistance Programs
waymo.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Into the Woods
news.uzh.ch·23h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.edu·4d·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Show HN: Bother, my answer to the poor UX of bloated project management tools
bother.now·11h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
A postmortem on our $2.5M database gateway: lessons from pilot purgatory
quesma.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
DDD and the Simplicity Gospel
oluatte.com·5d·
Discuss: Hacker News, r/programming
⚙Complex ststems
Flag this post
Quantum nonlocality may be inherent in the very nature of identical particles
phys.org·12h·
Discuss: Hacker News
🎲Branden Fitelsin
Flag this post
OpenAI ChatKit Review: Technical Deep Dive and Why We Didn't Adopt It
quickchat.ai·2d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Post Perihelion Data on 3I/Atlas
avi-loeb.medium.com·1d·
Discuss: Hacker News
🌡Entropy
Flag this post
What data do coding agents send, and where to?
chasersystems.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
What does OSWorld tell us about AI's ability to use computers?
epoch.ai·2d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Google plans secret AI military outpost on tiny island overrun by crabs
arstechnica.com·14h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·3d·
Discuss: Hacker News, r/cpp
🦀Rust
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·4d·
Discuss: Hacker News
✅Formal Verification
Flag this post
It's Mainframes All the Way Down
medium.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🧬Computational Biology
Flag this post
After the Last Git Commit
gist.github.com·4d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·4d·
Discuss: Hacker News
✅Formal Verification
Flag this post
I ****Ing Hate Science
buttondown.com·4d·
Discuss: Lobsters, Hacker News
⚙Complex ststems
Flag this post