Dead Zone Dragging
steveruiz.me·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Open Sesame: Poems with Entropy
benwr.net·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
The C3 Programming Language
c3-lang.org·3d·
Discuss: Hacker News
🔬Static Analysis
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·1d·
Discuss: Lobsters, r/programming
🐫Embedded OCaml
Rust is a great fit for the agentic era
kerkour.com·3d·
Discuss: Hacker News
🔬Static Analysis
Why pull-based pipelines are faster
blog.sequinstream.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
Giving AWS Q Developer CLI a second look
chrisebert.net·3d·
Discuss: Hacker News
🔄Reproducible Builds
Using data version control to build better AI factories
lakefs.io·4d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Tao: The Power of the Graph (2013)
engineering.fb.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
To What Extent Can Public Equity Indices Statistically Hedge Real Purchasing Power Loss in Compounded Structural Emerging-Market Crises? An Explainable ML-Based...
arxiv.org·1d
🐫OCaml
Two Simple Rules to Fix Code Reviews
serce.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Command GitHub's Coding Agent from VS Code
code.visualstudio.com·1d·
Discuss: Hacker News, r/programming, r/webdev
🔄Reproducible Builds
CubeSat Orbit Insertion Maneuvering Using J2 Perturbation
arxiv.org·1d
🏹Effect Systems
API Simulation Reduces MCP Server, Microservices Overload
thenewstack.io·1d
👁️System Observability
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: An Experimental Study
arxiv.org·5d
✓Automated Theorem Proving
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·5d
✓Automated Theorem Proving
Sparse Identification of Nonlinear Dynamics with Conformal Prediction
arxiv.org·2d
🐫OCaml
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·4d
🔄Finite State Machines
Show HN: DataFlow: makes LLM data processing fast, powerful, and EASY
github.com·4d·
Discuss: Hacker News
🔤DSLs