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

XML Stars, the journal is out! https://t.co/WZFqWotT7M Stories via @ndw —@dominixml

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

@jacqui One way or another.—@ndw

Monday at 08:18pm

RT @doctorow: .@RepMcCaul please stand strong on cyber. You’re our last hope against Intel Committee attempts to eviscerate our privacy. #S—@ndw

Monday at 08:21pm

@webmink Please don't encourage him.—@ndw

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

RT @KimDotcom: I'm listening to 'Imagine' by John Lennon and I'm wondering, why is nobody listening?—@ndw

Tuesday at 01:31am

@dckc @danbri @skwlilac My experience with a chipped card, even chip and sign, has been much better than without. Inconvenient at least.—@ndw

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
@ndw the sounds of CNN <-- always worse—@kendall
@kendall Ok. Fair point. I've managed to find a corner away from that particular horror.—@ndw
@ndw I'll miss a flight to avoid CNN. I don't give a shit.—@kendall

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
@ndw Jeez man, even Cthulhu doesn't deserve that!—@dethe

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
@ndw you need to see George Carlin's bit about airline security. Travelling will never be the same https://t.co/ghMsO43Zx1 .—@j_maly

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

RT @peteaven: I just get to work with some of the best people ever. So awesome.—@ndw

Saturday at 12:15am

RT @CedFunches: Let that marinate a bit... http://t.co/fiijZDPo7K —@ndw

Saturday at 12:17am

RT @markwo: Remember when "state-sponsored actors" meant the national performing-arts company doing Shakespeare in the park?—@ndw

Saturday at 12:18am

RT @darylginn: The 5 stages of debugging: 1. What? 2. Why? 3. How? 4. Impossible. 5. Oh.—@ndw

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

RT @BuzzRoddy: I am the ghost of Christmas Future Perfect Subjunctive: I will show you what would have happened were you not to have change…—@ndw

Saturday at 12:10pm

RT @VlDEOGAMES: Portal themed Christmas tree http://t.co/Pj2v3Xi0R0 —@ndw

Saturday at 02:18pm

RT @zeynep: Anyone know how to pack and ship a 225 ton statue of a woman with a torch? Neoclassical style. Asking for a country. https://t.…—@ndw

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

RT @patrickDurusau: Balisage 2016! #Balisage2016 #conferences https://t.co/179VjdpCXA—@ndw

Sunday at 09:46pm

RT @KentBeck: Work in small increments. Be kind. Be honest. The rest is details. Let's have a conference about that.—@ndw

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