Ten Simple Rules for Mathematical Writing
web.mit.edu·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Graph foundation models for relational data
research.google·1d·
Discuss: Hacker News, r/programming
➡️Category Theory
Stop monitoring systems; start monitoring outcomes
intercom.com·12h·
Discuss: Hacker News
👁️System Observability
The State of State AI Law: What's Coming Now That the Federal Moratorium Is Dead
carnegieendowment.org·9h·
Discuss: Hacker News
🤖Program Synthesis
KSAT
corrode.dev·2d·
Discuss: Hacker News
⎈Kubernetes
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·22h
🐫Embedded OCaml
Beyond the Dataset – Deep tech data science
aneeshsathe.com·21h·
Discuss: Hacker News
👁️System Observability
How to scale RL to 10^26 FLOPs
blog.jxmo.io·1d·
Discuss: Hacker News
🎮Verification Games
Development and Real-World Application of Commercial Motor Vehicle Safety Enforcement Dashboards
arxiv.org·1d
👁️System Observability
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
arxiv.org·22h
🐫Embedded OCaml
Interleaving Logic and Counting
arxiv.org·3d
✓Automated Theorem Proving
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·22h
✓Automated Theorem Proving
Object Oriented Programming is an expensive disaster which must end
medium.com·2d·
Discuss: Hacker News
🔬Static Analysis
Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System
arxiv.org·2d
✓Automated Theorem Proving
A Probabilistic Approach to Uncertainty Quantification Leveraging 3D Geometry
arxiv.org·1d
🐫OCaml
Neural Actor-Critic Methods for Hamilton-Jacobi-Bellman PDEs: Asymptotic Analysis and Numerical Studies
arxiv.org·1d
🎮Verification Games