AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing
lesswrong.com·4h
🌐WebGPU
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·19h
⏱️Real-time Systems
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·2d·
Discuss: Hacker News
🔧Embedded Rust
BANG: Dividing 3D Assets via Generative Exploded Dynamics
arxiv.org·2d
🎨Computer Graphics
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
🗣️Language Servers
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·3d·
Discuss: Lobsters, Hacker News
🌐WebGPU
AISN #60: The AI Action Plan
lesswrong.com·1d
🤖AI
An inherent regularization approach to parameter-free preconditioning for nearly incompressible linear poroelasticity and elasticity
arxiv.org·1d
🔢SIMD Programming
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
SketchMind: A Multi-Agent Cognitive Framework for Assessing Student-Drawn Scientific Sketches
arxiv.org·19h
🤖AI
Distance and Collision Probability Estimation from Gaussian Surface Models
arxiv.org·1d
🎨Computer Graphics
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·2d·
Discuss: Lobsters, Hacker News
🗄️Database Internals
From Frustration to Power: What We Learned at Nixcademy
niteo.co·1d·
Discuss: Lobsters, Hacker News
🔧Embedded Rust
I designed my own ridiculously fast game streaming video codec
themaister.net·4d·
Discuss: Lobsters, Hacker News
🎨Computer Graphics
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·7h·
Discuss: Lobsters, Hacker News
🗣️Language Servers
AI paradigm for solving differential equations: first-principles data generation and scale-dilation operator AI solver
arxiv.org·19h
🤖AI
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Embedded Rust
Research Areas in AI Control (The Alignment Project by UK AISI)
lesswrong.com·12h
🤖AI
Crafting your own Static Site Generator using Phoenix (2023)
fly.io·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly