Notices by kat (kat@quitter.se), page 23
-
kat (kat@quitter.se)'s status on Monday, 06-Nov-2017 05:19:32 EST kat
kat deleted notice {{tag:quitter.se,2017-11-06:noticeId=19889310:objectType=comment}}. -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 18:19:05 EST kat
If you know any of the London Anarchist scene, you will surely recognise people -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 18:18:16 EST kat
Some friends of mine have made a movie about Maria Spiridonova Left Socialist Revolutionary murdered on Stalins orders http://qttr.at/1zoj -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 10:21:03 EST kat
@solderpunk @moonman My scripts always `exit 0`. It's a reasonable definition "worked no problems", isn't it ? They always pass QA then! In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 09:57:19 EST kat
@make sure did! Like " Oh bother... now I can't shut my laptop lid, lets hope SSH keepalives are working and the wifi doesn't flake out!" In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 05:42:35 EST kat
DOH! tfw you start a long running sysadmin process and realise it's not running inside a screen In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 05:21:39 EST kat
My Amazone prime membership expires on 28-12-2017: this is not a prime number - so I feel I should cancel it In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Sunday, 05-Nov-2017 03:26:20 EST kat
@sl2c @efi I heard v
Voedovsky say that they do all their proof via computer now.In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Saturday, 04-Nov-2017 21:09:11 EDT kat
@sl2c @efi I thought it was meant to make it easier.... Though that's not my experience so far in reading the HoTT book! In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Saturday, 04-Nov-2017 19:17:42 EDT kat
@sl2c @efi Don't you mean Homotopy Type Theory ? Category theory is so 20th century In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Saturday, 04-Nov-2017 16:33:15 EDT kat
lazy evaluation is so hot
fibs = 0 : 1 : zipWith (+) fibs (tail fibs)In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Saturday, 04-Nov-2017 10:32:02 EDT kat
@theatrex But I don't smoke either. Think I'm not drinking enough water. In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Saturday, 04-Nov-2017 07:34:35 EDT kat
My brain is so cloudy today! Not sure why...I didn't drink any alchohol last night In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Friday, 03-Nov-2017 15:46:56 EDT kat
@gargron we used to complain about the soundbite being too short In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Friday, 03-Nov-2017 14:47:01 EDT kat
@silverwizard I do generally need a handle on my knives too. In conversation from quitter.se permalink -
kat (kat@quitter.se)'s status on Friday, 03-Nov-2017 14:27:50 EDT kat
@algebra isn't that pretty important piece of !math in the proof of RSA ? In conversation from quitter.se permalink -
Jeff Ratliff (gomerx@dent.gomertronic.com)'s status on Friday, 03-Nov-2017 12:27:16 EDT Jeff Ratliff
Today is my Fediversary. I started this account 6 years ago today. Running a StatusNet instance has been worth it, every second. In conversation from dent.gomertronic.com at 39°9'43"N 84°27'24"W permalink Repeated by kat