Unification
eli.thegreenplace.net·12h·
Discuss: Hacker News
🔍Type Inference
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·16h
🔮Proof Search
https://blog.wilsonl.in/search-engine/?s=09
blog.wilsonl.in·1d
🔍BitFunnel
Binary Tree BFS: Zigzag Order
mmhaskell.com·11h
🔗Topological Sorting
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·21h
🔗Functional Compilers
Why Semantic Spacetime (SST) is the answer to rescue property graphs
mark-burgess-oslo-mb.medium.com·4h·
Discuss: Lobsters
🔄Graph Rewriting
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·15h
🎯Gradual Typing
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·14h·
Discuss: DEV
🤖Archive Automation
Functional Programming HOWTO
docs.python.org·22h·
Discuss: Lobsters
🔗Lisp
Dyna – Logic Programming for Machine Learning
dyna.org·2d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Stream Integration
feldera.com·4h·
Discuss: Hacker News
🌊Stream Processing
CFAR RadarSim - Multi Target Detection System
hackster.io·5h
📊Spectrograms
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·16h
💻Programming languages
Typechecker Zoo
stephendiehl.com·3d·
Discuss: Lobsters
🔍Type Inference
Interleaving for Retrieval Augmented Generation
maxirwin.com·3h·
Discuss: Hacker News, r/programming
🔍Information Retrieval
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·10h
🧬Palindrome Codes
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·15h
⚡Incremental Computation
How To Tame Alert Fatigue With Time Series Databases
thenewstack.io·3h
📈Time Series
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·16h
🔗Parser Combinators
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing