Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  tomshardware.com  google  security  psychology  linux  game  psypost.org  health  release  arstechnica.com  video  techspot.com  cnbc.com  techcrunch.com  go  github.com  show  openai 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

How curl was accidentally Turing-complete for nine months

6 days ago seriot.ch compsci

Two-Stack Sliding-Window Aggregation

33 days ago orlp.net compsci

A Stackless Floodfill Automaton

10 days ago t3x.org compsci pdf

One Hash Bloom Filters

16 days ago calabro.io compsci database hash

A stackless floodfill automation (2023)

8 days ago t3x.org compsci pdf

JPEG XL vs. AVIF for web use-cases

20 days ago jakearchibald.com compsci jpeg web

One Hash Bloom Filters

16 days ago calabro.io compsci database hash

Conquering Recursion

22 days ago nsl.com apl compsci

Mars Pathfinder Priority Inversion Bug: What Really Happened

26 days ago nerdyelectronics.com compsci debugging

ZXC: Lossless compression built for ultra-fast decode

21 days ago libzxc.org compression compsci vibecoding

Rechenwerk — a programmer’s calculator for hex, binary and RPN for iOS and Android

14 days ago rechenwerk.app android apple assembly compsci ios

A5 v1.0

16 days ago a5geo.org compsci math rust visualization

Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents

14 days ago arxiv.org ai ai-tooling compsci formalmethods kernel risc unix

How Lean 4 uses CompSci to Verify Math Proofs

35 days ago reddit.com math

Coding Theory: A Playful Introduction

45 days ago paramrathour.github.io compsci

Let's build a compressor from scratch

2 months ago ochagavia.nl compsci rust

The case against JPEG XL

52 days ago giannirosato.com compsci jpeg

Aho-Corasick Algorithm

36 days ago compiler.club algorithm compsci

bzip3

59 days ago github.com compsci performance

Researchers achieve fastest and most complex DNA computer to date

47 days ago interestingengineering.com compsci science

ZK-JPEG: Zero-Knowledge Image Editing and Compression

46 days ago eprint.iacr.org compression compsci security

Fifty Years of Open Source Software Supply Chain Security (2025)

43 days ago queue.acm.org compsci security

Consistent Hashing Proofs

46 days ago ch.terabyteoff.com compsci math

Can a regex match valid card numbers?

53 days ago abstractnonsense.xyz compsci regex

Bitap: My favorite string matching algorithm

58 days ago jo3-l.dev algorithm compsci

Lifestreams: a storage model for personal data (1996)

44 days ago ee.columbia.edu compsci design pdf

Running an Optimal Trace

44 days ago anishathalye.com compsci show vibecoding

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

52 days ago baldino.dev compsci math python

Compsci grads facing recession-like job prospects thanks to AI

45 days ago theregister.com ai

Adversarial examples for fast hash functions

46 days ago thomasahle.com compsci hash math

More →