how to resolve a halting paradox
academia.edu·11h·
Discuss: r/programming
✓Automated Theorem Proving
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·21h·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
✓Automated Theorem Proving
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Lisp in 99 Lines of C With TinyLisp
hackaday.com·9h
⚙️PL Implementation
You Can Build Better AI Agents in Java Than Python
medium.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·7h
🐫OCaml
Presheaf automata
arxiv.org·2d
➡️Category Theory
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
Fuzzing Hardware Like Software (2021)
arxiv.org·15h·
Discuss: Hacker News
🔬Unikernels
Arc-AGI-3 Preview: 30-day learnings
arcprize.org·15h·
Discuss: Hacker News
🎮Verification Games
Clojure Async Flow Guide
clojure.github.io·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·2d
🔠Type-Level Programming
Subinterpreters and Asyncio
blog.changs.co.uk·1h·
Discuss: Hacker News
🐫Embedded OCaml
SPL Lightweight Multisource Mixed Computation Practices
github.com·3h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Stream Integration
feldera.com·1d·
Discuss: Hacker News
🏹Effect Systems
Overview of Complex System Design
arxiv.org·2d
📡Network Protocol Design
Language Models as Thespians
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🛡️seL4
Anno 1800 Frame Analysis
blog.thomaspoulet.fr·12h·
Discuss: Hacker News
🧱Immutable Infrastructure