progscrape: redd.it

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

21 days ago i.redd.it

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

24 days ago i.redd.it rust

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

18 days ago i.redd.it rust

I hate Github Actions, but Rust saves me!

21 days ago i.redd.it github rust

Kaden Terminal – Bloat free Terminal Emulator for Linux

28 days ago i.redd.it linux rust

Artificial Analysis's 'Omniscience' LLM-benchmark appears to be some of the first clear evidence I've seen of LLMs/'agentic' programming clearly, measurably benefiting from strong type-systems? Look at Rust's row wtf

13 days ago i.redd.it rust

new programming language just got updated!

18 days ago i.redd.it compiler

Hoe kan ik mijn mobiele abonnement koppelen in de app? Krijg elke keer deze melding.

28 days ago i.redd.it zig

I built Uvez, a tabbed host for native Windows applications

12 days ago i.redd.it rust windows

Balaur Engine - pre-alpha v0.1.0 Node Based Rust Game engine with Cross Platform Determinism and Scripting

20 days ago i.redd.it game node rust