00:00:23 -!- Bicyclidine has quit (Ping timeout: 264 seconds).
00:09:59 -!- drlemon has quit (Ping timeout: 264 seconds).
00:13:11 -!- FreeFull has quit (Ping timeout: 248 seconds).
00:14:57 -!- FreeFull has joined.
00:23:55 -!- mhi^_ has quit (Quit: Lost terminal).
00:45:36 -!- shikhin has joined.
01:36:52 -!- Froox has joined.
01:36:56 -!- Frooxius has quit (Read error: Connection reset by peer).
01:50:06 -!- Froo has joined.
01:50:18 -!- Froox has quit (Read error: Connection reset by peer).
01:53:57 -!- Speed` has quit (Ping timeout: 245 seconds).
01:55:19 <Sgeo> pub fn drop<T>(_x: T) { }
01:56:05 <Bike> True
01:56:10 -!- conehead has quit (Quit: Computer has gone to sleep).
01:56:21 -!- Speed` has joined.
01:57:23 -!- Froox has joined.
01:57:24 -!- Froo has quit (Read error: Connection reset by peer).
01:58:55 -!- Froo has joined.
01:59:07 -!- Froox has quit (Read error: Connection reset by peer).
02:02:42 -!- ^v has quit (Remote host closed the connection).
02:03:56 -!- ^v has joined.
02:10:13 -!- SteppenwolfVM has joined.
02:10:18 -!- SteppenwolfVM has left ("Oh, look! It's a part!").
02:24:30 -!- ^v has quit (Read error: Connection reset by peer).
02:25:59 -!- conehead has joined.
02:26:11 -!- ^v has joined.
02:32:03 -!- Froo has quit (Read error: Connection reset by peer).
02:32:05 -!- Frooxius has joined.
02:34:27 -!- Froox has joined.
02:34:27 -!- Frooxius has quit (Read error: Connection reset by peer).
02:35:58 -!- Froo has joined.
02:36:07 -!- Froox has quit (Read error: Connection reset by peer).
02:37:03 -!- conehead has quit (Quit: Computer has gone to sleep).
02:46:26 -!- Froox has joined.
02:46:26 -!- Froo has quit (Read error: Connection reset by peer).
02:59:50 -!- Sorella has quit (Quit: It is tiem!).
03:02:15 -!- BeingToDeath has quit (Ping timeout: 255 seconds).
03:13:32 -!- Gregor has quit (Ping timeout: 245 seconds).
03:17:23 -!- Gregor has joined.
03:25:23 -!- MoALTz_ has joined.
03:28:28 -!- MoALTz has quit (Ping timeout: 244 seconds).
03:31:04 -!- aretecode has quit (Quit: Toodaloo).
03:57:19 -!- shikhin has quit (Quit: leaving).
04:01:25 <Sgeo> "Yay, more of C++'s good ideas being ported over. This is the only other language I've heard of that actually realizes how amazing RAII is."
04:02:07 <Bike> "No class is established by its own action, even though its ascent is organized and accompanied by a conscious struggle. This holds true for the new class in Communism."
04:02:33 -!- nooodl has quit (Ping timeout: 255 seconds).
04:11:31 -!- Speed` has quit (*.net *.split).
04:11:31 -!- Slereah_ has quit (*.net *.split).
04:11:32 -!- Tritonio1 has quit (*.net *.split).
04:11:32 -!- Vorpal has quit (*.net *.split).
04:11:32 -!- lollo64it has quit (*.net *.split).
04:11:32 -!- TodPunk has quit (*.net *.split).
04:11:33 -!- FireFly has quit (*.net *.split).
04:11:33 -!- mtve has quit (*.net *.split).
04:11:33 -!- hogeyui_ has quit (*.net *.split).
04:11:35 -!- yiyus_ has quit (*.net *.split).
04:11:36 -!- newsham_ has quit (*.net *.split).
04:11:36 -!- glogbackup has quit (*.net *.split).
04:11:36 -!- shachaf has quit (*.net *.split).
04:11:37 -!- int-e has quit (*.net *.split).
04:11:37 -!- ineiros has quit (*.net *.split).
04:11:37 -!- hubs has quit (*.net *.split).
04:11:38 -!- EgoBot has quit (*.net *.split).
04:11:38 -!- myname has quit (*.net *.split).
04:22:55 -!- Speed` has joined.
04:22:55 -!- Slereah_ has joined.
04:22:55 -!- Tritonio1 has joined.
04:22:55 -!- Vorpal has joined.
04:22:55 -!- lollo64it has joined.
04:22:55 -!- TodPunk has joined.
04:22:55 -!- yiyus_ has joined.
04:22:55 -!- FireFly has joined.
04:22:55 -!- mtve has joined.
04:22:55 -!- newsham_ has joined.
04:22:55 -!- shachaf has joined.
04:22:55 -!- hogeyui_ has joined.
04:22:55 -!- ineiros has joined.
04:22:55 -!- int-e has joined.
04:22:55 -!- hubs has joined.
04:22:55 -!- EgoBot has joined.
04:22:55 -!- myname has joined.
04:27:50 -!- FireFly has quit (Excess Flood).
04:29:37 -!- FireFly has joined.
04:31:30 -!- TodPunk has quit (Excess Flood).
04:31:56 -!- TodPunk has joined.
04:39:39 -!- MDude has changed nick to MDream.
04:39:47 -!- Melvar has quit (Read error: Connection timed out).
04:42:25 -!- Melvar has joined.
04:55:06 <Sgeo> ICE: http://is.gd/k9RWn9
04:55:51 <Bike> intrusion countermeasure electronics
04:56:04 <Bike> good job, though
05:01:17 <HackEgo> [wiki] [[Language list]]  http://esolangs.org/w/index.php?diff=39994&oldid=39938 * 204.16.68.130 * (+10) 
05:02:02 <HackEgo> [wiki] [[C++]] N http://esolangs.org/w/index.php?oldid=39995 * 204.16.68.130 * (+8) Created page with "Fuck C++"
05:03:07 <Bike> incredible satire
05:07:47 -!- BeingToDeath has joined.
05:08:56 -!- BeingToDeath has quit (Client Quit).
05:12:43 <HackEgo> [wiki] [[Special:Log/delete]] delete  * Ehird *  deleted "[[C++]]": I can't wait for the third time I delete this page
05:12:48 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39996&oldid=39994 * Ehird * (-10) Reverted edits by [[Special:Contributions/204.16.68.130|204.16.68.130]] ([[User talk:204.16.68.130|talk]]) to last revision by [[User:GermanyBoy|GermanyBoy]]
05:27:42 -!- ^v has changed nick to ^0.
06:22:46 -!- MoALTz_ has quit (Quit: Leaving).
06:54:37 -!- Tritonio1 has quit (Ping timeout: 244 seconds).
07:02:25 -!- Froox has quit (Read error: Connection reset by peer).
07:02:42 -!- Froox has joined.
07:06:16 <HackEgo> [wiki] [[Special:Log/newusers]] create  * Isaacg *  New user account
07:14:42 -!- variable has changed nick to constant.
07:37:12 -!- Tritonio has joined.
07:41:32 -!- Tritonio has quit (Ping timeout: 240 seconds).
07:43:01 -!- Tritonio has joined.
07:48:33 <Taneb> Goooooooooooood morning
07:49:43 <HackEgo> [wiki] [[Pyth]] N http://esolangs.org/w/index.php?oldid=39997 * Isaacg * (+1705) Created page
07:52:05 -!- oerjan has quit (Quit: Good anti-morning).
07:52:46 <HackEgo> [wiki] [[Pyth]]  http://esolangs.org/w/index.php?diff=39998&oldid=39997 * Isaacg * (+334) 
07:54:28 -!- Patashu has quit (Ping timeout: 260 seconds).
07:56:51 <olsner> `hello Taneb
07:56:52 <HackEgo> Hello
07:57:06 <olsner> `cat bin/hello
07:57:06 <HackEgo> echo Hello
07:57:17 <olsner> `cat bin/hi
07:57:18 <HackEgo> ​#!/usr/bin/perl \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Hi $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/H/; } else { s/^./H/; } print "$_.";
07:57:25 <olsner> `hii Taneb
07:57:26 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hii: not found
07:57:27 <olsner> `hi Taneb
07:57:28 <HackEgo> Hi Taneb. Haneb.
08:00:18 -!- Patashu has joined.
08:03:16 -!- MindlessDrone has joined.
08:19:19 <HackEgo> [wiki] [[Pyth]]  http://esolangs.org/w/index.php?diff=39999&oldid=39998 * Isaacg * (+108) Adding link to compiler
08:19:40 <HackEgo> [wiki] [[Talk:BytePusher II]]  http://esolangs.org/w/index.php?diff=40000&oldid=39992 * GermanyBoy * (+269) /* Esoteric language for ROM interpreter? */
08:22:53 <HackEgo> [wiki] [[Pyth]] M http://esolangs.org/w/index.php?diff=40001&oldid=39999 * Isaacg * (+44) 
08:30:43 -!- mtve has quit (Ping timeout: 244 seconds).
09:02:25 -!- constant has quit (Quit: I found 1 in /dev/zero).
09:15:00 -!- variable has joined.
09:17:31 -!- TieSoul_ has quit (Read error: Connection reset by peer).
09:17:50 -!- TieSoul has joined.
09:18:59 -!- conehead has joined.
09:36:40 -!- TieSoul has quit (Read error: Connection timed out).
09:37:41 -!- TieSoul has joined.
09:39:58 -!- MindlessDrone has quit (Quit: MindlessDrone).
09:51:25 -!- mhi^ has joined.
10:15:10 -!- mtve has joined.
10:18:16 -!- conehead has quit (Quit: Computer has gone to sleep).
10:22:09 -!- nooodl has joined.
10:44:58 -!- vifino has joined.
11:12:25 -!- idris-bot has quit (Quit: Terminated).
11:13:41 -!- idris-bot has joined.
11:20:47 -!- idris-bot has quit (Quit: Terminated).
11:21:21 -!- idris-bot has joined.
11:31:01 <Melvar> ( `(Z)
11:31:01 <idris-bot> P (DCon 0 0) (NS (UN "Z") ["Nat", "Prelude"]) (P (TCon 0 0) (NS (UN "Nat") ["Nat", "Prelude"]) Erased) : TT
11:43:28 -!- yorick has joined.
11:48:05 -!- ais523_ has joined.
11:54:59 -!- aloril has quit (Ping timeout: 264 seconds).
11:58:23 -!- Sgeo has quit (Read error: Connection reset by peer).
12:02:11 -!- ais523_ has quit (Changing host).
12:02:11 -!- ais523_ has joined.
12:08:58 -!- aloril has joined.
12:25:39 -!- Froox has quit (Quit: *bubbles away*).
12:25:49 -!- Frooxius has joined.
12:34:25 -!- variable has quit (Quit: I found 1 in /dev/zero).
12:35:48 -!- variable has joined.
12:52:24 -!- AnotherTest has joined.
12:55:46 -!- lollo64it has quit (Ping timeout: 244 seconds).
12:56:29 -!- Sorella has joined.
13:16:11 -!- boily has joined.
13:16:13 -!- metasepia has joined.
13:24:13 <HackEgo> [wiki] [[SYCPOL]]  http://esolangs.org/w/index.php?diff=40002&oldid=39988 * GermanyBoy * (+1160) /* Terminology, System cards and System card machines */ new sections
13:33:34 <HackEgo> [wiki] [[SYCPOL]]  http://esolangs.org/w/index.php?diff=40003&oldid=40002 * GermanyBoy * (+190) /* Imperative code */ FIRST and LAST expressions
13:38:51 <HackEgo> [wiki] [[SYCPOL]]  http://esolangs.org/w/index.php?diff=40004&oldid=40003 * GermanyBoy * (+98) /* LAYOUT DIVISION */ reserved words
13:54:22 -!- Patashu has quit (Ping timeout: 264 seconds).
14:33:04 -!- mihow has joined.
15:01:42 -!- variable has quit (Quit: I found 1 in /dev/zero).
15:06:30 <HackEgo> [wiki] [[Brainfuck implementations]]  http://esolangs.org/w/index.php?diff=40005&oldid=39883 * Maxdefolsch * (+235) /* Optimizing implementations */ Simple BrainFuck Interpreter
15:06:31 -!- variable has joined.
15:07:46 -!- ais523_ has quit (Quit: Page closed).
15:12:00 -!- nooodl_ has joined.
15:15:33 -!- nooodl has quit (Disconnected by services).
15:15:36 -!- nooodl_ has changed nick to nooodl.
15:17:16 -!- ^0 has changed nick to v^.
15:17:19 -!- v^ has changed nick to ^v.
15:32:20 -!- Tritonio has quit (Ping timeout: 240 seconds).
15:35:44 -!- scoofy has joined.
15:45:43 -!- variable has quit (Read error: Connection reset by peer).
15:45:57 -!- nooodl_ has joined.
15:49:34 -!- nooodl has quit (Ping timeout: 264 seconds).
15:50:26 -!- nooodl_ has changed nick to nooodl.
15:55:31 -!- axtens has joined.
16:04:37 -!- MindlessDrone has joined.
16:06:24 -!- axtens has quit (Quit: Leaving.).
16:17:24 <mroman> well.... they've requested an A for my bachelor thesis :)
16:18:34 <mroman> (A's require formal approval from the university)
16:19:18 -!- zzo38 has joined.
16:19:26 <mroman> (i.e. profs can't giv you an A without approval of the university)
16:19:53 <nooodl> cool!
16:20:20 <mroman> (Assuming A is the highest possible mark)
16:20:34 <mroman> We conventiently use numbers :)
16:23:08 <Taneb> mroman, tentative congratulations
16:23:46 -!- AnotherTest has quit (Ping timeout: 264 seconds).
16:24:10 -!- erdic has quit (Remote host closed the connection).
16:24:26 -!- erdic has joined.
16:34:01 -!- aretecode has joined.
16:43:49 -!- mihow has quit (Read error: Connection reset by peer).
16:47:26 -!- mihow has joined.
16:48:34 -!- Bicyclidine has joined.
16:51:35 <boily> mroman: nice! and what is it a thesis on?
16:53:33 -!- MoALTz has joined.
16:55:50 -!- Sorella has quit (Quit: It is tiem!).
16:59:03 -!- Sorella has joined.
16:59:06 -!- Tritonio has joined.
16:59:51 <boily> quintopia: QUINTHELLOPIAAAAAAAAAA!
17:09:51 <mroman> boily: parallel crowd simulation
17:13:51 <boily> this sounds modernartingly ambiguous...
17:14:32 <Bicyclidine> nah, you just say they're a liquid crystal and go from there
17:14:43 <mroman> It was about parallelizing a pedestrian simulation model.
17:15:58 <boily> makes sense. what kind of scale? like, a few millions here and there?
17:16:31 <mroman> The goal was to beat 15k
17:16:37 <mroman> we ended up at 1 Mio.
17:16:54 <mroman> however, that's on a grid of 10 computers
17:17:19 <elliott_> you need 14,999 more mios
17:17:44 <mroman> thank you for misreading ;)
17:18:31 <elliott_> do you want your simulated mio to be lonely
17:18:40 <mroman> Kinda?
17:19:01 <Bicyclidine> wow, terrible person
17:19:44 <boily> all the parallonely mios, being simulated...
17:19:48 <elliott_> i'm arresting you for crimes against animes
17:21:10 <fizzie> We go 1-5 for master's theses, and I think 5 might've needed to be separately okay'd by some person of authority.
17:22:09 * boily slow claps with a pair of wooden cubes
17:22:41 <elliott_> is mio actually used for millions in english at all
17:23:37 <Bicyclidine> "as a unit indicator in the financial markets" supposedly
17:26:06 <zzo38> How common is a executable file smaller than a C source code of the program?
17:26:18 <Bicyclidine> what's ur distribution
17:26:35 <int-e> . o O ( well-documented code )
17:29:01 -!- erdic has quit (Ping timeout: 252 seconds).
17:29:42 <mroman> elliott_: don't know @Mio
17:29:57 <zzo38> int-e: I am not so sure; 192 lines contain comments out of 1939 in total.
17:30:24 <zzo38> But, I think it is probably a good number of comments and that how many comments is a good number depends much on the program.
17:33:26 <int-e> zzo38: even without comments or large char array constants, a lot of things don't have to be larger than their C equivalent when compiled. x++; with some luck, could become a single byte. I've never really thought about it.
17:34:15 <zzo38> int-e: Yes, it does seem like that to me. I have also used -s -O2 and marked any subroutines used only once as inline.
17:34:55 <zzo38> In this case, the program is AmigaMML and the source code is 55353 bytes long and the executable is 45568 bytes long.
17:35:00 <elliott_> gcc is a lossy compression algorithm
17:35:48 <zzo38> Isn't it only lossy if you do stuff which is undefined?
17:36:02 <int-e> hint: don't try maintaining the binary just because it's smaller
17:36:02 <Bicyclidine> No. Like, it might not preserve variable names.
17:36:38 <int-e> whitespace, comments, order of statements ...
17:36:57 -!- erdic has joined.
17:36:59 <zzo38> Yes, of course it won't preserve variable names and that kind of stuff, although the program's function is preserved.
17:36:59 <Bicyclidine> You could definitely come up with semi-pathological examples that hit the pigeonhole. like preprocessor wonderfulness, obv
17:37:20 <int-e> zzo38: ironically marking the functions as inline made the source code larger
17:37:23 <zzo38> (Unless it is undefined)
17:37:30 <zzo38> int-e: Yes, a few bytes, I know
17:37:59 <zzo38> int-e: Of course I don't try maintaining the binary just because it's smaller; it isn't cross-platform, for one thing!
17:38:10 <Bicyclidine> well, there's some more loss then.
17:38:19 <int-e> you could write an emulator
17:38:24 <int-e> but yes, that was just silly.
17:39:53 <zzo38> Of course there are programs that run on emulators. When writing a program for Famicom I will use assembly language, which is of course going to be much larger than the binary (unless it includes stuff to generate a lot of stuff before writing out the ROM image)
17:40:34 <zzo38> I actually have two programs, AmigaMML and Amigasam; the second one has smaller source-codes than executable.
17:40:59 <mroman> GCC even copies part of functions to different locations afaik
17:41:05 <mroman> *parts
17:41:19 <mroman> For alignment stuff and relative jumps etc.
17:42:06 <zzo38> Yes I can see how it helps. Due to optimization, it might hardly resemble the source-codes at all.
17:52:55 -!- AnotherTest has joined.
18:23:15 <zzo38> Macros and cross-platform are two of the important reasons by optimizations are needed.
18:23:18 <fizzie> http://sprunge.us/LdXG   the attack of the Perl module dependencies.
18:24:18 <mroman> Who the hell rips german movies to provide it with chinese subtitles
18:24:47 <boily> people who have a chinese subtitle fetish?
18:25:11 <boily> (oh, look at that diǎn stroke, baby!)
18:26:47 <mroman> It's probably easier to rip an english movie and then provide chinese subtitles
18:27:24 <zzo38> I was trying to combine poker game with chess game, but now I realized, actually the way I need to do is different: combine poker with Sirlin's chess, shogi, and Washizu mahjong.
18:27:25 <mroman> mainly because the english movies are usually released months before the german one
18:29:58 <mroman> The fun thing about chinese characters is
18:30:12 <mroman> that they don't look weird anymore once you studied a language that has those
18:32:25 <zzo38> And also mahjong, which is also using Chinese writing on the tiles.
18:32:48 <zzo38> You can learn Chinese numbers and compass.
18:38:02 -!- shikhin has joined.
18:49:57 -!- Bike has quit (Ping timeout: 255 seconds).
18:51:46 -!- Bike has joined.
19:05:06 -!- eldoeldo has joined.
19:17:10 -!- mhi^ has quit (Quit: Lost terminal).
19:25:28 -!- elliott_ has changed nick to elliott.
19:29:36 <myname> what do i have to do to re-export methods from an imported module in haskell?
19:29:54 <HackEgo> [wiki] [[SYCPOL]]  http://esolangs.org/w/index.php?diff=40006&oldid=40004 * GermanyBoy * (+2451) /* Extensions, VISCIMs and other implementations */ more about RS-SYCPOL + implementations section
19:29:58 <myname> i am getting a series of strange linking errors and i do think it might be related to that
19:30:52 <olsner> probably not, that would give you compile errors about importing things that weren't exported
19:33:09 <myname> here are a bunch of messages like ".text+0x...): undefined reference to `projectname0zi2zi0zi0zi_ImportedModule_Importedstuff_clusure`
19:33:14 <myname> *there are
19:34:12 <myname> never seen such thing
19:35:13 -!- eldoeldo has left ("Leaving...").
19:35:15 <olsner> meh, clean and rebuild?
19:36:24 <myname> cleaning seem to do the trick
19:36:26 <myname> interesting
19:37:07 <olsner> it's the build-problem equivalent of turning it off and on again
19:37:40 <myname> ok, cleaning does NOT do the trick
19:38:22 <olsner> but you just said it did
19:38:30 <myname> i thought it did
19:38:41 <myname> they come up pretty late at compiling
19:38:43 <int-e> meh, surely there must be a way of telling aptitude to upgrade everything except a couple of packages without putting those packages on hold in a separate command?!
19:39:30 <olsner> synaptic lets you select upgrades individually, maybe the text-gui in aptitude does too?
19:42:27 <boily> are you referring to the staging screen in aptitude where you can review what's going to be updated?
19:42:50 <olsner> not sure, haven't used it in ages
19:44:44 <boily> it does.
19:48:03 <int-e> boily: uhm. ok, thanks, I feel stupid now.
19:49:19 <myname> what the hell, man
19:49:53 <myname> i have no idea what to do with these errors
19:50:17 <int-e> boily: I guess the question mark in the [Y/n/?] prompt was too subtle for me.
19:51:45 <olsner> I always expected ? to just explain that y means yes and n means no
19:52:23 -!- AnotherTest has quit (Ping timeout: 248 seconds).
19:52:26 <shachaf> boily has aptitude aptitude
19:53:12 <olsner> boily brings the cow powers
19:53:54 <int-e> and re: the aptitude text ui: "Play Minesweeper", seriously?!
19:54:00 <olsner> sweet!
19:54:05 <ion> sweat!
19:58:34 <boily> aptitude is da bomb. have a debiubuntan machine somewhere that you need to update? bam! aptitude.
19:59:05 <boily> ion: I concur. the weather's horrible right now, and my AC is having trouble catching up.
19:59:22 -!- drdanmaku has joined.
20:00:11 <boily> ~metar CYUL
20:00:12 <metasepia> CYUL 011900Z 18009KT 12SM BKN055TCU OVC220 31/23 A2962 RMK TCU5CI3 SLP031 DENSITY ALT 2300FT
20:00:40 <boily> fungotting thirty one. July 1st. we're going to have one hell of a hot summer...
20:00:40 <fungot> boily: still at it, especially fnord is interesting and very broadly applicable discussions that never reach the wider audience they deserve.
20:01:31 <boily> also, a bunch of TCUes incoming from the south. it's gonna hit hard, if it does.
20:06:10 <olsner> now that I've checked what those cow powers are, I realized why I forgot about it since last time I checked
20:06:44 <olsner> fungot: what do you do to get rid of information you no longer need?
20:06:44 <fungot> olsner: emacs lisp for a while
20:06:59 <boily> Ō_Ō.
20:07:21 <fizzie> ~metar EFHK
20:07:22 <metasepia> EFHK 011950Z 30005KT 9999 -RA FEW008 OVC060 12/11 Q1010 NOSIG
20:07:26 <fizzie> 12 here.
20:07:53 <fizzie> They're saying twenty (20!) next week, though.
20:08:36 <int-e> ~metar LOWI
20:08:36 <metasepia> LOWI 011950Z 27003KT 230V290 9999 FEW060 BKN100 15/13 Q1018 NOSIG
20:08:49 <int-e> 26 yesterday, 20 today
20:09:08 <olsner> the other day they were saying that the russian heat is coming in, followed by the russian cold
20:09:30 <fizzie> `addquote <olsner> fungot: what do you do to get rid of information you no longer need?  <fungot> olsner: emacs lisp for a while
20:09:30 <fungot> fizzie: i could never manage to use it as described in sicp to support backtracking, but it
20:09:31 <HackEgo> 1209) <olsner> fungot: what do you do to get rid of information you no longer need?  <fungot> olsner: emacs lisp for a while
20:09:46 <olsner> fungot: but it?
20:09:46 <fungot> olsner: yubn etc i mean that you are still up since the fnord and their ilk. if you wrote fnord for three hours. great way to represent lists until you have one? does danvy have one?
20:11:38 <boily> fungot: what's a yubn?
20:11:38 <fungot> boily: your keyboard does not know any better.
20:12:03 <boily> fungot: seems like yours neither, you fungot.
20:12:04 <fungot> boily: but i'm pretty much like some secluded grove. just say your grandmother is a pretty odd thing to say...
20:12:08 -!- MindlessDrone has quit (Quit: MindlessDrone).
20:13:37 <fizzie> Secluded grove is a very good description of fungot.
20:13:38 <fungot> fizzie: it would rock even more if i could
20:14:02 <fizzie> Oh, if only.
20:14:34 <quintopia> ahoily!
20:15:34 <quintopia> do you ever visit the west coast?
20:16:00 <myname> what to do on cyclic dependencies in haskell modules?
20:16:12 <olsner> wait for backpack
20:16:19 <olsner> use hs-boot files?
20:16:20 <Taneb> Break out the loop!
20:16:20 <int-e> write .hs-boot files
20:16:29 <myname> int-e: i.e.?
20:16:29 <olsner> despair!
20:16:31 <elliott> backpack?
20:16:46 <olsner> it's apparently a new module system being developed in ghc
20:16:53 -!- mhi^ has joined.
20:17:00 <olsner> or an extension to the existing one, I guess
20:17:47 <boily> quintopia: I went once, in... eh...
20:17:58 * boily counts on his fingers
20:17:59 <int-e> https://www.haskell.org/ghc/docs/7.8.2/html/users_guide/separate-compilation.html#mutual-recursion
20:18:03 <int-e> myname: ^^
20:18:10 <boily> quintopia: I think it was in '98.
20:18:25 <Taneb> Oh wow, I have friends who live on the West Coast now, in like Liverpool
20:19:14 <olsner> boily: you must have a lot of fingers
20:20:21 <quintopia> olsner: he has more than enough knuckles
20:20:29 <olsner> myname: more seriously, just change the code so that there are no dependency loops
20:21:02 <myname> easier said than doen
20:21:53 <elliott> usually easily done, too, it's just ugly
20:21:54 <quintopia> boily: that was a long time ago. you should go again.
20:21:55 <myname> obviously, ghc is not mart enough to build boot files itself
20:22:58 <boily> olsner: I only use some at a time. I keep others filed in a cabinet.
20:23:35 <quintopia> boily: i could use some more. can you mail me a few?
20:24:04 -!- mihow has quit (Quit: mihow).
20:24:21 <boily> I wonder if customs consider spare human fingers to be in the same category as yak cheese...
20:25:12 <quintopia> i doubt they'll notice
20:27:18 <quintopia> I'mma  do NaNoGenMo this month
20:27:40 <Taneb> NaNoGenMo?
20:27:51 <Taneb> National Novel Generation Month?
20:27:54 <quintopia> ya
20:27:59 <quintopia> see that
20:28:04 <quintopia> it was a public commitment
20:28:06 <quintopia> i have to now
20:28:16 <olsner> boily: I do believe human remains (usually) have special custom rules
20:28:20 <Taneb> Is that a computer generated novel?
20:29:18 <quintopia> Dial R for Ravens is a computer-generated novel!
20:32:07 <Bicyclidine> i like this contest already.
20:36:02 <HackEgo> [wiki] [[User:Rdebath]]  http://esolangs.org/w/index.php?diff=40007&oldid=39886 * Rdebath * (+5641) /* Performance Matrix */
20:37:09 <quintopia> oh a performance matrix update!
20:39:38 -!- Patashu has joined.
20:43:44 <Taneb> Performance matrix of solidity?
20:45:12 <quintopia> yes
20:45:22 <quintopia> it's the best performance matrix on the wki
20:47:02 <Taneb> Oh yes, that thing
20:47:31 <Taneb> I must confess I have not been paying too much attention to the the wiki recently
20:50:51 <ion> The four simultaneous matrices of solidity in each rotation
21:03:14 -!- roark has joined.
21:05:11 -!- roark has quit (Client Quit).
21:10:25 -!- conehead has joined.
21:25:11 -!- Patashu has quit (Ping timeout: 248 seconds).
21:44:12 -!- variable has joined.
21:44:14 -!- oerjan has joined.
21:55:15 <HackEgo> [wiki] [[Language list]]  http://esolangs.org/w/index.php?diff=40008&oldid=39996 * 137.69.117.54 * (+11) Added Pyth
21:57:08 * oerjan is drawing a blank at the most recent yafgc comic.
21:59:30 <oerjan> hm the forum seems still to be working
21:59:38 * oerjan hasn't visited that before
22:00:36 <Taneb> I need more trousers
22:01:01 <oerjan> "When I try to go to the comic page, I get a lovingly rendered image of a polar bear eating vanilla ice cream in a snowdrift..."
22:01:16 <oerjan> sounds about right
22:05:13 <Melvar> > [| 0 |]
22:05:14 <lambdabot>  <hint>:1:2: parse error on input ‘|’
22:05:55 <Melvar> ( `(0)
22:05:55 <idris-bot> App (App (App (P Ref
22:05:56 <idris-bot>                  (NS (UN "fromInteger") ["Classes", "Prelude"])
22:05:56 <idris-bot>                  (Bind (UN "a")
22:05:56 <idris-bot>                        (Pi (TType (UVar -1)))
22:05:56 <idris-bot>                        (Bind (UN "class") (Pi (App (P (TCon 144 1) (NS (UN "Num") ["Classes", "Prelude"]) Erased) (V 0))) (Bind (UN "__pi_arg") (Pi (TConst BIType)) (V 2)))))↵…
22:06:30 <oerjan> are you trying to find the most expansive command
22:06:50 <Melvar> No.
22:07:20 <Melvar> ( (\`(fromInteger ~n) => n) `(0)
22:07:20 <idris-bot> (input):1:27:When elaborating an application of constructor __infer:
22:07:20 <idris-bot>         No such variable scty
22:07:31 <Bicyclidine> ( `
22:07:31 <idris-bot> (input):1:1: error: no implicit
22:07:31 <idris-bot>     arguments allowed
22:07:31 <idris-bot>     here, expected: ":",
22:07:31 <idris-bot>     dependent type signature,
22:07:31 <idris-bot>     end of input↵…
22:08:08 <Melvar> `( ) is a quasiquotation, since a few days ago.
22:08:08 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: (: not found
22:08:28 <Melvar> ( `(())
22:08:29 <idris-bot> P (DCon 0 0) (MN 0 "__II") (P (TCon 0 0) (MN 0 "__Unit") (TType (UVar 6))) : TT
22:08:37 <Bicyclidine> ( `(`(0))
22:08:37 <idris-bot> (input):1:3: error: no implicit
22:08:37 <idris-bot>     arguments allowed
22:08:37 <idris-bot>     here, expected: dependent type signature
22:08:37 <idris-bot> `(`(0))<EOF> 
22:08:37 <idris-bot>   ^          
22:08:38 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: (`(0))<EOF>: not found
22:08:49 <Bicyclidine> tsk.
22:09:59 -!- conehead has quit (Quit: Computer has gone to sleep).
22:10:12 -!- sebbu2 has quit (Ping timeout: 255 seconds).
22:10:21 <Melvar> Indeed. The guy when questioned didn’t manage to come up with a reason that nested quasiquotes shouldn’t work. But for now they don’t.
22:10:38 <Bicyclidine> this is probably the most verbose quotation i've ever seen
22:14:04 -!- sebbu has joined.
22:14:04 -!- sebbu has quit (Changing host).
22:14:04 -!- sebbu has joined.
22:14:09 <Melvar> It’s the compiler’s internal representation of terms, with all the types and implicit arguments and universe levels and other cruft filled in properly.
22:15:02 <Bicyclidine> representation of syntax might be more... usable, is all
22:17:02 <Melvar> Not for the usecase this is for, apparently.
22:17:40 <Bicyclidine> what's that?
22:20:04 -!- conehead has joined.
22:21:28 -!- augur_ has quit (Remote host closed the connection).
22:25:09 <Melvar> There are a couple of things that allow you to use idris functions on reflected terms for compiler things, but pattern matching on the reflected terms is painful, so now we have quasiquotations to make it easy.
22:31:04 <boily> ~eval "Does it work? One two one two chicken"
22:31:05 <metasepia> "Does it work? One two one two chicken"
22:31:14 <boily> yé ^^
22:31:40 <Melvar> ( `(())
22:31:41 <idris-bot> P (DCon 0 0) (MN 0 "__II") (P (TCon 0 0) (MN 0 "__Unit") (TType (UVar 6))) : TT
22:31:49 <Melvar> ( `(() : Type)
22:31:49 <idris-bot> P (TCon 7 0) (MN 0 "__Unit") (TType (UVar 6)) : TT
22:33:03 -!- conehead has quit (Quit: Computer has gone to sleep).
22:33:21 <Melvar> If we used surface syntax, overloaded things might also pose a bit of a problem.
22:38:44 <HackEgo> [wiki] [[Smallfuck]]  http://esolangs.org/w/index.php?diff=40009&oldid=23595 * Oerjan * (-59) Remove erroneous TC categories, there has been plenty of discussion why this is _not_ TC
22:46:03 <HackEgo> [wiki] [[Talk:Braktif]]  http://esolangs.org/w/index.php?diff=40010&oldid=39969 * Oerjan * (+450) /* Turing complete etc */ Never meant to be TC
22:53:13 <oerjan> ironically, the HackEgo announcements seem to have made me visit the wiki less often because now i don't have to do so just to know if there is spam...
22:58:56 -!- Sgeo has joined.
23:07:23 <HackEgo> [wiki] [[Pyth]]  http://esolangs.org/w/index.php?diff=40011&oldid=40001 * Oerjan * (+20) some proofreading
23:16:12 -!- Froox has joined.
23:16:15 -!- Frooxius has quit (Read error: Connection reset by peer).
23:17:42 -!- aloril has quit (Ping timeout: 255 seconds).
23:37:50 <Taneb> Dryers!
23:37:54 <Taneb> They dry things!
23:37:55 <Taneb> Wow!
23:38:56 <Taneb> (this is genuine excitement)
23:39:02 <Taneb> (I've never used a dryer before
23:39:02 <Taneb> )
23:40:08 <Bicyclidine> how did you dry clothes before?
23:40:15 <Taneb> With a clothes horse
23:40:15 <oerjan> <myname> what do i have to do to re-export methods from an imported module in haskell? <-- module ImportingModule (..., module ImportedModule, ...) where import ImportedModule; ...
23:40:19 <oerjan> iirc
23:40:34 <oerjan> "horse"?
23:40:40 <Taneb> http://en.wikipedia.org/wiki/Clothes_horse
23:40:51 <Taneb> oerjan, idk, it's what they're called
23:41:19 <oerjan> ic.  well the first google image looks similar to what i use, anyway
23:41:48 <oerjan> or well not quite, my corrent one doesn't have crossed legs
23:41:52 <oerjan> *current
23:43:11 <oerjan> @tell myname <myname> what do i have to do to re-export methods from an imported module in haskell? <-- module ImportingModule (..., module ImportedModule, ...) where import ImportedModule; ...
23:43:11 <lambdabot> Consider it noted.
23:48:14 <oerjan> in my childhood home we had a homemade drying cabinet, i think that was pretty unusual
23:49:07 -!- MDream has changed nick to MDude.
23:49:20 <boily> Taneb: you decadent bourgeois! you are oppressing me, a honest worker with only a clothesline, with your dryerness!
23:50:12 <Taneb> boily, I have saved up all my life for this opportunity! How dare you invalidate my efforts?
23:51:04 <boily> I don't believe in driers!
23:51:14 <boily> (I'm also jealous, but that's besides the point.)
23:56:05 <oerjan> ~metar ENVA
23:56:06 <metasepia> ENVA 012320Z VRB02KT CAVOK 10/08 Q1017 RMK WIND 670FT 34004KT
23:56:53 <boily> ~metar CYUL
23:56:54 <metasepia> CYUL 012300Z 22015KT 15SM FEW030 FEW120 BKN220 30/21 A2959 RMK CU1AC1CI4 CU TR TCU ASOCTD SLP019 DENSITY ALT 2200FT
23:56:59 <oerjan> ARGH
23:57:06 <boily> argh?
23:57:29 * boily heimlichly mapoles oerjan, as he seem to be chocking on some foreign body
23:57:31 <oerjan> 30 degrees is not healthy for a norwegian
23:57:41 <boily> eh, it's down from 31!
23:57:45 <oerjan> foreign weather, to be precise
23:57:48 <zzo38> Some people play Washizu mahjong with only the transparent tiles and ignoring the teams and hitpoints, although I think the teams and hitpoints is important to this game too, as well as the transparent tiles.
23:58:12 <zzo38> If you are playing stud poker, then most of your cards can be seen by other people, too.
23:59:29 <oerjan> <boily> fungotting thirty one. July 1st. we're going to have one hell of a hot summer... <-- i'm sorry, but that's the only way to get you north americans to take global warming seriously hth
23:59:29 <fungot> oerjan: but yeah, depends on coding style.