🔄 Finite State Machines - matmat · Scour

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

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

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

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

gist.github.com·1d·Hacker News

Models of computation 📼Tape Combinators

curiouscoding.nl·6d

Break the Loop, Part 2: From Data Structures to Computational Control 🔩Systems Programming

hackernoon.com·4d

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic 📼Cassette Combinators

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

egison/sweet-egison: Haskell library for non-deterministic pattern matching 🧮Algebraic Datatypes

github.com·6d·Hacker News

IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory ✨Effect Handlers

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

hopl4.sigplan.org·4d·Hacker News

Effekt Language: Effectful Recursion Schemes λLambda Formalization

effekt-lang.org·5d·Lobsters

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

risemsr.github.io·4d·Hacker News

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·4d

An Algorithmic Reconstruction of Normalisation by Evaluation ⬆️Lambda Lifting

yangzhixuan.github.io·3d·Lobsters, Hacker News

Decision Graphs 🔗Constraint Handling

maxdemarzi.com·5d·Hacker News

VLAA-GUI: Knowing When to Stop, Recover, and Search, A Modular Framework for GUI Automation ✨Algebraic Effects

deadpixi/nondescript: A simple embedded programming language 🔧Binary Parsers

github.com·3d·Lobsters

Neuro-Symbolic Manipulation Understanding with Enriched Semantic Event Chains ✨Effect Handlers

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

Log in to enable infinite scrolling