🎲 A Feast for Odin
hiewandboardgames.blogspot.com·8h
🐹Minimal Go
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·1h·
Discuss: Substack
🔢Algebraic Datatypes
ELA-1536-1 mosquitto security update
freexian.com·1d
🛡️Parser Security
I Built My Own Google Drive
lorbic.com·6h·
Discuss: Hacker News
🛡️Capability VMs
Self-Hosted HDD Health Alerts using n8n and ntfy
noted.lol·3d
⚡Live Programming
Building Vajra: My Journey Creating an AI Coding Assistant
chatgpt.com·17h·
Discuss: DEV
🎮Language Ergonomics
[$] Gccrs after libcore
lwn.net·3h
🏗️Cranelift
Writing a simple operating system for a STM32 dev board: periperals are a small tft lcd and a ps-2 keyboard
reddit.com·1d·
Discuss: r/embedded
🖥️Minimal VMs
Are We Leaving Literature To The Psychotic?
lesswrong.com·14h
🎯Finite Automata
Alpine Linux on a Bare Metal Server
xn--gckvb8fzb.com·1d
🏗️Build Systems
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·10h·
Discuss: DEV
⏭️Skip Lists
The requirements went up. Foot in the door goalpost is moved a lot. Share some advice, please? Adjust my thinking fallacies.
reddit.com·2d·
Discuss: r/devops
🥾Bootstrapping Strategies
Ubuntu Blog: Canonical releases Ubuntu 25.10 Questing Quokka
ubuntu.com·10h
🌱Forth Kernels
Robust condition-based generation maintenance: Balancing operations and start/stop cycling to control asset degradation rates
sciencedirect.com·2h
🚂Error Propagation
Inducing State Anxiety in LLM Agents Reproduces Human-Like Biases in Consumer Decision-Making
arxiv.org·16h
✨Effect Inference
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·1d
🤖Abstract Machines
A Quantum Linear Systems Pathway for Solving Differential Equations
arxiv.org·16h
∫Mathematical DSLs
Beyond Outcome Reward: Decoupling Search and Answering Improves LLM Agents
arxiv.org·2d
💬Interactive REPLs
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·3d
🎲Parser Fuzzing
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.org·1d
🔗Lexical Scoping