A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
⿻ Plurality & 6pack.care
lesswrong.com·19h
🔬Unikernels
Systems Engineering for Agentic Applications
agenticapplications.substack.com·1d·
Discuss: r/programming
🩹Self-Healing Systems
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Civilization as a Compiler, or Why Not Just Let Dust Make Itself into Robots
vasily.cc·43m·
Discuss: Hacker News
🩹Self-Healing Systems
I made a CLI to stop manually copy-pasting code into LLMs
github.com·3h·
Discuss: Hacker News
🤖Program Synthesis
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·2h·
Discuss: Hacker News
🤖Program Synthesis
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·21h·
Discuss: Hacker News
🧩Parser Combinators
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3h·
Discuss: Hacker News
🔠Type-Level Programming
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
This Page Is a Quine
pranavg.me·2d·
Discuss: Hacker News
🧮Lambda Calculus
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Agents need a new retrieval engine
hornet.dev·11h·
Discuss: Hacker News
🧩Parser Combinators
Lessons from building an AI data analyst
pedronasc.com·23h·
Discuss: Hacker News
🧠Automated Reasoning
Introduction to Writing Good Puzzle Hunt Puzzles
mit.edu·1d·
Discuss: Hacker News
🎮Verification Games
Do dashes indicate AI writing?
blog.engora.com·1h·
Discuss: Hacker News
✓Automated Theorem Proving