🔬 programming language theory - abnv · Scour

romance language (model)

metafilter.com·3d

🎨Domain-Specific Languages

Tuesday 17 February 2026 | IML

informatics.ed.ac.uk·2h

🪜Recursive Descent

Simplifying assertions with lenses

blog.ploeh.dk·2d

🚂Error Monads

Revisiting Regular Types

abseil.io·3d

🚀Hindley-Milner+

Six Weeks of Molting

artlu.bearblog.dev·21h

🏗️Cranelift

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·1d

👑Dependent Haskell

The World's First LLM-Native Language

nerd-lang.org·1d·

Discuss: Hacker News

🌱Minimal Lisps

Using Generative AI tooling with Clojure

dev.solita.fi·15h

Understanding Providers and Dependency Injection in NestJS

en.wikipedia.org·22h·

Discuss: DEV

🔀Control Structures

Coding A PoS Tagger from Scratch — A Statistical Part-of-Speech Tagger | NLP

pub.towardsai.net

·1d

🔤Language Tokenizers

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

∀Quantified Types

Large Language Models for Mortals book released

crimede-coder.com·1d·

Discuss: Hacker News

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·3d·

Discuss: Hacker News

📚Self-Documenting Code

Active learning enables generation of molecules that advance the known Pareto front

nature.com·22h

✨Effect Inference

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·3d

📊Pratt Parsers

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·1d·

Discuss: Hacker News

⚖️Inference Rules

Pain. Or, Why Learning to Code Is Like Learning Chinese. (2010)

amandapeyton.com·23h·

Discuss: Hacker News

🎮Language Ergonomics

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d

🚂Error Propagation

Claude Agents Just Built a Fully Functioning C Compiler With Zero Human Input

analyticsvidhya.com·2h

🎭Program Synthesis

Constructors in Java:

dev.to·23h·

Discuss: DEV

🔗Concatenative Languages

Loading more...