🔬 PLT - gagbo · Scour

On Lisp: A review of Paul Graham's 1993 book 🌳Tree-sitter

alexvear.com·3d·Hacker News

Vector, the Journal of the British APL Association 🌳Tree-sitter

web.archive.org·20h·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🏗️Compiler Design

pocketcasts.com·2d·Hacker News

Coloring Code: How Compilers Use Graph Theory 🏗️Compiler Design

youtube.com·23h·Lobsters, Hacker News

Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems 🐚Unix Philosophy

developing.dev·2d·Hacker News, r/programming

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs 🏗️Compiler Design

nowarp.io·6d·Hacker News

Where Optimizations Come From 🏗️Compiler Design

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

Two Compilers, One Moment 🏗️Compiler Design

intertwingly.net·4d·Hacker News

cauchy221/Alignment-Whack-a-Mole-Code: The official code repo of Alignment Whack-a-Mole: Finetuning Activates Verbatim Recall of Copyrighted Books in Large Language Models 🔤Text Algorithms

github.com·11h·Hacker News

My Calculator Is a Transformer ⚡SIMD Programming

sinclairs.gitlab.io·1h·Hacker News

Functional Programmers need to take a look at Zig. 💻Programming

pure-systems.org·20h·Lobsters, Hacker News, Hacker News

StupidStackLanguage ⚙️Language Implementation

esolangs.org·41m·Hacker News

Functional Programming in Lean - Functional Programming in Lean 🏗️Compiler Design

leanprover.github.io·2d·Hacker News

Vector, the Journal of the British APL Association ⚡SIMD Programming

web.archive.org·5d·Hacker News

LLM 0.32a0 is a major backwards-compatible refactor ⚙️Language Implementation

simonwillison.net·20h·Hacker News

Python translated to English, Spanish, French – 100% AST verified, 99K free 🔗Linkers

huggingface.co·1h·Hacker News

Clojure on Fennel part three: parsing ⚙️Language Implementation

andreyor.st·2d·Hacker News

LLMs are the worlds most powerful autocomplete 🔤Text Algorithms

alfredvc.no·14h·Hacker News

Tans: Precomputing RANS 🖥️Computer Architecture

fergusfinn.com·1h·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs 🌳Tree-sitter

kcsrk.info·1d·Hacker News, Hacker News

Log in to enable infinite scrolling