Let's make PostgreSQL multi-threaded (2023)
postgresql.org·1d·
Discuss: Hacker News
⚡Process Calculi
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·3d·
Discuss: Hacker News
🤖Program Synthesis
Towards Rust in Windows Drivers
techcommunity.microsoft.com·23h·
Discuss: Hacker News
🔧Unikernel Development
Natural Latents: Latent Variables Stable Across Ontologies
lesswrong.com·1d
📝Term Rewriting
Hidden Convexity in Active Learning: A Convexified Online Input Design for ARX Systems
arxiv.org·1d
🔄Finite State Machines
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·4d·
Discuss: Hacker News
🐫Embedded OCaml
Portable Targeted Sampling Framework Using LLVM
arxiv.org·1d
🐫Embedded OCaml
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·3h·
Discuss: Substack
🔄Reproducible Builds
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
🔬Static Analysis
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·12h·
Discuss: Hacker News
🛡️seL4
Reinforcement Learning for Machine Learning Engineering Agents
arxiv.org·2d
📚Automata Learning
The Grounded Turing Test
whattotelltherobot.com·1d·
Discuss: Hacker News
📚Automata Learning
Semantically Reflected Programs
arxiv.org·1d
💎Refinement Types
Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability
arxiv.org·2d
🩹Self-Healing Systems
C Tooling
tomscheers.github.io·2d·
Discuss: Hacker News, r/C_Programming
🔬Static Analysis
Approximate constrained stochastic optimal control via parameterized input inference
arxiv.org·1d
🔄Finite State Machines
FlashRecovery: Fast and Low-Cost Recovery from Failures for Large-Scale Training of LLMs
arxiv.org·1d
🩹Self-Healing Systems
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·5h·
Discuss: Substack
🔧Unikernel Development
GPT-5: The Case of the Missing Agent
secondthoughts.ai·20h·
Discuss: Hacker News
🔬Unikernels
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·21h·
Discuss: Hacker News
📚Automata Learning