00:02:00 ridiculous! 00:02:55 preposterous! 00:03:08 -!- clog_ has quit (Quit: ^C). 00:03:21 -!- clog has joined. 00:05:06 clearly they are at most adjoint 00:06:51 adjoint seems close enough 00:08:50 -!- fractal has joined. 00:17:37 -!- augur has quit (Ping timeout: 250 seconds). 00:23:34 -!- augur has joined. 00:25:05 -!- lleu has joined. 00:29:23 -!- augur_ has joined. 00:32:53 -!- augur has quit (Ping timeout: 244 seconds). 00:34:26 -!- AndoDaan has quit (Quit: HydraIRC -> http://www.hydrairc.com <-). 00:37:45 -!- AndoDaan has joined. 00:42:01 -!- hjulle has quit (Ping timeout: 264 seconds). 01:03:58 -!- AndoDaan has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Like it? Visit #hydrairc on EFNet). 01:05:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:06:56 [wiki] [[Special:Log/upload]] upload * Esowiki201529A * uploaded "[[File:X-chromosomes.png]]" 01:09:41 -!- doesthiswork has joined. 01:14:52 classic MacOS window decorations??? 01:15:18 -!- boily has quit (Quit: SIMMERED CHICKEN). 01:34:25 -!- AndoDaan has joined. 01:42:28 -!- kapil___ has quit (Quit: Connection closed for inactivity). 01:48:26 -!- trout has quit (Ping timeout: 246 seconds). 01:51:56 -!- bb010g has joined. 02:07:05 -!- oerjan has quit (Quit: Nigh time). 02:10:13 bowser jr. iss killng me with these torpedoes 02:22:37 -!- AndoDaan has quit (Read error: Connection reset by peer). 02:22:53 -!- AndoDaan has joined. 02:24:37 -!- AndoDaan has quit (Client Quit). 02:33:01 -!- Frooxius has joined. 02:50:52 -!- doesthiswork1 has joined. 02:50:53 -!- doesthiswork has quit (Read error: Connection reset by peer). 03:15:25 `help tell 03:15:25 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 03:15:34 which bot can I tell people things with 03:15:56 lambdabot 03:16:14 how 03:16:40 @help tell 03:16:41 tell . When shows activity, tell them . 03:18:12 @tell ais523 the sky is falling, Alberta elected an NDP majority. 03:18:12 Consider it noted. 03:26:15 -!- hilquias has joined. 03:26:56 omgwtfroflolbbq 03:27:01 really? 03:29:22 WSDL for JSON 03:29:24 * Sgeo is in love 03:29:26 ornn: yes 03:29:33 54 seats out of 87 from the looks of it 03:29:41 (Well, I mean, just the type safety ness) 03:45:42 -!- doesthiswork1 has quit (Quit: Leaving.). 03:50:08 `run sed -i 's/evil/famous evil/' wisdom/oerjan 03:50:10 No output. 04:03:24 @tell ais523 and Premier Jim Prentice announced his resignation not only as Premier and party leader, but even as MLA. 04:03:25 Consider it noted. 04:19:15 -!- Tod-Autojoined has changed nick to TodPunk. 04:21:27 -!- copumpkin has joined. 04:30:37 -!- password2 has joined. 05:01:48 -!- hilquias has quit (Ping timeout: 264 seconds). 05:02:01 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 05:20:14 -!- variable has joined. 05:41:51 I did not intend to be awake before 7 today 05:43:59 -!- zadock has joined. 05:44:42 -!- zadock has quit (Max SendQ exceeded). 05:49:10 -!- rodgort has quit (Ping timeout: 248 seconds). 05:50:05 -!- password2 has quit (Remote host closed the connection). 06:07:36 -!- rodgort has joined. 06:19:03 -!- tromp___ has quit (Ping timeout: 244 seconds). 06:23:16 Apparently there is such a thing as progressive conservatism 06:25:05 -!- tromp_ has joined. 06:29:24 -!- variable has quit (Ping timeout: 255 seconds). 06:30:57 -!- tromp_ has quit (Ping timeout: 272 seconds). 06:31:44 -!- paul2520 has quit (Ping timeout: 265 seconds). 06:35:39 -!- paul2520 has joined. 06:35:56 -!- paul2520 has changed nick to Guest96867. 06:37:48 -!- tromp_ has joined. 06:40:54 -!- zadock has joined. 06:50:44 [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42794&oldid=42792 * Theriel * (+3) /* Probabilistic musings */ 06:51:23 [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42795&oldid=42794 * Theriel * (+1) /* Probabilistic musings */ 06:52:10 [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42796&oldid=42795 * Theriel * (+8) /* Probabilistic musings */ 06:52:58 -!- AnotherTest has joined. 06:53:35 [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42797&oldid=42796 * Theriel * (-6) /* Probabilistic musings */ 06:54:06 fungot, are you still fungal? 06:54:06 b_jonas: and yes)) instead. the old bed cost 10 euros. 06:54:26 wait, what's wrong with fungot? he gave a straight answer 06:54:26 b_jonas: this implementation returns 0, it was the act of extending a set s, with respect to ir. bran, from fnord 06:54:30 oh, better 06:57:57 -!- AnotherTest has quit (Ping timeout: 264 seconds). 07:38:48 -!- AnotherTest has joined. 07:48:18 -!- AndoDaan has joined. 07:49:08 -!- APic has joined. 08:34:43 -!- Patashu has joined. 08:52:11 -!- ayylmao has changed nick to kline. 08:57:39 -!- newsham has quit (*.net *.split). 08:57:39 -!- shachaf has quit (*.net *.split). 08:59:25 -!- AnotherTest has quit (Ping timeout: 276 seconds). 08:59:54 -!- newsham has joined. 08:59:55 -!- shachaf has joined. 09:09:59 -!- Frooxius has quit (Quit: *bubbles away*). 09:45:51 -!- AndoDaan has quit (Ping timeout: 240 seconds). 09:59:37 -!- Phantom_Hoover has joined. 10:21:06 fungot: Are you ill? 10:21:06 mroman: did you miss? everybody is waiting for procedure b, and put that after every instruction instead of " brainfuck" 10:21:18 fungot: I guess I missed that, yes. 10:21:25 mroman: the reason i declined the internship. i realized its generated :) all on one line, and sent me comments. i refuted most of his trigonometry. joy. 10:21:42 It doesn't like generated internships? 10:26:26 -!- boily has joined. 11:15:24 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 11:30:38 -!- boily has quit (Quit: Poulet!). 12:12:26 `quote fungot 12:12:31 FireFly: where do i look much thinner ( and because the function returns. i'm sure there are projects that big. 12:12:31 10) GregorR-L: i bet only you can prevent forest fires. basically, you know. \ 13) Finally I have found some actually useful purpose for it. \ 14) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. plea 12:13:03 `pastequote fungot 12:13:03 FireFly: i wonder if it is a " plain functional language", in that case rzip just keeps checking very large areas for redundancy 12:13:04 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastequote: not found 12:13:10 `` ls bin/*paste* 12:13:13 bin/paste \ bin/pastefortunes \ bin/pastekarma \ bin/pastelog \ bin/pastelogs \ bin/pastenquotes \ bin/pastequotes \ bin/pastewisdom 12:13:23 `pastequotes fungot 12:13:23 FireFly: phew i didnt crash it :p 12:13:30 fungot: how fortunate 12:13:30 FireFly: right now, actually you're the person who can guess what the url was? :) ( aren't i lazy :p) then performed operations on it 12:13:48 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.15018 12:13:54 fungot: no, I can't guess the URL. That's why I asked HackEgo for it 12:17:13 -!- S0lll0s has joined. 12:22:21 someone want/can help me with ANTLR3? :S 12:27:04 Yes. Use parsec. 12:28:06 I dont wanna do haskell tho 12:38:35 http://www.valuedlessons.com/2008/02/pysec-monadic-combinatoric-parsing-in.html 12:38:50 (just a random google result for "parsec python") 12:41:19 ah, Randal has put up an explicit notice that xkcd-what-if is suspended until June 12:41:36 nice save from not having updated it for a while 12:42:59 -!- Patashu has quit (Ping timeout: 256 seconds). 12:57:25 -!- scoofy has quit (Ping timeout: 265 seconds). 13:10:29 -!- scoofy has joined. 13:14:04 -!- oerjan has joined. 13:15:06 `? oerjan 13:15:23 Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. 13:20:04 I did not intend to be awake before 7 today <-- i cleverly avoided this by not going to bed until ~ 5 13:32:10 -!- `^_^v has joined. 13:59:18 whoa no what-ifs :( 14:02:08 the last one with the spiders wasn't even funny 14:03:31 freefall police chief is on top of things 14:12:56 Thanks, I'll probably understand what that means on Friday. 14:13:06 . o O ( Both of them? ) 14:13:32 int-e: you only read comics on fridays? 14:14:11 The latest Freefall comic is inconvenient to bookmark. 14:14:49 So I'm lagging behind by one installation (plus another one because I have not read any webcomics today.) 14:15:04 huh 14:16:06 oerjan: I want to bookmark the last installation that I've read. So Freefall's dynamic homepage doesn't do the trick. 14:17:56 fiendish 14:20:02 Nice xkcd today though (A colleague mentioned it, so I couldn't help looking at it.) 14:57:19 [wiki] [[Sequential tag system]] http://esolangs.org/w/index.php?diff=42798&oldid=41978 * Keymaker * (+341) Linked two implementations. 15:02:34 -!- teakey has joined. 15:13:54 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=42799&oldid=42150 * Keymaker * (+758) Introducing a Turing-complete brainfuck program using only 40 instructions. 15:18:59 [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42800&oldid=42797 * Theriel * (+142) /* Probabilistic musings */ 15:39:05 Jafet: yes. It basically means that the PC's are centre-right 15:40:50 usually the PC's are on the left 15:41:38 from an american standpoint they do often seem to be... 15:42:14 oh "progressive conservative" weird 15:42:48 thry are certainly far to the left compared to the Republican party. our politics are redshifted 15:46:02 i have started to see this fact as somewhat of a good thing. it gives us a longer opportunity to evaluate traditional perspectives. it's pretty clear that we are fully capable of rejecting them quickly once we've reached "critical mass" or something like it 15:50:19 Although I wonder if, over time, the liberals become conservatives who want to conserve the "new normal" 15:57:35 -!- ornn has quit (Remote host closed the connection). 15:59:33 -!- oren has joined. 16:00:32 why do routers need rebooting so often, while webservers can have 99.99% uptime? 16:03:20 oren: old age afaict 16:11:00 -!- teakey has quit (Quit: Leaving). 16:11:18 If you don't like that, you can try buying an equally expensive router. 16:14:30 is expense a reliable proxy for reliability? 16:15:28 -!- teakey has joined. 16:17:47 Now, getting reliable proxies is a more difficult problem altogether. 16:18:33 -!- teakey has quit (Client Quit). 16:19:11 -!- teakey has joined. 16:27:15 -!- teakey_ has joined. 16:27:32 -!- teakey has quit (Ping timeout: 272 seconds). 16:27:44 -!- teakey_ has changed nick to teakey. 16:29:59 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:32:29 -!- teakey has quit (Ping timeout: 256 seconds). 16:42:32 -!- staffehn_ has quit (Ping timeout: 256 seconds). 16:45:24 -!- staffehn has joined. 16:51:31 -!- variable has joined. 17:07:24 -!- Tritonio has joined. 17:17:05 -!- zadock has quit (Quit: Leaving). 17:38:07 -!- bb010g has joined. 17:55:25 [wiki] [[Sequential tag system]] http://esolangs.org/w/index.php?diff=42801&oldid=42798 * Keymaker * (+67) Added one in Hollow. 18:13:53 -!- TieSoul has quit (Quit: No Ping reply in 180 seconds.). 18:15:00 interesting. DF has good weather simulation, such that when it is raining at Z=150, it is snowing at Z=230 18:15:28 -!- TieSoul has joined. 18:18:50 -!- nycs has joined. 18:18:56 -!- `^_^v has quit (Read error: No route to host). 18:47:31 -!- newsham has quit (*.net *.split). 18:47:31 -!- shachaf has quit (*.net *.split). 18:47:32 -!- trn has quit (*.net *.split). 18:47:32 -!- coppro has quit (*.net *.split). 18:47:32 -!- olsner has quit (*.net *.split). 18:47:32 -!- rodgort has quit (*.net *.split). 18:48:58 -!- rodgort has joined. 18:48:58 -!- trn has joined. 18:48:58 -!- coppro has joined. 18:48:58 -!- olsner has joined. 18:49:12 -!- newsham has joined. 18:49:12 -!- shachaf has joined. 19:02:39 -!- variable has quit (Ping timeout: 256 seconds). 19:11:21 -!- Guest96867 has changed nick to paul2520. 19:11:32 -!- paul2520 has quit (Changing host). 19:11:32 -!- paul2520 has joined. 19:18:22 -!- trn has quit (*.net *.split). 19:18:22 -!- coppro has quit (*.net *.split). 19:18:23 -!- olsner has quit (*.net *.split). 19:18:52 -!- trn has joined. 19:18:52 -!- coppro has joined. 19:18:52 -!- olsner has joined. 19:23:03 -!- zadock has joined. 19:25:56 -!- Soni has quit (Quit: Leaving). 19:51:16 -!- AndoDaan has joined. 19:51:50 -!- AndoDaan has left. 19:53:16 -!- AndoDaan has joined. 19:59:59 -!- bb010g has quit (Quit: Connection closed for inactivity). 20:02:22 -!- AndoDaan has left. 20:02:44 -!- AndoDaan has joined. 20:22:11 -!- atrapado has joined. 20:38:36 -!- AndoDaan has left. 21:00:47 -!- Patashu has joined. 21:02:06 It occurs to me that I have completely forgot what my profile picture on the IWC fora does 21:02:11 (it is a Piet program) 21:03:32 if there only were a way to find out 21:04:17 -!- nycs has quit (Ping timeout: 250 seconds). 21:21:46 nvd: Just look at it 21:22:07 I believe it says something like "TANEB'S PROFILE PIC" 21:23:25 @metar ESSB 21:23:26 ESSB 062050Z AUTO 16005KT 9999 NCD 09/05 Q1007 21:23:28 -!- hilquias has joined. 21:23:48 @metar ESSA 21:23:48 ESSA 062050Z 18003KT CAVOK 10/07 Q1007 NOSIG 21:25:04 @metar ENVA 21:25:04 ENVA 062050Z 02001KT 9999 FEW027 BKN046 11/08 Q0999 RMK WIND 670FT 12001KT 21:25:30 -!- Patashu has quit (Ping timeout: 240 seconds). 21:28:19 -!- Frooxius has joined. 21:29:56 -!- AnotherTest has joined. 21:36:32 -!- AndoDaan has joined. 21:39:33 -!- AnotherTest has quit (Remote host closed the connection). 21:40:53 -!- atrapado has quit (Quit: Leaving). 21:46:29 @metar CYYZ 21:46:30 CYYZ 062100Z 15005KT 15SM FEW280 21/04 A3021 RMK CI2 SLP231 DENSITY ALT 1000FT 21:46:48 rekt 22:05:54 -!- ^v has joined. 22:08:45 oerjan: https://ghc.haskell.org/trac/ghc/ticket/10390 suggests that the constraint ordering thing is more of a problem than i thought 22:10:12 OKAY 22:10:24 [wiki] [[Deadfish]] http://esolangs.org/w/index.php?diff=42802&oldid=42779 * 73.25.229.88 * (+781) SNUSP, with an efficient square routine 22:10:38 oerjan: whoa, you're in here? 22:10:51 i assumed you would see the message many hours later 22:12:01 shachaf: i could imagine this gets very tricky if ApPair and Num are replaced by something more type-computational 22:13:27 (you did see my type family superclass example back when, didn't you) 22:15:34 more seriously, since the type also describes the calling API, the desired feature would require runtime conversion... 22:17:03 -!- variable has joined. 22:18:16 -!- spiette has quit (Quit: :qa!). 22:18:40 [wiki] [[Category talk:Brainfuck derivatives]] http://esolangs.org/w/index.php?diff=42803&oldid=20004 * 73.25.229.88 * (+418) SNUSP is a BF derivative 22:20:57 [wiki] [[Category talk:Brainfuck derivatives]] http://esolangs.org/w/index.php?diff=42804&oldid=42803 * IanO * (-7) 22:20:58 -!- Tritonio has quit (Remote host closed the connection). 22:26:40 [wiki] [[SNUSP]] http://esolangs.org/w/index.php?diff=42805&oldid=42311 * IanO * (+179) /* Square root */ 22:30:04 -!- GeekDude has joined. 22:31:49 -!- erdic has quit (Ping timeout: 250 seconds). 22:32:36 -!- erdic has joined. 22:35:24 [wiki] [[Deadfish]] http://esolangs.org/w/index.php?diff=42806&oldid=42802 * IanO * (+27) cat:Program forms, since implemented in other esolangs 22:46:19 -!- f|`-`|f has quit (Ping timeout: 256 seconds). 22:48:14 Did anything happen with that BANCStar recovery project? 22:49:02 it fizzled and whizzled and dizzled away 22:49:40 i suppose some email was never answered, or answered negatively. 22:51:35 -!- f|`-`|f has joined. 22:52:07 (the one to that guy who _maybe_ had a disk somewhere) 22:55:16 oerjan: which superclass example twh 22:55:37 -!- boily has joined. 22:57:31 http://oerjan.nvg.org/haskell/TypeableDesign/PolyTypeable2.hs hth 22:59:24 shachaf: aka how to infer kinds "properly" in Typeable with only 7.8 features. 23:00:29 (good luck testing if rank-n types are compatible with that...) 23:15:32 boilate hy 23:19:03 -!- Phantom_Hoover has joined. 23:19:15 good evørjaning. 23:20:06 -!- zadock has quit (Quit: Leaving). 23:25:32 -!- hilquias has quit (Ping timeout: 264 seconds). 23:29:32 -!- CADD has quit (Remote host closed the connection). 23:39:33 -!- a2 has joined. 23:39:33 -!- a2 has changed nick to CADD. 23:59:23 fungot: what's a QNKCDZO? 23:59:23 boily: should i run it.... its fnord... 23:59:42 fungot: a run-of-the-mill fnord? I should've guessed it. 23:59:42 boily: i guess the syntax", which means most languages, and there's weird things involving crazy symbols and actions. i'm purely interested in the levenshtein distance, you have 1