🔄 Finite State Machines - matmat · Scour

Active Inference of Extended Finite State Machine Models with Registers and Guards 📼Tape Combinators

The Great Stream Fix: Interleaving Writes in Seastar with AI-Powered Invariants Tracing 🌊Stream Processing

scylladb.com·4d·r/programming

Ethereum Didn’t Kill Blizzard—It Moved Control to the Verification Layer 🤝Distributed Consensus

ethresear.ch·9h

harishkotra/neurovalkey-agents: This project demonstrates a 3-agent swarm (Researcher -> Writer -> Editor) coordinated entirely through Valkey 🌀Brotli Internals

github.com·3d·DEV

Intuitive concurrent programming in any language 🌐Protocol Synthesis

lf-lang.org·1d

In-Flight Request Tracking: Lessons from Card Payments and HTTP/2 🌊Stream Processing

madflojo.dev·5d·Hacker News, r/programming

Why no new notations since 1960? 🔐Soviet Cryptography

lesswrong.com·3d

Replacing probabilistic AI with deterministic math and Dafny formal verification 🌳Archive Merkle Trees

gist.github.com·1d·Hacker News

Structured CoT: Shorter Reasoning with a Grammar File 🌳Context free grammars

andthattoo.dev·1d·r/LocalLLaMA

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🎯Proof Tactics

lispy-gopher-show.itch.io·2d

TUD Lecture on RL #2 🔲Cellular Automata

sebiwette.de·2d

State Machine Pattern: go.games 🔲Cellular Automata

davi-silveira.com·3d·r/godot

The Autonomous Stack 🧮Z3 Solver

producthunt.com

·2d

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications ⏰Temporal Logic

Models of computation 📼Tape Combinators

curiouscoding.nl·6d

Pokemon Red and the Evolution of FSM ⚡Homebrew CPUs

makonea.com·4d·Hacker News

The seven programming ur-languages (2022) 💻Programming languages

news.ycombinator.com·6d·Hacker News

Effekt Language: Effectful Recursion Schemes λLambda Formalization

effekt-lang.org·5d·Lobsters

A History of Clojure (HOPL IV - Papers) 🧠Lisp Dialects

hopl4.sigplan.org·4d·Hacker News

Spotting Specification Gaps with Small Proof-Oriented Tests ⚔️Lean Tactics

risemsr.github.io·5d·Hacker News

Log in to enable infinite scrolling