Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.orgยท14h
๐ŸคUnification Algorithms
Unification
eli.thegreenplace.netยท10hยท
Discuss: Hacker News
๐ŸคUnification Algorithms
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.toยท9hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Structural insight: Bypassing no-go theorems
fexpr.blogspot.comยท30m
๐Ÿ”ฒProof Irrelevance
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ยท9h
๐Ÿ”—Topological Sorting
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ยท14h
โšกIncremental Computation
6 Genius Level Puzzles
mindyourdecisions.comยท17h
๐Ÿ”ฒCellular Automata
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.comยท13h
๐ŸŽฏGradual Typing
Stream Integration
feldera.comยท2hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
The Dogs in Pursuit Problem
theguardian.comยท2hยท
Discuss: Hacker News
ฮปLambda Encodings
Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training
huggingface.coยท1dยท
Discuss: Hacker News, r/LLM, r/programming
๐ŸŽฏInteractive Provers
The continuation monad: a mathematical introduction
wildonblog.wordpress.comยท19h
๐Ÿ”—Functional Compilers
How To Tame Alert Fatigue With Time Series Databases
thenewstack.ioยท2h
๐Ÿ“ˆTime Series
Functional Programming HOWTO
docs.python.orgยท21hยท
Discuss: Lobsters
๐Ÿ”—Lisp
Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules
arxiv.orgยท14h
๐Ÿ”—Constraint Handling
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
arxiv.orgยท14h
๐ŸงชBinary Fuzzing
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.orgยท14h
๐ŸŽจGraph Coloring