Building the Future of Aircon Servicing with C++
airconservicing.org·1d·
Discuss: DEV
📦Monorepos
A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
🎲 Collaborative Text Editing from Scratch in Lexical
mortenson.coffee·1d
📝Rope Editors
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·11h·
Discuss: Hacker News
🔀SSA Construction
SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·11h·
Discuss: r/LocalLLaMA
📏Linear Memory
The Inverse Matrix problem
talesfrom.dev·1d
🚂Error Propagation
Alias and references as localized macros
gustedt.wordpress.com·1h·
Discuss: Hacker News
🪄C Metaprogramming
Show HN: My first finished audio plugin. Minimal Bloat, Under 1000 LOC
news.ycombinator.com·9h·
Discuss: Hacker News
🧸Toy Compilers
Full code to build your own AI agent with Python
thenewaiorder.substack.com·1d·
Discuss: Substack
🗃️Query Compilation
Whiteboarding with AI
jrfernandez.com·2d·
Discuss: Hacker News
🎮Language Ergonomics
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·11h
🔍ML Language
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
📋Souffle Datalog
I Tested Claude 4.5 Against GPT-4 for 48 Hours. Here's What Nobody's Telling You.
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·18h·
Discuss: DEV
🌐Network Protocols
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·11h
✨Effect Inference
Doctor-R1: Mastering Clinical Inquiry with Experiential Agentic Reinforcement Learning
arxiv.org·11h
🎭Erlang OTP
MCP Server for Accessing Official Language Docs from AI Editors
dev.to·2d·
Discuss: DEV
💬Interactive REPLs
A Multilingual Framework for Dysarthria: Detection, Severity Classification, Speech-to-Text, and Clean Speech Generation
arxiv.org·11h
📊LR Parsing