Show HN: A fast 3D collision detection algorithm
cairno.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Towards a Foundational Understanding of Causality
deepcausality.com·1h·
Discuss: Hacker News
🏹Effect Systems
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
SpatialChat, Instructure's Canvas LMS, and HyFlex Learning
spatial.chat·2d·
Discuss: Hacker News
🍎Apple
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·3d·
Discuss: r/programming
🤖Program Synthesis
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·2d
⚙️PL Implementation
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·2d
🔍Formal Verification
What Is Vibe Coding?
cloud.google.com·8h·
Discuss: Hacker News
🤖Program Synthesis
Ask HN: How are Kafka or event-driven systems used in LLM infrastructure?
news.ycombinator.com·11h·
Discuss: Hacker News
⚙️PL Implementation
Layers of Lawyers and Liars
matthewbutterick.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·9h·
Discuss: Hacker News
🛡️seL4
Sweatshop Data Is Over
mechanize.work·2d·
Discuss: Hacker News
🤖Program Synthesis
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·2d
🌐NetworkProtocols
ReliableMath: Benchmark of Reliable Mathematical Reasoning on Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·3d
✓Automated Theorem Proving
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·2d
🐫OCaml
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·4d
✓Automated Theorem Proving
(Attempting to) Engineer the chaos out of AI agents
trunk.io·3d·
Discuss: Hacker News
🧪Property-Based Testing