Helpful function to find memory leaks in JavaScript
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·2d
➡️Category Theory
Full QuickJS Support for Nginx
blog.nginx.org·3h·
Discuss: Hacker News
🌐NetworkProtocols
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
What Makes Code Beautiful
thecoder.cafe·20h·
Discuss: r/programming
🔬Static Analysis
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
Realbasic (2000)
joelonsoftware.com·2h·
Discuss: Hacker News
💾Retro Computing
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
(Quite) a few words about async
yoric.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
💻CS
Efficient and Scalable Estimation of Distributional Treatment Effects with Multi-Task Neural Networks
arxiv.org·2h
🔠Type-Level Programming
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
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·2h·
Discuss: Substack
👁️System Observability
Havoc – Heap Allocated Value Object Containers
github.com·3d·
Discuss: Hacker News
🛡️seL4
Vibe Coding Casino: Rise of programming by slot machine
evrim.zone·13h·
Discuss: Lobsters, Hacker News
💾Retro Computing