C++: Maps on Chains
bannalia.blogspot.com·19h·
Discuss: Hacker News
🏹Effect Systems
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
I vibe coded a game with my daughter
davepeck.org·3d·
Discuss: Hacker News
💾Retro Computing
I don't think LLM's are making us stupider
news.ycombinator.com·10h·
Discuss: Hacker News
🔬Static Analysis
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·2d
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
(Attempting to) Engineer the chaos out of AI agents
trunk.io·2d·
Discuss: Hacker News
🧪Property-Based Testing
Generating prototypes from game design document with Cursor, Zed and LÖVE
blog.luden.io·2d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Interleaving Logic and Counting
arxiv.org·3d
✓Automated Theorem Proving
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·23h
✓Automated Theorem Proving
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·23h
🔍Formal Verification
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·23h
🤖Program Synthesis
Preemptive Solving of Future Problems: Multitask Preplay in Humans and Machines
arxiv.org·2d
🔄Finite State Machines
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·23h
🔄Finite State Machines
Can adversarial attacks by large language models be attributed?
arxiv.org·1d
🛡️seL4
Chat-Ghosting: A Comparative Study of Methods for Auto-Completion in Dialog Systems
arxiv.org·2d
🤖Program Synthesis
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·1d
🌐NetworkProtocols