Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·9h
🤝Unification Algorithms
Unification
eli.thegreenplace.net·6h·
Discuss: Hacker News
🤝Unification Algorithms
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·4h·
Discuss: DEV
🔗Constraint Handling
The theorem on formal functions
math.columbia.edu·2d
⚔️Lean Theorem
A programmer's field guide to assertions
typesanitizer.com·1d·
Discuss: Lobsters
📜Proof Carrying Code
Binary Tree BFS: Zigzag Order
mmhaskell.com·5h
🔗Topological Sorting
6 Genius Level Puzzles
mindyourdecisions.com·13h
🔲Cellular Automata
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·9h
⚡Incremental Computation
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·9h
🎯Gradual Typing
Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training
huggingface.co·1d·
Discuss: Hacker News, r/programming
🎯Interactive Provers
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·15h
🔗Functional Compilers
Functional Programming HOWTO
docs.python.org·16h·
Discuss: Lobsters
🔗Lisp
Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules
arxiv.org·9h
🔗Constraint Handling
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
arxiv.org·9h
🧪Binary Fuzzing
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·9h
🎨Graph Coloring
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·6h·
Discuss: Hacker News
🔄Migration Tools
How to Solve a Problem
henrikkarlsson.xyz·26m·
Discuss: Hacker News
❄️Nordic Design Philosophy
Beyond Booleans
overreacted.io·2d·
Discuss: Lobsters, r/javascript, r/programming, r/typescript
🔲Proof Irrelevance
Your MCP Doesn’t Need 30 Tools: It Needs Code
lucumr.pocoo.org·13h·
Discuss: Hacker News
🐚Shell Calculus