Independent Audits of Waymo's Safety Case and Remote Assistance Programs
waymo.com·22h·
Discuss: Hacker News
Formal Verification
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.edu·3d·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
How would a 4D Camera work?
dugas.ch·14h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
DHH and Omarchy: Midlife Crisis
blogs.gnome.org·3h·
Discuss: Hacker News
Complex ststems
Flag this post
Critical UniFi OS Flaw Enables Remote Code Execution
gbhackers.com·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Signed URLs on ESP32
blog.golioth.io·2d·
🦀Rust
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·6d·
Discuss: Hacker News
🦀Rust
Flag this post
DDD and the Simplicity Gospel
oluatte.com·4d·
Complex ststems
Flag this post
Show HN: Multi-Agent Code Review
news.ycombinator.com·1d·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Commitments on Model Deprecation and Preservation
anthropic.com·1d·
Discuss: Hacker News
Complex ststems
Flag this post
Nvidia boss Jensen Huang dismisses fears of an 'AI bubble'
thetimes.com·10h·
Discuss: Hacker News
Complex ststems
Flag this post
OpenAI ChatKit Review: Technical Deep Dive and Why We Didn't Adopt It
quickchat.ai·1d·
Discuss: Hacker News
Complex ststems
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·1d·
Discuss: Hacker News
Complex ststems
Flag this post
I Taught an AI to Dream
blog.minibase.ai·1d·
Discuss: Hacker News
🧠Machine learning
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·3d·
Discuss: Hacker News
Formal Verification
Flag this post
It's Mainframes All the Way Down
medium.com·1d·
Discuss: Hacker News
Formal Verification
Flag this post
Generalized Consensus: Discovery and Propagation
multigres.com·6d·
Discuss: Hacker News
Complex ststems
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post