00:00:29 (Actually for the clock hours it is IIII not IV for four o'clock) 00:00:44 zzo38: Got any Romans to back you up on that? 00:01:02 No 00:01:13 Unfortunately I do not have. 00:01:45 zzo38: actually the romans used both spellings interchangeably throughout much of their reign 00:02:16 (it's XX hour here) 00:02:27 For the clock it is IIII though 00:02:46 prescriptivist 00:03:18 quintopia: my hunch is that it might be 1, _assuming_ there is no simple reason why a TM might always get stuck in a subgraph. 00:03:54 whose probabilty doesn't shrink to 0 as symbols and/or states grow. 00:04:50 oerjan: i thought 1 as well, because i was thinking that there should be a subgraph in which you COULD get stuck, given a particular encoding, which was universal 00:05:23 is there an official answer (or at least 0, 1, or neither) 00:05:29 no 00:05:35 darn 00:05:54 it seems like a difficult question 00:06:04 i wouldn't expect an answer yet anyway 00:08:16 quintopia: actually my hunch is a combination of both. if it's low, it might be _either_ from getting stuck in something small non-TC, or from getting lost in a large graph with no TC sub-component 00:08:55 so...you think it's zero? or you think those two things are both unlikely? 00:09:14 i think that those two things are more than my brain can tackle at this time 00:09:29 mine too 00:09:32 they depend on graph stuff 00:10:24 and birthday-paradox things to ensure small subgraphs exist 00:10:50 hm maybe even ramsey numbers. 00:11:19 given a pair o' docs, what's the likelihood that they share the same birthday? 00:11:29 1/365 00:11:33 what's the likelihood that they share different birthdays? 00:11:48 depends how good friends they are 00:12:27 pretty good friends 00:12:41 then maybe they'll decide to share birthdays 00:12:53 i would if I were that good of a friend 00:13:08 -!- tromp has quit (Remote host closed the connection). 00:13:24 actually, i might even swap birthdays with a random stranger just for kicks 00:13:26 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 00:14:06 if they weren't friends, why would we call them a pair o' docs? 00:14:12 i guess they could be business partners or something 00:14:17 but no, they're good friends 00:14:21 they cuddle a lot, too 00:15:08 -!- rg_ has joined. 00:16:43 -!- rg_ has quit (Client Quit). 00:21:11 Hm 00:21:16 Uh 00:25:21 Ok now I have most of IPA and all the Hebrew letters 00:28:34 whoa whoa whoa 00:28:38 what do those look like 00:28:59 -!- Frooxius has quit (Ping timeout: 250 seconds). 00:29:56 -!- Frooxius has joined. 00:31:52 Wisdom from the neural net: 00:31:55 15:18:53: high on a subset of English instance policy? 00:32:14 Man, I don't understand why subsets of English instance policy haven't been banned. They're a gateway drug. 00:32:36 oerjan, tswett: Idling is zen. 00:32:43 * tswett nods. 00:33:51 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 00:37:46 Gregor: did you see my point about the logs? i think one more character width for the nickname might be nice 00:39:11 or whatever it takes to make http://codu.org/logs/log/_esoteric/2015-08-03#085542hooplavilion1 not wrap 00:39:24 hi Gregor 00:39:29 It doesn't wrap for me... 00:39:48 Gregor: There's a small problem with `revert that could be fixed with a small patch. 00:40:26 Gregor: Just give me the patch then ;) 00:40:38 shachaf: I think fizzie has it. 00:40:41 Gregor: just the last > for me, although for the above it wraps before the [0]> 00:41:22 Which browser? 00:41:33 IE 11 00:42:00 Well there's yer problem 00:42:16 How does it look in equally-useful Netscape Navigator 3? 00:42:28 i have no idea, since i do not have that installed. 00:42:41 ... 00:42:47 is the joke "microsoft products are scow"? 00:43:01 i could try with Microsoft Edge ith 00:43:07 If "scow" is meant to be "shit", then yes? 00:43:07 (now _that's_ scow) 00:43:23 scow (n): a wide-beamed sailing dinghy. 00:43:42 that is another meaning of the word 00:43:55 for example a garbage scow is a scow in that sense 00:44:53 It would be unusual to haul garbage on a dinghy. 00:44:59 shachaf: do you also think Gregor is being uncooperative today tdnh 00:45:16 https://en.wikipedia.org/wiki/Garbage_scow 00:45:17 boom 00:45:30 http://www.trekcc.org/1e/cardimages/errata/Radioactive-Garbage-Scow.jpg 00:59:25 Gregor: ok after seeing width: 10em in your style sheet i'm now wondering how it ever displays as much as it _does_. clearly i don't understand css... 01:01:38 no one understands css hth 01:05:51 Now I have all the IPA letters 01:06:37 what unicode block should I do next 01:06:51 (must be fixed-width) 01:13:23 what are your hebrew letters like 01:16:27 * oerjan thinks IE feels zippier now after upgrading to windows 10. also dehibernation seems faster. 01:16:51 which is good because yesterday other things seemed slow 01:17:40 shachaf: hold on I'll get a screenshot 01:20:05 -!- variable has joined. 01:24:13 http://www.orenwatson.be/pic.png 01:25:20 that took some time because I had to write a program to output arbitrary unicode ranges in utf-8 first 01:26:51 oren: oh wow that font 01:26:58 Is that what you were working on 01:28:13 Yeah 01:28:35 -!- Froox has joined. 01:29:43 I have ASCII, Latin-1, Latin-A, IPA, Hebrew, Greek, Cyrillic, Box Drawing, some Arrows and Math Symbols, all the Block Elements, and all the Geometric Shapes 01:30:01 oren thats a movie hacker font right thete 01:30:03 There 01:30:08 yup 01:30:33 I iz teh HAXXXORZ doesn't even look like a joke in this font 01:30:41 `unicode 👳👲 01:30:42 U+1F473 MAN WITH TURBAN \ UTF-8: f0 9f 91 b3 UTF-16BE: d83ddc73 Decimal: 👳 \ 👳 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F472 MAN WITH GUA PI MAO \ UTF-8: f0 9f 91 b2 UTF-16BE: d83ddc72 Decimal: 👲 \ 👲 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 01:31:23 -!- Froox has quit (Client Quit). 01:31:23 ah, the Offensive Japanese Stereotype of Indian and Chinese 01:31:26 -!- Frooxius has quit (Ping timeout: 240 seconds). 01:31:29 Character 01:31:42 -!- Frooxius has joined. 01:33:54 I'm getting another screenshot showing more of the coverage 01:35:18 http://www.orenwatson.be/latin.png 01:35:42 is that enough accents!!!?!?!?!!?!/ 01:36:59 or does some crazy european language need Latin-B too 01:38:08 -!- MDude has changed nick to MDream. 01:42:08 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:43:15 http://www.orenwatson.be/greekipacyrnotdone.png 01:43:36 the coverage of ipa is basically done, but greek and cyrillic need work 01:46:58 but the next on my list is hankaku katakana 01:49:10 -!- _256Q has quit (Read error: Connection reset by peer). 01:50:35 -!- rg_ has joined. 02:02:10 -!- tromp has joined. 02:06:26 -!- tromp has quit (Ping timeout: 244 seconds). 02:06:49 So, have you guys used m4 before 02:07:36 I seem to recall using it for... something... a long time ago 02:09:00 * oren reloads youtube 02:09:06 FUUUUUUUUUUUUUUUUUUUUUUUUUUU 02:09:37 YOU BLEW IT UP, YOU MANIACS! 02:10:46 oren: that's going in the wrong direction hth 02:10:59 please draw RIGHT-TO-LEFT OVERRIDE next 02:11:29 It's fun 02:12:00 FUCK, STOP RUINING EVERYTHING WITH TRANSPARENT BULLSHIT 02:12:44 I WANT THE INTERNAT BACK THE WAY IT WAS IN 2002 02:20:05 IS IT TOO MUCH TO ASK THAT PEOPLE KEEP THINGS THE WAY THEYARE 02:20:28 yEs 02:20:42 I like my left aligned, white background courier new damnit! 02:22:42 *dammit 02:25:48 Aearnus: that's the internet from 1994 about avtually 02:26:44 2002 had CSS, it just didn't have all these pointless effects that hinder usablity 02:26:50 oren: although honestly, with nice spacing and alignment, that courier new website can look perfectly fine 02:27:49 One site that has kept its usablity, with no bullshit, all these years is newgrounds.com 02:27:50 The only time I've ever used illiterate CSS (as I've taken to calling it) is when I made an icon wobble when you mouse over it on for fun 02:28:18 s/on// 02:29:51 -!- hppavilion[1] has joined. 02:31:12 Hellu 02:31:21 -!- variable has quit (Ping timeout: 252 seconds). 02:37:20 anyone on this channel who works for google: tell the youtube team to give me a "switch to the old player" button 02:40:19 oren: but that's flash 02:40:23 And flash is eww 02:42:11 I have html5 disabled. flash is great, it is mature 02:42:37 Flash has wroked fine for me since 1998 02:43:10 YOU MONSTER 02:43:18 HOW DO YOU LIVE WITH YOURSELF, OREN? 02:44:57 I remember when it was always called Shockwave Flash 02:46:24 .swf files were a mainstay of animation and gaming throughout my adolescence. I won't hear anybody badmouth it! 02:46:50 I wish this channel had a bit less yelling. 02:47:01 WELL YOUR WISH HAS BEEN GRANTED 02:47:04 :P 02:47:08 I'm done now 02:47:14 WOULD YOU PREFER IT IF I YELL 02:47:38 Windows XP! Shockwave Flash! Table Layouts! IFrames! 02:48:30 -!- nisstyre has joined. 02:48:58 There was nothing wrong with any of those from a USER's point of view. But they must be replaces becuase some shitwizards decided for us. 02:49:21 -!- nisstyre has quit (Changing host). 02:49:21 -!- nisstyre has joined. 02:49:57 The main reason that SWF in particular is dying is because it's a pile of insecure crap that Adobe can't be assed to fix. 02:51:23 Table layouts and iframes are just out of vogue. They're still perfectly valid HTML. 02:51:24 XP was OK 02:51:26 They could solve it easily by having a user-whitelist of urls that embedded SWFs can come from. 02:51:43 Yes, and Firefox has it. 02:51:55 I whitelist Flash on: Youtube 02:52:18 We have: Muffins 02:52:20 But, yeah, Adobe is basically trying to kill SWF. 02:52:46 Officially it isn't, but they're only begrudgingly doing any sort of improvements on it. 02:52:59 I should contribute to an effort to write a open-source swf player 02:53:36 assuming there is one 02:54:19 I believe the furthest along one is Shumway, which is a Mozilla project. 02:54:24 Cool 02:54:52 I'm too busy to actually write code, but do they have a patreon on something? 02:54:55 Shumway's kinda neat in that it's actually implementing SWF on top of HTML5 and Javascript. 02:55:31 So long as SWF's I downloaded in 2007 still play 02:55:34 0.o 02:55:36 Kewlzez 02:55:59 The goal is to get it to do just that. Basically passing SWFs to it instead of a plugin. 02:56:08 great 02:56:22 (ATM it does that, but it's not at all the default and such) 03:01:55 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 03:02:23 the other, better, goal is to kill swfs 03:14:15 -!- tromp has joined. 03:16:15 With fire? 03:18:55 -!- tromp has quit (Ping timeout: 260 seconds). 03:22:20 So Homestuck will keep working? 03:23:16 you know what, fuck this. I'm gonna watch my videos through vlc from now on, until youtube's player isn't shit 03:26:57 show the fucking progress bar while the video is playing, assholes 03:31:40 I think they do... 03:31:58 they don't, you have to keep moving your mouse 03:32:11 otherwise it disappears 03:32:41 also the progress bar no longer shows the runtime. 03:33:08 well in HTML5 anyway 03:33:34 luckily I know how to disable that 03:34:42 about:config, you turn off webm 03:35:17 presto, the better, but still ruined, youtube flah player 03:36:01 -!- hppavilion[1]_ has joined. 03:37:57 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 03:41:11 DID SOMEONE SAY TABLE LAYOUTS 03:43:44 -!- TristanBomb has joined. 03:45:23 -!- TristanBomb has quit (Client Quit). 03:51:18 -!- hppavilion[1]_ has quit (Quit: Page closed). 04:11:47 Hmm... where can I get a big zipfile full of all the ceritficate authorities' pems 04:15:12 Including Honest Achmed? 04:16:59 I'd be happy to give you one containing all of them including mine if you give me a minute. 04:17:59 "Honest pikhq's Certificate Authority! Certificates right away, no questions asked or your money back!" 04:18:18 -!- Frooxius has quit (Read error: Connection reset by peer). 04:19:22 -!- Frooxius has joined. 04:20:28 -!- Frooxius has quit (Client Quit). 04:20:44 -!- Frooxius has joined. 04:20:58 shachaf: sure. See, this program doesn't let me specify not to verify the stupid https. 04:21:15 -!- tromp has joined. 04:22:01 but it does let me specify one or more pems to use as authorities 04:22:44 so if I have all the authorities, then that should let me connect to the damn thing 04:23:58 security may allow freedom of speech, but all I want right now is the freedom to NOt be secure 04:24:24 What distro are you on? 04:24:48 puppy linux. I am trying to use vlc to watch an internet stream 04:24:59 They typically have trusted roots somewhere in /etc... 04:25:18 Oh, that's made out of Ubuntu these days, isn't it? 04:25:32 /etc/ssl/certs 04:25:57 I have an empty folder called /etc/ssl/certs. so now where do I download all the certs!?!?! 04:26:07 For fucks sake, it's empty?!? 04:26:15 yeah... lol 04:26:54 can I torrent the cets from somewhere maybe 04:28:36 ok I found some pem files but I probably need a few hundred since I don't know which one I need 04:31:03 googled torrent ssl certs .pem files doesn't give me anything. shit. back when I needed .dlls that would have given me everything I needed! 04:32:11 ssl certs pem files collection rar did not give me a damn thing 04:33:50 Ooh I found a command to download the certificate for any url 04:35:27 If that works the way I imagine that works, better not be MITMed when you do it 04:35:40 Although first-connect MITM is always a risk anyway 04:35:53 Oh, for a different reason 04:36:13 (forcing http. But doing what you're doing can get you fake https) 04:39:11 fake https, real https, I want my damn videos 04:41:59 yeah this works. I first use the command to get the pem for the video link, then trust it directly with the vlc --http-ca 04:42:38 If I see the right video, then I haven't been MITMed 04:44:10 what if a few pixels are off 04:44:14 whatever 04:44:26 what if someone has subtly altered your reality 04:44:30 -!- Hooloovoo42 has changed nick to Hoolootwo. 04:44:37 it's me 04:44:54 I am controlling your videos 04:46:07 If you want proper security you should agree the codes in person 04:47:12 Some webpages refuse to display without scripts on (sometimes to try to stop you from copying stuff to the clipboard or saving pictures or whatever), but Stylish can be used to fix this (the "Inspector" command can also be used to help with such thing) 05:01:04 ok I found a better mothod 05:01:44 you take http://curl.haxx.se/ca/cacert.pem and put it in .local/share/vlc/ssl/certs/ 05:03:57 I need to remember where to find this megacert file in case I need it again 05:06:05 http://prntscr.com/80lpzg cinnamon is good(tm) 05:06:36 that looks like a DRM issue 05:06:51 or maybe a graphics card driver 05:09:07 DRM issue 05:09:21 i illegally acquired my linux 05:11:46 Direct Rendering Manager 05:12:35 ah lol 05:16:15 whatever it is, it's not cinnamon's fault unless it's doing something extraordinarily dumb 05:17:46 it's probably the vm it's running in for some reason or another 05:18:04 ah that sounds about right 05:21:49 What window managers any of you people who use Linux are using, and is it with a desktop environment too? 05:25:50 I'm using lightdm with mate 05:29:27 zzo38: using xfce but I rather dislike it because gtk2 is meh 05:30:31 Aearnus: Maybe you should change it? 05:30:47 I removed the one that came with my computer and replaced it 05:33:04 -!- bb010g has quit (Quit: Connection closed for inactivity). 05:46:45 zzo38: well, I installed xfce 05:46:48 I used to like it 05:46:56 but that was a while ago 05:47:04 it's not bad, just not my favorite 05:48:23 I now have all the halfwidth katakana 05:53:45 You said because of gtk2, what way would you prefer? 05:54:01 zzo38: well I'd like gtk3 support but w/e honestly 05:54:17 I need a WM that works well on a laptop 05:54:28 (maybe even one that works well with a touchscreen) 05:54:38 -!- Wright_ has quit (Remote host closed the connection). 05:57:17 What is the difference of gtk2 with gtk3? 05:57:46 zzo38: gtk2 is just deprecated, that's all 05:58:52 I would prefer Athena widgets 06:11:12 alright, I'm trying MATE, LXDE, and IceWM 06:14:32 iceWM crashed my laptop, promising 06:15:31 needs more tiling 06:15:48 I am using i3-wm, so that is another thing to try (although I am not using all of the other programs that commonly come with it, just the window manager and a custom status bar) 06:16:01 i am using herbstluft 06:16:22 What is that? 06:16:30 a tiling wm 06:16:58 But do you have the other information of it? 06:18:01 I'm not a fan of tiling WMs 06:18:09 but maybe I should be, on my small screen space 06:18:19 are there any that have emacs-esq keybinds? 06:20:57 maybe I'll try catwm https://github.com/pyknite/catwm 06:21:04 it's pretty much nothing 06:24:26 alright, i'll also try pekwm, fluxbox, openbox, i3, and awesome 06:25:08 -!- J_Phone has joined. 06:25:20 -!- J_Phone has quit (Client Quit). 06:26:02 herbstluft can make empty frames. that works a lot better for me than what i3 does 06:27:40 i used pek before switching to tiling 06:30:30 i guess i'll try herbsluft too 06:31:52 ugh, i really don't like icewm 06:31:54 that's one down 06:36:14 I bet you won't like jwm then 06:37:38 pekwm is okay, it doesn't use the system menu which is frustrating though 06:39:23 I just load programs with the xterm (except for the xterm itself I can push Win+Enter to load it), so no menu is needed 06:39:56 that's not a bad idea 06:40:25 fluxbox is okay - better than pekwm, but it acts weird with my mouse 06:43:17 http://www.orenwatson.be/fontdemo.htm 06:44:40 oren: it looks a little blurry on windows 06:45:15 http://prntscr.com/80mbc2 like, look at the @ sign 06:45:43 Ok wtf. That is some weird shit 06:46:04 I'm on linux, it doesn't look like that... 06:47:11 I should fuse the page to an image for people who don't have CSS3 fonts turned on 06:48:29 i'm really liking openbox 06:49:50 i3 freezes on start, promising 06:50:49 :D 06:54:34 alright, right now, the listing is, from worst to best: icewm, fluxbox, pekwm, i3, openbox, lxde 06:59:36 fnird. 07:01:01 Lol. people doing "self-experiments" and try to live without a smartphone 07:01:02 what the hell 07:01:33 Obviously you can live without a smartphone. That's how we used to live 10 years ago. 07:01:55 and only few people died 10 years ago because they had no smartphone 07:02:17 I do not have a smartphone 07:02:28 You're a good person. 07:02:30 mroman: i guess you underestimate that 07:02:37 myname: underestimate what? 07:03:01 go try it 07:03:12 it changes things a lot 07:03:24 I bought my first smartphone not even a year ago 07:04:18 and I usually leave it at home when I leave the house. 07:04:30 weirdo :p 07:04:41 I mean.. Smartphones are cool 07:04:43 they have nice features. 07:04:54 You can use the internet from the smartphone on your laptop 07:04:57 which is mainly why I bought it 07:04:58 without it, it'd be bored to hell 07:05:11 because in my new flat room there was no internet. 07:05:15 I don't like touchscreen either 07:05:26 so I bought it with an internet subscription mainly for that purpose :) 07:05:29 well, my laptop practically doesn't work without a power plug 07:06:08 a Smartphone has two good features 07:06:15 reading manga on android is just so comfortable <3 07:06:18 Mobile Hot Spot/Tethering and google maps 07:06:31 navigation? 07:06:39 playing music 07:06:41 Google maps for navigation, yeah 07:06:45 chatting 07:06:54 I have a stereo for playing music :) 07:07:00 and a shitload of CDs 07:07:15 won't help you if you're not at home 07:07:27 why would I listen to music if I'm not at home? 07:07:39 Why would you want to do that? :p 07:07:44 why wouldn't you? 07:07:50 what for? 07:08:06 If I'm at work I can listen music on my workplace laptop + headphones 07:08:27 If I'm at home I can listen on my stereo 07:08:37 the only thing left is "when travelling from home to work" 07:08:47 For music I have radio, CD, and computer. If I go to somewhere else, if they have radio then I can listen to the CBC radio. As it turns out I can also get music from my VCR, even when the TV is not turned on 07:09:24 http://www.orenwatson.be/fontdemo.png 07:09:34 it is supposed to look like that 07:09:39 i'd like to hear music or podcasts while riding my bike, for example 07:10:04 weirdo 07:10:36 Also, the CBC radio isn't only music, anyways 07:11:40 but yeah... smartphones are pretty practical. 07:12:01 the two best DE's in my opinion are lxde < xfce < mate 07:12:05 this was a waste of tim 07:12:07 *time 07:12:16 I usually take it with when doing parkour 07:12:24 mostly so I can call someone if I happen to have an accident :) 07:14:10 i'd use a dumbphone for that purpose 07:15:55 why? 07:16:01 In case it gets stolen? 07:17:21 parkour sounds like asking for a broken screen 07:17:51 it is cheaper in case it breaks during actions, it is less likely to break, the battery lasts way longer 07:18:32 what oren says 07:19:10 ▁▂▃▄▅▆▇ 07:20:09 I should use those characters to make an animation module for ncurses vlc 07:21:21 what should it do? 07:21:36 -!- |f`-`|f has quit (Ping timeout: 260 seconds). 07:21:57 i thought of making a ncurses chess using the chess figures in unicode 07:22:00 you know, like bars that go up and down to the music 07:22:12 -!- |f`-`|f has joined. 07:22:18 ah 07:22:22 yeah 07:22:52 I need to improve symbol support in my font 07:23:14 I don't have chess only the four suits 07:24:48 oren: you keep it in a backpack. 07:24:56 i guess you could make nice simulation games with unicode symbols 07:25:07 or something like sim city 07:25:12 which you just put down somewhere near. 07:25:20 It'd be pretty easy to steal. 07:25:54 mroman: so, in case of emergency yo crawl over rooftops to your backpack and call an ambulance? 07:26:22 -!- trn has quit (Ping timeout: 265 seconds). 07:26:39 -!- trn has joined. 07:33:23 after extensive testing, i've concluded 07:33:26 that i want to go back to xfce 07:44:02 It'd be pretty much illegal to jump over someone else's rooftop 07:44:22 also most practitioners don't do rooftop things btw. 07:44:42 also flat rooftops are rare in switzerland for example 07:45:43 (Parkour itself is somewhat in a gray area) 07:46:13 Technically you're only allowed to train on your own or public property. 07:46:23 (or on someone else's with his permission) 07:47:01 However, you will be frequently shooed away from public property by police or some government employee 07:47:26 -!- diginet has quit (Ping timeout: 252 seconds). 07:47:33 -!- diginet has joined. 07:47:47 for insurance reasons 07:48:01 if you fall on someones property, the owner is accountable 07:48:10 which is the government for public properties 07:50:09 and it looks like some US cities have a general ban on doing parkour o_O 07:50:29 "Though no injuries have been reported, the city’s attorney is worried that someone will get hurt and the city will get sued." 07:50:40 yeah, that's number one reason they don't want you to train on public property. 07:55:08 and you obviously destroy public property 07:56:25 handrails aren't usually designed to withstand too much horizontal force although thank god most are stable enough but in the long run you destroy them 07:59:59 -!- oerjan has quit (Quit: leaving). 08:00:31 I have reached 1000 glyphs 08:10:22 -!- x10A94 has joined. 08:16:18 -!- AnotherTest has joined. 08:22:27 -!- Heyya has joined. 08:22:42 -!- Heyya has quit (Client Quit). 08:35:08 -!- AnotherTest has quit (*.net *.split). 08:35:08 -!- trn has quit (*.net *.split). 08:35:09 -!- nortti has quit (*.net *.split). 08:35:09 -!- lleu has quit (*.net *.split). 08:35:09 -!- Sgeo has quit (*.net *.split). 08:35:09 -!- Jafet has quit (*.net *.split). 08:35:09 -!- HackEgo has quit (*.net *.split). 08:35:09 -!- J_Arcane has quit (*.net *.split). 08:35:10 -!- izabera has quit (*.net *.split). 08:35:10 -!- newsham has quit (*.net *.split). 08:36:25 -!- Patashu has joined. 08:37:35 -!- AnotherTest has joined. 08:37:35 -!- trn has joined. 08:37:35 -!- nortti has joined. 08:37:35 -!- lleu has joined. 08:37:35 -!- Sgeo has joined. 08:37:35 -!- Jafet has joined. 08:37:35 -!- HackEgo has joined. 08:37:35 -!- J_Arcane has joined. 08:37:35 -!- izabera has joined. 08:37:35 -!- newsham has joined. 08:37:59 hm 08:38:00 cool 08:38:07 if you travel into a country 08:38:13 and step on a landmine 08:38:15 you're fucked 08:38:19 even if you survive 08:38:28 health insurance won't pay :) 08:38:35 What if you glue the landmine to your foo 08:38:37 t 08:38:49 also if you get hurt during an earthquake 08:38:51 they won't pay either 08:39:02 Is this health insurance or travel insurance 08:39:10 health insurance 08:39:34 they also won't pay if a nuclear plant explodes 08:39:54 they don't pay for damage caused by ionizing radiation 08:40:05 What about travel insurance 08:40:13 what's that? 08:40:25 Isn't that so you can get your money back if war breaks out in some country 08:40:49 like if you book a year in advance, you can insure yourself in case you actually can't go on that vacation for some important reason 08:41:46 All travel insurances I've had have had a medical expenses component. 08:43:45 Hm. 08:44:20 Yeah I think the obligotary health insurance doesn't pay for stuff that happens in a foreign country 08:44:25 don't go to countries with landmines 08:44:27 if you have to visit a hospital there you're fucked 08:46:11 The travel insurance provided by my employer also covers personal travel (and my wife, although only if she's travelling with me), but it's kind of limited to only cover medical/health stuff, not so much cancellation costs or lost luggage or that kind of stuff. 08:47:13 ideally you have a better insurance than just the obligatory one 08:47:33 if you go missing on a hike and they have to search you you're fucked with the regular one :D 08:49:14 -!- Aearnus has changed nick to Aearnus|IRCCloud. 08:49:30 hm 08:49:31 wait 08:50:17 I don't know this looks suspicious 08:50:48 they list things under complementary insurances that should already be covered by the obligatory one. 08:53:17 damn I hate this. 08:53:32 This is a legal jungle and information is spread across miles! 08:56:12 law is good to fuck people over 08:56:19 because it's totally asynchronous information 08:56:20 -!- AnotherTest has quit (Read error: Connection reset by peer). 08:56:52 you can rely on people not knowing everything because they really don't know everything they should. 09:00:40 -!- shikhin has quit (Read error: Connection reset by peer). 09:01:29 -!- AnotherTest has joined. 09:02:06 -!- Froox has joined. 09:02:42 -!- Aearnus has joined. 09:04:47 -!- shikhin has joined. 09:04:48 -!- tromp has quit (Ping timeout: 252 seconds). 09:05:03 -!- Frooxius has quit (Ping timeout: 255 seconds). 09:06:18 https://www.gov.uk/government/collections/anti-social-behaviour-crime-and-police-bill 09:06:22 o_O 09:07:41 mroman, that seems like it ought to be at least two different acts 09:11:02 I can't find the actual law text anyway 09:11:17 just 70 pages long documents with "impact assessments" "fact sheets" and stuff like that 09:11:30 http://www.legislation.gov.uk/ukpga/2014/12/contents/enacted/data.htm 09:13:12 -!- FireFly has quit (Ping timeout: 244 seconds). 09:14:41 uh. 09:14:46 "surrender of property" 09:15:03 they can take away your smartphone for 48 hours :D 09:18:13 "conduct that has caused, or is likely to cause, harassment, alarm or distress to any person," 09:18:19 that's a very broad definition. 09:18:49 Yes 09:19:11 although I wouldn't know how to define it otherwise 09:20:47 also "any person"? 09:20:49 like 09:20:50 even me? 09:20:55 Taneb is causing me alarm. 09:20:58 and distress! 09:21:09 He invents weird things. 09:21:18 mroman, your accusation distresses and alarms me 09:21:35 so 09:21:39 I said it first! 09:22:23 Isn't littering against the law anyway? 09:22:33 I mean most of the stuff is probably already covered by some other law 09:22:46 at least here. Littering is illegal. 09:23:14 there are legally defined rest periods and things like that 09:23:57 I am not sure whether littering is illegal here 09:24:15 Rather than making such a broad law you could just make a few specific laws 09:24:23 such as prohibiting littering, prohibit noise after 10pm 09:25:46 "Anti-social behaviour" is a common sight in the UK per-neighbourhood crime maps https://www.police.uk/ has. 09:25:50 if teens go on a vandalism streak that surely is already covered by some "you may not damage an other one's property"-law 09:26:14 uh 09:26:18 "Find your neighbourhood" 09:26:34 "Gosforth and great park" 09:26:43 270 crimes this month 09:26:44 jesus 09:26:49 oh. in may 09:26:54 270 crimes in may 09:27:03 It lags by a few months. 09:27:12 "Bicycle theft (1): Includes the taking without consent or theft of a pedal cycle" 09:27:34 101 were anti-social behaviour 09:27:52 22 sex offences 09:27:59 mroman, I think I used to live in Gosforth 09:28:01 that's a lot of sex offences for a month though 09:28:05 Taneb: me too 09:28:15 Like, in 1996 09:28:17 "Sex offences", IIRC, include things like domestic violence. 09:28:34 mroman, the Gosforth in Newcastle that is 09:28:47 Taneb: that's the one 09:28:51 Huh 09:29:03 I lived there for two weeks :p 09:30:06 mroman, you realise that it is dangerously (25 miles) close to Hexham? 09:30:55 Why is that dangerous? 09:31:31 Because one day you might go out for a drive and wind up in Hexham 09:31:48 I don't think I'll ever be back in gosforth 09:31:55 It was a two week language stay 09:32:22 Currently I am in "York City and East" 09:32:35 Two weeks, and you're already sure you'll never be back? Must be a horrible place. 09:33:06 mroman, when I was very small my gran used to push me around Gosforth Park 09:33:38 fizzie: I mean I'm pretty certain I'll never leave switzerland ever again. 09:33:42 maybe 09:33:44 but who knows. 09:33:59 but it's very unlikely that I wind up in Gosforth again 09:34:01 I won't leave Switzerland for a very long time 09:34:12 Largely because I am not in Switzerland and have little reason to visit 09:34:27 I think I've left Switzerland twice already. 09:34:36 We have Cities in Switzerland. 09:34:44 like any other country :D 09:35:00 I don't think, eg, the Vatican has cities plural 09:35:07 -!- AnotherTest has quit (Read error: Connection reset by peer). 09:35:24 Vatican isn't a real country *blasphemy* 09:35:39 and it has a huge crime rate 09:36:19 it has the highest crime rate in the world 09:36:55 and it's a monarchy 09:37:22 http://qz.com/333313/milliions-of-facebook-users-have-no-idea-theyre-using-the-internet/ 09:37:22 and the monarch is some guy that speaks to some other imaginative guy 09:37:50 *imaginary guy 09:40:31 -!- AnotherTest has joined. 10:24:30 Union-Find data structure is really interesting 10:24:43 jopp 10:24:45 -!- vodkode has quit (Quit: Leaving). 10:29:33 -!- Aearnus has quit (Ping timeout: 265 seconds). 10:34:33 -!- Aearnus has joined. 10:39:29 -!- AnotherTest has quit (Ping timeout: 256 seconds). 10:40:36 -!- AnotherTest has joined. 10:45:03 -!- AnotherTest has quit (Ping timeout: 260 seconds). 10:45:35 -!- AnotherTest has joined. 10:54:45 -!- FireFly has joined. 11:02:29 final int i = Interpreter.builtins.get(s); 11:02:30 hu 11:02:36 how can this throw nullpointerexception? 11:02:42 oh wait 11:02:46 auto unboxing? 11:02:51 probably 11:03:15 -!- FireFly has quit (Ping timeout: 244 seconds). 11:07:02 in java, everything can throw a nullpointer exception 11:07:18 -!- AnotherTest has quit (Read error: Connection reset by peer). 11:09:00 yeah no 11:09:21 only if you dereference a NullPointer 11:09:52 get() usually doesn't throw NullPointerException 11:10:07 however, unboxing a NullPointer will 11:13:12 is this java? 11:13:22 yeah 11:13:40 -!- AnotherTest has joined. 11:32:55 -!- Phantom_Hoover has joined. 11:37:14 -!- Aearnus has quit (Quit: ZNC - 1.6.0 - http://znc.in). 11:43:29 -!- FireFly has joined. 11:53:53 -!- FireFly has quit (Ping timeout: 244 seconds). 11:56:48 -!- AnotherTest has quit (Ping timeout: 264 seconds). 12:01:42 -!- AnotherTest has joined. 12:03:15 -!- augur_ has quit (Ping timeout: 255 seconds). 12:12:09 -!- FireFly has joined. 12:12:38 good morning. 12:13:48 Heya 12:29:15 -!- Froo has joined. 12:32:10 -!- Froox has quit (Ping timeout: 240 seconds). 12:46:15 I'm getting quite adept at copypasting video links into VLC 12:47:20 -!- Patashu has quit (Ping timeout: 260 seconds). 12:51:31 -!- AnotherTest has quit (Ping timeout: 256 seconds). 12:52:51 -!- AnotherTest has joined. 13:01:53 seems like Latin B is mostly more IPA 13:04:44 I just got an internal error that's supposed to be really impossible 13:08:16 -!- augur has joined. 13:25:26 My spellchecker doesn't recognize the word "underdocumented" 13:25:32 Or spellchecker 13:25:34 Or doesn't 13:26:15 -!- GeekDude has joined. 13:30:31 Taneb: it's probably set to some language other than English 13:30:47 It seems to recognize every word in this sentence 13:31:23 So I suspect it is set to English, just is missing a few words, and counts ' as a wordbreak 13:35:00 -!- `^_^v has joined. 13:36:42 -!- AnotherTest has quit (Ping timeout: 244 seconds). 13:38:26 -!- AnotherTest has joined. 13:38:46 -!- augur has quit (Ping timeout: 244 seconds). 13:57:11 -!- nycs has joined. 13:59:45 -!- `^_^v has quit (Ping timeout: 250 seconds). 14:09:40 Wisdom from the neural net: http://en.wikipedia.org/wiki/Monad_crap 14:29:10 -!- AnotherTest has quit (Ping timeout: 240 seconds). 14:31:01 -!- AnotherTest has joined. 14:32:20 ( filter [| fst == snd |] [(1,2), (5,7), (42,42), (1000,10000)] 14:32:21 [(42, 42)] : List (Integer, Integer) 14:34:00 ( filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] 14:34:00 Can't disambiguate since no name has a suitable type: 14:34:00 Prelude.List.filter, Data.VectType.Vect.filter 14:34:15 ( List.filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] 14:34:15 When checking an application of function Prelude.List.filter: 14:34:15 Can't disambiguate since no name has a suitable type: 14:34:15 Effects.>>=, BotPrelude.LiftEq.>>=, Prelude.Monad.>>= 14:41:21 -!- GeekDude has quit (Read error: Connection reset by peer). 14:41:45 -!- nycs has quit (Ping timeout: 252 seconds). 14:43:27 -!- nycs has joined. 14:44:51 -!- AnotherTest has quit (Ping timeout: 256 seconds). 14:45:32 -!- AnotherTest has joined. 14:48:45 -!- GeekDude has joined. 14:50:27 -!- MoALTz has quit (Quit: Leaving). 14:50:48 -!- FreeFull has quit (Quit: BBL). 14:52:11 -!- augur_ has joined. 15:04:57 -!- FreeFull has joined. 15:06:59 -!- idris-bot has quit (Quit: Terminated). 15:07:17 -!- idris-bot has joined. 15:07:35 ( filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] 15:07:35 Can't disambiguate since no name has a suitable type: 15:07:35 Prelude.List.filter, Data.VectType.Vect.filter 15:07:42 ( List.filter (do !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] 15:07:42 When checking an application of function Prelude.List.filter: 15:07:42 Can't disambiguate since no name has a suitable type: 15:07:42 Effects.>>=, BotPrelude.LiftEq.>>=, Prelude.Monad.>>= 15:07:46 … 15:08:15 ( filter (do pure $ !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] 15:08:15 [(42, 42)] : List (Integer, Integer) 15:08:26 Fixed. 15:11:32 -!- MoALTz has joined. 15:12:35 i don't get why you are doing do in the first place 15:23:14 Hmm … 15:23:20 ( filter (pure $ !fst == 42) [(1,2), (5,7), (42,42), (1000,10000)] 15:23:20 Can't disambiguate since no name has a suitable type: 15:23:20 Effects.>>=, BotPrelude.LiftEq.>>=, Prelude.Monad.>>= 15:23:39 myname: I need it to anchor the !. 15:23:59 why not (== 42).fst 15:24:07 oh, idris 15:24:08 Because I’m having fun. 15:24:09 damnit 15:24:18 it just looks too much like haskell 15:24:33 ( filter ((==42) . fst) [(1,2), (5,7), (42,42), (1000,10000)] 15:24:33 [(42, 42)] : List (Integer, Integer) 15:24:45 Works fine too. 15:25:05 but it doesn't use monads 15:25:17 that may be a downside, depending on what you like 15:25:26 myname: So anyway, with bang bindings the “do x” ≡ “x” rule no longer holds. 15:27:12 A nice example is that “forever (putStrLn !getLine)” is a yes program, and “forever (do putStrLn !getLine)” is a cat program. 15:27:13 -!- rg_ has joined. 15:29:15 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]). 15:32:53 ( [| sum / (cast . length) |] [1,4,6] 15:32:53 3.6666666666666665 : Double 15:34:31 wat 15:34:37 myname: I recently added the unwrapped reader monad to my BotPrelude, and am now having fun with ways to abuse it. 15:35:08 i don't really know idris :/ 15:35:41 [| |] are idiom brackets, which do an applicative application (they add pure and (<*>)). 15:36:28 So “[| sum / (cast . length) |]” desugars to “pure (/) <*> sum <*> (cast . length)”. 15:49:24 -!- MDream has changed nick to MDude. 15:57:29 -!- _256Q has joined. 15:57:29 -!- _256Q has quit (Changing host). 15:57:29 -!- _256Q has joined. 16:01:13 -!- lleu has quit (Read error: Connection reset by peer). 16:01:40 -!- lleu has joined. 16:01:40 -!- lleu has quit (Changing host). 16:01:40 -!- lleu has joined. 16:05:43 -!- GeekDude has quit (Remote host closed the connection). 16:06:29 -!- GeekDude has joined. 16:11:39 -!- J_Arcane has joined. 16:16:05 -!- Wright has joined. 16:20:56 -!- Froo has quit (Ping timeout: 265 seconds). 16:51:42 -!- AnotherTest has quit (Ping timeout: 255 seconds). 16:52:17 -!- AnotherTest has joined. 17:00:48 -!- puckipedia has quit (Remote host closed the connection). 17:06:10 -!- puckipedia has joined. 17:09:20 -!- FreeFull has quit (Quit: BBL). 17:18:21 -!- augur_ has quit (Ping timeout: 244 seconds). 17:26:07 -!- AnotherTest has quit (Read error: Connection reset by peer). 17:27:39 -!- Deedledoo_ has joined. 17:27:59 -!- FreeFull has joined. 17:31:12 -!- Deedledoo_ has quit (Read error: Connection reset by peer). 17:35:57 -!- AnotherTest has joined. 17:42:33 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 17:50:44 -!- AnotherTest has quit (Ping timeout: 246 seconds). 17:51:19 -!- AnotherTest has joined. 17:53:15 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 18:09:48 -!- atrapado has joined. 18:13:23 -!- augur has joined. 18:15:18 -!- MDude has quit (Quit: later chat). 18:15:37 -!- MDude has joined. 18:16:37 -!- aloril has quit (Ping timeout: 252 seconds). 18:25:13 -!- shikhin_ has joined. 18:25:18 -!- shikhin_ has quit (Changing host). 18:25:18 -!- shikhin_ has joined. 18:26:18 -!- shikhin_ has quit (Client Quit). 18:31:08 -!- ais523 has joined. 18:48:30 -!- Filystyn has joined. 18:48:46 HELO 18:48:51 helo i need help with brainfuk 18:48:54 anyone here ? 18:48:57 im asking! 18:49:02 Shoot 18:49:37 brainfuck on this site http://esoteric.sange.fi/brainfuck/impl/interp/i.html?b=&i=123&o= blocks in inf loop when i ,[>,-]<. 18:49:45 wth it happens? 18:49:51 it should not block 18:51:13 Why not 18:51:24 You always switch to the next cell 18:51:29 yes but 18:51:29 Which starts at 0 18:51:33 the loop should end if you get ASCII 1 as input 18:51:33 if cell is zero 18:51:34 And is then decremented 18:51:35 to 255 18:51:37 it should leave 18:51:38 because you do ,- just before the end of the loop 18:51:48 probably you haven't been giving any code 1 as input 18:51:48 but i need to 18:51:53 How do you type in ASCII 1 18:51:59 Slereah__: on most browsers, you can't 18:52:03 Exactly 18:52:03 yes there is nan code 18:52:21 stop ok i see you are going to help 18:52:21 For the record, the implementation is an EOF == 0 one. 18:52:22 im so happy 18:52:35 ok so basicly it should read 18:52:41 and if no read than - 18:52:50 if i - than zero stays zero ? 18:52:52 well, what are you trying to do at a larger level 18:52:56 or it goes up to 255 ? 18:53:13 i want to read chars untill i find char with value 10 18:53:16 than i stop 18:53:16 I'm finding it hard to help because you seem to have a mental model of what's going wrong, but I don't know what that model is 18:53:21 ah, OK 18:53:36 I look like an engineer 18:53:46 so you'd want something like ,----------[>,----------] for the read loop 18:53:53 to test for 10, you have to subtract 10 then test against 0 18:54:12 what do you want to do after you get your newline? (I'm assuming this is an implementation where newline = 10, it normally is) 18:54:28 basicly go back and read last char i think i see the problem now 18:54:48 so <++++++++ 18:54:50 10x+ 18:55:01 ok i seem to get what i was doing wrong 18:56:39 it worked guys 18:57:01 yay 18:57:15 i accualy had working code but i thought that if i decrement zero it stays zero so i did not make new line but simply assumed that at end of output it will stop 18:57:22 anyway big thx 18:58:41 decrementing zero gives you -1, which on many implementations is equivalent to 255 (implementations which work like that are called "8-bit wrapping") 18:59:04 but hardly any implementations adjust -1 to 0 19:13:27 -!- rg_ has joined. 19:26:14 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 19:29:55 The usual brainfucks don’t have any runtime errors to speak of, do they? 19:30:15 Melvar: < off the LHS of the tape is sometimes considered a runtime error 19:30:25 although in some implementations, it extends the tape to the left 19:30:30 ^bf < 19:30:45 ^bf ,[.,]!test 19:30:45 test 19:30:49 ^bf <,[.,]!test 19:30:49 test 19:30:51 hmm 19:30:54 Oh right, there’s ones with non-bidirectionally-infinite tapes. 19:31:08 !bf8 < 19:31:10 No output. 19:31:24 !bf8 <+++++++++++++++++++++++++++++++++. 19:31:25 ​! 19:52:34 Why haven't I created that Haskell EDSL for brainfuck yet? 19:53:40 Maybe it's because I have lots of better things to do. 20:08:43 -!- MoALTz has quit (Quit: Leaving). 20:15:49 -!- atrapado has quit (Ping timeout: 260 seconds). 20:23:05 hehe. a free software source readme describes what you need to build from source. it says “a reasonable C compiler (gcc, Visual Studio, etc.)” 20:23:22 they apparently count Visual Studio as a reasonable C compiler. 20:23:31 -!- atrapado has joined. 20:23:45 I'd say “a reasonable C compiler (gcc, etc.) or Visual Studio 20:23:47 ” 20:23:53 -!- S1 has joined. 20:25:25 -!- Sprocklem has quit (Ping timeout: 256 seconds). 20:25:29 Implying 20:27:13 -!- Sprocklem has joined. 20:32:14 Wisdom from the neural net: 20:32:16 09:59:42: CYUL 231320Z 07006KT ESCABON SCT069 BKN022 B00/27 M19/M09 Q1000 RMK SC1SC0AC2 SCT038 BKN042 14/04 Q1005 RMK SCT000 M02/M00 Q1096 RMK BIN019 SCT000 03/03 Q1020 RMK R00 NOSIG 20:32:46 b_jonas: what do you find unreasonable about VS? 20:34:56 I tried using VS once and got it to go into some weird state where it was automatcially routing stdout to a file for no reason. 20:35:35 VS has so much persistent configuration, it makes configuring it very hard 20:35:53 I prefer the mechanism whereby you use command-line options every time (normally automated via shellscripts or makefiles) 20:39:51 -!- Sprocklem has quit (Ping timeout: 244 seconds). 20:41:41 -!- Sprocklem has joined. 20:43:28 -!- Frooxius has joined. 21:01:30 -!- aloril has joined. 21:05:10 -!- Patashu has joined. 21:05:24 I would have prefer to write something like "a C compiler (known to work with: GCC, Visual Studio)" 21:06:48 "requires: an unreasonable C compiler (must put empty cartons back in the freezer)" 21:07:45 -!- quietello has quit (Ping timeout: 244 seconds). 21:07:52 zzo38: yeah, that may be nicer 21:29:30 -!- nycs has quit (Ping timeout: 272 seconds). 21:37:04 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:37:10 -!- S1 has quit (Quit: I started a joke, which started the whole world crying...). 21:39:44 -!- oerjan has joined. 21:44:10 -!- Patashu has quit (Ping timeout: 250 seconds). 21:48:14 -!- variable has joined. 21:52:12 damn I hate this. <-- clearly the only insurance worth having is one that insures you against not having the right insurances. 21:52:56 @tell mroman damn I hate this. <-- clearly the only insurance worth having is one that insures you against not having the right insurances. 21:52:56 Consider it noted. 21:53:18 like in this case, an insurance against swatting due to obnoxious idleness 21:55:33 -!- Sprocklem has quit (Quit: brb). 21:56:13 ( [| sum / (cast . length) |] 21:56:14 \r => 21:56:14 prim__divFloat (Prelude.List.List instance of Prelude.Foldable.Foldable, method foldr (\meth => \meth => prim__addFloat meth meth) 0.0 r) 21:56:14 (prim__toFloatBigInt (toIntegerNat (length r))) : List Double -> Double 21:56:41 ( [| sum / (cast . length) |] [1,3,6,8] 21:56:42 4.5 : Double 21:57:39 toFloatBigInt. 21:57:54 Yeah … 21:58:07 The prims sometimes have ridiculous names. 21:58:45 Oh, it's like (toFloat)(BigInt). 21:58:49 oerjan: can i buy swatting insurance twhib 21:58:59 Not (something else)to(FloatBigInt). 21:59:39 Furthermore, only the float and string conversions are named like that. The ones among integertypes are {sext,zext,trunc}$typeA_$typeB . 22:00:30 But for float and string you have {to,from}{Float,Str}$othertype . 22:01:43 -!- Sprocklem has joined. 22:02:26 -!- Filystyn has quit (Ping timeout: 240 seconds). 22:02:29 This is related to the way they’re automatically generated; on the compiler-internal type there’s an algebraic data type representing these, and some constructors take IntTy or ArithTy arguments, and the float and string conversions are other constructors than the conversions among integers. 22:02:36 `le/rn twhib/the world holds its breath 22:02:38 Learned «twhib» 22:03:26 On the other hand, toIntegerNat is not a prim, and I can’t fathom the thought process that went into its name. 22:11:39 -!- variable has quit (Ping timeout: 255 seconds). 22:13:44 -!- boily has joined. 22:18:48 boilyh 22:19:20 shachaf: i don't know, i'm not in the insurance business 22:24:17 -!- x10A94 has quit (Read error: Connection reset by peer). 22:28:14 ICFP contest starts in 2.5 days 22:28:16 no 22:28:18 a bit more 22:28:22 in 2.6 days 22:30:38 b_jhellonas! 22:30:55 jello 22:45:23 -!- atrapado has quit (Ping timeout: 256 seconds). 23:03:19 `wisdom 23:03:20 pineapple/Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, therefore making it a class 6 vegetable. 23:03:31 `? chess 23:03:32 Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation. 23:03:50 I can't decide which one is my favourite. 23:05:38 `` sed -i 's/therefore//' wisdom/pineapple 23:05:40 No output. 23:06:20 shellochaf. 23:06:28 I think chess is better, don't you think so? 23:08:19 WHEREAS, pineapple is a hybrid species descended from multiple ancestors; WHEREAS, these ancestors include spinach and wild ivy; NOW, THEREFORE, pineapple is declared to be a class 6 vegetable. 23:08:37 boily: what do you think about diplomacy twhib 23:08:45 `? pineapple 23:08:46 Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. 23:08:52 oerjan: oopse 23:09:07 `` sed -i 's/ / /' wisdom/pineapple # thoerjan 23:09:10 No output. 23:10:04 shachaf: you were saved from a swat only by my network disconnecting hth 23:10:40 oerjan: A swat for forgetting to remove a space? 23:10:53 i'm grumpy today hth 23:11:01 spot of the tyranny, governor? 23:18:33 what kind of diplomacy? and wherefore so much hate for the there therefore? 23:19:09 the game 23:19:30 and i don't know why oerjan is such a h8r hth 23:19:32 never played, definitely in an advantageous position on my gaming checklist. 23:19:43 * boily tries to ungrump oerjan 23:19:45 tyrannosaurus oerjan 23:19:57 must be windows 10 23:20:03 * boily applies ancient Chinese techniques on oerjan 23:20:12 *gasp*! he has updated? 23:20:36 i'm playing diplomacy online with some folks 23:20:38 i'm italy 23:20:44 any strategies? 23:20:48 eeeeh... 23:20:56 gghghghghbhg flblblblblblbl... 23:20:59 nope. 23:21:01 sorry. 23:32:11 shachaf: betray everyone hth 23:34:45 boily: actually, i don't see anything that's significantly more broken, once i got rid of that Edge thing. and it starts up much faster after hibernation. 23:35:31 oh and i had to redownload a touchpad driver 23:35:43 that was annoying, but it was annoying before anyway 23:35:52 spot of the hibernation, governor? 23:35:55 I never suspend-to-disk. 23:36:00 with some luck it will now work properly. 23:36:02 I have no idea if it works. 23:36:19 shachaf: i do it all the time. also _ordinary_ reboot definitely got a bit slower now. 23:36:43 (er my 2nd last comment was about the touchpad driver) 23:37:25 i've had no problems with hibernation itself in a long time. maybe not since my previous laptop. 23:37:32 You redownload your touchpad driver all the time? 23:37:54 no, but it had a tendency of dying on unsuspending 23:38:17 hm i guess that technically was a hibernation problem 23:38:49 it got less annoying when i found out how to reset it without rebooting. 23:40:00 -!- Melvar has quit (Ping timeout: 264 seconds). 23:40:01 -!- idris-bot has quit (Ping timeout: 252 seconds). 23:42:36 -!- Melvar has joined. 23:59:07 -!- idris-bot has joined.