Superhuman AI for Multiplayer Poker
science.org·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·2d·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Flag this post
Modelling beliefs about sets
emiruz.com·5d·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
medium.com·18h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·7h
🐳Containerization
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·18h
🔲Cellular Automata
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
🕸️Graph Theory
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·6h·
Discuss: DEV
👁️System Observability
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·7h
🖥️Self-hosted Infrastructure
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·7h
📚Automata Learning
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·7h
🎯Hindley-Milner
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·7h
📚Automata Learning
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·7h
📝Nix Language
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·7h
🤖Robotics
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·7h
🔍CBMC
Flag this post
Adaptive Control for a Physics-Informed Model of a Thermal Energy Distribution System: Qualitative Analysis
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·1d
📝Term Rewriting
Flag this post
AI for pRedicting Exacerbations in KIDs with aSthma (AIRE-KIDS)
arxiv.org·7h
⏱️Computational Complexity
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·7h
⚙️Compiler Design
Flag this post