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  health  video  china  apple  show  iran  google  vibecoding  linux  arstechnica.com  deepfake  theguardian.com  game  javascript  psychology  youtube.com  windows 

Janderland/fenv: FoundationDB development environment

10 days ago github.com

Anthropic blocks third-party use of Claude Code subscriptions

5 days ago github.com

LMDB freelist (and B-tree) Illustrated Guide

9 days ago github.com database

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

2 days ago github.com show turing

SkyPilot: One system to use and manage all AI compute (K8s, 20 clouds, Slurm)

8 hours ago github.com ai

Show HN: An LLM-optimized programming language

2 days ago github.com show

NCSA Mosaic 2.7, one of the first graphical web browsers

2 days ago github.com web

My C++ compiler just wrote its own fan-fiction (inference at compile-time)

4 days ago github.com compiler c++

Show HN: Self-host Reddit – 2.38B posts, works offline, yours forever

13 hours ago github.com reddit show

Gtasks-terminal – Google Tasks power-tool for the terminal

10 days ago github.com google

A very fast SPSC queue

12 days ago github.com zig

Sopro TTS: A 169M model with zero-shot voice cloning that runs on the CPU

5 days ago github.com

Corroded: Illegal Rust

13 days ago github.com rust satire

jxl-rs merged into Chromium

4 days ago github.com browsers chrome

Show HN: SpecificProxy – Proxy Using a Specific IP

2 days ago github.com proxy show

iMessage-kit is an iMessage SDK for macOS

2 days ago github.com apple macos

journal-guardian: JournalCTL Watcher with local LLM explanations for errors

8 days ago github.com devops linux llm vibecoding

Zirgen: Compiler for a Domain-Specific Language

5 days ago github.com compiler

Show HN: TCP chat server written in C# and .NET 9, used in the terminal

11 days ago github.com c# .net show

Show HN: Ferrite – Markdown editor in Rust with native Mermaid diagram rendering

3 days ago github.com rust show

Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

11 days ago github.com rust

ORBIT mini-browser for Playdate

11 days ago github.com browsers

The Concise TypeScript Book

2 days ago github.com typescript

Vojtux – Unofficial Linux Distribution Aimed at Visually Impaired Users

6 days ago github.com linux

minikv: A little KV store implementation in OCaml to practice DB systems things

10 days ago github.com database ml ocaml

Show HN: Axis – A systems programming language with Python syntax

2 hours ago github.com python show

Claude Code CLI was broken

6 days ago github.com

Linus Torvalds Uses Google Antigravity

3 days ago github.com google

Show HN: Yolobox – Run AI coding agents with full sudo without nuking home dir

34 hours ago github.com ai show

Hongdown: An opinionated Markdown formatter in Rust

3 days ago github.com rust show vibecoding

More →