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  video  theguardian.com  health  security  china  neuroscience  show  psychology  linux  web  psypost.org  reuters.com  go  vibecoding  game  nytimes.com  compiler 
Loading...

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

Sorting with Fibonacci Numbers and a Knuth Reward Check

2 days ago orlp.net compsci

ELI5 CompSci: CFOL Layers – How Gödel/Tarski Limits Force Us to Stratify AI

21 hours ago reddit.com ai

Measuring out-of-sync clocks on the Internet

5 days ago alexsci.com compsci

doubly dual shuffles

8 days ago dotat.at compsci

50 years of proof assistants

21 days ago lawrencecpaulson.github.io compsci historical

PtrHash: Minimal Perfect Hashing at RAM Throughput

32 days ago curiouscoding.nl compsci

Fast CVVDP implementation in C

5 days ago github.com c compsci

Picking Optimal Token IDs

28 days ago notes.hella.cheap compsci

From Zero to QED: An informal introduction to formality with Lean 4

20 days ago sdiehl.github.io compsci formalmethods

Deconstructing the `CAP theorem' for CM and DevOps

23 days ago markburgess.org compsci distributed

The hidden brain power behind programming

6 days ago web.eecs.umich.edu brain cogsci compsci pdf

SWIM: Outsourced Heartbeats

23 days ago benjamincongdon.me compsci distributed

Trees - J Wiki

30 days ago code.jsoftware.com apl compsci

A gift, for a long lost daughter (a compsci major) after them being taken away through divorce many years ago.

28 days ago reddit.com

Solving the Partridge square packing problem using MiniZinc

37 days ago zayenz.se compsci square

Smoothsort Demystified (2011)

49 days ago keithschwarz.com compsci

Dijkstra’s Algorithm in JS

55 days ago github.com algorithm compsci

Rank-balanced trees (2014)

46 days ago sidsen.azurewebsites.net compsci pdf

Modern Perfect Hashing

2 months ago blog.sesse.net compsci

Why Busy Beaver hunters fear the Antihydra

2 months ago benbrubaker.com compsci

Solving the NYTimes Pips puzzle with a constraint solver

2 months ago righto.com compsci game

Rotating Workforce Scheduling in MiniZinc

2 months ago zayenz.se compsci

The Vindication of Bubble Sort

2 months ago entropicthoughts.com compsci

SATisfying Solutions to Difficult Problems

2 months ago vaibhavsagar.com compsci

Cuckoo hashing improves SIMD hash tables (and other hash table tradeoffs)

3 months ago reiner.org compsci hash rust

Index 1,600,000,000 Keys with Automata and Rust (2015)

2 months ago burntsushi.net compsci rust

Learning Regular Languages with RPNI Algorithm

2 months ago rahul.gopinath.org algorithm compsci

Incremental Construction of Minimal Acyclic Finite-State Automata (2000)

2 months ago aclanthology.org compsci pdf

Oavif: Faster target quality image compression

2 months ago giannirosato.com compression compsci

Fast SSIMULACRA2 Implementation in Zig

3 months ago github.com compsci zig

More →