Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
'Give a positive review': NUS-Yale Researchers Put Hidden AI Prompt in Paper
asiaone.com·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Authorization in LLM Applications
osohq.com·2d·
Discuss: Hacker News
🛡️seL4
Experience AI Ethics Like Never Before – Meet SimulateAI
mindbomber.github.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Agent Benchmarks Are Broken
ddkang.substack.com·10h·
Discuss: Substack
👁️System Observability
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·19h
⚙️PL Implementation
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·19h
🔍Formal Verification
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Sweatshop Data Is Over
mechanize.work·1d·
Discuss: Hacker News
🤖Program Synthesis
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·19h
🌐NetworkProtocols
ReliableMath: Benchmark of Reliable Mathematical Reasoning on Large Language Models
arxiv.org·3d
✓Automated Theorem Proving
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·1d
✓Automated Theorem Proving
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·19h
🐫OCaml
How to trick ChatGPT into revealing Windows keys? I give up
theregister.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
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