Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
10 Data + AI Observations for Fall 2025
towardsdatascience.com·15h
🌊Stream Processing
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·9h·
Discuss: DEV
⚡Incremental Computation
The Trillion Dollar AI Software Development Stack
a16z.com·8h·
Discuss: Hacker News
⚡Proof Automation
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🎧Learned Audio
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·9h·
Discuss: DEV
🔍Concolic Testing
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
A new breed of analyzers
daniel.haxx.se·17h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·23h·
Discuss: DEV
💻Local LLMs
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory