Project Mordenite (what if Small Language Models improved the way we hire? )
designswarm.com·6h
🧮Programming Language Theory
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·5h
⚙Functional Programming
GPT-5 and SQL code generation
beekeeperstudio.io·1h·
Discuss: Hacker News
🎲Probabilistic Programming
Mastering Self-Consistency Prompting
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Free Theory of Computation text
reddit.com·3h·
Discuss: r/compsci
🧮Programming Language Theory
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·2d
🔧Compiler Design
Optimizing multiprecision LLL in FLINT
fredrikj.net·16h
🧭SMT Solvers
Devtool DB Perf - Looking for beta users
datapace.ai·19h·
Discuss: DEV
🗄️Database Theory
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·12h
🧩Theorem Proving
There is an easy way to dramatically reduce the resources we spend to train LLMs.
medium.com·8h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Discovering Backdoor Triggers
lesswrong.com·2d
🧭SMT Solvers
Guide to Rapidly Improving AI Products Part 2
newsletter.eng-leadership.com·22h·
Discuss: r/programming
🧩Theorem Proving
Stream Integration
feldera.com·3d·
Discuss: Hacker News
🧠Memory Management
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·2d·
Discuss: Hacker News, Hacker News
🧫Cellular Automata
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·12h
🔗Parser Combinators
An Update on Pytype
github.com·23h·
Discuss: Hacker News
🧮Programming Language Theory
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·20h·
Discuss: Hacker News
⚖️Logic Programming
Unification
eli.thegreenplace.net·3d·
Discuss: Hacker News
📝Lisp
Rewriting Modulo Traced Comonoid Structure
arxiv.org·12h
🔄Category Theory