C++: Maps on Chains
bannalia.blogspot.com·5h·
Discuss: Hacker News
🏹Effect Systems
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·8h
🔍Formal Verification
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·17h·
Discuss: Hacker News
🛡️seL4
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·2d·
Discuss: Hacker News
🔍Formal Verification
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.com·2d·
Discuss: r/programming
✓Automated Theorem Proving
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·19h·
Discuss: Hacker News
⚙️PL Implementation
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
BMFM-DNA: A SNP-aware DNA foundation model to capture variant effects
arxiv.org·2d
🔠Type-Level Programming
AI Agent Smart Contract Exploit Generation
arxiv.org·2d
✓Automated Theorem Proving
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·1d
✓Automated Theorem Proving
Show HN: Claude Code Watchdog :: GH Action for self-healing tests
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org·2d
🌐NetworkProtocols
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·18h·
Discuss: Substack
🐫Embedded OCaml