00:03:08 -!- clog_ has quit (Quit: ^C).
00:03:21 -!- clog has joined.
00:05:06 <oerjan> clearly they are at most adjoint
00:06:51 <olsner> 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 <HackEgo> [wiki] [[Special:Log/upload]] upload * Esowiki201529A * uploaded "[[File:X-chromosomes.png]]"
01:09:41 -!- doesthiswork has joined.
01:14:52 <boily> 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 <ornn> 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 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
03:15:34 <coppro> which bot can I tell people things with
03:16:41 <lambdabot> tell <nick> <message>. When <nick> shows activity, tell them <message>.
03:18:12 <coppro> @tell ais523 the sky is falling, Alberta elected an NDP majority.
03:26:15 -!- hilquias has joined.
03:26:56 <ornn> omgwtfroflolbbq
03:29:33 <coppro> 54 seats out of 87 from the looks of it
03:29:41 <Sgeo> (Well, I mean, just the type safety ness)
03:45:42 -!- doesthiswork1 has quit (Quit: Leaving.).
03:50:08 <shachaf> `run sed -i 's/evil/famous evil/' wisdom/oerjan
04:03:24 <coppro> @tell ais523 and Premier Jim Prentice announced his resignation not only as Premier and party leader, but even as MLA.
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 <nvd> 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 <Jafet> 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 <HackEgo> [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42794&oldid=42792 * Theriel * (+3) /* Probabilistic musings */
06:51:23 <HackEgo> [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42795&oldid=42794 * Theriel * (+1) /* Probabilistic musings */
06:52:10 <HackEgo> [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 <HackEgo> [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42797&oldid=42796 * Theriel * (-6) /* Probabilistic musings */
06:54:06 <b_jonas> fungot, are you still fungal?
06:54:06 <fungot> b_jonas: and yes)) instead. the old bed cost 10 euros.
06:54:26 <b_jonas> wait, what's wrong with fungot? he gave a straight answer
06:54:26 <fungot> b_jonas: this implementation returns 0, it was the act of extending a set s, with respect to ir. bran, from fnord
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> mroman: did you miss? everybody is waiting for procedure b, and put that after every instruction instead of " brainfuck"
10:21:18 <mroman> fungot: I guess I missed that, yes.
10:21:25 <fungot> 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 <mroman> 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:31 <fungot> FireFly: where do i look much thinner ( and because the function returns. i'm sure there are projects that big.
12:12:31 <HackEgo> 10) <fungot> GregorR-L: i bet only you can prevent forest fires. basically, you know. \ 13) <fizzie after embedding some of his department research into fungot> Finally I have found some actually useful purpose for it. \ 14) <fungot> 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 <fungot> 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 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastequote: not found
12:13:13 <HackEgo> bin/paste \ bin/pastefortunes \ bin/pastekarma \ bin/pastelog \ bin/pastelogs \ bin/pastenquotes \ bin/pastequotes \ bin/pastewisdom
12:13:23 <fungot> FireFly: phew i didnt crash it :p
12:13:30 <fungot> 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 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.15018
12:13:54 <FireFly> 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 <S0lll0s> someone want/can help me with ANTLR3? :S
12:28:06 <S0lll0s> I dont wanna do haskell tho
12:38:35 <int-e> http://www.valuedlessons.com/2008/02/pysec-monadic-combinatoric-parsing-in.html
12:38:50 <int-e> (just a random google result for "parsec python")
12:41:19 <b_jonas> ah, Randal has put up an explicit notice that xkcd-what-if is suspended until June
12:41:36 <b_jonas> 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:23 <HackEgo> 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 <oerjan> <nvd> 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.
14:02:08 <mroman> the last one with the spiders wasn't even funny
14:03:31 <oerjan> freefall police chief is on top of things
14:12:56 <int-e> Thanks, I'll probably understand what that means on Friday.
14:13:06 <int-e> . o O ( Both of them? )
14:13:32 <oerjan> int-e: you only read comics on fridays?
14:14:11 <int-e> The latest Freefall comic is inconvenient to bookmark.
14:14:49 <int-e> So I'm lagging behind by one installation (plus another one because I have not read any webcomics today.)
14:16:06 <int-e> oerjan: I want to bookmark the last installation that I've read. So Freefall's dynamic homepage doesn't do the trick.
14:20:02 <int-e> Nice xkcd today though (A colleague mentioned it, so I couldn't help looking at it.)
14:57:19 <HackEgo> [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 <HackEgo> [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 <HackEgo> [wiki] [[Talk:Clue (Keymaker)]] http://esolangs.org/w/index.php?diff=42800&oldid=42797 * Theriel * (+142) /* Probabilistic musings */
15:39:05 <ornn> Jafet: yes. It basically means that the PC's are centre-right
15:41:38 <ornn> from an american standpoint they do often seem to be...
15:42:14 <quintopia> oh "progressive conservative" weird
15:42:48 <ornn> thry are certainly far to the left compared to the Republican party. our politics are redshifted
15:46:02 <quintopia> 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 <ornn> 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 <oren> why do routers need rebooting so often, while webservers can have 99.99% uptime?
16:11:00 -!- teakey has quit (Quit: Leaving).
16:11:18 <Jafet> If you don't like that, you can try buying an equally expensive router.
16:14:30 <quintopia> is expense a reliable proxy for reliability?
16:15:28 -!- teakey has joined.
16:17:47 <Jafet> 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 <HackEgo> [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 <oren> 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 <nvd> It occurs to me that I have completely forgot what my profile picture on the IWC fora does
21:02:11 <nvd> (it is a Piet program)
21:03:32 <oerjan> if there only were a way to find out
21:04:17 -!- nycs has quit (Ping timeout: 250 seconds).
21:22:07 <nvd> I believe it says something like "TANEB'S PROFILE PIC"
21:23:26 <lambdabot> ESSB 062050Z AUTO 16005KT 9999 NCD 09/05 Q1007
21:23:28 -!- hilquias has joined.
21:23:48 <lambdabot> ESSA 062050Z 18003KT CAVOK 10/07 Q1007 NOSIG
21:25:04 <lambdabot> 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:30 <lambdabot> CYYZ 062100Z 15005KT 15SM FEW280 21/04 A3021 RMK CI2 SLP231 DENSITY ALT 1000FT
22:05:54 -!- ^v has joined.
22:08:45 <shachaf> 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:24 <HackEgo> [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 <shachaf> oerjan: whoa, you're in here?
22:10:51 <shachaf> i assumed you would see the message many hours later
22:12:01 <oerjan> shachaf: i could imagine this gets very tricky if ApPair and Num are replaced by something more type-computational
22:13:27 <oerjan> (you did see my type family superclass example back when, didn't you)
22:15:34 <oerjan> 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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <FireFly> Did anything happen with that BANCStar recovery project?
22:49:02 <oerjan> it fizzled and whizzled and dizzled away
22:49:40 <oerjan> i suppose some email was never answered, or answered negatively.
22:51:35 -!- f|`-`|f has joined.
22:52:07 <oerjan> (the one to that guy who _maybe_ had a disk somewhere)
22:55:16 <shachaf> oerjan: which superclass example twh
22:55:37 -!- boily has joined.
22:57:31 <oerjan> http://oerjan.nvg.org/haskell/TypeableDesign/PolyTypeable2.hs hth
22:59:24 <oerjan> shachaf: aka how to infer kinds "properly" in Typeable with only 7.8 features.
23:00:29 <oerjan> (good luck testing if rank-n types are compatible with that...)
23:19:03 -!- Phantom_Hoover has joined.
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 <boily> fungot: what's a QNKCDZO?
23:59:23 <fungot> boily: should i run it.... its fnord...
23:59:42 <boily> fungot: a run-of-the-mill fnord? I should've guessed it.
23:59:42 <fungot> 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