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  i.redd.it  security  apple  psypost.org  javascript  reuters.com  release  microsoft  web  arstechnica.com  psychology  neuroscience  environment  google  health  nature.com 
Loading...

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

Email could have been X.400 times better

15 days ago buttondown.com email

Columnar Storage Is Normalization

15 days ago buttondown.com

Illegal vs Unwanted States

9 days ago buttondown.com formalmethods

Refuse to let your doctor record you

13 days ago buttondown.com

A sufficiently comprehensive spec is not (necessarily) code

22 days ago buttondown.com formalmethods vibecoding

Franklin's bad ads for Apple II clones and the beloved impersonator they depict

27 days ago buttondown.com apple

Floyd's Sampling Algorithm

31 days ago buttondown.com algorithm

Choose Boring Technology and Innovative Practices

44 days ago buttondown.com devops scaling

AI and the Illegal War

2 months ago buttondown.com ai

LLMs are bad at vibing specifications

58 days ago buttondown.com formalmethods llm vibecoding

In 1985 Maxell built a bunch of life-size robots for its bad floppy ad

2 months ago buttondown.com

My Gripes with Prolog

3 months ago buttondown.com prolog rant

Refinement Without Specification

3 months ago buttondown.com

The Liskov Substitution Principle does more than you think

4 months ago buttondown.com

Inlining

4 months ago buttondown.com database

"AI" is bad UX

4 months ago buttondown.com ai design vibecoding

Bad Opsec Considered Harmful

4 months ago buttondown.com

When would you ever want bubblesort? (2023)

4 months ago buttondown.com

This Month in Ladybird: November 2025

5 months ago buttondown.com

I ****Ing Hate Science (2021)

6 months ago buttondown.com science

Syntax highlighting is a waste of an information channel (2020)

6 months ago buttondown.com editors

Why did containers happen?

6 months ago buttondown.com virtualization

Modal editing is a weird historical contingency we have through sheer happenstance

6 months ago buttondown.com historical

Three ways formally verified code can go wrong in practice

6 months ago buttondown.com formalmethods

The death of thread per core

6 months ago buttondown.com

Email was the user interface for the first AI recommendation engines

7 months ago buttondown.com ai

Many hard LeetCode problems are easy constraint problems

7 months ago buttondown.com

Famous cognitive psychology experiments that failed to replicate

7 months ago buttondown.com

Infinite Relations

7 months ago buttondown.com database

How RSS beat Microsoft

8 months ago buttondown.com microsoft

More →