←2015-08-07 2015-08-08 2015-08-09→ ↑2015 ↑all
00:00:44 -!- tromp has quit (Remote host closed the connection).
00:02:15 -!- tromp has joined.
00:19:48 -!- heroux has quit (Ping timeout: 244 seconds).
00:21:10 -!- GeekDude has joined.
00:21:49 -!- heroux has joined.
00:27:42 -!- mihow has quit (Quit: mihow).
00:37:45 -!- tromp has quit (Remote host closed the connection).
00:49:11 -!- gde33 has quit (Ping timeout: 256 seconds).
01:04:39 -!- Wallacoloo has joined.
01:20:01 -!- Phantom__Hoover has joined.
01:22:10 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
01:24:21 -!- Phantom_Hoover has joined.
01:26:37 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds).
01:38:20 -!- tromp has joined.
01:42:28 -!- tromp has quit (Ping timeout: 244 seconds).
01:44:20 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:00:09 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
02:01:28 -!- rg_ has joined.
02:02:49 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
02:18:13 -!- variable has joined.
02:35:14 -!- grotewold has joined.
02:39:46 -!- tromp has joined.
02:43:50 -!- tromp has quit (Ping timeout: 240 seconds).
02:50:22 -!- ais523 has quit.
02:52:14 -!- Froox has joined.
02:52:54 -!- grotewold has quit (Quit: ZZZzzz…).
03:02:24 -!- grotewold has joined.
03:04:01 -!- Frooxius has joined.
03:08:09 -!- Froox has quit (Ping timeout: 265 seconds).
03:10:44 -!- wtm_iphone has joined.
03:11:14 -!- wtm_iphone has left.
03:18:34 -!- Frooxius has quit (Ping timeout: 244 seconds).
03:20:35 -!- Frooxius has joined.
03:29:41 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
03:43:25 -!- _256Q has quit (Read error: Connection reset by peer).
03:43:46 -!- Wright_ has quit (Read error: Connection reset by peer).
03:43:58 -!- Wright has joined.
03:51:39 -!- heroux has quit (Ping timeout: 256 seconds).
03:53:22 -!- heroux has joined.
04:12:03 -!- variable has quit (Ping timeout: 256 seconds).
04:19:26 -!- wtm_iphone has joined.
04:21:15 -!- wtm_iphone has quit (Remote host closed the connection).
04:35:55 -!- grotewold has quit (Quit: ZZZzzz…).
04:37:41 -!- grotewold has joined.
04:50:01 -!- Sgeo has quit (Read error: Connection reset by peer).
04:51:43 -!- Sgeo has joined.
05:05:35 -!- grotewold has quit (Quit: ZZZzzz…).
05:22:18 -!- Frooxius has quit (Ping timeout: 255 seconds).
05:26:12 -!- Frooxius has joined.
05:27:30 -!- tromp has joined.
05:32:04 -!- tromp has quit (Ping timeout: 272 seconds).
05:32:38 -!- hppavilion[1] has joined.
05:33:30 <hppavilion[1]> Hellu
05:41:49 -!- Froox has joined.
05:44:19 -!- Frooxius has quit (Ping timeout: 246 seconds).
05:45:24 -!- EgoBot has quit (Ping timeout: 264 seconds).
05:45:24 -!- Gregor has quit (Ping timeout: 264 seconds).
05:45:33 -!- Gregor has joined.
05:46:00 -!- Frooxius has joined.
05:46:36 -!- shachaf has quit (Ping timeout: 264 seconds).
05:47:21 -!- EgoBot has joined.
05:48:04 <hppavilion[1]> I want to see an esolang with a unary * and /
05:48:05 -!- shachaf has joined.
05:48:10 -!- Froox has quit (Ping timeout: 246 seconds).
05:49:37 <zzo38> There is Gweled game package, but I prefer the Gameboy Advance game "gemini" (look on pdroms and elsewhere; the ROM image is freely available) under mednafen
05:50:28 -!- Frooxius has quit (Ping timeout: 244 seconds).
05:50:47 -!- Frooxius has joined.
05:53:06 -!- lambdabot has quit (Ping timeout: 240 seconds).
05:53:48 -!- Wright has quit (Ping timeout: 264 seconds).
05:54:06 -!- FireFly has quit (Ping timeout: 240 seconds).
05:54:14 -!- Gregor has quit (Ping timeout: 272 seconds).
05:54:26 -!- shachaf has quit (Ping timeout: 240 seconds).
05:54:26 -!- t3cora has quit (Ping timeout: 240 seconds).
05:55:33 -!- shachaf has joined.
05:58:06 -!- Gregor has joined.
05:59:31 -!- lambdabot has joined.
06:02:09 -!- t3cora has joined.
06:11:10 -!- ais523 has joined.
06:11:44 -!- FireFly has joined.
06:12:45 -!- Wallacoloo has quit (Quit: Leaving.).
06:47:22 -!- MDude has changed nick to MDream.
06:50:40 -!- J_A_Work has joined.
07:08:16 <hppavilion[1]> Anybody online?
07:08:31 <zgrep> No.
07:13:04 <zzo38> I am on, do you have any questions or complaints please?
07:13:41 <Aearnus_> hiya hppavilion[1]
07:13:54 <hppavilion[1]> Hellu
07:14:03 <hppavilion[1]> Unary * and /
07:14:09 <hppavilion[1]> someone needs to make that happen
07:14:17 <Aearnus_> that do?
07:14:24 <Aearnus_> would / be reciprocal or something?
07:14:53 <hppavilion[1]> IDK
07:15:05 <hppavilion[1]> Maybe they'd be for imaginary numbers?
07:17:24 <Sgeo> Can I complain about Perl6's questionable decision to have truthy/falsey non-Bool items in 'when' and other implicitly smartmatched places to be likely to do the wrong thing?
07:19:25 <hppavilion[1]> You can
07:19:28 <hppavilion[1]> Do you want to?
07:19:36 <Aearnus_> perl6 as a whole is a questionable decision
07:19:52 <Sgeo> Aearnus_, how so?
07:20:49 <Aearnus_> there's just no point
07:20:56 <Aearnus_> perl5 is a good enough language itself
07:21:12 <Aearnus_> it's like the transition from python2 -> python3 but without the incentive of moving to python3
07:21:40 <Sgeo> I can't stand looking at Perl5 but Perl6 fascinates me
07:21:55 <Aearnus_> it's definitely nice as a standalone langauge
07:22:02 <Aearnus_> but it's no successor to perl5
07:22:10 <zgrep> No. It's a completely different language.
07:22:19 <zgrep> Well, "completely".
07:36:07 <HackEgo> [wiki] [[Talk:ZOWIE]] http://esolangs.org/w/index.php?diff=43704&oldid=34572 * Rdebath * (+856) /* Turing completeness */ new section
07:46:00 <HackEgo> [wiki] [[Brainfuck constants/Crunchfuck]] http://esolangs.org/w/index.php?diff=43705&oldid=33103 * Rdebath * (+14307) Finalise.
08:02:01 -!- heroux has quit (Ping timeout: 265 seconds).
08:03:31 -!- heroux has joined.
08:04:26 -!- Frooxius has quit (Ping timeout: 265 seconds).
08:05:39 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
08:28:47 -!- Frooxius has joined.
09:40:15 -!- |f`-`|f has quit (Read error: Connection reset by peer).
09:41:25 -!- nortti has joined.
09:48:23 -!- heroux has quit (Ping timeout: 246 seconds).
09:50:26 -!- heroux has joined.
10:04:27 -!- nortti has quit (Quit: My microwave oven blew the fuse).
10:16:20 -!- Froox has joined.
10:17:30 -!- Frooxius has quit (Ping timeout: 255 seconds).
10:19:45 -!- quietello has joined.
10:36:11 -!- boily has joined.
10:37:34 <boily> @tell oerjan ヘロリュアン
10:37:34 <lambdabot> Consider it noted.
10:40:47 <b_jonas> hmm...
10:47:37 <boily> b_jellonas.
10:48:06 <boily> I may not be exactly at maximum mental abilities. it will get worse during the day.
10:48:18 <boily> no alcohol is involved, only a convention.
10:48:39 <boily> http://www.otakuthon.com/2015/home/
10:49:30 <b_jonas> oh, there's an anime convention too?
10:49:41 <b_jonas> I guess it's summer and convention session
10:50:18 <b_jonas> in here the Sziget fesztivál is about to start, just when I leave for vacation
10:50:45 <b_jonas> so I think I'll leave lots of people arriving on the airport when I'm leaving
10:50:50 <b_jonas> there might be lots of chaos
10:51:41 -!- heroux has quit (Ping timeout: 244 seconds).
10:53:33 -!- heroux has joined.
10:54:20 -!- Phantom_Hoover has joined.
10:58:25 -!- heroux has quit (Ping timeout: 252 seconds).
10:59:22 -!- heroux has joined.
11:03:39 <zzo38> This year I did not go to anime convention but maybe next year I might
11:04:29 <b_jonas> there's also apparently a My Little Pony convention going on right now in US-MD
11:08:31 <boily> hezzo38.
11:15:50 -!- heroux has quit (Ping timeout: 245 seconds).
11:26:13 -!- J_A_Work has quit (Quit: J_A_Work).
11:31:08 -!- heroux has joined.
11:42:13 <shachaf> zzo38: Are you going to ICFP?
11:45:03 -!- J_A_Work has joined.
11:46:32 <boily> `` culprits wisdom/maur
11:46:40 <HackEgo> No output.
11:46:45 <boily> ...?
11:46:51 <boily> say what?
11:48:05 <boily> oh. missing two letters. nothing wrong here.
11:49:35 <zzo38> shachaf: I haven't registered; is that necessary?
11:57:31 <shachaf> zzo38: Yes, and there's a fee.
12:05:50 -!- heroux has quit (Ping timeout: 245 seconds).
12:07:49 -!- heroux has joined.
12:14:16 -!- |f`-`|f has joined.
12:19:46 <Melvar> `wisdom idris
12:19:49 <HackEgo> find: `wisdom/*idris*': No such file or directory \ /cat: : No such file or directory
12:20:00 <Melvar> `? idris
12:20:03 <HackEgo> idris? ¯\(°​_o)/¯
12:20:13 <Melvar> (Whoops, got confused about the commands.)
12:20:44 -!- boily has quit (Quit: 怖い鶏).
12:28:08 <HackEgo> [wiki] [[InDec]] http://esolangs.org/w/index.php?diff=43706&oldid=38237 * Rdebath * (-29) Language is not Turing complete as there is no way to add memory (eg: tape, stack, linked lists or arrays)
12:32:57 <HackEgo> [wiki] [[ZeptoBasic]] http://esolangs.org/w/index.php?diff=43707&oldid=35145 * Rdebath * (+29) Add TC category
12:35:11 -!- J_A_Work has quit (Quit: J_A_Work).
12:46:40 <b_jonas> Oh, an important question,
12:46:57 <b_jonas> can you point me to a good description of how to make and work with partial clones in git?
12:47:29 <b_jonas> It's supposed to be possible, but the git high-level interfaces are crazy, and I have trouble with even simpler commands than this.
12:47:58 -!- J_A_Work has joined.
13:02:15 -!- Wright has joined.
13:13:36 -!- rg_ has joined.
13:17:10 -!- Patashu has quit (Ping timeout: 240 seconds).
13:36:34 <tswett> Heveryllone.
13:37:22 -!- tromp has joined.
13:44:10 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
13:47:41 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
13:52:40 -!- E7D4A1B8 has quit (Read error: Connection reset by peer).
13:53:01 -!- E7D4A1B8 has joined.
13:56:00 <int-e> hmm, everalone
14:03:33 <Jafet> Please, fungot, sing to me a song
14:03:34 <fungot> Jafet: that is, if the jump is not the problem :p
14:03:57 -!- |f`-`|f_ has joined.
14:05:02 <Jafet> The char-rnn code seems to be quite delicate. One training pass can increase the validation error from 2 to 50.
14:05:59 -!- |f`-`|f has quit (Ping timeout: 245 seconds).
14:06:06 -!- |f`-`|f_ has changed nick to |f`-`|f.
14:09:26 -!- Wright_ has joined.
14:10:38 -!- Wright has quit (Ping timeout: 245 seconds).
14:13:04 -!- E7D4A1B8 has quit (Quit: Leaving).
14:15:51 -!- Wright has joined.
14:18:13 -!- Wright_ has quit (Read error: Connection reset by peer).
14:24:27 -!- Phantom_Hoover has joined.
14:30:00 -!- vodkode has joined.
14:38:45 -!- rg_ has joined.
14:41:43 -!- heroux has quit (Ping timeout: 252 seconds).
14:42:23 -!- rg_ has quit (Client Quit).
14:43:04 -!- ais523 has quit.
14:43:33 -!- heroux has joined.
14:50:06 -!- heroux has quit (Ping timeout: 240 seconds).
14:51:16 -!- heroux has joined.
14:51:25 -!- Froox has quit (Ping timeout: 244 seconds).
15:00:17 -!- milky has joined.
15:06:00 -!- llue has joined.
15:08:57 -!- lleu has quit (Ping timeout: 250 seconds).
15:14:23 -!- milky has left ("Textual IRC Client: www.textualapp.com").
15:15:50 -!- heroux has quit (Ping timeout: 245 seconds).
15:17:46 -!- heroux has joined.
15:21:11 -!- lambdabot has quit (Read error: Connection reset by peer).
15:24:08 -!- gonad has joined.
15:30:43 -!- llue has quit (Ping timeout: 260 seconds).
15:31:12 -!- lambdabot has joined.
15:37:19 -!- grotewold has joined.
15:57:55 -!- J_A_Work has quit (Quit: J_A_Work).
16:02:24 -!- rg_ has joined.
16:12:01 -!- SopaXorzTaker has joined.
16:25:25 -!- lambdabot has quit (Ping timeout: 245 seconds).
16:27:16 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
16:31:24 -!- lambdabot has joined.
16:37:02 -!- oerjan has joined.
16:37:23 -!- rg_ has joined.
16:37:29 <oerjan> @messages-
16:37:29 <lambdabot> boily said 5h 59m 54s ago: ヘロリュアン
16:39:50 -!- maarten_ has joined.
16:50:45 <oerjan> "Thus we"
16:50:46 <oerjan> steal a technique from Shachaf and Edward Kmett and adapt it to the current
16:50:48 <oerjan> (rather clean) setting.
16:50:58 <oerjan> stupid irssi paste
16:52:17 -!- MDream has changed nick to MDude.
16:59:44 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
17:06:31 -!- rg_ has joined.
17:08:37 <oerjan> wtf is github running a ridiculously heavy script when i'm trying to browse sources
17:09:53 -!- SopaXorzTaker has quit (Ping timeout: 244 seconds).
17:12:17 -!- rg_ has quit (Read error: Connection reset by peer).
17:12:23 -!- rg__ has joined.
17:14:07 -!- rg__ has quit (Client Quit).
17:18:14 -!- rg_ has joined.
17:36:43 -!- maarten_ has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Nine out of ten l33t h4x0rz prefer it).
17:53:12 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
17:57:25 -!- heroux has quit (Ping timeout: 244 seconds).
17:59:29 -!- heroux has joined.
18:09:47 -!- grotewold has quit (Quit: ZZZzzz…).
18:25:04 <shachaf> oerjan: help what are you stealing
18:28:54 <oerjan> shachaf: the #. operator hth
18:29:15 <oerjan> technically, ghc stole it
18:30:13 -!- heroux has quit (Ping timeout: 246 seconds).
18:30:30 <oerjan> https://downloads.haskell.org/~ghc/7.10.2/docs/html/libraries/base-4.8.1.0/src/Data-Foldable.html#line-447
18:32:07 -!- heroux has joined.
18:34:47 -!- rdococ has joined.
18:39:55 -!- rg_ has joined.
18:40:47 -!- rdococ has quit (Read error: Connection reset by peer).
18:50:39 -!- rdococ has joined.
18:52:43 <edwardk> oerjan: ah yeah
18:57:28 <oerjan> edwardk: btw is there some reason why ghc can't have rank n constraints?
18:57:36 <oerjan> or rank 2, at least
18:59:12 <oerjan> oh found an SO question i hadn't seen about it
18:59:18 -!- grotewold has joined.
19:02:37 <oerjan> (which you've answered, naturally)
19:05:35 -!- grotewold has quit (Quit: welp, see you later.).
19:12:41 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
19:26:58 <oerjan> infixl 1 \\ -- required comment
19:27:09 <oerjan> is that only required because the module uses CPP?
19:27:29 <oerjan> and so the final \ might be confused with line continuation
19:28:29 -!- variable has joined.
19:28:37 <oerjan> http://hackage.haskell.org/package/constraints-0.4.1.3/docs/src/Data-Constraint.html#%5C%5C
19:32:06 <oerjan> CPP definitely triggers an error without it...
19:36:34 <edwardk> oerjan that is exactly why it is required =)
19:54:41 <oerjan> edwardk: why in the world did they make it so you can deduce () has the kind Constraint without doing the same for (,) ...
19:55:27 <Taneb> oerjan, because (,) :: Constraint -> Constraint -> Constraint! Not Constraint! :P
19:55:40 * oerjan swats Taneb -----###
19:56:02 <Taneb> I had that coming
19:56:07 <oerjan> yep
19:56:30 <oerjan> there's an obvious answer, but it's not a good one.
19:56:53 <oerjan> (there are no constraint arguments in (), so they couldn't use the same hack)
20:00:37 <Taneb> Yay now I have two websites I am not using
20:05:40 <Sgeo> I wonder what lens-like stuff can be replicated in Perl6 and what can't
20:06:26 <Sgeo> Perl 6 has Proxies which when bound to a variable can change the meaning of assignment to and reading from that variable. Currently it seems to be FETCH/STORE, so I don't think a Setter can be made
20:07:16 <Sgeo> Perl 6 method call syntax does not rely on the invocant actually knowing about the called method, e.g. $foo.&say will call the say function that is in scope on $foo
20:07:36 <Sgeo> (WHereas $foo.say would look up say in terms of what $foo can do, or something)
20:09:39 <shachaf> oerjan: sigh, i wish that person would stop interacting with me
20:10:22 * shachaf is in maximum grouch mode
20:31:10 <oerjan> /ignore ?
20:32:10 -!- Frooxius has joined.
20:32:51 -!- TieSoul has quit (Read error: Connection reset by peer).
20:35:44 <shachaf> if only
20:39:00 -!- rg_ has joined.
20:42:56 -!- variable has quit (Ping timeout: 250 seconds).
20:45:42 -!- rg_ has quit (Read error: Connection reset by peer).
20:45:48 -!- rg__ has joined.
20:46:40 -!- heroux has quit (Ping timeout: 245 seconds).
20:47:48 <oerjan> @tell edwardk instance {-# OVERLAPPING #-} (f (Eq()) (Eq()) ~ (Eq(),Eq())) => Test f --
20:47:48 <lambdabot> Consider it noted.
20:47:56 <oerjan> oops
20:48:27 <oerjan> he narrowly avoided a hth there
20:48:29 -!- heroux has joined.
20:49:12 -!- tromp has quit (Remote host closed the connection).
20:49:21 <Taneb> How lucky
20:49:58 <oerjan> that's the best way i've thought of to define an instance for it
20:50:18 <oerjan> i think it might even work, sort of
20:51:24 <oerjan> (well it worked in a trivial test)
20:52:33 <oerjan> @tell edwardk oops, * {-# OVERLAPPABLE #-}
20:52:33 <lambdabot> Consider it noted.
20:57:17 -!- heroux has quit (Ping timeout: 265 seconds).
20:58:20 -!- heroux has joined.
21:05:00 -!- heroux has quit (Ping timeout: 245 seconds).
21:13:02 -!- heroux has joined.
21:35:18 -!- rg__ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
21:37:05 -!- atrapado has joined.
21:42:08 -!- gonad has quit (Quit: That's what she said).
21:42:29 -!- lleu has joined.
21:42:29 -!- lleu has quit (Changing host).
21:42:29 -!- lleu has joined.
21:42:40 -!- oerjan has quit (Quit: NNNN).
21:49:45 -!- tromp has joined.
21:54:27 -!- tromp has quit (Ping timeout: 260 seconds).
22:03:40 -!- J_A_Work has joined.
22:11:57 -!- atrapado has quit (Quit: Leaving).
22:16:15 -!- J_A_Work has quit (Ping timeout: 245 seconds).
22:16:42 -!- J_A_Work has joined.
22:21:48 <edwardk> oerjan: i mentioned the superkind tricks for fixing (,) :: Constraint -> Constraint -> Constraint right?
22:22:33 <edwardk> sadly given that it interacts weirdly with things like eisenberg's efforts to get us dependent types i don't see it happening
22:25:34 -!- heroux has quit (Ping timeout: 244 seconds).
22:25:55 -!- vodkode has quit (Quit: Leaving).
22:27:17 -!- heroux has joined.
22:31:00 -!- Frooxius has quit (Ping timeout: 255 seconds).
22:31:41 <HackEgo> [wiki] [[Ultimate Programming Language to Take Over a Prison, Then He World]] N http://esolangs.org/w/index.php?oldid=43708 * Iisu * (+2922) Language overview
22:34:33 <HackEgo> [wiki] [[Ultimate Programming Language to Take Over a Prison, Then He World]] http://esolangs.org/w/index.php?diff=43709&oldid=43708 * Iisu * (-52)
22:34:46 -!- heroux has quit (Ping timeout: 240 seconds).
22:35:59 -!- heroux has joined.
23:05:34 -!- GeekDude has joined.
23:05:55 -!- Frooxius has joined.
23:06:38 -!- milky has joined.
23:06:40 -!- heroux has quit (Ping timeout: 245 seconds).
23:07:38 -!- milky has left ("Textual IRC Client: www.textualapp.com").
23:08:37 -!- heroux has joined.
23:11:24 -!- J_A_Work has quit (Quit: J_A_Work).
23:18:26 -!- Patashu has joined.
23:20:41 -!- heroux has quit (Ping timeout: 256 seconds).
23:21:19 -!- heroux has joined.
23:24:39 <HackEgo> [wiki] [[Ultimate Programming Language to Take Over a Prison, Then He World]] http://esolangs.org/w/index.php?diff=43710&oldid=43709 * Iisu * (+9)
23:25:58 <HackEgo> [wiki] [[Ultimate Programming Language to Take Over a Prison, Then He World]] http://esolangs.org/w/index.php?diff=43711&oldid=43710 * Iisu * (-9) Fixed logical error in the description of respect.
23:26:29 <HackEgo> [wiki] [[Ultimate Programming Language to Take Over a Prison, Then He World]] http://esolangs.org/w/index.php?diff=43712&oldid=43711 * Iisu * (+9)
23:42:05 -!- heroux has quit (Ping timeout: 245 seconds).
23:43:45 -!- heroux has joined.
←2015-08-07 2015-08-08 2015-08-09→ ↑2015 ↑all