Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·19h·
Discuss: Substack
⚙️Operating System Design
Systems Engineering for Agentic Applications
agenticapplications.substack.com·20h·
Discuss: r/programming
🩹Self-Healing Systems
Time's arrow => decision theory
lesswrong.com·3h
🧠Automated Reasoning
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Testing the not-so-happy path
jorgeortiz.dev·2h·
Discuss: r/rust
🧪Property-Based Testing
Math Moments: Blaise Pascal
kidswholovemath.substack.com·20h·
Discuss: Substack
🧮Lambda Calculus
Isolated(any)
nshipster.com·18h·
Discuss: Hacker News
🧮Lambda Calculus
There's a gap between AI coding demos and daily reality
github.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Inferno Part 2: Let's Make a Cluster
debu.gs·23h·
Discuss: Hacker News
🏠HomeLab
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
Debugging Rustler on Illumos
system-illumination.org·1h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
Breaking Verifiable Abstractions
alperenkeles.com·21h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Lessons from building an AI data analyst
pedronasc.com·17h·
Discuss: Hacker News
🧠Automated Reasoning
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·18h·
Discuss: Hacker News
📚Automata Learning
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·13h·
Discuss: Lobsters
🔧Unikernel Development
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·15h·
Discuss: Hacker News
🧩Parser Combinators
Liquidsoap Release 2.4.0
liquidsoap.info·14h·
Discuss: Hacker News
🐳Containerization