Joined January 2012
- Tweets 120
- Following 68
- Followers 150
- Likes 461
5 Photos and videos
28 Jun 2025
My new book on Cobra (a very fast open-source static code analyzer) is out now and available from amazon, see codescrub.com
reviewers invited!
82
gerard j. holzmann retweeted
27 Feb 2021
Anyone else getting this error from Apple iCloud ? In past or now?
I’m 6 months deep freeze & looking for any help.
I rem dead coding languages like kobalt.. & this seems like an Apple coding issue — not hardware
159
1,279
4,990
26 Feb 2021
imagine if cavemen in the stone age could have had iphones what incredible shots we would see...
gerard j. holzmann retweeted
31 Oct 2020
262
900
3,337
gerard j. holzmann retweeted
13 Oct 2020
People say I should break my 12-year Twitter hiatus to share my latest animated COVID chart. It compares state cases factoring in partisanship since June 1, when science had proven methodology as to how to stop the spread after the initial sucker punch. dangoodspeed.com/covid/total…
143
1,432
3,434
4 Aug 2020
In CA the Trump press conferences come at the same time in the afternoon as kids used to watch howdy doody and bozo the clown
1
4
13 Jul 2020
a polaroid i found cleaning up my office, from what almost seems like another century...
2
6
gerard j. holzmann retweeted
20 Apr 2019
It is with great sadness that I share news of Joe Armstrong's passing away earlier today. Whilst he may no longer be with us, his work has laid the foundation which will be used by generations to come. RIP @joeerl, thank you for inspiring us all.
369
2,679
3,550
gerard j. holzmann retweeted
29 Aug 2018
@Photoshop would be so much easier to use if they allowed programmatic generation of layers, similar to @gh_spin's pico: spinroot.com/pico .
1
1
1
1 Aug 2018
since toilets now have two flush options, pedestrian crossings could benefit from having a second, larger button for the less nimble-footed walkers, who tend to go for their strolls in rush hour....
4
5
gerard j. holzmann retweeted
22 Jun 2018
#spin_2018 And the best paper award goes to..."Star-Topology Decoupling in Spin". Congratulations to the authors!
4
10
gerard j. holzmann retweeted
19 May 2018
By age 35 you should have a huge box of cables but you can't throw them out because you're pretty sure you still need a couple of them but you're not sure which ones
2,299
21,822
132,444
gerard j. holzmann retweeted
11 May 2018
Was not expecting to find a DEC PDP-7, a PDP-11/40 and a bootable UNIX v0 at the international obfuscated C contest.
But here we are...
ioccc.org/2018/mills/hint.ht…
Written by Christopher Mills @MisterXopher
1
26
29