The short-form week of 30 Nov–6 Dec 2015
07 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.
Monday at 06:22am
Monday at 07:48am
RT @doctortovey: Insulting someone's imaginary friend is not a crime. There is no such thing as #blasphemy. https://t.co/kW02VbYwRR—@ndw
Monday at 03:35pm
Monday at 03:38pm
RT @geoffarnold: Brilliant analysis of the GOP’s fascist rhetoric spinning out of control. I loved
this footnote on the... https://t.co/rY…—@ndw
In a conversation that started on Monday at 03:40pm
In a conversation that started on Monday at 11:09pm
@robinberjon On an Android phone, Google works just fine—@ndw
@ndw Not offline :)—@robinberjon
@robinberjon Huh. I didn't realize Shazam worked offline.—@ndw
@ndw it used to, no longer does, hence the question :-)—@robinberjon
Monday at 11:22pm
Monday at 11:26pm
RT @quinnnorton: Piketty explains the blindingly obvious: https://t.co/qRFebklavA Politicians and
internet explode with RAEG in 3...2...1...—@ndw
Monday at 11:44pm
RT @amyvdh: Powerful and important: "Let us tell the truth." 'On Pandering: How to Write Like
a Man' by @clairevaye https://t.co/zkrAjqh5S8—@ndw
Tuesday at 05:00am
Washington Post on Tweeted Times https://t.co/8TPKCS9Hn5 - top stories by @ndw, @sanjayadsure, @piunsky—@bagaar
Tuesday at 07:12am
XML Stars, the journal is out! https://t.co/rv4MqQbp7r Stories via @ndw @RealMichaelKay @james_clark—@dominixml
Wednesday at 03:09am
Wednesday at 07:10am
"I can stop sympathising with terrorists but you will always have fucked a pig." --
Oscar Wilde—@abigailb
Wednesday at 09:08pm
Cyber Monday
Giving Tuesday
Mass Murder Wednesday
Misinformation Thursday
Finger Pointing Friday
Insensitivity Saturday
Forgetful Sunday—@BarlowBrewing
Thursday at 01:51am
RT @igorvolsky: Excited for GOP proposal to fight ISIS with "thoughts and prayers"—@ndw
In a conversation that started on Thursday at 03:17pm
Thursday at 03:22pm
RT @BullshineBilly: The difference between #ISIS and Saudi Arabia
via @TheTimes
https://t.co/miwHZOcjJp—@ndw
Thursday at 03:22pm
Thursday at 03:45pm
RT @CalebGarling: A cheat sheet for every pro-gun argument https://t.co/z1qa6TRYpo #SanBernardino #SanBernadino https://t.co/K0H2FGnTIV—@ndw
Thursday at 04:21pm
Thursday at 04:21pm
Thursday at 04:22pm
Thursday at 09:21pm
Brush with death. Floss with abandon.—@dessadarling
Thursday at 11:04pm
RT @BadAstronomer: Dear Senate: Please stop voting on bills based on lies.
Thank you,
People Who Live In Reality—@ndw
Thursday at 11:13pm
On a confluence of fronts, we appear to be seriously fucked. I wonder if it's possible
to get unfucked. Or if it matters.—@ndw
Thursday at 11:22pm
RT @davidehrlich: if JJ Abrams just said “no Star Wars until we have competent gun control”, america’s
nerds would un-fuck this country by …—@ndw
Thursday at 11:28pm
Thursday at 11:28pm
RT @FeedJoelPie: PSA: Don't use @meetup. If you "cancel", they'll sell your group to someone else. Who will screw up your
coordination & sp…—@ndw
Thursday at 11:29pm
Thursday at 11:30pm
Friday at 12:22am
Friday at 07:12am
Friday at 03:05pm
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
Saturday at 10:14pm
@mojavelinux Because those elements are not significant in documentation of computer software
and hardware.—@ndw
Sunday at 09:52pm
In a conversation that started on Sunday at 09:53pm
https://t.co/bghA11gDbo—@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