Twitter | Search | |
patrick thomson
engineer • Haskell and applied PLT • democratic socialist • immigrant • like magic marker to a crayon • he/him
35,498
Tweets
555
Following
3,844
Followers
Tweets
patrick thomson 3h
Replying to @kmett
Newtypes and GND are my literal favorite thing about Haskell.
Reply Retweet Like
patrick thomson 3h
Replying to @pbowden @peterb
I stand by the decision. That man was a scoundrel but neither he nor White Castle fries were worth an Incident
Reply Retweet Like
patrick thomson 4h
Replying to @pbowden
brutal diss. I’d’ve thrown hands
Reply Retweet Like
patrick thomson 4h
Replying to @whitequark
I can only imagine; I never stared too long into parse.y. Thank you for your ruby parser; it was absolutely essential for
Reply Retweet Like
patrick thomson 6h
Replying to @arrdem
but how would we survive if we had to write `require(‘foo’)` instead of `require ‘foo’`
Reply Retweet Like
patrick thomson 6h
Replying to @Catfish_Man
oh awesome!! gosh that sounds like a cool gig
Reply Retweet Like
patrick thomson 6h
Replying to @Catfish_Man
You’re writing Swift these days? I thought you’d never get out of C-land.
Reply Retweet Like
patrick thomson 6h
Reply Retweet Like
patrick thomson 8h
Replying to @austinspires
Strong agree. Biggie’s the greatest rapper ever, he deserves to be in every possible hall of fame
Reply Retweet Like
patrick thomson retweeted
Rob Rix‎ 23h
This was a huge task, but fused-effects now documents laws for (almost) every effect operation, and tests each carrier against properties validating these:
Reply Retweet Like
patrick thomson Oct 14
Replying to @psu_13
Code that does less (including picking names for things) is better in general. Sometimes this code is shorter. But not always.
Reply Retweet Like
patrick thomson Oct 14
Reply Retweet Like
patrick thomson retweeted
Peter B Oct 14
ICYMI, here's a link to the talk I gave recently about teaching Haskell to kids.
Reply Retweet Like
patrick thomson Oct 14
Replying to @jkachmar @peterb
(n.b. I know I do not understand the law, but my sister, a lawyer, does, and she is absolutely dunking on all of us in my iMessage)
Reply Retweet Like
patrick thomson Oct 14
Replying to @jkachmar @peterb
A fun thing to remember is that, barring the very small subset of programmers who are lawyers (what up ), most programmers do not understand the legal system in any way, and debating them is a waste of your emotional resources!
Reply Retweet Like
patrick thomson Oct 14
Replying to @cmeik
oh my god
Reply Retweet Like
patrick thomson Oct 14
this is every objection to the Hippocratic license
Reply Retweet Like
patrick thomson Oct 14
Replying to @cartazio @rob_rix
That’s what lawyers are for.
Reply Retweet Like
patrick thomson Oct 14
Replying to @cartazio @rob_rix
The laws and interpretation are for the courts to decide. Death doesn’t have anything to do with it. “Harm” is a metaphor here; this is not about whether people can die. It’s not sensible to argue that consensual clinical trials for diseases violate human rights.
Reply Retweet Like
patrick thomson Oct 14
Replying to @rob_rix @cartazio
I’m not sure I accept ’s interpretation; the text of the license disallows use in contravention of the Universal Declaration of Human Rights, which, unless you’re arguing that pharmaceutical trials violate said declaration, doesn’t seem to apply.
Reply Retweet Like