Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·16h·
Discuss: Hacker News
🔠Type-Level Programming
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·2d
➡️Category Theory
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·20h·
Discuss: Hacker News
🤖Program Synthesis
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
What Makes Code Beautiful
thecoder.cafe·22h·
Discuss: r/programming
🔬Static Analysis
Realbasic (2000)
joelonsoftware.com·3h·
Discuss: Hacker News
💾Retro Computing
Bringing granular updates to React, the Clojure way
romanliutikov.com·1d·
Discuss: r/programming, r/reactjs
🧱Immutable Infrastructure
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Full QuickJS Support for Nginx
blog.nginx.org·5h·
Discuss: Hacker News
🌐NetworkProtocols
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
🐫OCaml
Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
💻CS
(Quite) a few words about async
yoric.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Efficient and Scalable Estimation of Distributional Treatment Effects with Multi-Task Neural Networks
arxiv.org·4h
🔠Type-Level Programming
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
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
🐫OCaml
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Data Science Weekly – Issue 607
datascienceweekly.substack.com·4h·
Discuss: Substack
👁️System Observability
Havoc – Heap Allocated Value Object Containers
github.com·3d·
Discuss: Hacker News
🛡️seL4