Klaus Havelund

Senior Research Scientist at Jet Propulsion Laboratory

[Klaus Havelund @havelund]

@NoemiKhachian

[Klaus Havelund @havelund]

@NoemiKhachian

[Klaus Havelund @havelund]

@PhilippeReines just said (approximately) on CNN: "Yes, Biden said Putin instead of Zelensky, but Trump chose Putin over Zelensky".

[Klaus Havelund @havelund]

@odersky Sad news. My first encounter with computer science was "Pascal User Manual and Report", succinct and to the point.

[Klaus Havelund @havelund]

@IanJaeger29 One would have to make the calculation: what tax income would it give, and can it cover the current expenses, and if not ... what will be cut. It also distributes the tax burden differently in the sense that lower income populations will pay more relative to their income.

[Klaus Havelund @havelund]

@Mike_Pence Most of us that have not yet transitioned are likely thinking: my next car (and definitely next next) is probably gonna be electric/hybrid. The gas car is soon a dinosaur. To not see this coming seems to indicate a complete lack of situation awareness.

[Klaus Havelund @havelund]

@rockthejvm Scala is cool. I have programmed in it for over 10 years, With Scala3 it got even better.

[Klaus Havelund @havelund]

@lionel_c_briand Books are better written than articles. So there is that.

[Klaus Havelund @havelund]

@GeorgePapa19 Indeed, it is not just the republican party and media like FOX that is the problem. It is the audience, which is not able to distinguish the doctor with a degree from the medicine man at the edge of the village selling fake medicine in small brown bottles.

[Klaus Havelund @havelund]

@GeorgePapa19 The GOP has gone over the cliff, and we no longer even expect anything reasonable from them. We just observe and wonder.

[Klaus Havelund @havelund]

@GeorgePapa19 I can't comprehend how some people just choose to follow losers, the bad people, the ignorant. You have one life, where you have to do everything you can in a short span of years, and then you choose to follow the two bozos pictured above. What a waste of lifespan.

[Klaus Havelund @havelund]

@lionel_c_briand That is a great one :)

[Klaus Havelund @havelund]

@GeorgePapa19 Wrong tweet, article says: “We have a situation that involves a sitting President and a former President. If this drags out [tax investigation], for all we know he could be a sitting president again,” Judge Karen Henderson, of the U.S. Court of Appeals for the DC Circuit, noted"

[Klaus Havelund @havelund]

@GeorgePapa19 George, what exactly is it that is strange? And what is the chilling response? Is it this (quite reasonable) response from Hillary? : "I want to thank the Russian Academy for this Lifetime Achievement Award.". It looks as if you do not expect your followers to actually read.

[Klaus Havelund @havelund]

@GeorgePapa19 CNN is indeed partisan but trying to convey the truth (as is MSNBC). Fox is way! more partisan, and conveys the false, deliberately. As you are George. That is the difference.

[Klaus Havelund @havelund]

@GeorgePapa19 Give me a break. How far down are you willing to go George?

[Klaus Havelund @havelund]

@polikarn @eleganesh I would like to send you an invitation for an event. Do you have a private email I can use? Mine is [email protected].

[Klaus Havelund @havelund]

Abstracts due January 3, papers due January 10, 2022: https://t.co/KOV1yBusc6.

[Klaus Havelund @havelund]

Deadline extension for submitting papers to the NASA Formal Methods Symposium (NFM) 2022: now January 10. https://t.co/KOV1yBusc6