📐 Type Theory - hello · Scour

I'm Building a Programming Language From Scratch. Here's What That's Actually Like.

dev.to·7h·

Discuss: DEV

🦀Rust Macros

Reified generics by php-generics · Pull Request #21317

github.com·3h·

Discuss: Hacker News

👻Phantom Types

Visual catalog of Isotype examples

flowingdata.com·1d

Effectful Toposes and Their Lawvere-Tierney Topologies

arxiv.org·1d

∘Category Theory

Rust's plan for improvements to immovable types and async ergonomics over the next few years

bsky.app·13h·

Discuss: Bluesky

🐧Rust for Linux

MQTT: The Protocol Behind Every Smart Device (Golang)

youtu.be·6h·

Discuss: r/golang, r/programming

Power of C++26 Reflection: Strong (opaque) type definitions

godbolt.org·1d·

Discuss: r/cpp

👻Phantom Types

On language models and intuition

aleksei.dev·6h

🎯Hindley-Milner

Differential Logic • 12

inquiryintoinquiry.com·2d

✅Model Checking

GNU text utilities

math.utah.edu·1h

🏷️Pointer Tagging

On the Streams Standard

domenic.me·1d·

Discuss: Hacker News

You're Probably Doing TypeScript Wrong (But I'm Here to Help)

dev.to·1d·

Discuss: DEV

Custom Data Structures in E-Graphs

uwplse.org·5h·

Discuss: Lobsters, Hacker News

🪢Rope Data Structure

February Week 4

i-programmer.info·6h

Release v1.3.7 · shivasurya/code-pathfinder

github.com·22h

What makes a game tick? Part 9 - Data Driven Multi-Threading Scheduler

mropert.github.io·1d·

Discuss: r/cpp

🧵Lightweight Threads

lesswrong.com·1d

🧮Algebraic Effects

Swapping NULL for NUL - a better way to find nothing!

research.exoticsilicon.com·1d

♻️Interning

An Introduction to Lean 4

uv.es·13h

🏗️Cranelift

Dyn Box Vs. Generics

blog.veeso.dev·3d

Loading more...