Systems Engineering for Agentic Applications
agenticapplications.substack.com·11h·
Discuss: r/programming
🩹Self-Healing Systems
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·21h
🧠Automated Reasoning
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Isolated(any)
nshipster.com·9h·
Discuss: Hacker News
🧮Lambda Calculus
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔤DSLs
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·2d
📚Automata Learning
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Lessons from building an AI data analyst
pedronasc.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·6h·
Discuss: Hacker News
🧩Parser Combinators
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
Lively Linear Lisp (1992)
plover.com·23h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Guys I am leaving python to learn i will say i am decently good at it but my bigger goals are to learn c++ for game dev is ita nice decision
w3schools.com·19h·
Discuss: r/programming
🎮Verification Games
Tripping Around REPL
vlaaad.github.io·15h·
Discuss: Hacker News
🛡️seL4
Cyclic Implicit Complexity
arxiv.org·21h
🐫OCaml
This Page Is a Quine
pranavg.me·1d·
Discuss: Hacker News
🧮Lambda Calculus
Breaking Verifiable Abstractions
alperenkeles.com·13h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Domain Generalization in-the-Wild: Disentangling Classification from Domain-Aware Representations
arxiv.org·21h
📚Automata Learning
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·5h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators