Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  show  vibecoding  health  psychology  google  psypost.org  neuroscience  discord  release  video  go  china  brain  apple  game  security  i.redd.it 

Paper: CSLib: The Lean Computer Science Library

4 days ago i.redd.it

The Day Pittman Logic Crushed Boyer and Eratosthenes 🏆

4 days ago i.redd.it

I built deadbranch — a Rust CLI tool to safely clean up those 50+ stale git branches cluttering your repo

13 days ago i.redd.it git rust

Weekly Rust Contest - Maximum Path Value in DAG with Color Constraints

2 days ago i.redd.it rust

musicfree-tauri: The first demo version is finally complete.

29 hours ago i.redd.it rust

It is a strategic lie that Arxiv holds on hold for weeks, during which time you can see that what was submitted yesterday has been published.

7 days ago i.redd.it

Topological Computation (Theory + PoC)

10 days ago i.redd.it

flux v0.2.0 adds disk usage column

23 hours ago i.redd.it rust

Decode this!!!

4 days ago i.redd.it

If I were starting AI for industry in 2026, this is the path I’d follow

4 days ago i.redd.it ai

flow - a keyboard-first Kanban board in the terminal

10 days ago i.redd.it rust

Frame - Media Conversion App

10 hours ago i.redd.it media rust

Offline docs 'the book' errors in chapter 2

14 days ago i.redd.it rust

PDF manipulation software for Linux users with React UI

11 days ago i.redd.it linux pdf react rust

Ironpad: Local-first project management stored as Markdown + Git. Built with Rust backend

9 days ago i.redd.it git rust

windows search sucks so i built a local semantic search (rust + lancedb)

7 hours ago i.redd.it rust windows

Tandem: A local-first AI workspace built with Tauri v2 and sqlite-vec

6 days ago i.redd.it ai rust

VibeBox: Rust-powered per-repo micro-VM sandbox with session attach/reuse

4 days ago i.redd.it rust

My first open-source Rust project reaches 5K GH stars!

7 days ago i.redd.it rust

I made a "best practices" rust skill

2 days ago i.redd.it rust

New Contest Problem: Deadline-Aware Fair Queuing Coalescer

8 days ago i.redd.it rust

musicfree: a cross-platform music downloader implemented in Rust

23 days ago i.redd.it music rust

Pixel retro quiz website for refreshing key Rust concepts

20 days ago i.redd.it rust

I benchmark my OCaml to LLVM IR compiler against ocamlopt! 🐪

33 days ago i.redd.it compiler llvm ocaml

Rust contest problem: Lifetime Safe LRU Cache

16 days ago i.redd.it rust

Using Zig's comptime and @Vector for a 2.3x SIMD speedup in satellite tracking

25 days ago i.redd.it zig

Tect - Minimal, type-safe language for designing/validating software architecture

32 days ago i.redd.it

What Arc<Mutex<T>> feels like

35 days ago i.redd.it rust

Filling rectangles with Polyominoes

29 days ago i.redd.it java

F3D and the libf3d! 3D viewer lib to display/render any 3D file, now with Java bindings!

36 days ago i.redd.it 3d java

More →