Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·23h·
Discuss: Hacker News
🔤Language Design
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📚Automata Learning
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·2h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
How to design effective agent workflows?
boliv.substack.com·23h·
Discuss: Substack
💎Refinement Types
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Nonmonotonic Logic
cambridge.org·5d·
Discuss: Hacker News
🔁Fixpoint Theory
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·1d
🔄Finite State Machines
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·3h·
Discuss: DEV
📊Runtime Verification
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·23h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post