Towards a Foundational Understanding of Causality
deepcausality.com·10h·
Discuss: Hacker News
🏹Effect Systems
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
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
The Bytebot Core – From Linux Container to Agent Control Surface
bytebot.ai·20h·
Discuss: Hacker News
💾Retro Computing
Experience AI Ethics Like Never Before – Meet SimulateAI
mindbomber.github.io·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·17h·
Discuss: Hacker News
🛡️seL4
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·1d
🌐NetworkProtocols
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
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·4d
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
(Attempting to) Engineer the chaos out of AI agents
trunk.io·3d·
Discuss: Hacker News
🧪Property-Based Testing
Data-Star.dev – v1 and Beyond
data-star.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Interleaving Logic and Counting
arxiv.org·5d
✓Automated Theorem Proving
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·2d
✓Automated Theorem Proving