Verification power of rational-valued automata with deterministic and affine states
arxiv.org·3h
🔍Formal Verification
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·11h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·8h·
Discuss: Hacker News
⚙️PL Implementation
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·13h·
Discuss: Hacker News
🛡️seL4
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·16h
🧠Automated Reasoning
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·6d
🎮Verification Games
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·7h·
Discuss: Hacker News
🧠Automated Reasoning
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·9h·
Discuss: Hacker News
⚙️PL Implementation
Outcome-based Exploration for LLM Reasoning
arxiv.org·1d·
Discuss: Hacker News
📚Automata Learning
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
Visualising Topology Inspired Computing Algorithms
antifold.com·10h·
Discuss: Hacker News
🧩Separation Logic
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io·16h
🩹Self-Healing Systems
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·15h·
Discuss: Hacker News
🤖Program Synthesis
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·13h·
Discuss: Hacker News
📚Automata Learning
Illustrating Git Diff — And Master It
elye-project.medium.com·49m·
Discuss: r/programming
🤖Program Synthesis
Agentic AI Runs on Tools
simplicityissota.substack.com·1d·
Discuss: Substack
🧠Automated Reasoning
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory