According to her memoir "He was the Indian Hemingway". He abused the crap out of her, was berating her for not having sex the day after endometriosis surgery..... so thankfully she left. Every year the Literature Nobel was announced, he'd meltdown that he didn't get it.

If I spend 5 minutes programming, and then 2h fixing CI every time, suddenly my work becomes mega predictable. It'll always be about 2h. Management must love this...

NO NO NO Undefined values are undefined do not implicitly make them something.

America is such a wealthy country that a coffee trailer owner can buy all of her supplies at consumer markup, open at 9am, and still earn enough to keep the whole venture solvent. The streets are paved with gold.

Presidential candidate Paul Tsongas (for whom I planned to vote) has entered the chat.

Paul Snively Amanda We're on the same wavelength here. My PL pursuit has been to try and realize a combination of Contracts, Datalog, and Qu-like "Validators" centrin.net.id/~marc/example.… Verse is a breath of fresh air

B****, I have PICTURES.

Sunrise from a high-elevation spot this morning

Michael Haufe Paul Snively Amanda CUE Happy to answer any questions! Incidentally I spoke at length about CUE and about Church vs. Curry typing in general in my podcast with chreke. youtube.com/watch?v=AfbwP9…

"An important innovation rarely makes its way by gradually winning over its opponents. Instead, its opponents gradually die out, and that the growing generation is familiarized with the ideas from the beginning." (Max Planck, father of quantum theory)

Recapitulating the 1958 FORTRAN/Lisp divide.

If your program needs ”unsafe” everywhere, then some other language is indeed a better fit. Of course, I have yet to see such a program. The reality is that you may need some unsafe, but you build safe on top of it.

Effect is inevitable. It is monopolistic under the Thielian criterion: at least 10x superior to the competition. In a sense, there is no real competition; as Promise introduces as many problems as it solves, being the semiautomatic foot gun it is. Then there are the network

I have said this before and will say it again - there seems to be bipartisan consensus on eroding the value of the dollar and purchasing power of the American consumer to make the US economy more competetive. If you have savings, do what you can to protect against this somehow.

Check out this hilarious stand-up routine where Philip Wadler explains computability - it's pure gold! youtube.com/watch?v=GnpcMC…

Seoul, South Korea

In the publications that got me cancelled, I was accused of "harassing" my ex-girlfriend after our twenty-month relationship ended. In fact, I sent her three kind emails, a few DMs, and liked one of her tweets. She even thanked me for one email. Evidence: pretty.direct/harassment

Paul Snively Michael Haufe Amanda The circle on the left is not necessarily correct either. In an intrinsically typed system, like STLC, untyped programs cannot even exist

St. Monica is the patron saint of moms who say "I'll be praying for you," at the end of normal conversations.

Wives: don't say, "Amanda [or whoever] and I have been talking, and we really think that..." Say, "I've been thinking about it and..." The minute you wrangle in Amanda it's over. He hates Amanda.