Lisp Still Matters
funcall.blogspot.com·19h·
Discuss: Hacker News
⚙️PL Implementation
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
arxiv.org·1d
🧩Parser Combinators
Context Engineering: A Primer
okigu.com·23h·
Discuss: Hacker News
🔍Formal Verification
What Does AI Do?
joecooper.me·15h·
Discuss: Hacker News
📚Automata Learning
Adapting to Change: A Comparison of Continual and Transfer Learning for Modeling Building Thermal Dynamics under Concept Drifts
arxiv.org·1d
📚Automata Learning
A Constructive Look at TempleOS (2015)
codersnotes.com·1d·
Discuss: Hacker News
🔬Unikernels
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·25m·
Discuss: Hacker News
🔄Reproducible Builds
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
🧪Property-Based Testing
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🤖Program Synthesis
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
What Is Complexity in Chess?
lichess.org·1d·
Discuss: Hacker News
🎮Verification Games
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·2d
📚Automata Learning
Time's arrow => decision theory
lesswrong.com·3h
🧠Automated Reasoning
MyGO: Memory Yielding Generative Offline-consolidation for Lifelong Learning Systems
arxiv.org·1d
📚Automata Learning
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·1d
🎮Verification Games
Compiling Dinner
gist.github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Mojo Roadmap Document
docs.modular.com·4d·
Discuss: Hacker News
🐫OCaml
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
💎Refinement Types
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·19h·
Discuss: Hacker News
📚Automata Learning