Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  vibecoding  show  psypost.org  web  video  linux  theguardian.com  apple  neuroscience  psychology  i.redd.it  release  game  brain  java  meta 

𝐇𝐨𝐰 𝐋𝐋𝐌𝐬 𝐀𝐜𝐭𝐮𝐚𝐥𝐥𝐲 "𝐃𝐞𝐜𝐢𝐝𝐞" 𝐖𝐡𝐚𝐭 𝐭𝐨 𝐒𝐚𝐲

15 days ago i.redd.it

I pushed an AMD GPU to its limits for ZKPs: 18ms NTT and 2.5s FRI Proving via Zero-Copy and Algorithmic Dimensionality Reduction

7 hours ago i.redd.it amd gpu rust

JPA and Hibernate protect you from a lot but the native queries that slip through are where incidents happen

8 days ago i.redd.it java

Made a rust linter for ssh configs because I kept missing dumb mistakes

13 days ago i.redd.it rust ssh

extended Shannon entropy with a learning observer. Here's what I built.

9 days ago i.redd.it

🤩🎊 Python + Rust = insanely fast and beautiful terminal UIs (PyRatatui) 🌿✨

47 hours ago i.redd.it python rust

Built an alternative to Windows Search: OmniSearch (Open Source, Microsoft Store + MSI)

an hour ago i.redd.it microsoft rust windows

Why is my site like this??????

4 days ago i.redd.it

Orbital – A zero-config, async interactive TUI dashboard built with Ratatui, Tokio, and jwalk for blazing fast performance

2 days ago i.redd.it rust

Del Gaming al Control Global: El Ascenso de NVIDIA (2019-2026)

16 days ago i.redd.it nvidia

I built a genetic programming system that finds π in binary files as a mathematical anchor

10 days ago i.redd.it genetics

ListenBrainz Dashboard [Rust + TS]

19 hours ago i.redd.it rust

(OC) Beyond the Matryoshka Doll: A Human Chef Analogy for the Agentic AI Stack

14 days ago i.redd.it ai

NetWeave - Homelab Dashboard & IPAM

9 days ago i.redd.it rust

Does anybody know how to remove that blue lines in terminal, I'm a newbie

14 days ago i.redd.it java

I built a TUI that dissolves git branches away in Thanos style

3 days ago i.redd.it git rust

A local-first TUI for the "Top 1%" career path. Built with Rust

9 days ago i.redd.it rust

I dropped Next.js and built a Rust web framework. <15MB RAM, 0 Node dependencies, and blazing fast SSR powered by HTMX

9 days ago i.redd.it node rust web

The Clippy Changelog Cat Contest 1.94 is open, submit your cat now!

14 days ago i.redd.it rust

GridSnap — a lightweight encrypted grid-based note manager built with Tauri v2

13 days ago i.redd.it rust

Kubeli now supports Linux! Native K8s desktop app built with Tauri 2 + Rust

15 days ago i.redd.it linux rust

workz - git worktrees that actually work (zero-config dep sync, fleet mode for parallel agents)

14 days ago i.redd.it git rust

bdstorage v0.1.2: Fixed a redb transaction bottleneck, dropping tiny-file dedupe latency from 20s to 200ms.

15 days ago i.redd.it rust

My Rust-based Git Client evolved into a full "Developer Hub" (HTTP Client, Mock Data Gen & Monaco Editor built-in)

18 days ago i.redd.it git http rust

TensaLang: A tensor-first language for LLM inference, lowering through MLIR to CPU/CUDA

26 days ago i.redd.it compiler llm llvm

Evolution of Architecture

27 days ago i.redd.it

floating point grammar

22 days ago i.redd.it compiler

Ratatui is criminally underrated!

21 days ago i.redd.it rust

Introducing Better Spring Initializr

27 days ago i.redd.it java

Searching 1GB JSON on a phone: 44s to 1.8s, a journey through every wrong approach

18 days ago i.redd.it json rust

More →