Hillel Wayne personal blog

Uncomfortable Truths in Software Engineering

buttondown.email published 2021-12-146 min read

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...

Points

268

HN comments

386

Submissions

1

Cited by

0 commenters

Software EngineeringCareer & Management2021

Related posts from the same era

The End of the Redis Adventure

Salvatore Sanfilippo (antirez)20202,282 points294 commentscited by 10 details

Deno 1.0

Deno Blog20202,081 points583 comments details

MacOS Catalina: Slow by Design?

Allan Odgaard20202,031 points1,122 commentscited by 5 details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

The Day AppGet Died

Keivan Beigi20201,930 points655 commentscited by 17 details

Goodbye, Clean Code

Dan Abramov20201,678 points1,117 commentscited by 7 details