Computer Things - Archive
#144
How ACOUP made me a better programmer
2021-09-14T16:10:46.470552Z
#142
Hiatus
2021-08-16T18:29:23.900430Z
#141
Art vs Engineering
2021-08-09T22:45:50.308183Z
#140
Algorithm Monocultures
2021-08-02T21:21:38.614647Z
#139
I ****ing hate Science
2021-07-19T19:13:28.463000Z
#137
Program Spaces and Interesting Counterexamples
2021-07-12T19:15:43.214052Z
#136
10 Misconceptions about Formal Methods
2021-07-05T22:41:19.785822Z
#135
What is a "Specification"?
2021-06-29T18:25:03.785000Z
#134
Physical vs Logical Time
2021-06-21T20:10:19.084153Z
#133
Comment the Why *and* the What
2021-06-14T21:18:37.116000Z
#132
Designing Software with Predicate Logic
2021-06-10T20:52:29.967067Z
#131
Users are Nondeterministic Agents of Chaos
2021-06-07T21:11:05.001943Z
#130
Predicate Logic For Programmers
2021-06-01T01:12:54.404000Z
#129
Scaffolding TLA+
2021-05-20T19:07:05.443554Z
#128
New Essay, some thoughts on method vs process
2021-05-18T21:43:19.166804Z
#127
Esolangs!
2021-05-04T14:00:00Z
#126
Can Formal Methods Succeed where UML Failed?
2021-04-30T14:00:00Z
#125
Why UML "Really" Died
2021-04-27T14:00:00Z
#124
The Jame of Life
2021-04-21T20:55:57.139376Z
#123
Grind Smarter, not Harder
2021-04-19T22:19:03.451430Z
#122
Reject Simplicity, Embrace Complexity
2021-04-07T22:25:28.131936Z
#121
Function Sets and Specification
2021-04-05T16:30:17.885406Z
#120
Why Property Testing Finds Bugs Unit Testing Does Not
2021-04-01T21:38:19.616032Z
#119
Some Rambling About Structured Text
2021-03-29T22:02:12.780051Z
#117
The Antipattern Scripting Language
2021-03-27T20:41:27.073967Z
#116
A Binder Full of Questions
2021-03-22T21:16:00.341250Z
#114
No Seriously, Hate Your Tools
2021-03-16T19:24:24.364685Z
#113
Vim is Turing-Complete
2021-03-08T17:22:28.846000Z
#112
Code is Data is YAML
2021-03-01T23:55:48.300364Z
#111
New Post, Blub Studies, and Theorycrafting
2021-02-25T22:10:11.190766Z
#110
J as a Desktop Calculator
2021-02-22T23:06:46.381039Z
#109
"Naming Things" is a Poor Name for Naming Things
2021-02-16T22:02:54.012978Z
#108
No, "reasoning about code" is not a scam
2021-02-01T22:50:24.442315Z
#107
Adversarial Nondeterminism
2021-01-30T00:19:40.224237Z
#104
New Essay: Are We Really Engineers?
2021-01-18T16:50:58.578277Z
#102
How I got into formal methods
2021-01-11T22:11:03.182335Z
#101
Write Code That Delivers Value to Clients
2021-01-01T19:27:26.409033Z
#100
100th Issue End-of-Year Bonanza
2020-12-28T17:31:33.745661Z
#99
Cross-Branch Testing
2020-12-21T17:59:54.767129Z
#98
The Most Important Video Game Ever Made
2020-12-14T20:57:31.667146Z
#96
Oracle Testing
2020-12-07T21:39:07.206431Z
#95
Safety and Liveness Properties
2020-11-30T23:11:06.916048Z
#94
Computer Things: Vacation Phone-In Edition
2020-11-23T18:52:04.061077Z
#92
Knights, Puzzles, and Hypermodels
2020-11-16T21:08:37.812558Z
#90
Why I Still Use Vim
2020-11-11T20:35:57.106000Z
#89
No, your clean code won't save the planet
2020-11-05T19:43:07.593000Z
#88
Programs Writing Programs
2020-11-03T00:00:42.052017Z
#86
TLA+ Helped Me Count to Six
2020-10-26T16:51:06.136353Z
#84
The Pendulum Swings Eternal
2020-10-19T22:25:42.288924Z
#83
Edge Case Poisoning
2020-10-12T20:20:54.513000Z
#82
We have met the Excelnemy and he is us
2020-10-06T19:51:11.475222Z
#80
Mystery Knowledge
2020-09-28T21:42:42.400000Z
#78
Software Engineers Don't Have Disciplines
2020-09-22T16:14:55.653826Z
#77
Updates on the Crossover Project
2020-09-14T21:57:51.906227Z
#75
Write Notes for Your Code
2020-09-10T17:24:34.065697Z
#74
That Time I Almost Joined a Software Cult
2020-09-08T21:05:27.116662Z
#71
Formal Specification Languages
2020-08-28T19:45:31.770420Z
#70
Please read the paper before you comment
2020-08-24T20:20:31.975000Z
#69
What's the Deal with Message Passing, Anyway
2020-08-21T17:37:10.685936Z
#68
New Essay and a Very Peculiar Optimization
2020-08-14T20:04:08.781669Z
#67
New Workshop, Test Inference
2020-08-11T18:49:27.217000Z
#66
How knowing math helps you write better software
2020-08-03T22:31:25.247000Z
#63
Syntax highlighting is a waste of an information channel
2020-07-20T19:45:51.988000Z
#61
Merchants on the Ivory Road
2020-07-14T00:11:28.097732Z
#60
I have become ideas guy
2020-07-07T02:24:44.182818Z
#59
Situated Software
2020-07-03T21:51:07.582783Z
#58
Why You Should Always Blindly Chase Industry Trends
2020-06-29T21:30:12.108000Z
#55
New TLA+ Workshop, New PBT Essay
2020-06-20T21:55:30.818000Z
#54
Monads and Transducers are Literally 100% The Same Thing
2020-06-15T21:20:40.389964Z
#53
Some Ranting About Examples
2020-06-03T03:06:29.683662Z
#52
Defects are not the fault of programmers
2020-05-27T18:48:13.514472Z
#51
Workshop Innovations and New Website Essay
2020-05-18T21:45:36.145441Z
#50
If Inheritance is so bad, why does everyone use it?
2020-05-15T17:09:27.466228Z
#49
New Essay: In Praise of AutoHotKey
2020-05-13T04:27:11.780846Z
#48
Rage Against the God Machine
2020-05-08T18:07:10.648275Z
#47
How I Write Talks
2020-05-04T20:19:48.933420Z
#45
New Essay, Office Hours, and a short essay
2020-04-28T03:01:41.920874Z
#43
This Newsletter is Too Popular
2020-04-21T16:02:16.823490Z
#42
Making Illegal States Unrepresentable
2020-04-17T15:57:33.735549Z
#41
Announcing Alloydocs, updates on major projects
2020-04-13T21:51:14.912200Z
#40
A Very Brief Intro to Formal Methods (aka my job)
2020-04-06T21:02:39.845900Z
#39
What's the Most Expensive Software Per Byte?
2020-04-02T23:51:54.762574Z
#38
Language Warts and Vim Trix
2020-03-30T17:54:33.646255Z
#37
Please don't write your documentation in Markdown
2020-03-23T20:26:36.570103Z
#36
Special Purpose Languages
2020-03-18T16:49:48.585347Z
#35
On Customization
2020-03-11T18:28:39.701687Z
#34
Online Workshops, Project Updates, New Post
2020-03-09T19:36:24.711020Z
#33
The Opposite of Documentation is Superstition
2020-03-05T19:05:01.291477Z
#32
On Scaling Mental Models
2020-02-24T23:26:05.447240Z
#31
Donald Knuth Was Framed
2020-02-22T20:27:16.726623Z
#30
Happy Precedence Day!
2020-02-17T21:14:20.197640Z
#28
New Essay: Feature Interaction Bugs
2020-02-05T17:22:53.371725Z
#27
Project updates, request for help, braindump
2020-02-03T21:42:54.470642Z
#26
On Emulation
2020-01-29T02:23:41.064603Z
#25
New Essay: The Business Case For Formal Methods
2020-01-23T00:34:35.102167Z
#24
A Totally Polished and not-at-all half-baked Take on Static vs Dynamic Typing
2020-01-20T22:32:42.779609Z
#23
Three Ways Juggling is Like Programming
2020-01-17T18:33:45.828838Z
#22
New Essay, Intentional Errors, and a TLA+ CLI
2020-01-13T22:06:30.635141Z
#21
Bill Kentstravaganza
2020-01-10T21:00:20.051244Z
#20
Updates on the Too-Many Projects
2020-01-06T21:15:38.817132Z
#19
Back up your arguments plz
2020-01-03T19:09:42.717978Z
#18
On Marketing Formal Methods
2019-12-30T21:26:02.519703Z
#17
Why Python is my Favorite Language
2019-12-27T03:48:09.574610Z
#16
Computer Things: YOW Roundup Edition
2019-12-16T21:29:39.437606Z
#15
Science Turf War
2019-11-25T23:06:02.141463Z
#14
New Essay! (Also Workshop Field Notes)
2019-11-22T18:05:47.662242Z
#13
A few smaller updates
2019-11-15T19:42:53.961832Z
#12
What is a "beautiful" proof?
2019-11-11T19:45:09.541245Z
#11
Back on Windows
2019-11-08T18:09:40.563307Z
#10
Canonical Examples
2019-11-04T23:00:52.084324Z
#9
We Are Not Special
2019-10-30T15:54:19.890516Z
#8
New Post! Plus Upkeep
2019-10-28T20:05:55.811490Z
#7
Automation vs Augmentation
2019-10-21T19:02:45.439443Z
#6
Software isn't designed for power users
2019-10-16T16:25:33.005865Z
#5
Data and Reality, 2nd Edition
2019-10-14T15:10:53.668510Z
#4
On Documentation
2019-10-11T16:58:02.974022Z
#3
New Post: Formally Modeling Database Migrations
2019-10-09T14:55:38.684293Z
#2
On Hating Your Tools
2019-10-04T18:09:36.864708Z
#1
The kind of thing this is gonna be
2019-10-03T02:11:36.283391Z