progscrape: i.redd.it

Let there be light

13 days ago i.redd.it rust

Is this java book rare

10 days ago i.redd.it java

ranma: a tiling window manager for the terminal (alacritty_terminal + ratatui + mlua)

9 days ago i.redd.it rust

I got tired of DBeaver feeling sluggish, so I built a database client in Rust + GPUI

18 days ago i.redd.it database rust

Capabilities of physics to go beyond Turing machine?

16 days ago i.redd.it turing

Believing P≠NP is fundamentally an act of faith in a world that values the journey over the destination, a belief that the universe was designed to reward deep, grueling effort rather than making all truths instantly cheap

9 days ago i.redd.it universe

Ling-3.1-flash builds a native Lua compiler in about 17 hours, passing 178 of 182 tests

19 days ago i.redd.it compiler lua

A SQLite compatible relational database built in Rust

10 days ago i.redd.it database rust

Made an IDE using Tauri as the only framework

12 days ago i.redd.it rust

Ur_Language 😶‍🌫️

13 days ago i.redd.it compiler

Comprinly

8 days ago i.redd.it compiler

I know this is wrong: tell me why please. (Nondeterministic) PDAs.

9 days ago i.redd.it

Traits, the programming language i am working on it just gets traits so any kind of idea you can share over it syntax design i will try to add some of them.

18 days ago i.redd.it compiler

xlr8 - local GitHub-style web viewer in Rust with sub-millisecond diffs (Axum, gix)

8 days ago i.redd.it rust web

ChessOS

10 days ago i.redd.it

I built Hussain Compiler a lightweight Python IDE that runs in your browser

17 days ago i.redd.it compiler python

ChessBitBase: a bit of history

12 days ago i.redd.it rust

gh-stats: GitHub stats for any user or org in your terminal

9 days ago i.redd.it github rust

What to do when this comes out?

17 days ago i.redd.it java

Hey everyone, just clearing things up about the pilot radar

9 days ago i.redd.it compiler

I built a tiny TUI in Rust to safely save and inject project-local shell commands

17 days ago i.redd.it rust

T3ISA

16 days ago i.redd.it java

I am now a Rustacean! 🥳🦀

15 days ago i.redd.it rust

I’m building Shriji, a Hindi-first programming language. Today I verified its core AST → IR → Bytecode → VM pipeline

16 days ago i.redd.it bytecode compiler

I built a macOS launcher in Rust where every plugin is a sandboxed WASM component (and the mascot now has 626 costumes)

16 days ago i.redd.it apple macos rust wasm

Static vs dynamic dispatch in Rust benchmark — for those who care about runtime performance

16 days ago i.redd.it rust

Finally made reqsh usable by someone other than me