Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·17h
🐫OCaml
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Still Fuzzy on JavaScript Promises or Async/Await? Here’s a Free Mini-Course!
reddit.com·4h·
Discuss: r/programming
🛡️seL4
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·5h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·17h·
Discuss: Hacker News
🔍Formal Verification
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·10h·
Discuss: Hacker News
🤖Program Synthesis
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·16h·
Discuss: Hacker News
🏹Effect Systems
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Richard Feynman and the Connection Machine
longnow.org·9h·
Discuss: Hacker News
💾Retro Computing
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·17h
⚙️PL Implementation
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·4h·
Discuss: Hacker News
🔬Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·6h·
Discuss: Hacker News
🔠Type-Level Programming
Parameterized Restless Temporal Path
arxiv.org·1d
🐫OCaml
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·4h·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3h·
Discuss: Substack
🐫Embedded OCaml
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
(Quite) a few words about async
yoric.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·21h·
Discuss: Hacker News
❄️Nix
Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
arxiv.org·17h
👁️System Observability
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·17h
🤖Program Synthesis