Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·12h
🐫OCaml
Social Tinkering: Why Collaborative Curiosity Beats Vibe-Coding
cosmosinstitute.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·56m·
Discuss: r/programming
❄️Nixified Development
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·1h·
Discuss: Hacker News
🌐NetworkProtocols
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Experience AI Ethics Like Never Before – Meet SimulateAI
mindbomber.github.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Agent Benchmarks Are Broken
ddkang.substack.com·3h·
Discuss: Substack
👁️System Observability
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Next Wave
dumindu.github.io·21h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
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·12h
⚙️PL Implementation
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·12h
🔍Formal Verification
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·12h
🌐NetworkProtocols