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  github.com  vibecoding  game  release  microsoft  psychology  security  techspot.com  biology  show  psypost.org  tomshardware.com  web  apple  linux  meta  google  health 

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

5 months ago brics.dk compsci pdf

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

6 months ago youtube.com compsci video

Visualizing Delaunay Triangulation (2022)

5 months ago ianthehenry.com compsci math visualization

CSLib: A Focused Effort on Formalizing Computer Science in Lean

5 months ago cslib.io compsci formalmethods math

Regexp Lessons

6 months ago tbray.org compsci regex

Answer Set Programming (2019)

5 months ago cs.utexas.edu book compsci pdf

Kelp: A New Streaming Log Parser Algorithm

6 months ago stonebucklabs.com algorithm compsci parser rust

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

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

Enterprise Integration Patterns: The Routing Slip

6 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

6 months ago reddit.com ai

Measuring out-of-sync clocks on the Internet

6 months ago alexsci.com compsci

doubly dual shuffles

6 months ago dotat.at compsci

50 years of proof assistants

6 months ago lawrencecpaulson.github.io compsci historical

PtrHash: Minimal Perfect Hashing at RAM Throughput

7 months ago curiouscoding.nl compsci

Fast CVVDP implementation in C

6 months ago github.com c compsci

Picking Optimal Token IDs

7 months ago notes.hella.cheap compsci

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

6 months ago sdiehl.github.io compsci formalmethods

Deconstructing the `CAP theorem' for CM and DevOps

6 months ago markburgess.org compsci distributed

The hidden brain power behind programming

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

SWIM: Outsourced Heartbeats

6 months ago benjamincongdon.me compsci distributed

Trees - J Wiki

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

7 months ago reddit.com

Solving the Partridge square packing problem using MiniZinc

7 months ago zayenz.se compsci square

Smoothsort Demystified (2011)

7 months ago keithschwarz.com compsci

Dijkstra’s Algorithm in JS

7 months ago github.com algorithm compsci

Rank-balanced trees (2014)

7 months ago sidsen.azurewebsites.net compsci pdf

Modern Perfect Hashing

8 months ago blog.sesse.net compsci

Why Busy Beaver hunters fear the Antihydra

8 months ago benbrubaker.com compsci

Solving the NYTimes Pips puzzle with a constraint solver

8 months ago righto.com compsci game

Rotating Workforce Scheduling in MiniZinc

8 months ago zayenz.se compsci

More →