An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·4d
📈Graph Algorithms
What is gVisor?
blog.yelinaung.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Hardware Security
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·1d
🧮Linear Algebra
RedCoder: Automated Multi-Turn Red Teaming for Code LLMs
arxiv.org·2d
🤖AI
Emacs: The macOS Bug
xlii.space·3d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Show HN: AI code reviewer with Python agent called from Rust, streaming works
medium.com·5d·
Discuss: Hacker News
📊Profiling Tools
Multi-Hazard Early Warning Systems for Agriculture with Featural-Temporal Explanations
arxiv.org·1d
🕯️Candle
Ladybird Browser July Update
ladybird.org·14h·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
Many prediction markets would be better off as batched auctions
lesswrong.com·9h
⏱️Real-time Systems
Research Areas in AI Control (The Alignment Project by UK AISI)
lesswrong.com·1d
🤖AI
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Linear Algebra
KernelScript eBPF-centric programming language
github.com·4d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
Bringing Together Clazy and Clang-Tidy
alex1701c.github.io·5d·
Discuss: Lobsters, Hacker News, r/cpp
🎭Proc Macros
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
github.com·3d·
Discuss: Hacker News
💾Database Engines
Deciphering interventional dynamical causality from non-intervention complex systems
arxiv.org·1d
🤖AI
Large-Scale Linear Energy System Optimization: A Systematic Review on Parallelization Strategies via Decomposition
arxiv.org·3d
🔢SIMD Programming
dson: A delta-based CRDT implementation in Rust
github.com·4d·
Discuss: Hacker News
🔧Embedded Rust
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·4d·
Discuss: Lobsters, Hacker News
🎮Game Engines
I am worried about near-term non-LLM AI developments
lesswrong.com·2d
🤖AI