🧩 Types - emschwartz · Scour

Constructive higher sheaf models with applications to synthetic mathematics 📐TLA+

Human Code Reviews are Dead 💻Coding Agents

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

Graded Modal Types for Memory and Communication Safety 📏Linear Types

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

Null Pointers Have Been Killing Software for 60 Years 📌Pin/Unpin

siliconopera.com·20h

Introduction to Lean for Programmers 💻Programming languages

towardsdatascience.com·1d

Erg Programming Language 💻Programming languages

erg-lang.org·4d

Erasing Existentials 🔄Serde

wolfgirl.dev·15h·Lobsters, Hacker News

Lambda Diagrams 🗂️Code Indexing

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

hica in comparison to Rust ⚙Rust Compiler Internals

cladam.github.io·5d·r/rust

Formal Verification Gates for AI Coding Loops 📐TLA+

reubenbrooks.dev·13h·Hacker News

morganstanley/hobbes: A language and an embedded JIT compiler 💻Programming languages

github.com·3d·Hacker News

[2605.21337] Multicategorical Semantics for Untyped Effects 💻Programming languages

Profunctor Equipment in Haskell 💻Programming languages

bartoszmilewski.com·4d·Hacker News

Futhark by Example 🔤Tokenization

futhark-lang.org·4d·Hacker News

Results of the Grand C++ Error Explosion Competition (2014) 🦀Rust

news.ycombinator.com·5d·Hacker News

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog 💻Programming languages

Programmable Phones 💻Coding Agents

tailrecursion.com·5d·Hacker News

Links 17/05/2026: Society of Media Lawyers (Brett Wilson LLP et al) Lobby for More SLAPPs in the UK, “Courage in Journalism Award” Given in Oppressive Country 🤖Web Crawling Politeness

techrights.org·3d

Joy & Curiosity #86 🪄Prompt Engineering

registerspill.thorstenball.com·4d

Homebrew Bundle, brew bundle and Brewfile ⚡Just

docs.brew.sh·6d

Log in to enable infinite scrolling