Computer Things
Archives
Search...
Subscribe
The Outside View
January 3, 2022
In Superintelligence: The Idea That Eats Smart People, Maciej Pinboard nee Cegłowski talks about analyzing AI risk with the perspective of the "outside...
2nd Annual End-of-Year Essay Retrospective
December 27, 2021
Last year I rolled up the newsletter into an ebook and gave my thoughts on every published blogpost. I haven't gotten around to making the 2021 Computer...
Sup Nerds, We Doin' a Mailbag
December 20, 2021
First some good personal news: I did a hiatus over the summer due to severe depression issues. Well, I finally got into an intensive outpatient program,...
Uncomfortable Truths in Software Engineering
December 14, 2021
New Post: ADTs in TLA+ Using Abstract Data Types in TLA+. It's an adaptation of part of my TLAConf talk. It's also a lot more advanced than most of the...
A better explanation of the monty hall problem
December 9, 2021
I know I said no newsletter this week but this just hit me and it's small enough to write up so I'm fitting it in. The Monty Hall problem is a famous...
New Post: Alloy 6: It's About Time
November 29, 2021
Read it here! https://www.hillelwayne.com/post/alloy6/ Features my first attempts at using vector graphic diagrams to explain things better, like this:...
Principles of Software Evangelism
November 22, 2021
My job these days is researching exotic software technologies and selling them to companies, which means I'm a software evangelist. And because I literally...
Alloy 6 First Impressions
November 15, 2021
So a couple of weeks ago I wrote Finding Alloy's Niche, where I said I wasn't expecting the new Alloy 6 release to change all that much. It came out last...
Documentation could be so much better
November 10, 2021
A year or so back I wrote the newsletter post Don't use Markdown for documentation, where I complained about its lack of extensibility and cross-project...
Finding Alloy's Niche
November 1, 2021
(This gets a little rambly, I'm trying to figure out some stuff and thought it'd be nice to share my thinking process.) I've been thinking a lot about Alloy...
A Very Brief SPLASH Writeup
October 25, 2021
Sup nerds! Last week the SPLASH conference— the main academic conference for programming language research— came to town. I decided on a whim to buy a ticket...
The Myth of Self-Documenting Code
October 18, 2021
One of the weirdest things about software engineering is how many people hate comments. Like actually hate. There are influential people out there who say...
Defense in Depth is actually a good thing
October 14, 2021
So my TLAConf talk is out and I was gonna talk about technique research but then I saw this tweet and knew I had to rant about it: If after-release testing...
New Essay and Thoughts on Clickfarm
October 11, 2021
New Essay: How to Solve the Sudoku Puzzle with programming New essay up! How to Solve the Sudoku Puzzle with programming. This one is a little conceptual, so...
Jewmain Driven Design
October 4, 2021
Sup nerds, I'm back from Strange Loop! I have a million ideas I want to write about now, but I'll stick to one of the lighter, sillier ones. Based on a claim...
Optimizing State Spaces with Combinatorics
September 27, 2021
I'm preparing my talk for the TLA+ Conference this week. I asked around about intermediate stuff people wanted me to cover and there was a lot of interest in...
There Was No Formal Methods Winter
September 20, 2021
Over the weekend, I read the question Is the Formal Methods Winter About to End on Lobsters: Formal methods (theorem proving, model checking, static...
How ACOUP made me a better programmer
September 14, 2021
Hey nerds, I'm back! Still not all that recovered from mental health garbage, but turns out writing is a big part of my mental health, so stopping that for a...
Hiatus
August 16, 2021
Hi everyone, My depression has gotten a lot worse in the past month and it's seriously disrupted my ability to work. I'm taking steps to handle it, but in...
Art vs Engineering
August 9, 2021
I'm finally (finally!) working on a new version of the Are We Really Engineers talk, which has got me once again thinking about the differences between...
Newer archives
Older archives