🌳 Context free grammars - matmat · Scour

QT4 grammar explorer

so.nwalsh.com·3h

📝Parsing Grammars

Layered Modal ML: Syntax and Full Abstraction

arxiv.org·11h

📏Linear Logic

Maiasa: A next-gen, fast, robust, ethical language model (that can only say "a")

maiasa.ai·23h·

Discuss: Hacker News

Pascal-J/type-system-j: adds an optional type system to J language

github.com·19h·

Discuss: Lobsters

🎯Gradual Typing

A Complexity Bound for Determinisation of Min-Plus Weighted Automata

arxiv.org·1d

🎯Automata theory

Differential Logic • Overview

inquiryintoinquiry.com·1d

📏Linear Logic

Tokenizers The Building Blocks of Generative AI

dev.to·12h·

Discuss: DEV

📝Text Parsing

CodeSOD: A Percise Parser

thedailywtf.com·1d

🌳Incremental Parsing

Beta Release: Predicated Recursive Descent for Rust

wareya.wordpress.com·3d·

Discuss: Hacker News

🦀Rust Macros

Show HN: 32KB deductive engine that catches LLM hallucinations

news.ycombinator.com·6h·

Discuss: Hacker News

Logic for Programmers New Release and Next Steps

buttondown.com·2h

⚙️Proof Engineering

How to Build Safe Natural Language-Driven APIs

techcommunity.microsoft.com·1d·

Discuss: Hacker News

🌀Brotli Internals

A Beginner’s Reading List for Large Language Models for 2026

machinelearningmastery.com·2d

Words are minimum-viable coordination tools

invertedpassion.com·11h

💻Programming languages

The path to noncommutative function theory: a research story

noncommutativeanalysis.wordpress.com·1d

💻Programming languages

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

modern-c.blogspot.com·20h·

Discuss: Lobsters, Hacker News, r/golang

📝Compiler Design

Ysgrifennu Côd yn Gymraeg (Writing Code in Welsh)

hackaday.com·20h

🛠Language Design

A Quick Introduction to OxCaml

noelwelsh.com·4h·

Discuss: Hacker News

💧Liquid Types

I built a free ML practice platform - would love your feedback [P]

reddit.com·7h·

Discuss: r/MachineLearning

impl Rust: Avro IDL tool in Rust via ANTLR

youtube.com·1d

⚙️Parser Generators

Loading more...