Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·4h
💻Local LLMs
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·12h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·2h
🎯Performance Proofs
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·13h·
Automated Theorem Proving
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·16h·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Weekly Challenge: The one about arrays
dev.to·20h·
Discuss: DEV
📊APL Heritage
Flag this post
A moonlit week
blog.mitrichev.ch·14h·
λLambda Encodings
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
Problems from the Land down Under
pballew.blogspot.com·2h·
📜Manuscript Calculus
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·14h·
Discuss: Hacker News
📐Format Grammars
Flag this post
I built an AI agent with Mistral that automates 80% of my PostgreSQL DBA work
news.ycombinator.com·1h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Flag this post
A bestiary of single-file programming language implementations
github.com·10h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·3h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Show HN: RightMindMath and Arithmetic Fluency
rightmindmath.com·17h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
How to Scale LLM Apps Without Exploding Your Cloud Bill
hackernoon.com·10h
📄Text Chunking
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Multi-Task Vehicle Routing Solver via Mixture of Specialized Experts under State-Decomposable MDP
arxiv.org·4h
🧮SMT Solvers
Flag this post