The short-form week of 7–13 Dec 2015
14 Dec 2015; last modified 14 Dec 2015
The week in review, 140 characters at a time.
This document was created automatically from my archive of my Twitter stream. Due to limitations in the Twitter API and occasional glitches in my archiving system, it may not be 100% complete.
In a conversation that started on Saturday at 09:15am
In your opinion is the `Unit` aka `()` type a trivial sum or a trivial product type?
@gclaramunt @manisha72617183 @channingwalton @ndw—@MartianOdyssey
@MartianOdyssey @gclaramunt @manisha72617183 @ndw is unit special in some way, could you ask the same question for String or Int?—@channingwalton
@channingwalton @gclaramunt @manisha72617183 @ndw Thanks for reply. How do you mean for String or Int?—@MartianOdyssey
@MartianOdyssey @gclaramunt @manisha72617183 @ndw I am wondering whether the Unit type is special in any way—@channingwalton
@channingwalton @MartianOdyssey @manisha72617183 @ndw unit is the final object, the arrows from any other obj to it must be unique, right?—@gclaramunt
@channingwalton @MartianOdyssey @manisha72617183 @ndw I'm not sure that really affects sum and product with it—@gclaramunt
@channingwalton @gclaramunt @manisha72617183 @ndw hink we are on same channel. There is problem here that has not been enquired upon
before.—@MartianOdyssey
@MartianOdyssey I just like to think of it as a degenerated form of product type @gclaramunt @channingwalton @ndw—@manisha72617183
@MartianOdyssey @manisha72617183 @channingwalton @ndw a similar question I guess is: do monoidal categories have sum and product.—@gclaramunt
@MartianOdyssey @manisha72617183 @channingwalton @ndw not sure, trying to think if you define product/sum with arrows X->X violates any
law—@gclaramunt
Monday at 07:12am
Monday at 04:57pm
To recap, GOP is making generational enemies of the following voters:
Hispanics
Blacks
Muslims
Women
people who don't want to be shot—@ClaraJeffery
Monday at 05:55pm
I'm pretty sure America has become a Philip K. Dick story.—@joshuamneff
Monday at 08:14pm
Monday at 08:18pm
Monday at 08:21pm
Monday at 08:31pm
RT @pushinghoops: quit tweeting trump jokes to your liberal friends and start standing up for Muslims—@ndw
Monday at 08:32pm
RT @jamesoreilly: Very sad to acknowledge our miserable failure to continue this magnificent effort.
https://t.co/peOmDLxuiW—@ndw
Monday at 08:48pm
RT @studentactivism: Who is French? It's complicated. Who is British? Long story. Who is American? Whoever's
here. You're here? You're us. …—@ndw
Monday at 09:10pm
Donald Trump
Donal Trump
Donal Trum
Dona Trum
Don Trum
Don Tru
Don Tr
Don T
Don't—@tentzbenji
Monday at 09:57pm
To every Democrat that hopes Trump gets nominated: having a fascist demagogue on the
ballot is terrible for the country.—@brentsimmons
Tuesday at 01:29am
Tuesday at 01:31am
Tuesday at 01:41am
RT @denyreligion: This is why it's not ok to let people believe stupid things. #atheism https://t.co/phlWEh5dCI—@ndw
Tuesday at 04:25am
@studentactivism @ndw it's a noble sentiment. But let's not forget HUAC, Jim Crow, Wounded Knee, border
fences, etc.—@msokolov
Wednesday at 02:24am
RT @geoffarnold: John Scalzi nails it:
The GOP’s problem is that Trump is the distillation of every political strategy they’ve...
https://…—@ndw
Wednesday at 07:12am
XML Stars, the journal is out! https://t.co/gD2nNFthdv Stories via @ndw @JeniT @georgebina—@dominixml
In a conversation that started on Wednesday at 11:06am
Oh dear Cthulhu the corporate Christmas Musak in the airport is hideous. Can it be
January now, please?—@ndw
Wednesday at 02:33pm
RT @bryngreenwood: Curious how cheaply politicians are selling themselves to the NRA? @igorvolsky has the data. Cheap. Like their prayers f…—@ndw
Thursday at 06:32pm
1/2 "If you changed specific appointments in the series, your changes will be cancelled
and those appointments will match the series again."—@ndw
In a conversation that started on Thursday at 06:35pm
2/2 Outlook, you worthless, steaming pile of ugly, smelly bits. I hope Cthulhu gnaws
on your bones for eternity.—@ndw
Thursday at 11:46pm
"Think before acting. You can always make it worse."—@ndw
Friday at 09:05am
Wikimedia Commons got #IIIF tonight for 25mil+ images. For a page like https://t.co/9Nuq4wn5sS see https://t.co/SfqsDPF6Od
A cool hack!—@klokantech
In a conversation that started on Friday at 05:27pm
"In the event that a floatation device would be necessary." Translation: "If we crash
in the water." #euphemisms #airlinespeak—@ndw
@ndw flotation devices are crash site locators in the event of a crash at sea—@patrickDurusau
@patrickDurusau I'm ok with that, statistically it's never going to be my problem.—@ndw
@ndw For that I am thankful and for all of my still traveling XML friends.—@patrickDurusau
Friday at 09:42pm
RT @jessicahagy: It’s not over until you give up. https://t.co/nEaRIk44US https://t.co/aaxFyNdaqF—@ndw
Friday at 09:43pm
RT @bennydiego: And now a message to Republicans: We're the home of the brave, please stop being
such scared little cowards. https://t.co/L…—@ndw
In a conversation that started on Friday at 11:52pm
@patrickDurusau spoiler alert: it's number two.—@ndw
@ndw Really? I thought #1. I have a demo of that but not enough room in a tweet to show it. - Will post next
Monday.—@patrickDurusau
@patrickDurusau All three apply, but I can't see how 1 and 3 are reasons against.—@ndw
Saturday at 12:14am
Saturday at 12:15am
Saturday at 12:17am
Saturday at 12:18am
Saturday at 11:51am
RT @migueldeicaza: When I ask myself "what would have the most impact today?" I sit down and write
documentation.—@ndw
Saturday at 11:59am
Saturday at 12:10pm
Saturday at 02:18pm
Saturday at 02:48pm
This thing where copyright of a three dimensional object extends to my photographs
of the object is fucking absurd.—@ndw
Saturday at 06:25pm
RT @BFriedmanDC: This is a bigger problem for our country than ISIS ever will be. https://t.co/JYfU8oi25M—@ndw
Saturday at 06:30pm
Sunday at 09:46pm
Sunday at 10:35pm
Bartended my first party. Sore feet and sore *left* arm. Was fun.—@ndw
Sunday at 11:14pm
RT @akaTheReader: Sometimes the best things I read aren't in a book. https://t.co/QIasS6PanR—@ndw