Unification
eli.thegreenplace.net·4d·
Discuss: Hacker News
📝Lisp
Subinterpreters and Asyncio
blog.changs.co.uk·1d·
Discuss: Hacker News
📝Lisp
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·1d·
Discuss: Hacker News
🔗Parser Combinators
Your Reward Function for RL is Your Best PRM for Search: Unifying RL and Search-Based TTS
arxiv.org·1d
🎲Probabilistic Programming
The Hierarchical Reasoning Model
jdsemrau.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
how to decide on the sequence of computable numbers
academia.edu·1d·
Discuss: Hacker News, r/programming
📈Complexity Theory
DevLog#2: Why I Scrapped My Half-Built Data Validation Platform
dev.to·4h·
Discuss: DEV
🔍Static Analysis
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·19h
🎲Probabilistic Programming
I Stopped Writing Code. My Productivity Exploded.
every.to·1d
🧩Theorem Proving
Comp-X: On Defining an Interactive Learned Image Compression Paradigm With Expert-driven LLM Agent
arxiv.org·4h
🎲Probabilistic Programming
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·1d·
Discuss: Hacker News
🧩Theorem Proving
When Is Monitoring Enough? A Practical Guide to Database Observability
dev.to·20h·
Discuss: DEV
🔍Static Analysis
Building AI Products in the Probabilistic Era
giansegato.com·13h·
Discuss: Hacker News
🎲Probabilistic Programming
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·2d
🎯Constraint Programming
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·2d
🗄️Database Theory
DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
arxiv.org·3d
🔧Compiler Design
Non-linear Welfare-Aware Strategic Learning
arxiv.org·4h
⚖Algorithmic Game Theory
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·8h·
Discuss: r/golang
🧮Programming Language Theory
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·4h
🔧Compiler Design
The Enemy from Within: A Study of Political Delegitimization Discourse in Israeli Political Speech
arxiv.org·4h
🔗Parser Combinators