progscrape: redd.it

I built a VHDL simulation engine from scratch in C++20 — lexer, parser, semantic analyzer, linker, and a TUI waveform debugger. Here's why.

28 days ago i.redd.it compiler c++ debugging parser

made a tiny rust tool bc zoxide kept teleporting me to the wrong repo lol

21 days ago i.redd.it rust

CP/M Neo now supports XIP (Execute in Place)!

25 days ago i.redd.it

What should compute in a proof assistant? Functorial Type Theory / emdash

24 days ago i.redd.it

Tessra - Git for Agents

21 days ago i.redd.it git

I built a native Rust ML IDE with offline self-contained installers

15 days ago i.redd.it rust

fixed three platform-specific audio capture bugs in the same release: Bluetooth on macOS, PipeWire on Linux, device switching on Windows

15 days ago i.redd.it apple audio linux macos release rust windows

Subset Gathering in Simple Mazes Is Polynomial-Time Solvable If and Only If P = NP: Clock-and-Flush Hardness for Tilt Automata

23 days ago i.redd.it

Glacex v0.1.4 is coming, here's a brief report of what's been completed so far.

27 days ago i.redd.it rust

rusty-broom — TUI + CLI clean build artifacts from projects you haven’t touched in months

20 days ago i.redd.it rust