🔓 Reverse engineering - matmat · Scour

Snippets With Regular Expressions

irreal.org·1d

🌳Incremental Parsing

Differential Logic • 5

inquiryintoinquiry.com·2d

⚔️Lean Theorem

Grumpy Julio plays with CLI coding agents

blogsystem5.substack.com·2d·

Discuss: Substack

⚡Proof Automation

How One Engineer Turned Saudi Cloud Compliance from a 6-Month Bottleneck into a 2-Week Workflow

hackernoon.com·1d

Optimal information deletion and Bayes' theorem

arxiv.org·19h

📐Compression Mathematics

Show HN: I extract recipes from TikTok, Instagram, and the messy web

news.ycombinator.com·10h·

Discuss: Hacker News

📡RSS Automation

Architecture of SQLite

sqlite.org·11h·

Discuss: Hacker News

🗄️SQLite Internals

Code Reviews: Here's What They Actually Teach Us

hackernoon.com·2d

📏Code Metrics

Erlang Jabber/XMPP/Matrix Server – Communication

process-one.net·14h·

Discuss: Hacker News

Inverting Data Transformations via Diffusion Sampling

arxiv.org·1d

🌀Differential Geometry

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·1d·

Discuss: r/rust

🦀Rust Macros

alexkranias.com·8h·

Discuss: Hacker News

📟Terminal Physics

Better Python tests with inline-snapshot

pydantic.dev·2d·

Discuss: Lobsters, Hacker News, Hacker News, r/opensource

🧪Property-Based Testing

mitsuhiko/insta: A snapshot testing library for rust

github.com·5h

🦀Rust Borrowing

A Note on File History in Emacs

brainbaking.com·1d·

Discuss: Hacker News

🍎Apple Archive

Amiga GadTools Library

wiki.amigaos.net·1d·

Discuss: Hacker News

💧Liquid Types

You Don't Need It

moq.dev·4h·

Discuss: Hacker News

🌐Protocol Synthesis

JavaScript Math Bug

codepen.io·1d·

Discuss: Hacker News

🎯Gradual Typing

Abandoned by Me - A Cemetery for Your Forgotten Code

abandoned-by-me.dev·1d·

Discuss: Hacker News

🎮Game Decompilation

Reviving a CIDCO MailStation

theregister.com·13h·

Discuss: Hacker News

💾vintage computing

Loading more...