Verification power of rational-valued automata with deterministic and affine states
arxiv.org·2h
🔍Formal Verification
An Introduction to XForms
xml.com·16h·
Discuss: Hacker News
⚙️PL Implementation
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
How I tell human and AI flash fiction apart
lesswrong.com·13m
⚡Process Calculi
The Engine to No Engine Journey
md.jtmn.dev·3h·
Discuss: Hacker News
🐫Embedded OCaml
Was Action! The Best 8-Bit Language?
hackaday.com·4h
💾Retro Computing
Practical CI-friendly Performance Tests
solidean.com·15h·
Discuss: Lobsters, r/cpp
👁️System Observability
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·17h·
Discuss: r/programming
💎Refinement Types
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
🛡️seL4
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Rich Answered That
gist.github.com·15h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Visualising Topology Inspired Computing Algorithms
antifold.com·10h·
Discuss: Hacker News
🧩Separation Logic
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·9h·
Discuss: Hacker News
⚙️PL Implementation
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: 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·1d·
Discuss: Hacker News
🐫OCaml
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·13h·
Discuss: Hacker News
📚Automata Learning
The bloat of edge-case first libraries
43081j.com·10h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Using Haskell in Production
agentultra.com·12h·
Discuss: Hacker News
🔠Type-Level Programming