Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·19h
🐫OCaml
Binding Application in Idris
andrevidela.com·33m·
Discuss: Hacker News
🔠Type-Level Programming
Still Fuzzy on JavaScript Promises or Async/Await? Here’s a Free Mini-Course!
reddit.com·6h·
Discuss: r/programming
🛡️seL4
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·19h·
Discuss: Hacker News
🔍Formal Verification
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·6h·
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·11h·
Discuss: Hacker News
🤖Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·1h·
Discuss: r/programming
🔬Static Analysis
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·18h·
Discuss: Hacker News
🏹Effect Systems
Richard Feynman and the Connection Machine
longnow.org·11h·
Discuss: Hacker News
💾Retro Computing
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·19h
⚙️PL Implementation
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·6h·
Discuss: Hacker News
🔬Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·8h·
Discuss: Hacker News
🔠Type-Level Programming
Parameterized Restless Temporal Path
arxiv.org·1d
🐫OCaml
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·6h·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·5h·
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·23h·
Discuss: Hacker News
❄️Nix