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  health  microsoft  environment  vibecoding  psychology  china  web  trump  go  security  psypost.org  google  neuroscience  database  game  nature.com  apple 
Loading...

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

Solving LinkedIn Queens with SMT

23 days ago buttondown.com

Caching is an abstraction, not an optimization

5 days ago buttondown.com database

How to Leave the House

8 days ago buttondown.com

Monotone Functions and Cache Lines

12 days ago buttondown.com database

AI is a gamechanger for TLA+ users

30 days ago buttondown.com ai formalmethods vibecoding

What does “Undecidable” mean, anyway

38 days ago buttondown.com

Why Property Testing Finds Bugs Unit Testing Does Not (2021)

45 days ago buttondown.com testing

How To Understand That Jepsen Report

2 months ago buttondown.com database

Finding hard 24 puzzles with planner programming

46 days ago buttondown.com game plt

Write the most clever code you possibly can

57 days ago buttondown.com rant

E-COM: The $40M USPS project to send email on paper

52 days ago buttondown.com

Multiplexing

54 days ago buttondown.com

Kicking the Tires on CedarDB's SQL

46 days ago buttondown.com database sql

How to Not Get Poisoned in America

2 months ago buttondown.com

Requirements change until they don't

2 months ago buttondown.com testing

AMP and why emails are not (and should never be) interactive

2 months ago buttondown.com

Propositional Parlor Puzzle

2 months ago buttondown.com

The Halting Problem is a terrible example of NP-Harder

2 months ago buttondown.com

Solving a “Layton Puzzle” with Prolog

2 months ago buttondown.com prolog

Betteridge's Law of Software Engineering Specialness

3 months ago buttondown.com

Verification-First Development

3 months ago buttondown.com

It's Time to Stop Building KV Databases

3 months ago buttondown.com database

Five Kinds of Nondeterminism

4 months ago buttondown.com plt

Five Kinds of Nondeterminism

4 months ago buttondown.com plt

Are efficiency and horizontal scalability at odds?

4 months ago buttondown.com distributed performance

The Juggler's Curse

5 months ago buttondown.com

Channel Sharding in Go

6 months ago buttondown.com go performance

Why do regexes use `$` and `^` as line anchors? (2024)

5 months ago buttondown.com

What are the Magical Clocks for?

6 months ago buttondown.com database distributed

Thoughts on DuckDB's Grammar Patching Thing

7 months ago buttondown.com

More →