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  health  vibecoding  openai  github.com  psypost.org  psychology  theguardian.com  techspot.com  release  i.redd.it  linux  web  game  sciencealert.com  neuroscience  go  meta  google 

CP/M Neo now supports XIP (Execute in Place)!

3 days ago i.redd.it

What should compute in a proof assistant? Functorial Type Theory / emdash

2 days ago i.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 hours ago i.redd.it

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

4 days ago i.redd.it rust

I hate Github Actions, but Rust saves me!

30 hours ago i.redd.it github rust

Kaden Terminal – Bloat free Terminal Emulator for Linux

8 days ago i.redd.it linux rust

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

7 days ago i.redd.it zig

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

4 hours ago i.redd.it game node rust

Don’t worry, the bun rewrite will fail any second now

4 days ago i.redd.it zig

TUI based firewall for linux written in rust + ratataUI

25 hours ago i.redd.it firewall linux rust

Started working on a fully deterministic game engine in Rust, Balaur Engine

5 days ago i.redd.it game rust

Findo v1.1.0: Open-source fast, cross-platform file search utility in Rust & egui

6 days ago i.redd.it rust

HTML/CSS-based Native Shell POC Using Dioxus

7 days ago i.redd.it rust

I wrote a DNS firewall in Rust that detects malware domains using Shannon entropy.

25 hours ago i.redd.it dns firewall malware rust

I built printext: A fast, zero-disk I/O OCR screen-capture tool for Wayland/Hyprland written in Rust

39 hours ago i.redd.it rust

Glacex has evolved so much over this week!

4 days ago i.redd.it rust

DevScribe - Lightweight code editor built Rust

4 days ago i.redd.it rust

I built my first Rust crate: inspect-rs — structured introspection and semantic terminal rendering

5 days ago i.redd.it rust

inspect-rs: structured introspection for rust

5 days ago i.redd.it rust

Anyone know where I could find this vintage Motorola 68000 programmer's reference manual?

9 days ago i.redd.it motorola

I made a fast filesystem explorer with a nice ui using rust, iced-rs & elixir for macos

13 days ago i.redd.it apple macos rust

Take me back 😭❤️‍🩹

11 days ago i.redd.it java

CP/M Neo is a CP/M-inspired operating system for learning computer architecture and OS design.

13 days ago i.redd.it

One place to cover all your Rust learning needs, Cratery open-source release

8 days ago i.redd.it release rust

Fuzzy finding launcher Cross OS, free, open-source forever

12 days ago i.redd.it rust

Sometimes when I'm stuck, I need to distract myself - so I made this for my altar to placate the borrow checker

17 days ago i.redd.it rust

Program like it's 1992 again - Hello Pascal!

12 days ago i.redd.it compiler

Wallr v0.3.4 is out!

10 days ago i.redd.it rust

Zaku 26.0 beta - API client desktop app built with GPUI

8 days ago i.redd.it api rust

How to study Graph theory, for some who is first time hearing it.

25 days ago i.redd.it

More →