OneLLM - Better open router?
onellm.dev·18h·
Discuss: r/programming
📦Unikernel Systems
Where are the DocuSign 2.0 Startups?
unicornforms.com·14h·
Discuss: Hacker News
🤖Program Synthesis
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
🔬Static Analysis
Richard Feynman and the Connection Machine
longnow.org·1d·
Discuss: Hacker News
🔄Finite State Machines
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·22h
⚙️PL Implementation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·22h
🎮Verification Games
Ezno (TypeScript type checker written in Rust) 2025 update
kaleidawave.github.io·6d·
Discuss: Hacker News
🐫OCaml
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
arxiv.org·22h
🐫OCaml
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·22h
🎮Verification Games
On Jailbreaking Quantized Language Models Through Fault Injection Attacks
arxiv.org·3d
🔬Unikernels
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Robust Multimodal Large Language Models Against Modality Conflict
arxiv.org·22h
🔄Finite State Machines
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
AI Tooling, Evolution and the Promiscuity of Modern Developers
redmonk.com·1d·
Discuss: Hacker News
👁️System Observability
Cache Benchmarks
github.com·3h·
Discuss: Hacker News
👁️System Observability
Inheritance and Polymorphism in Plain C
coz.is·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
I Changed My Mind: AI Will Replace Us
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving