Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·17h·
Discuss: Substack
🎯Proof Tactics
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Neuro-Symbolic AI
en.wikipedia.org·15h·
Discuss: Hacker News
🔲Cellular Automata
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
💻Programming languages
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🎧Learned Audio
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·6h·
Discuss: Hacker News
⚡Proof Automation
Is GRPO Broken?
neelsomaniblog.com·4h·
Discuss: Hacker News
🧮Kolmogorov Bounds
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
GPT-5 for AI-assisted discovery
johndcook.com·14h·
Discuss: Hacker News
🎯Performance Proofs
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·23h·
Discuss: DEV
💻Local LLMs
Picking an AI Code Reviewer
markmarkoh.com·9h·
Discuss: Hacker News
📏Code Metrics
Claude Code Plugins vs. Gemini CLI Extensions: A Comparison
harishgarg.com·15h·
Discuss: Hacker News
🔄Language Evolution
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution