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
Binding Application in Idris
andrevidela.com·7h·
Discuss: Hacker News
🔠Type-Level Programming
Still Fuzzy on JavaScript Promises or Async/Await? Here’s a Free Mini-Course!
reddit.com·12h·
Discuss: r/programming
🛡️seL4
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔍Formal Verification
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·13h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·18h·
Discuss: Hacker News
🤖Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🏹Effect Systems
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·2h
✓Automated Theorem Proving
Richard Feynman and the Connection Machine
longnow.org·18h·
Discuss: Hacker News
💾Retro Computing
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·13h·
Discuss: Hacker News
🔬Static Analysis
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·2h
🎮Verification Games
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·14h·
Discuss: Hacker News
🔠Type-Level Programming
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·1d
⚙️PL Implementation
Reinforcement Learning with Action Chunking
arxiv.org·2h
🎮Verification Games
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·12h·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·12h·
Discuss: Substack
🐫Embedded OCaml
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing