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·9h·
Discuss: Hacker News
🔠Type-Level Programming
Still Fuzzy on JavaScript Promises or Async/Await? Here’s a Free Mini-Course!
reddit.com·14h·
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·15h·
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·20h·
Discuss: Hacker News
🤖Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·9h·
Discuss: r/programming
🔬Static Analysis
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🏹Effect Systems
Richard Feynman and the Connection Machine
longnow.org·19h·
Discuss: Hacker News
💾Retro Computing
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·4h
✓Automated Theorem Proving
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·8h·
Discuss: Hacker News
🌐NetworkProtocols
C++: Maps on Chains
bannalia.blogspot.com·40m·
Discuss: Hacker News
🏹Effect Systems
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·15h·
Discuss: Hacker News
🔬Static Analysis
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·4h
🎮Verification Games
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·16h·
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
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·52m·
Discuss: Hacker News
👁️System Observability
Reinforcement Learning with Action Chunking
arxiv.org·4h
🎮Verification Games