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!
gerard j. holzmann retweeted
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 retweeted
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…
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 retweeted
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 retweeted
@Photoshop would be so much easier to use if they allowed programmatic generation of layers, similar to @gh_spin's pico: spinroot.com/pico .
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 retweeted
#spin_2018 And the best paper award goes to..."Star-Topology Decoupling in Spin". Congratulations to the authors!
gerard j. holzmann retweeted
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
gerard j. holzmann retweeted
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