Parameters and binding forms should be mutually recursive
samestep.com·1h·
Discuss: Hacker News
🐫OCaml
Why Do MLLMs Struggle with Spatial Understanding? A Systematic Analysis from Data to Architecture
arxiv.org·2d
🔤DSLs
Fil's Unbelievable Garbage Collector
fil-c.org·15h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·1d
👁️System Observability
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·10h·
Discuss: Substack
🐫Embedded OCaml
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🧮Lambda Calculus
The capacity limits of moving objects in the imagination
nature.com·23m·
Discuss: Hacker News
🏹Effect Systems
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·3h·
Discuss: Substack
🔧Unikernel Development
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·1d·
Discuss: r/programming
🤖Program Synthesis
The Aider Local Model Experience
hexeditreality.com·50m·
Discuss: Hacker News
🛡️seL4
My AI Vibes are Shifting
lesswrong.com·1h
🧠Automated Reasoning
Protobuffers Are Wrong
reasonablypolymorphic.com·1h·
Discuss: Hacker News
🐫Embedded OCaml
Memory is slow, Disk is fast – Part 2
bitflux.ai·18h·
Discuss: Hacker News
👁️System Observability
InvisiCaps: The Fil-C capability model
fil-c.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·8h·
Discuss: Hacker News
🔤DSLs
ML Systems: Motivating Dense Models
jacobkahn.me·1d·
Discuss: Hacker News
🧮Lambda Calculus
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·3h·
Discuss: Hacker News
🐫Embedded OCaml