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  github.com  web  i.redd.it  game  linux  vibecoding  spacex  health  release  psychology  nature.com  reuters.com  apple  microsoft  show  techspot.com  meta  javascript 
Loading...

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

More Whimsical OEIS Sequences

29 days ago jeremykun.com

Unusual uses of OEIS sequences on GitHub

37 days ago jeremykun.com github

The OEIS meta sequence and subway stations

37 days ago jeremykun.com meta

Deterministic Primality Testing for Limited Bit Width

2 months ago jeremykun.com

Integer Set Library (ISL) - A Primer

8 months ago jeremykun.com compiler math

Frequently Asked Questions about FHE

11 months ago jeremykun.com cryptography math

Markov Chain Monte Carlo Without All the Bullshit (2015)

14 months ago jeremykun.com

Attention Spans for Math and Stories (2019)

14 months ago jeremykun.com math

Explainable Linear Programs

16 months ago jeremykun.com

How This Blog Does IndieWeb

20 months ago jeremykun.com web

MLIR — Defining Patterns with PDLL

22 months ago jeremykun.com compiler

Group actions and hashing unordered multisets (2021)

24 months ago jeremykun.com

The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm

24 months ago jeremykun.com algorithm

A High-Level Technical Overview of Homomorphic Encryption

2 years ago jeremykun.com encryption

MLIR — A Global Optimization and Dataflow Analysis

2 years ago jeremykun.com compiler

MLIR — Lowering through LLVM

2 years ago jeremykun.com compiler llvm

MLIR — Folders and Constant Propagation

2 years ago jeremykun.com compiler

MLIR — Using Traits

2 years ago jeremykun.com compiler

Proof Gallery

2 years ago jeremykun.com

NP-hard does not mean hard (2017)

2 years ago jeremykun.com

MLIR for Beginners — Defining a New Dialect

2 years ago jeremykun.com compiler

We're Knot Friends

3 years ago jeremykun.com

Google’s fully homomorphic encryption compiler – a primer

3 years ago jeremykun.com compiler c++ cryptography encryption google rust

Markov chain Monte Carlo without the bullshit (2015)

3 years ago jeremykun.com

My next book will be "Practical Math for Programmers"

4 years ago jeremykun.com math

All Horses Are the Same Color

4 years ago jeremykun.com

Probably Approximately Correct – A Formal Theory of Learning (2014)

4 years ago jeremykun.com

The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm

4 years ago jeremykun.com algorithm

Regression and Linear Combinations

5 years ago jeremykun.com

The Communicative Value of Using Git Well

5 years ago jeremykun.com git

More →