gerard j. holzmann

[gerard j. holzmann @gh_spin]

My new book on Cobra (a very fast open-source static code analyzer) is out now and available from amazon, see https://t.co/4dDuSFzomu
reviewers invited!

[Lou Unsupervised @SynStalker]

#code Our Manifesto

[Rachel True @RachelTrue]

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

[gerard j. holzmann @gh_spin]

imagine if cavemen in the stone age could have had iphones what incredible shots we would see...

[dangoodspeed @dangoodspeed]

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. https://t.co/FvifckA30f

[gerard j. holzmann @gh_spin]

@_rsc I still have some coding sheets for writing Algol68 code ... to put into punchcards later and then run in batch on an ibm360...

[gerard j. holzmann @gh_spin]

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

[gerard j. holzmann @gh_spin]

a polaroid i found cleaning up my office, from what almost seems like another century...

[Francesco Cesarini @FrancescoC]

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.

[gerard j. holzmann @gh_spin]

Got one! @rob_pike

[gerard j. holzmann @gh_spin]

Who is this man!?

[gerard j. holzmann @gh_spin]

@JennyBryan If you use software that lacks automated tests to find bugs, you are the bug....

[Aram Hăvărneanu @aramh]

@Photoshop would be so much easier to use if they allowed programmatic generation of layers, similar to @gh_spin's pico: https://t.co/hw1C4bx0py .

[gerard j. holzmann @gh_spin]

wow, just wow...

[gerard j. holzmann @gh_spin]

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

[gerard j. holzmann @gh_spin]

@bradfitz Woa there’s a pjw sticker!? Where can i get one?

[SPIN2018 @SPIN_2018]

#spin_2018 And the best paper award goes to..."Star-Topology Decoupling in Spin". Congratulations to the authors!