📐 Type Systems - Sap · Scour

Document type inference 🔷typescript

I've just added generics to my programming language! ⚙️Compilers

reddit.com·6d·r/Compilers

Haskell: Debugging 🦀Rust programming language

wiki.haskell.org·9h·Hacker News

Veryl 0.20.0: logic synthesis and type inference are supported ⚙️Compilers

veryl-lang.org·2h·Hacker News

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 🔷typescript

I built a free TypeScript quiz website with 125 questions and levels 🔷typescript

ts-quiz.com·17h·DEV

The Complicated Nature of Programming Languages ⚙️Compilers

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

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔷typescript

pocketcasts.com·2d·Hacker News

Getting Started With Provide/Inject In Vue.js 🔷typescript

certificates.dev·17h

Why I still reach for Lisp and Scheme instead of Haskell ⚙️Compilers

news.ycombinator.com·1d·Hacker News

Telomere-to-telomere genome assembly of the wood tiger moth Arctia plantaginis 💾Storage Engines

nature.com·16h

"Parse, don't Validate" through the years with C++ 🔷typescript

derekrodriguez.dev·4d·Hacker News, r/programming

Why I Still Reach for Lisp and Scheme Instead of Haskell ⚙️Compilers

jointhefreeworld.org·2d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Justices poised to protect generics manufacturers from liability for decisions of pharmacists about prescribing their products 🦙local llms

scotusblog.com·7h

Two Compilers, One Moment ⚙️Compilers

intertwingly.net·5d·Hacker News

Coloring Code: How Compilers Use Graph Theory ⚙️Compilers

youtube.com·1d·Lobsters, Hacker News

IDA Plugin Updates on 2026-04-29 ⚙️Compilers

williballenthin.com·2d

Tries for Polynomials ⚙️Compilers

doisinkidney.com·3d·Lobsters

Glaze 7.2 - C++26 Reflection | YAML, CBOR, MessagePack, TOML and more 🔷typescript

Where Optimizations Come From ⚡performance optimization

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

Log in to enable infinite scrolling