📐 Type Systems - nioobers · Scour

LFPL: Revisited and Mechanized λPL Theory

Getting Confidence in (Agentic) Code 🔧Systems Programming

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

Formal Verification Gates for AI Coding Loops λPL Theory

news.ycombinator.com·2h·Hacker News

Graded Modal Types for Memory and Communication Safety λPL Theory

kar.kent.ac.uk·21h·Hacker News

Type out the code> 💻Programming

haskellforall.com·2d·Lobsters, Hacker News, r/programming

Type Equality in LLVM λPL Theory

lowlevelbits.org·13h

When can Traits Depend on Themselves? λPL Theory

nadrieril.github.io·6d

Formal Verification Gates for AI Coding Loops λPL Theory

reubenbrooks.dev·11h·Hacker News

CppCon 2025 Concept-based Generic Programming -- Bjarne Stroustrup λPL Theory

Erg Programming Language 💻Programming

erg-lang.org·4d

Trade Gothic Next: Linotype's Typeface That Refuses to Fade 🔤Typography

weandthecolor.com·17h

Zero a Language for Humans and Robots ⚙️Compilers

zero-lang.com·2d·Hacker News

samth/gradual-typing-bib: A bibliography on Gradual Typing λPL Theory

github.com·1d·Lobsters

Null Pointers Have Been Killing Software for 60 Years 🔧Systems Programming

siliconopera.com·18h

Rust Friction: Production Reality ⚙️Compilers

krun.pro·5d·DEV

NTJ rebrand 🔤Typography

fontsinuse.com·1d

Portland PLV Group λPL Theory

plv.cs.pdx.edu·5d

Erasing Existentials λPL Theory

wolfgirl.dev·13h·Lobsters, Hacker News

PHP's Oddities 🗂️Data Structures

flowtwo.io·1d·Hacker News

Runtime Errors in PWAs: Risk Surface and Mitigation λPL Theory

adropincalm.com·6d·r/Frontend, r/javascript

Log in to enable infinite scrolling