Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·17h
🧮Z3 Solver
How To Solve Every Programming Problem
blog.codeminer42.com·1h
📐Interval Arithmetic
Three challenges in machine-based reasoning
amazon.science·15h·
Discuss: Hacker News
🧮Theorem Proving
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Show HN: Principles of Building AI Agents book [pdf]
github.com·6h·
Discuss: Hacker News
⚡Proof Automation
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
muratbuffalo.blogspot.com·8h·
Discuss: www.blogger.com
⚡Hardware Transactional Memory
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·21h·
Discuss: Lobsters
🔗Functional Compilers
Linear Types for Programmers
twey.io·4d·
Discuss: Hacker News
🔒Linear Types
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·1d·
Discuss: Hacker News
🔒WASM Capabilities
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·5h·
Discuss: DEV
⚡gRPC
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·17h
✨Effect Handlers
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·17h
🎯Dependent Parsing
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·6h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: model overfitting
dev.to·3h·
Discuss: DEV
🧠Machine Learning
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·22h·
Discuss: Hacker News
🌳Incremental Parsing
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·1d
🧮Datalog