💻 Local first - matmat · Scour

How to register to vote – and when is the deadline for local elections? ✅Format Verification

the-independent.com·5d

AI to undo your AI writing 🔓Reverse engineering

sinceerly.com·2d·Hacker News, Hacker News

F# Weekly #17, 2026 💧Liquid Types

sergeytihon.com·5h

Dynamic Construction of the Lov\'asz Local Lemma 🧮SMT Solvers

Making illegal state unrepresentable 🧪Binary Fuzzing

blog.frankel.ch·6d·Hacker News, r/coding, r/programming

First Business Financial Services, Inc. (FBIZ) Q1 2026 Earnings Call Transcript 📋PREMIS Events

seekingalpha.com·1d

How to Make Illegal States Unrepresentable ⚔️Lean Tactics

hackernoon.com·2d

The Brave New World 🗜️LZW Variants

steveblank.com·3d·Hacker News

Will You Be Right on Time? 📐Interval Arithmetic

thefiddler.substack.com

ReciproCard : “Start by searching for your home... ⭐Awesome lists

RE: <span class="invisibl... 🖋Typography

digipres.club·1d

Borrow-checking without type-checking 🦀Rust Borrowing

scattered-thoughts.net·2d·Lobsters, Hacker News

Full stack open ✅Format Verification

fullstackopen.com·6d·Hacker News

Weekly Update 500 📰RSS Archaeology

troyhunt.com·3d

New 🧬PostgreSQL Forensics

news.ycombinator.com·4d·Hacker News

Statutory Copyleft ✅Document Verification

thomas-huehn.com·3d·Hacker News

Agentic Market 🔍BitFunnel

agentic.market·4d·Hacker News

C++ Scripting with Libriscv ⚙️WASM Runtime

libriscv.no·3d·Hacker News

Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems ✨Algebraic Effects

On the Emergence of Syntax by Means of Local Interaction 💻Programming languages

No more posts from matmat's subscribed feeds.

Scour all 24374 feeds Learn more about Feeds

Log in to enable infinite scrolling