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
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·3d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·11h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
dev.to·7h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🧩Parser Combinators
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·5h
🐫OCaml
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·5h
🔲Cellular Automata
Flag this post
A toy model of corrigibility
lesswrong.com·2d
Timed Automata
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·18h·
Discuss: DEV
🔧ppx
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·5h
🧩Parser Combinators
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Optimizing Multi-UAV 3D Deployment for Energy-Efficient Sensing over Uneven Terrains
arxiv.org·5h
🔲Cellular Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
Existential Types
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·13h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·5h
🔧Microcontrollers
Flag this post
Maxwell's Demon and the Arrow of Time
lesswrong.com·2h
🩹Self-Healing Systems
Flag this post