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]

Computer Things

Visit Blog

Sort By

Recent [alt+2]
Three ways formally verified code can go wrong in practice New Logic for Programmers Release! v0.12 is now available! This should be the last major content...
10th Oct 2025
37

Three ways formally verified code can go wrong in practice

from Computer Things [alt+shift+b] in programming

10th Oct 2025
New Logic for Programmers Release! v0.12 is now available! This should be the last major content release. The next few months are going to be technical review, copyediting and polishing, with a hopeful 1.0 release in March. Full release notes here. Three ways formally...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
The Angels and Demons of Nondeterminism Greetings everyone! You might have noticed that it's September and I don't have the next version of...
4th Sep 2025
47

The Angels and Demons of Nondeterminism

from Computer Things [alt+shift+b] in programming

4th Sep 2025
Greetings everyone! You might have noticed that it's September and I don't have the next version of Logic for Programmers ready. As penance, here's ten free copies of the book. So a few months ago I wrote a newsletter about how we use nondeterminism in formal methods. The...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Software books I wish I could read New Logic for Programmers Release! v0.11 is now available! This is over 20% longer than v0.10, with...
6th Aug 2025
45

Software books I wish I could read

from Computer Things [alt+shift+b] in programming

6th Aug 2025
New Logic for Programmers Release! v0.11 is now available! This is over 20% longer than v0.10, with a new chapter on code proofs, three chapter overhauls, and more! Full release notes here. Software books I wish I could read I'm writing Logic for Programmers because it's a book...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Logical Quantifiers in Software I realize that for all I've talked about Logic for Programmers in this newsletter, I never once...
2nd Jul 2025
57

Logical Quantifiers in Software

from Computer Things [alt+shift+b] in programming

2nd Jul 2025
I realize that for all I've talked about Logic for Programmers in this newsletter, I never once explained basic logical quantifiers. They're both simple and incredibly useful, so let's do that this week! Sets and quantifiers A set is a collection of unordered, unique elements....
Direct Link [→] Remove from reading list Add to reading list [alt+a]
AI is a gamechanger for TLA+ users New Logic for Programmers Release v0.10 is now available! This is a minor release, mostly focused on...
5th Jun 2025
45

AI is a gamechanger for TLA+ users

from Computer Things [alt+shift+b] in programming

5th Jun 2025
New Logic for Programmers Release v0.10 is now available! This is a minor release, mostly focused on logic-based refactoring, with new material on set types and testing refactors are correct. See the full release notes at the changelog page. Due to conference pressure v0.11 will...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Write the most clever code you possibly can I started writing this early last week but Real Life Stuff happened and now you're getting the...
8th May 2025
62

Write the most clever code you possibly can

from Computer Things [alt+shift+b] in programming

8th May 2025
I started writing this early last week but Real Life Stuff happened and now you're getting the first-draft late this week. Warning, unedited thoughts ahead! New Logic for Programmers release! v0.9 is out! This is a big release, with a new cover design, several rewritten chapters,...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
[April Cools] Gaming Games for Non-Gamers My April Cools is out! Gaming Games for Non-Gamers is a 3,000 word essay on video games worth...
1st Apr 2025
59

[April Cools] Gaming Games for Non-Gamers

from Computer Things [alt+shift+b] in programming

1st Apr 2025
My April Cools is out! Gaming Games for Non-Gamers is a 3,000 word essay on video games worth playing if you've never enjoyed a video game before. Patreon notes here. (April Cools is a project where we write genuine content on non-normal topics. You can see all the other April...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Are Efficiency and Horizontal Scalability at odds? Sorry for missing the newsletter last week! I started writing on Monday as normal, and by Wednesday...
12th Feb 2025
60

Are Efficiency and Horizontal Scalability at odds?

from Computer Things [alt+shift+b] in programming

12th Feb 2025
Sorry for missing the newsletter last week! I started writing on Monday as normal, and by Wednesday the piece (about the hierarchy of controls ) was 2000 words and not close to done. So now it'll be a blog post sometime later this month. I also just released a new version of...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
"Logic for Programmers" Project Update Happy new year everyone! I released the first Logic for Programmers alpha six months ago. There's...
7th Jan 2025
101

"Logic for Programmers" Project Update

from Computer Things [alt+shift+b] in programming

7th Jan 2025
Happy new year everyone! I released the first Logic for Programmers alpha six months ago. There's since been four new versions since then, with the November release putting us in beta. Between work and holidays I didn't make much progress in December, but there will be a 0.6...
Direct Link [→] Remove from reading list Add to reading list [alt+a]
Stroustrup's Rule Just finished two weeks of workshops and am exhausted, so this one will be light. Hanuka Sale Logic...
11th Dec 2024
71

Stroustrup's Rule

from Computer Things [alt+shift+b] in programming

11th Dec 2024
Just finished two weeks of workshops and am exhausted, so this one will be light. Hanuka Sale Logic for Programmers is on sale until the end of Chanukah! That's Jan 2nd if you're not Jewish. Get it for 40% off here. Stroustrup's Rule I first encountered Stroustrup's Rule on this...
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