Binding Application in Idris
andrevidela.com·1h·
Discuss: Hacker News
🐫OCaml
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·20h
🤖Program Synthesis
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🏹Effect Systems
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·2h·
Discuss: r/programming
🐫OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·7h·
Discuss: Hacker News
🔬Static Analysis
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·10h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·2h·
Discuss: r/programming
🔬Static Analysis
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·19h·
Discuss: Hacker News
🍎Apple
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·2d
➡️Category Theory
An Interactive Introduction to Probabilistic Data Linkage/Deduplication
robinlinacre.com·2d·
Discuss: Hacker News
➡️Category Theory
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·6h·
Discuss: Hacker News
🧪Property-Based Testing
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
C++ with no classes?
pvs-studio.com·1d·
Discuss: r/cpp, r/programming
🐫OCaml
Galois field instructions on 2021 CPUs
corsix.org·13h·
Discuss: Hacker News
🐫Embedded OCaml