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…
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 .
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
gerard j. holzmann retweeted
Get to the chopper! A small helicopter will travel with @NASA's next Mars rover. Check out the @NASAJPL-made tech demo preparing to fly in the Red Planet's thin atmosphere. go.nasa.gov/2IC8tIh #Mars2020 #MarsCopter
gerard j. holzmann retweeted
#spin_2018 accommodation information published in our web. More info at spin2018.uma.es/accommodatio…
gerard j. holzmann retweeted
#spin_2018 Extended deadline: April 3 (regular, short and demo tool papers). More info at spin2018.uma.es
gerard j. holzmann retweeted
#spin_2018 Deadline approaching! 26th February (anywhere on Earth). Submit your paper (easychair.org/conferences/?c…)
gerard j. holzmann retweeted
#Spin_2018 Deadline approaching. Submit your paper via EasyChair (easychair.org/conferences/?c…)
gerard j. holzmann retweeted
#Spin_2018 A selection of papers will be invited to a special
issue of the International Journal on Software Tools for Technology
Transfer (JCR 2016 - 1.612) (more info at spin2018.uma.es)
gerard j. holzmann retweeted
#Spin_2018 This year is the 25th International Symposium on Model Checking of Software. It will be held on June 20-22 at University of Málaga (Málaga, Spain) (more info at spin2018.uma.es/)
gerard j. holzmann retweeted
#Spin_2018 Confirmed Invited Speakers: Klaus Havelund (NASA/Caltech Jet Propulsion Laboratory), Radu Iosif (Verimag) and Doron Peled (Bar Ilan University) (more info at spin2018.uma.es)
gerard j. holzmann retweeted
#Spin_2018 Submission deadline approaching 18/02/2018 (more info at spin2018.uma.es)
