⚙️ Syntactic Monoids - matmat · Scour

[2309.11300] Partial monoid actions on objects in categories with pullbacks and their globalizations

arxiv.org·2d

🔀Category Theory

Splitwise alternative that makes sense

divvy.club·1h·

Discuss: Hacker News

🌳Trie Structures

NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler

dev.to·13h·

Discuss: DEV

⚙️Modern Assembly

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems

arxiv.org·2d

🌳Context free grammars

Revisiting Regular Types

abseil.io·13h

λLambda Encodings

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🐚Shell Monads

Let Lambda Come Over

yamlscript.org·1d

⬆️Lambda Lifting

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·2d·

Discuss: r/golang

🔍RegEx Engines

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·16h

📝Concrete Syntax

DCP-o-matic • CPL as compositions and multiple CPLs

dcpomatic.com·1d

✅CDDL Validation

outer measure in nLab

ncatlab.org·3d

🔢Denotational Semantics

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·19h

🦀Rust Macros

The Little Book of Linear Algebra

little-book-of.github.io·1d

📐Linear Algebra

Continual learning and the post monolith AI era

baseten.co·1d·

Discuss: Hacker News

📼Tape Combinators

Early History of a Perfect Join Algorithm

remy.wang·13h

🚀Query Optimization

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·3h·

Discuss: Hacker News

💻Programming languages

The path to noncommutative function theory: a research story

noncommutativeanalysis.wordpress.com·4d

💻Programming languages

News for January 2026

ptreview.sublinear.info·2d

📐Linear Algebra

Build a Compiler in Five Projects

kmicinski.com·1d

Simple BERT Models for Relation Extraction and Semantic Role Labeling

dev.to·1d·

Discuss: DEV

🤖Grammar Induction

Loading more...