🔤 Type Systems - jinkai_lau · Scour

Document type inference λFunctional Programming

github.com·16h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 λFunctional Programming

pocketcasts.com·2d·Hacker News

I've just added generics to my programming language! λFunctional Programming

reddit.com·5d·r/Compilers

I built a free TypeScript quiz website with 125 questions and levels λFunctional Programming

ts-quiz.com·4h·DEV

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda ✅Formal Verification

Why I still reach for Lisp and Scheme instead of Haskell λFunctional Programming

news.ycombinator.com·12h·Hacker News

The Complicated Nature of Programming Languages 🔧Compilers

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

Coloring Code: How Compilers Use Graph Theory 🔍Static Analysis

youtube.com·23h·Lobsters, Hacker News

Why I Still Reach for Lisp and Scheme Instead of Haskell λFunctional Programming

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

Getting Started With Provide/Inject In Vue.js λFunctional Programming

certificates.dev·4h

Telomere-to-telomere genome assembly of the wood tiger moth Arctia plantaginis 🗄️Vector Databases

Tries for Polynomials ✅Formal Verification

doisinkidney.com·2d·Lobsters

"Parse, don't Validate" through the years with C++ 🔍Static Analysis

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

Where Optimizations Come From 🔧Compilers

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

Popular edible mushroom species is invading U.S. forests and pushing native fungi out of the way 🚀Emerging Tech

Tokamak regime sustains stable fusion plasma for one minute while easing heat loads 🔬eBPF

Two Compilers, One Moment 🗣️New Languages

intertwingly.net·4d·Hacker News

Glaze 7.2 - C++26 Reflection | YAML, CBOR, MessagePack, TOML and more 🔧Compilers

Sculptures honoring legacy of King Records installed at Elm Street Plaza ✍️Prompt Engineering

local12.com·17h

IDA Plugin Updates on 2026-04-29 🗣️New Languages

williballenthin.com·1d

Log in to enable infinite scrolling