Full Width [alt+shift+f] Shortcuts [alt+shift+k]
Sign Up [alt+shift+s] Log In [alt+shift+l]
Articles [alt+h] Reading List [alt+r] [alt+s]

Stephen Diehl

Visit Blog

Sort By

Recent [alt+2]

Change View

List View [alt+w] Expanded [alt+e]
No, Transformers Won't End the Human Race lol No, Transformers Won't End the Human Race lol In 2022, I used to get calls from journalists asking,...
12 hours ago
1

No, Transformers Won't End the Human Race lol

from Stephen Diehl [alt+shift+b] in startups

12 hours ago
No, Transformers Won't End the Human Race lol In 2022, I used to get calls from journalists asking, with great sincerity, what our lives would look like in the metaverse. How would we work, socialise, buy property, and fall in love once we had all moved there? The crypto...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
The Internet Is Kind of a Predatory Cesspit Now The Internet Is Kind of a Predatory Cesspit Now I’m a kid of the 90s, and I still remember the early...
3 weeks ago
2

The Internet Is Kind of a Predatory Cesspit Now

from Stephen Diehl [alt+shift+b] in startups

3 weeks ago
The Internet Is Kind of a Predatory Cesspit Now I’m a kid of the 90s, and I still remember the early internet. It was slow, ugly, unreliable, and full of cranks, a strange world of wheezing dial-up modems, Usenet flamewars, <marquee> tags, and dancing babies. It was also...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Prism: An Impure Functional Language With Typed Effects Prism: An Impure Functional Language With Typed Effects This is going to be a very nerdy post so...
20th Jun 2026
1

Prism: An Impure Functional Language With Typed Effects

from Stephen Diehl [alt+shift+b] in startups

20th Jun 2026
Prism: An Impure Functional Language With Typed Effects This is going to be a very nerdy post so bear with me. Here is a function. Read it the way you would read any other function, and then tell me its type. fn fib(n) = var a := 0 var b := 1 repeat(n) fn let t = a + b ...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Book Review: On the Calculation of Volume Book Review: On the Calculation of Volume Solvej Balle's On the Calculation of Volume is a planned...
20th May 2026
1

Book Review: On the Calculation of Volume

from Stephen Diehl [alt+shift+b] in startups

20th May 2026
Book Review: On the Calculation of Volume Solvej Balle's On the Calculation of Volume is a planned septology about a Danish antiquarian book dealer who falls out of time, and the first five volumes are one of the most original and brilliant literary projects I've read in years....
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Book Review: What We Can Know Book Review: What We Can Know Ian McEwan has described What We Can Know as "science fiction without...
2nd Apr 2026
1

Book Review: What We Can Know

from Stephen Diehl [alt+shift+b] in startups

2nd Apr 2026
Book Review: What We Can Know Ian McEwan has described What We Can Know as "science fiction without the science," which is both a fair warning and a precise advertisement. The novel is set in 2119. Rising seas and a cascade of nuclear wars (including a misfired Russian warhead in...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Book Review: Piranesi Book Review: Piranesi Susanna Clarke's Piranesi is a book about a man who lives in a House. The...
9th Mar 2026
1

Book Review: Piranesi

from Stephen Diehl [alt+shift+b] in startups

9th Mar 2026
Book Review: Piranesi Susanna Clarke's Piranesi is a book about a man who lives in a House. The House has an infinite number of marble halls. Ocean tides flood the lower floors. Clouds drift through the upper ones. Thousands of statues stand in the middle halls, each one unique,...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Can Opus 4.6 do Category Theory in Lean? Can Opus 4.6 do Category Theory in Lean? I have a little category theory library I've been dragging...
16th Feb 2026
1

Can Opus 4.6 do Category Theory in Lean?

from Stephen Diehl [alt+shift+b] in startups

16th Feb 2026
Can Opus 4.6 do Category Theory in Lean? I have a little category theory library I've been dragging around for about a decade now. It started life in Haskell, got ported to Agda, briefly lived in Idris, spent some time in Coq, and has now landed in Lean 4. I call it Kitty Cats....
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Hypothetical Divine Signatures Hypothetical Divine Signatures The author of the Epistle to the Hebrews famously claimed that "faith...
14th Jan 2026
1

Hypothetical Divine Signatures

from Stephen Diehl [alt+shift+b] in startups

14th Jan 2026
Hypothetical Divine Signatures The author of the Epistle to the Hebrews famously claimed that "faith is the substance of things hoped for, the evidence of things not seen," which was a perfectly serviceable theological patch for an era where the average person’s greatest...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
The Thirty Years' War Is Starting Again The Thirty Years' War Is Starting Again Every few decades, one of America's two political parties...
3rd Aug 2025
1

The Thirty Years' War Is Starting Again

from Stephen Diehl [alt+shift+b] in startups

3rd Aug 2025
The Thirty Years' War Is Starting Again Every few decades, one of America's two political parties undergoes a structural realignment so complete that the continuity of the name becomes a polite fiction. The Democrats did it in the 1960s. The Republicans are doing it now. Reagan's...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Only Solution to the Attention Economy is to Opt Out Only Solution to the Attention Economy is to Opt Out There is a spectacular, almost beautiful...
15th Jul 2025
1

Only Solution to the Attention Economy is to Opt Out

from Stephen Diehl [alt+shift+b] in startups

15th Jul 2025
Only Solution to the Attention Economy is to Opt Out There is a spectacular, almost beautiful absurdity in modern life, blithely plugging our ancient, analog brains into a digital world that wants to eat them for lunch. Our grey matter, honed over eons to spot a lion in the...
Direct Link [→] Remove from reading list Add to reading list [alt+a]

The best way to read the internet.
Made for nerds, by a nerd.

The best way to read the internet

© 2023 Bored Reading. All rights reserved.

Legal

Terms of Service Privacy Policy

External Links

Borderline.biz Buy & Sell Apps PixelsOnGrids App Design Agency

Explore

Top Blogs
Suggest a Blog [email protected]

bored reading

v. 229.328 compliant with
earth/mars-x8292 communication
protocol 29xjw899992

When Google killed Google Reader, the bloggosphere took a severe hit and the content quality went down because there weren't enough readers to justify the effort it takes to maintain a high quality blog.

What's left is a decaying wasteland of blogs, most abandoned, a lot are now SEO spam, and 99% are not worth reading. BoredReading is a way to read the remaining great blogs that survived the ice age.

To add your favorite blog, please suggest it here! I get emails every day which helps me maintain a high quality selection of blogs!

Avatar

Made by,
Kumail Hunaid

@kumailht on Twitter.
My website and email.

Close [esc]
📚 BoredReading

You seem to be enjoying this.

Join free to unlock everything.

Create free account

Already have an account? Sign in