Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·1d
🔮Proof Search
Trap: Autoregressive Transformers in APL
github.com·1d·
Discuss: Lobsters
📊APL Heritage
Why Bother with Markdown? (2020)
idle.nprescott.com·6h·
Discuss: Hacker News
📝Concrete Syntax
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·17h
🦀Rust Macros
Grammarly is giving students AI to help them learn – and maybe succeed
techradar.com·1h
🤖Automated Parsing
Modular Arithmetic in Data Science
towardsdatascience.com·1d
📐Interval Arithmetic
Binary Tree BFS: Zigzag Order
mmhaskell.com·1d
🔗Topological Sorting
Swift Concurrency's Biggest Unintuitive Gotchas
blog.jacobstechtavern.com·12h
📞Session Types
Unification
eli.thegreenplace.net·1d·
Discuss: Hacker News
🤝Unification Algorithms
The Price of Intelligence
cacm.acm.org·9h
💻Local LLMs
How Infosys built a generative AI solution to process oil and gas drilling data with Amazon Bedrock
aws.amazon.com·9h
📰RSS Archaeology
Object-Oriented Programming in Python: Complete Crash Course
dev.to·12h·
Discuss: DEV
🔗Concatenative Programming
Show HN: OnPair – String compression with fast random access (Rust, C++)
github.com·12h·
Discuss: Hacker News
📦Deflate
2026, Year of Reinforcement Learning?
aimlbling-about.ninerealmlabs.com·5h·
Discuss: Hacker News
🔲Cellular Automata
The long season of langdev
blog.fogus.me·14h
🔄Language Evolution
Dyna – Logic Programming for Machine Learning
dyna.org·3d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
A brief consideration of input shapes (fuzzing)
addisoncrump.info·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
GPT-5 goes hard on real-world programming
omerba.dev·1d·
Discuss: Lobsters, Hacker News
✅Format Verification
A Complete Guide to Tagging for Personal Knowledge Management
fortelabs.com·7h·
Discuss: Hacker News
🌱Personal Wikis