Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·20h
🎮Game Engines
Research Areas in AI Control (The Alignment Project by UK AISI)
lesswrong.com·13h
🤖AI
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Async Rust
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·2d·
Discuss: Hacker News
🔧Embedded Rust
Towards Safe and Comfortable Vehicle Control Transitions: A Systematic Review of Takeover Time, Time Budget, and Takeover Performance
arxiv.org·1d
🎮Game Engines
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·7h·
Discuss: Lobsters, Hacker News
🗣️Language Servers
Research Areas in Benchmark Design and Evaluation (The Alignment Project by UK AISI)
lesswrong.com·13h
🤖AI
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·2d·
Discuss: Lobsters, Hacker News
🗄️Database Internals
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
🗣️Language Servers
Tensor-based reduction of linear parameter-varying state-space models
arxiv.org·20h
🧮Linear Algebra
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·2d
🌍Distributed Systems
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.org·20h
🤖AI
Federated Distributionally Robust Optimization with Non-Convex Objectives: Algorithm and Analysis
arxiv.org·1d
🌍Distributed Systems
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Embedded Rust
Our $100M Series B
oxide.computer·2d·
Discuss: Lobsters, Hacker News
🔒Hardware Security
Our first outage from LLM-written code
sketch.dev·1d·
Discuss: Lobsters, Hacker News
🏗️LLVM
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·15h
🧮Linear Algebra
If Odin Had Macros
gingerbill.org·15h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
In-Network Leaderless Replication for Distributed Data Stores
vldb.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🌍Distributed Systems
A Timing Problem for Instrumental Convergence
lesswrong.com·2d
🌍Distributed Systems