🔬 PLT - gagbo · Scour

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

alexvear.com·3d·Hacker News

Document type inference 🌳Tree-sitter

Veryl 0.20.0: logic synthesis and type inference are supported 🔗Linkers

veryl-lang.org·1h·Hacker News

Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience 🔀Concurrency Models

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

web.archive.org·1d·Hacker News

std::mask_array (3) Linux Manual Page 🔗Linkers

systutorials.com·21h

Crash Course on Notation in Programming Language Theory 🌳Tree-sitter

siek.blogspot.com·3d·r/programming

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

pocketcasts.com·2d·Hacker News

Cell type annotation for scATAC-seq via DNA large language model and graph domain adaptation 🌳Tree-sitter

journals.plos.org·13h

reply in Starting on a book/story by ArtistPanda5 🚀Science Fiction

basementcommunity.com·2h

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

youtube.com·1d·Lobsters, Hacker News

The Complicated Nature of Programming Languages 🏗️Compiler Design

functiondispatch.substack.com·6d·r/programming

How the Booking Phishing Campaign Works and What Defenders Should Watch For ⚖️Copyleft

malware.news·19h

Mischief & Craft - List vs heading semantics deathmatch 🔤Text Algorithms

matthenry.fyi·2d

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

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

Glaze 7.2 - C++26 Reflection | YAML, CBOR, MessagePack, TOML and more 🔗Linkers

Two Compilers, One Moment 🏗️Compiler Design

intertwingly.net·5d·Hacker News

FIFA considering making clubs have at least one U21 player on pitch at all times: How PL could be affected 🔗Linkers

NullForm by Virtual Vision Group ⚖️Copyleft

No, Even JavaScript Has Types 🌳Tree-sitter

Log in to enable infinite scrolling