When more threads make things worse
ordep.dev·16h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·2d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
Terminating elegantly: a guide to graceful shutdowns
packagemain.tech·2h·
Discuss: Hacker News
⎈Kubernetes
React Data List: Building Virtualized UIs Declaratively
attio.com·3h·
Discuss: Hacker News
📊Runtime Verification
When and How to Trust the Experts
capitalgains.thediff.co·51m·
Discuss: Hacker News
🧠Automated Reasoning
Release candidate: Godot 4.5 RC 2
godotengine.org·1d·
Discuss: Hacker News, r/godot
🎮Verification Games
How I tell human and AI flash fiction apart
lesswrong.com·1d
⚡Process Calculi
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·3d
🎮Verification Games
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
AI as teleportation
geoffreylitt.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·4d·
Discuss: Hacker News
🧮Lambda Calculus
Rust's Enterprise Breakthrough Year
rust-trends.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·22h·
Discuss: r/programming
🤖Program Synthesis
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
🔬Static Analysis
How OpenAI Operator Works with AI Agents
anchorbrowser.io·22h·
Discuss: Hacker News
🧠Automated Reasoning
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·2d
🧠Automated Reasoning
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·2d
🎮Verification Games
Creating a Standard for TAI Governance
lesswrong.com·3h
🩹Self-Healing Systems