🔬 programming language theory - abnv · Scour

Introduction to Compilers and Language Design 🎓Teaching Compilers

dthain.github.io·4h·

New programming language 📚Stack Languages

github.com

·1d·DEV·

Programming languages for AI 📐Standard ML

blog.ploeh.dk·3d·

Building CompilerSutra 🎓Teaching Compilers

docs.google.com·12h·DEV·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

Programming Languages and Type Safety in the Era of LLMs 📐Standard ML

thecodedmessage.com·20h·

The Type Theorists need to take a look at Zig ⚙️Zig Comptime

pure-systems.org·5d·Hacker News·

Issue 518 📏Linear Haskell

haskellweekly.news·8h·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

The Grammar at the Threshold of Its Own Execution 📋Backus-Naur Form

jimiwen.substack.com·15h·Substack·

The Lisp Curse 🌱Minimal Lisps

winestockwebdesign.com·1d·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·4d·

Optimizing for Understanding 🦀MIR Optimization

blog.br11k.dev·20h·Hacker News·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

On Magic, Convetions, and Implicit vs Explicit 🔧API Design

andydote.co.uk·17h·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

A programming language specifically for AI code generation 🪞Metaprogramming

aria-lang.com·6d·Hacker News·

What makes a programming language whole? 📚Forth Compilers

siru.ink·2d·

The Wrong Spherical Cow - First Principles of Parts Based Programming 🏛️Elm Architecture

programmingsimplicity.substack.com·4d·Substack·

A WASM first programming language with effect typing 🎨Domain-Specific Languages

voyd.dev·1d·Hacker News·

Loading more...