🌳 Context free grammars - matmat · Scour

The prehistory of generative grammar and Chomsky’s debt to Emil Post

benjamins.com·2d·

Discuss: Hacker News

💾Binary Linguistics

Monads, Applicatives & Functors

slicker.me·7h

🧬Functional Programming

In-Context Function Learning in Large Language Models

arxiv.org·1d

🤖Grammar Induction

wgibbs-rs/blang: An LLVM-based compiler for the B programming language

github.com·3h·

Discuss: Hacker News

🏭Compiler Backends

Context Graphs: Building Production World Models for the Age of AI Agents

hackernoon.com·1d

⚡Proof Automation

Proof-oriented Programming in F*

fstar-lang.org·2d·

Discuss: Lobsters

Readable and concise concatenative programming

cognate-lang.github.io·11h·

Discuss: Hacker News

🔗Concatenative Programming

Atomistic, but non-complete lattices

dominiczypen.wordpress.com·1d

📐Mathematical Art

From Instruction to Output: The Role of Prompting in Modern NLG

arxiv.org·1d

🤖Grammar Induction

pears: word game

perrotta.dev·15m

🔗Concatenative Languages

Recursive Language Models: Stop Stuffing the Context Window

nlp.elvissaravia.com·2d

🤖Grammar Induction

Differential Logic • 6

inquiryintoinquiry.com·2d

🎯Proof Tactics

entitai/aieos: AI Entity Object Specification

github.com·4h

🏗️OAIS Model

Large Language Models for Mortals book

andrewpwheeler.com·3d

F# Weekly #7, 2026 – .NET 11 Preview 1 & Rider 2026.1 EAP 3

sergeytihon.com·5h

💧Liquid Types

GLM-OCR Explained: Promptable OCR That Outputs Clean JSON

hackernoon.com·1d

👁️Constructive OCR

SnowBall: Iterative Context Processing When It Won't Fit in the LLM Window

enji.ai·20h·

Discuss: Hacker News

⚙️Batch Processing

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·3d·

Discuss: Lobsters

🧠Lisp Dialects

Semantic Search in C# Without Python

dev.to·14h·

Discuss: DEV

🔍Semantic Search

A CRT-style interactive poem built with pure CSS and semantic typography

gemedet.com·4h·

Discuss: Hacker News

📝Concrete Syntax

Loading more...