💫 Effect Systems - hello · Scour

How NOT Make Chess (Reflection)

shadowoverflow.itch.io·17h

⏭️Skip Lists

Adding Myers Diff To Share Link Snapshots In Big Sexy Poems

bennadel.com·13h

📰Feed Readers

unwinnable.com·20h

Disinformation From Within and Brandolini’s Law: A Call to Time-Consuming Action

pmc.ncbi.nlm.nih.gov·1d

⏰Lamport Clocks

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·20h

🔍Type Inference

Weeknote 06/2026

blog.dougbelshaw.com·1d

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·3d

∘Category Theory

Grace Hopper's Revenge

thefuriousopposites.com·1d

What Bleeds Through

futurisold.github.io·1d·

Discuss: Hacker News

About the Information System on Graph Classes and their Inclusions

graphclasses.org·12h

🔗Graph Algorithms

Four Godot+Rust tricks

blog.lokkij.com·1d

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·2d·

Discuss: Hacker News, r/Compilers

⚡Incremental Computation

A Software Engineer’s Wish List for CS Research

laser-coder.net·7h·

Discuss: Hacker News

🏗️System Design

AI ‘brain’ Mapping Reveals How Language Models Store And Recall Facts

quantumzeitgeist.com·8h

⚛️Quantum Computing

Trying to look at how something's built, and run into another one of these blasted scripts.

intigin.com·17h·

Discuss: r/javascript

Togelius: Math and me

togelius.blogspot.com·7h

Learning Rust: Custom Error types that actually work!

rup12.net·3h·

Discuss: Lobsters, Hacker News

🛡️Error Handling

LocalGPT: A local AI assistant with persistent memory in a single binary

localgpt.app·6h·

Discuss: Hacker News

🔗Intrusive Containers

Revisiting Regular Types

abseil.io·2d

👻Phantom Types

Using AI to write a transpiler

dev.to·2h·

Discuss: DEV

🎭Program Synthesis

Loading more...