matmat's Top Finds on Scour Today from all feeds scour.ing

Life, UNIX and stuff

imil.net·4w

docs Unison | Abilities for the monadically inclined · Unison programming language

unison-lang.org·4w

Calculus of constructions

en.wikipedia.org·4w

Building My Own Knowledge Management System for Claude Code with Obsidian

m.youtube.com·4w

SQLite 3.53.0

simonwillison.net·4w

Applied PubGrub for Dependency Resolution

harsh-ps-2003.bearblog.dev·4w

The Lean Programming Language and Theorem Prover

leodemoura.github.io·4w·Hacker News

Four ways to brew better drip coffee

theguardian.com·4w

Lost Prototype of an Iconic NES Game Has Surfaced After Almost 40 Years

vice.com·4w

How to build a `git diff` driver

jvt.me·4w·Lobsters, Hacker News

SQLite 3.53 fixes WAL-reset bug, adds QRF library, new SQL features, improved CLI and more

alternativeto.net·4w

Retrocomputing

lemmy.world·4w

Building a Voice-Controlled Local AI Agent

github.com·4w·DEV

Alternatives to 2D Reed-Solomon Codes in DAS

ethresear.ch·4w

Deep Dive into Kafka Architecture: Understanding the Building Blocks and Design Principles

pub.towardsai.net

·4w

Cleaning and Preparing Data: The Real Work Behind Data Science

blog.stackademic.com

·4w

Neural Networks

rlj0713.medium.com·4w

Climbing the infinite ladder of abstraction (2016)

lexi-lambda.github.io·4w·Hacker News

RFC 9932: Mutually Authenticating TLS in the Context of Federations

rfc-editor.org·4w

Homelab

blog.preahs.com·4w

Log in to enable infinite scrolling