⚙️ Operational Semantics - matmat · Scour

Information mechanics: conservation and exchange

arxiv.org·17h

🌡️Preservation Thermodynamics

Lisp Coding Standards v1.0

franz.com·1h·

Discuss: Hacker News

Effect Oriented Programming • Bill Frasure, Bruce Eckel, James Ward & Andrew Harmel-Law • GOTO 2026

youtube.com·9h

⚡Effectful Programming

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·1d

📊Static Analysis

Introduction to Coinduction in Agda Part 1: Coinductive Programming

jesper.sikanda.be·22h

Making a Language

thunderseethe.dev·1d

🛠Language Design

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·1d·

Discuss: DEV

🚀SIMD Parsing

In Praise of APL (1977)

jsoftware.com·13h·

Discuss: Hacker News

📊APL Heritage

Kolmogorov Complexity

en.wikipedia.org·1d·

Discuss: Hacker News

🧮Kolmogorov Complexity

Parser Combinators: Parsing for Haskell Beginners

entropicthoughts.com·2h

🔗Monadic Parsing

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

arxiv.org·17h

⏰Temporal Logic

Conversation: LLMs and the what/how loop

martinfowler.com·1d

🧩WASM Components

haskellweekly.news·11h

🔗Functional Compilers

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·1d·

Discuss: Hacker News

🤝Unification Algorithms

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

Codeless: From idea to software

anildash.com·22h

🚀Indie Hacking

The Linguistic Registers of Rust

without.boats·6h·

Discuss: Hacker News

🦀Rust Macros

Architecting for Reliability: Controlling LLM Probabilities in Compliance Workflows

dev.to·6h·

Discuss: DEV

⚡SMT Applications

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Loading more...