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  vibecoding  iran  linux  show  apple  theguardian.com  health  neuroscience  game  psypost.org  openai  tomshardware.com  arstechnica.com  i.redd.it  google  psychology  microsoft 

ACM Is Now Open Access

3 months ago acm.org compsci

The Only Two Markup Languages

2 months ago gingerbill.org compsci

Pulling a New Proof from Knuth's Fixed-Point Printer

2 months ago research.swtch.com compsci

The Missing Semester of Your CS Education – Revised for 2026

2 months ago missing.csail.mit.edu compsci education unix

Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index

2 months ago github.com compsci database rust

Here's how to generate a truly random number with quantum physics

2 months ago popsci.com compsci cryptography

Black-White Array: A New Data Structure for Dynamic Data Sets

2 months ago arxiv.org compsci pdf

An Adequate Left-Associated Binary Numeral System in the lambda-Calculus

2 months ago brics.dk compsci pdf

Building a CPU in Factorio: From D-Flip-Flops to an Operating System [video]

3 months ago youtube.com compsci video

Visualizing Delaunay Triangulation (2022)

2 months ago ianthehenry.com compsci math visualization

CSLib: A Focused Effort on Formalizing Computer Science in Lean

2 months ago cslib.io compsci formalmethods math

Regexp Lessons

3 months ago tbray.org compsci regex

Answer Set Programming (2019)

2 months ago cs.utexas.edu book compsci pdf

Kelp: A New Streaming Log Parser Algorithm

3 months ago stonebucklabs.com algorithm compsci parser rust

Comparative Analysis of Low-Dimensional Features and Tree-Based Ensembles for Malware Detection Systems (2020)

2 months ago ieeexplore.ieee.org compsci malware pdf reversing

Enterprise Integration Patterns: The Routing Slip

3 months ago james-carr.org api compsci distributed elixir erlang networking

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

3 months ago reddit.com ai

Measuring out-of-sync clocks on the Internet

3 months ago alexsci.com compsci

doubly dual shuffles

3 months ago dotat.at compsci

50 years of proof assistants

3 months ago lawrencecpaulson.github.io compsci historical

PtrHash: Minimal Perfect Hashing at RAM Throughput

4 months ago curiouscoding.nl compsci

Fast CVVDP implementation in C

3 months ago github.com c compsci

Picking Optimal Token IDs

4 months ago notes.hella.cheap compsci

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

3 months ago sdiehl.github.io compsci formalmethods

Deconstructing the `CAP theorem' for CM and DevOps

3 months ago markburgess.org compsci distributed

The hidden brain power behind programming

3 months ago web.eecs.umich.edu brain cogsci compsci pdf

SWIM: Outsourced Heartbeats

3 months ago benjamincongdon.me compsci distributed

Trees - J Wiki

4 months 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.

4 months ago reddit.com

Solving the Partridge square packing problem using MiniZinc

4 months ago zayenz.se compsci square

More →