Lisp in 99 Lines of C With TinyLisp
hackaday.com·5h
🐫Embedded OCaml
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·2d
🔬Static Analysis
Compilation Isn't Just for Programming Languages
architecture-weekly.com·1d·
Discuss: Hacker News, r/node, r/programming
🔄Reproducible Builds
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🐫OCaml
Working with Asynchronous Coding Agents
elite-ai-assisted-coding.dev·18h·
Discuss: Hacker News
👁️System Observability
Rust: Python’s New Performance Engine
thenewstack.io·12h
🔬Static Analysis
Constructor Best Practices in Rust
blog.cuongle.dev·16h·
Discuss: Hacker News
🐫OCaml
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·3h
🐫OCaml
Ormin – An ORM for Nim
github.com·19h·
Discuss: Hacker News
🔤DSLs
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·2d·
Discuss: Hacker News
🔄Reproducible Builds
Customizing Lisp REPLs
aartaka.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Anno 1800 Frame Analysis
blog.thomaspoulet.fr·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
Without the Futex, It's Futile
h4x0r.org·18h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·17h·
Discuss: Hacker News
🐫Embedded OCaml
Running .NET in the browser without Blazor
andrewlock.net·13h·
Discuss: Hacker News
👁️System Observability
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·1d·
Discuss: Hacker News
🧱Immutable Infrastructure