Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·12h·
Discuss: Hacker News
🛡️seL4
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com·11h·
Discuss: Hacker News
🧪Property-Based Testing
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·4h
🐫OCaml
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·20h·
Discuss: Hacker News
📡Network Protocol Design
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·25m·
Discuss: Substack
🔬Static Analysis
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·4h
🎮Verification Games
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·4h
✓Automated Theorem Proving
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
LLM Inference Handbook
bentoml.com·5h·
Discuss: Hacker News
🛡️seL4
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·9h·
Discuss: r/programming
🔬Static Analysis
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·4h
✓Automated Theorem Proving
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·14h·
Discuss: Hacker News
🛡️seL4
Show HN: Authorization in LLM Applications
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·18h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds