📚 Programming language theory - alex · Scour

purerl/purerl: Erlang backend for the PureScript compiler 🦀Rust programming language

github.com·14h·Hacker News

What Do Gödel’s Incompleteness Theorems Truly Mean? 🧮Computer science

quantamagazine.org·1d·Hacker News, Hacker News

machine review for the scientific record 🧮Computer science

pith.science·1d·Hacker News

CodeSpectra The Illusion of Easy Coding: Why AI Still Demands Effort 🧮Computer science

blog.ptidej.net·4d·Hacker News

Lambda Diagrams 🧮Computer science

NULL BITMAP by Justin Jaffray via buttondown.com·1d·Hacker News

Smalltalk: the Software Industry's Greatest Failure 🦀Rust programming language

richardkulisz.blogspot.com·4d·Hacker News, Hacker News, r/programming

A shallow dive into formal verification 🧮Computer science

vitalik.eth.limo·1d·Hacker News, Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🧮Computer science

jameshaydon.github.io·1d·Lobsters, Hacker News, r/programming

An introduction to TLA+ and its use in parties (2023) 🧮Computer science

innoq.com·3d·Hacker News

Even More Tagged Union Subsets with Comptime 🧮Computer science

sinclairtarget.com·1d·Lobsters, Hacker News

mekickdemons-creator/libro-vendergood: Reproduction and AI-application extension of Vendergood, the constructed language created by William James Sidis. 🛠️Creative Coding Frameworks

github.com·18h·Hacker News

Optimizing Code with AI 🧮Computer science

spectralcore.com·1d·Hacker News

Introduction 🧩Cellular Automata

aperio-lang.github.io·4d·Hacker News

XS: A programming language. Anywhere, anytime, by anyone 🦀Rust programming language

xslang.org·2d·Hacker News

8 Years of Clojure 🦀Rust programming language

joshkingsley.me·5d·Hacker News

Getting Confidence in (Agentic) Code 🧮Computer science

ucsd-cse-115-215.github.io·1d·Hacker News

Prolog Via Pokémon 🧮Computer science

hackaday.com·1d

PHP RFC: Bound-Erased Generic Types 🦀Rust programming language

wiki.php.net·6d·Hacker News

Prolog Coding Horror 🎲procedural generation

metalevel.at·2d·Hacker News

TypeScript, C# and Turbo Pascal with Anders Hejlsberg 🦀Rust programming language

youtube.com·6d·Hacker News

Log in to enable infinite scrolling