Unification
eli.thegreenplace.net·6h·
Discuss: Hacker News
🔍Type Inference
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·9h
🔮Proof Search
https://blog.wilsonl.in/search-engine/?s=09
blog.wilsonl.in·1d
🔍BitFunnel
Binary Tree BFS: Zigzag Order
mmhaskell.com·5h
🔗Topological Sorting
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·15h
🔗Functional Compilers
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·9h
🎯Gradual Typing
Typechecker Zoo
stephendiehl.com·3d·
Discuss: Lobsters
🔍Type Inference
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·8h·
Discuss: DEV
🤖Archive Automation
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·9h
💻Programming languages
Philosopher’s Annual for 2024
dailynous.com·14h
🏛️Philosophy
Functional Programming HOWTO
docs.python.org·16h·
Discuss: Lobsters
🔗Lisp
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·3h
🧬Palindrome Codes
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·9h
⚡Incremental Computation
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·9h
🔗Parser Combinators
Are We Teaching Rust Effectively?
blog.kodewerx.org·22h·
Discuss: Hacker News
🦀Rust Borrowing
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·1h
🔗Lisp
A Lisp in 99LOC
github.com·1d·
Discuss: Hacker News
🔗Lisp
Matter
taoofmac.com·23h
🏷️Metadata Standards
Interpolation in Classical Propositional Logic
arxiv.org·9h
🔗Combinatory Logic