Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·5d
🎮Verification Games
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·4h·
Discuss: Hacker News
🤖Program Synthesis
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·2h·
Discuss: Hacker News
🛡️seL4
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·5h
🧠Automated Reasoning
Outcome-based Exploration for LLM Reasoning
arxiv.org·16h·
Discuss: Hacker News
📚Automata Learning
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·14h·
Discuss: r/programming
👁️System Observability
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·3h·
Discuss: Hacker News
📚Automata Learning
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Kleene's Recursion Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
Agentic AI Runs on Tools
simplicityissota.substack.com·20h·
Discuss: Substack
🧠Automated Reasoning
Writing a book in the age of open source
blog.incrementalforgetting.tech·6h·
Discuss: Lobsters
🔄Reproducible Builds
An Introduction to XForms
xml.com·6h·
Discuss: Hacker News
⚙️PL Implementation
Prompt Snapshot Testing
ninkovic.dev·23h·
Discuss: Hacker News
🧪Property-Based Testing
How Python Implements List Comprehensions
pythonkoans.substack.com·20h·
Discuss: Substack
📐Denotational Semantics
Can Multiple Responses from an LLM Reveal the Sources of Its Uncertainty?
arxiv.org·1d
📚Automata Learning
Compiling a Functional Language to LLVM
danieljharvey.github.io·14h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml