Coinduction, Bisimulation, Stream Calculus, Final Semantics

dcaf: An implementation of the ACE-OAuth framework
docs.rs·1d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·10h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🧩Parser Combinators
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·1d
📚Automata Learning
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·2h
📚Automata Learning
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·1d
🎮Verification Games
Flag this post
The Collaboration Gap
arxiv.org·2h
🕸️Graph Theory
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·2h
🔁Fixed-Point Theory
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🧩Parser Combinators
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·2h
🔲Cellular Automata
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·2h
🐫OCaml
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
🔀OCaml Multicore
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·15h·
Discuss: DEV
Automated Theorem Proving
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·15h·
Discuss: DEV
🔧ppx
Flag this post