Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
An Introduction to XForms
xml.com·6h·
Discuss: Hacker News
⚙️PL Implementation
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1d
🛡️seL4
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·5h
🧠Automated Reasoning
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·6h·
Discuss: r/programming
💎Refinement Types
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·39m·
Discuss: Hacker News
🩹Self-Healing Systems
Rich Answered That
gist.github.com·4h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·3d·
Discuss: Hacker News, r/programming
🐫OCaml
New parametric CAD BREP kernel attempt
github.com·13h·
Discuss: Hacker News
🐫OCaml
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·2h·
Discuss: Hacker News
📚Automata Learning
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Using Haskell in Production
agentultra.com·1h·
Discuss: Hacker News
🔠Type-Level Programming
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·6h·
Discuss: Hacker News
🤖Program Synthesis
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·42m·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🐫Embedded OCaml
Compiling a Functional Language to LLVM
danieljharvey.github.io·13h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·3h·
Discuss: r/programming
📊Runtime Verification
Geometric and physical interpretation of the action principle
nature.com·8h·
Discuss: Hacker News
🧩Separation Logic
Rendering the Mandelbulb
4rknova.com·7h·
Discuss: Hacker News
🧩Separation Logic