Effects as Capabilities in Scala
nrinaudo.github.io·38m·
Discuss: Lobsters, Hacker News
💎Refinement Types
Algebraic Effects in Practice with Flix
relax.software·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Context Pruning in Conversational Agent
poonai.xyz·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·8h
🔍Formal Verification
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
The Magic of the Hall Effect Sensor
hackaday.com·7h
🩹Self-Healing Systems
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·23h·
Discuss: r/programming
💎Refinement Types
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩Parser Combinators
Strange Attractors
blog.shashanktomar.com·18h·
Discuss: Hacker News
🩹Self-Healing Systems
Calibrating indifference - a small AI safety idea
lesswrong.com·1d
🧪Property-Based Testing
Visualising Topology Inspired Computing Algorithms
antifold.com·16h·
Discuss: Hacker News
🧩Separation Logic
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·17h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·17h·
Discuss: Hacker News
🩹Self-Healing Systems
Comparison of Signed Number Representations in Computers
en.wikipedia.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·23h·
Discuss: Hacker News
🤖Program Synthesis
The bloat of edge-case first libraries
43081j.com·16h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Category Theory is Being Co-opted
estebanandthecollective.substack.com·2d·
Discuss: Substack
➡️Category Theory