🔠 Type Systems - tilhi · Scour

LFPL: Revisited and Mechanized 🏗️Systems Design

Null Pointers Have Been Killing Software for 60 Years 🚨Error Handling

siliconopera.com·17h

CppCon 2025 Concept-based Generic Programming -- Bjarne Stroustrup 👆Interaction Design

Type Equality in LLVM 📘TypeScript

lowlevelbits.org·13h

Zero a Language for Humans and Robots 🎮Game Development

zero-lang.com·2d·Hacker News

Erg Programming Language 🎮Game Development

erg-lang.org·4d

Graded Modal Types for Memory and Communication Safety ⚙️Game Mechanics

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

NTJ rebrand ✍️Lettering

fontsinuse.com·1d

Moving Beyond Type Systems 📘TypeScript

news.ycombinator.com·4d·Hacker News

The Mercury Project: About 🎮Game Development

mercurylang.org·23h

Human Code Reviews are Dead 🎮Game Development

craftbettersoftware.com·2d·Hacker News, r/webdev

samth/gradual-typing-bib: A bibliography on Gradual Typing 📘TypeScript

github.com·1d·Lobsters

Portland PLV Group 🎮Game Development

plv.cs.pdx.edu·5d

PHP's Oddities 🌐Web Development

flowtwo.io·1d·Hacker News

Type out the code> 🟨JavaScript

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

Engineering orthogonal quorum sensing circuits using LuxR-type systems in yeast consortia 🏗️System Design

biorxiv.org·5d

Ordered Adjoint Logic (Extended Version) 🏛️Software Architecture

Getting Confidence in (Agentic) Code 🏛️Software Architecture

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

🎲 JSON Structure 🔌API Design

vasters.com·4d

I spent 8 months building a Cloud-Native programming language in Go because JS bugs drove me crazy. Meet Jabline. 🎮Game Development

github.com·2d·r/golang

Log in to enable infinite scrolling