progscrape: redd.it

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

20 days ago i.redd.it git

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

14 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

14 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.

26 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

I hate Github Actions, but Rust saves me!

23 days ago i.redd.it github rust

Kaden Terminal – Bloat free Terminal Emulator for Linux

30 days ago i.redd.it linux rust