Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·10h·
Discuss: Hacker News
🔤DSLs
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·20h·
Discuss: Hacker News
🔄Finite State Machines
We solved AI API interoperability
supermemory.ai·2d·
Discuss: Hacker News
🐫OCaml
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·1d·
Discuss: Hacker News
🐫OCaml
The REM-arkable Misadventures of LIST
masswerk.at·2d·
Discuss: Hacker News
🐫OCaml
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·1d
🐫OCaml
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
💾Retro Computing
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·19h·
Discuss: Hacker News
🍎Apple
The Next Wave
dumindu.github.io·5h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·18h·
Discuss: Hacker News
📦Unikernel Systems
Perl 5.42 Released - Still Going Strong
i-programmer.info·1d·
Discuss: r/programming
⚙️PL Implementation
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·1d
🔍Formal Verification
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·2h·
Discuss: Hacker News
⚙️PL Implementation
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·7h·
Discuss: Hacker News
🛡️seL4
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
🐫OCaml
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·19h·
Discuss: Hacker News
🔄Finite State Machines