Binding Application in Idris
andrevidela.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
✓Automated Theorem Proving
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·13h·
Discuss: r/programming
➡️Category Theory
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·21h·
Discuss: Hacker News
🔤DSLs
C++ with no classes?
pvs-studio.com·2d·
Discuss: r/cpp, r/programming
🔠Type-Level Programming
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·22h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·4h·
Discuss: Hacker News
👁️System Observability
LLM Inference Handbook
bentoml.com·9h·
Discuss: Hacker News
🛡️seL4
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·16h·
Discuss: Hacker News
🐫Embedded OCaml
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·7h
🔍Formal Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·18h·
Discuss: Hacker News
🔬Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·19h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
Galois field instructions on 2021 CPUs
corsix.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
🤖Program Synthesis