00:04:00 -!- tromp has joined.
00:18:26 -!- rg_ has joined.
00:19:03 -!- Frooxius has quit (Ping timeout: 256 seconds).
00:20:39 -!- rg_ has quit (Read error: Connection reset by peer).
00:21:16 -!- rg_ has joined.
00:21:55 -!- tromp has quit (Remote host closed the connection).
00:29:53 -!- Frooxius has joined.
00:37:55 -!- tromp has joined.
00:52:38 -!- tromp has quit (Remote host closed the connection).
00:53:00 -!- tromp has joined.
00:56:26 -!- Frooxius has quit (Ping timeout: 244 seconds).
01:02:09 -!- Wright has quit (Read error: Connection reset by peer).
01:02:26 -!- Wright has joined.
01:08:03 -!- rg_ has quit (Read error: Connection reset by peer).
01:08:41 -!- rg_ has joined.
01:19:59 -!- tromp has quit (Remote host closed the connection).
01:24:44 -!- Tod-Autojoined has joined.
01:25:22 -!- TodPunk has quit (Read error: Connection reset by peer).
01:30:14 -!- Tod-Autojoined has changed nick to TodPunk.
02:02:40 -!- rg_ has quit (Quit: Textual IRC Client: www.textualapp.com).
02:09:33 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
02:20:43 -!- a21 has joined.
02:20:51 -!- tromp has joined.
02:25:21 -!- tromp has quit (Ping timeout: 252 seconds).
02:26:52 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:49:13 -!- heroux has quit (Ping timeout: 256 seconds).
02:50:56 -!- heroux has joined.
03:03:14 -!- heroux has quit (Ping timeout: 260 seconds).
03:03:47 -!- heroux has joined.
03:28:20 -!- heroux has quit (Ping timeout: 245 seconds).
03:30:25 -!- heroux has joined.
03:35:56 -!- tromp has joined.
03:45:39 -!- heroux has quit (Ping timeout: 252 seconds).
03:46:27 -!- heroux has joined.
04:06:48 -!- tromp has quit (Remote host closed the connection).
04:22:17 -!- Frooxius has joined.
05:07:18 -!- tromp has joined.
05:11:25 -!- tromp has quit (Ping timeout: 246 seconds).
05:14:51 <zzo38> How do I make a backslash in a .IP command in a man page?
05:51:32 -!- rg_ has joined.
05:58:04 <zzo38> I tried that and it does not work; I get a blank space
06:08:57 -!- tromp has joined.
06:13:09 -!- tromp has quit (Ping timeout: 244 seconds).
06:25:11 <Deewiant> https://www.reddit.com/r/esolangs/comments/3gakuy/if_the_answer_is_church_integer_42_which_lambda/
06:31:24 -!- MDude has changed nick to MDream.
06:45:54 -!- rg_ has quit (Quit: Textual IRC Client: www.textualapp.com).
06:57:02 -!- mihow has joined.
07:18:01 -!- oerjan has joined.
07:21:13 <oerjan> @tell edwardk <edwardk> oerjan: i mentioned the superkind tricks for fixing (,) :: Constraint -> Constraint -> Constraint right? <-- yes. but even with the current system, it should be possible to at least export a type synonym for it.
07:21:56 <edwardk> class (p,q) => p & q; instance (p,q) => p & q
07:22:09 <edwardk> now you can work with (&) :: Constraint -> Constraint -> Constraint
07:22:14 <edwardk> it can be partially applied, etc.
07:22:22 <oerjan> i mean one that you can actually make instances for (,) with, of course
07:24:30 <oerjan> (oh and that evil code i @told you earlier was a trick for making an instance that applies to just (,) :: Constraint -> Constraint -> Constraint)
07:25:09 <oerjan> you can't make the head right, but you can restrict it with the context
07:26:03 <oerjan> also, you can define a type that evaluates to exactly (,), but alas through a type family.
07:26:55 <oerjan> type family Hack (c :: Constraint) :: Constraint -> Constraint -> Constraint
07:27:08 <oerjan> type instance (f a b) = f
07:27:24 <oerjan> * type instance Hack (f a b) = f
07:27:36 <oerjan> type C = Hack (Eq Int, Eq Int)
07:28:27 <oerjan> hm Hack ((),()) also works.
07:29:53 <oerjan> unfortunately, ghc makes no attempt to allow instances for type families, even fully applied.
07:40:30 <oerjan> <edwardk> sadly given that it interacts weirdly with things like eisenberg's efforts to get us dependent types i don't see it happening <-- the problem would be that it would make his * a compound kind expression? (i am thinking of conor mc bride's formulation that used two kind parameters to combine all of *, Constraint and #)
07:43:53 <oerjan> oh wait it was you, why did i think it was mcbride
07:44:47 <oerjan> i think my brain made a faulty ermine/epigram connection.
07:45:19 <edwardk> i think mostly because it complicates the story for kinds/sorts a great deal once you have * in *
07:45:43 <edwardk> since it'd be something like Sort T T in Sort T T -- or something like that
07:48:44 <oerjan> and because of DataKinds, there's nothing other than * that can be the end of the road like that
07:50:56 <oerjan> edwardk: i just had an evil idea. could you make Sort a type family?
07:51:24 <edwardk> sadly no, because you need the inference to flow back to the arguments
07:51:31 <edwardk> 'injective type family' perhaps
07:51:50 <edwardk> you need f a ~ f b to imply a ~ b
07:53:54 <HackEgo> [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=43713&oldid=43211 * Rdebath * (+11) /* Current Languages to go back to. */
07:56:19 -!- mihow has quit (Quit: mihow).
08:08:49 -!- tromp has joined.
08:13:21 -!- tromp has quit (Ping timeout: 256 seconds).
08:29:26 -!- lleu has quit (Ping timeout: 240 seconds).
08:29:46 -!- lleu has joined.
08:29:46 -!- lleu has quit (Changing host).
08:29:46 -!- lleu has joined.
08:31:17 -!- hppavilion[1] has joined.
08:34:29 <hppavilion[1]> I'm putting it in the retroactive category of "Esoteric Computer Science"
08:36:24 <hppavilion[1]> I may have to write a computer program to generate parts of the article for me :P
08:36:38 <hppavilion[1]> Because the augmented operators include things like <<>
08:37:08 <hppavilion[1]> (Assign rhs to rhs to all values less than rhs << lhs)
08:39:53 <hppavilion[1]> oerjan (referencing you because you appear to be the only one paying attention)?
08:42:36 <hppavilion[1]> I'm going to call it an "Esoteric Abstract Concept in Esoteric Programming" unless there's a better term
08:42:53 <hppavilion[1]> And I'm going to make a subpage containing an autogenerated table of EVERY SINGLE operator
08:43:35 <oerjan> let's not go completely overboard with pages
08:44:27 <hppavilion[1]> Sure, it wouldn't add much educational value because you can probably guess its contents :P
08:45:49 <hppavilion[1]> I don't think it'd be humanly possible to create a page for all of them with educational content
08:48:47 <b_jonas> hppavilion[1]: you can't easily create a page for each operator, because if you try to put the spelling of the operator in the title, you often get an invalid title for mediawiki
08:49:36 <hppavilion[1]> Which is why I'm just going to create one subpage with an auto-generated table
08:50:12 <hppavilion[1]> I'm going to make a program to generate a list of string tuples containing operators and an autogenerated description
08:50:24 <hppavilion[1]> Then run a program with a for loop to convert that to a table
08:58:19 -!- J_A_Work has joined.
08:59:10 <HackEgo> [wiki] [[Iag]] http://esolangs.org/w/index.php?diff=43714&oldid=31799 * Rdebath * (+34) /* External resources */
09:00:49 <HackEgo> [wiki] [[Non-Specific Assignment]] N http://esolangs.org/w/index.php?oldid=43715 * Hppavilion1 * (+1701) Created Page
09:01:37 <HackEgo> [wiki] [[Non-Specific Assignment]] M http://esolangs.org/w/index.php?diff=43716&oldid=43715 * Hppavilion1 * (+3) Added colons
09:13:45 -!- Aearnus_ has quit (Quit: Connection closed for inactivity).
09:17:27 -!- Skin has joined.
09:17:35 -!- Skin has changed nick to Walpurgisnacht.
09:17:47 -!- Walpurgisnacht has changed nick to walpurgisnacht.
09:43:34 -!- rdococ has quit (Quit: Leaving.).
09:57:51 -!- walpurgisnacht has quit (Quit: mmmm).
09:59:47 -!- SopaXorzTaker has joined.
10:04:12 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
10:13:06 -!- evalj has joined.
10:23:37 <oerjan> <Deewiant> https://www.reddit.com/r/esolangs/comments/3gakuy/if_the_answer_is_church_integer_42_which_lambda/ <-- that prose is harder to understand than unlambda itself...
10:24:55 <Slereah> Isn't there a list of short Church integers somewhere anyway
10:26:21 <Slereah> I remember making one for combinators
10:33:13 <oerjan> it's not very active, but occasionally.
10:40:04 <Slereah> https://dl.dropboxusercontent.com/u/19940612/Church%206.txt
10:40:15 <Slereah> Pretty hard to condense them when they are not powers of 2
10:40:44 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: m`m``sbi: not found
10:45:47 -!- boily has joined.
10:48:07 <oerjan> (\6 f x.(\6.6(6 f)(6 f x)))(\f x.f(f(f(f(f(f x))))))
10:50:08 <Slereah> I should tidy up the page on Lazy Bird
10:55:09 -!- J_A_Work has quit (Quit: J_A_Work).
11:01:33 -!- J_A_Work has joined.
11:18:09 -!- oerjan has quit (Quit: Later).
11:31:54 -!- J_A_Work has quit (Quit: J_A_Work).
11:37:14 -!- J_A_Work has joined.
11:40:34 -!- llue has joined.
11:43:45 -!- lleu has quit (Ping timeout: 245 seconds).
11:46:34 -!- tromp has joined.
11:50:46 -!- tromp has quit (Ping timeout: 250 seconds).
11:51:27 -!- avonis has joined.
12:03:35 -!- avonis has left ("Leaving").
12:03:56 -!- Phantom_Hoover has joined.
12:07:38 -!- J_A_Work has quit (Quit: J_A_Work).
12:17:12 -!- llue has quit (Ping timeout: 255 seconds).
12:20:18 -!- lleu has joined.
12:20:18 -!- lleu has quit (Changing host).
12:20:18 -!- lleu has joined.
12:39:20 -!- boily has quit (Quit: いつも鶏).
12:47:19 -!- J_A_Work has joined.
12:49:50 -!- Wright has quit (Ping timeout: 260 seconds).
12:54:30 -!- Patashu has quit (Ping timeout: 240 seconds).
13:07:52 -!- SopaXorzTaker has quit (Read error: Connection reset by peer).
13:25:00 -!- getpwnam has joined.
13:32:09 -!- tromp has joined.
13:45:37 -!- getpwnam has quit.
13:46:50 -!- getpwnam has joined.
14:00:37 -!- rdococ has joined.
14:05:20 -!- rdococ has quit (Ping timeout: 265 seconds).
14:14:40 -!- tromp has quit (Remote host closed the connection).
14:17:16 -!- tromp has joined.
14:20:33 <HackEgo> [wiki] [[Esolang talk:Sandbox]] http://esolangs.org/w/index.php?diff=43717&oldid=14360 * Rdebath * (+708) Hello World!
14:21:37 -!- rg_ has joined.
14:25:20 -!- getpwnam has quit (Changing host).
14:25:20 -!- getpwnam has joined.
14:44:47 -!- tromp has quit (Remote host closed the connection).
14:53:12 -!- J_A_Work has quit (Quit: J_A_Work).
14:53:14 -!- SopaXorzTaker has joined.
15:06:22 -!- tromp has joined.
15:14:43 -!- TieSoul has joined.
15:19:33 -!- MDream has changed nick to MDude.
15:25:56 -!- J_A_Work has joined.
15:31:01 -!- sebbu has joined.
15:31:43 -!- sebbu has quit (Changing host).
15:31:43 -!- sebbu has joined.
15:46:13 -!- tromp has quit (Remote host closed the connection).
15:51:43 -!- Wright has joined.
15:52:21 -!- tromp has joined.
15:55:25 -!- SopaXorzTaker has quit (Ping timeout: 245 seconds).
15:59:10 -!- SopaXorzTaker has joined.
16:07:59 -!- getpwnam has quit.
16:26:10 -!- tromp has quit (Remote host closed the connection).
16:32:50 -!- Aearnus_ has joined.
16:36:11 -!- tromp has joined.
16:49:34 -!- getpwnam has joined.
17:06:49 -!- oerjan has joined.
17:08:52 -!- tromp has quit (Remote host closed the connection).
17:10:29 -!- tromp has joined.
17:12:44 -!- evalj has quit (Ping timeout: 250 seconds).
17:15:40 <HackEgo> [wiki] [[Nest]] http://esolangs.org/w/index.php?diff=43718&oldid=40221 * 75.36.136.61 * (-1) /* Orthostructs */
17:17:01 -!- GeekDude has joined.
17:23:32 -!- tromp has quit (Remote host closed the connection).
17:26:02 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
17:37:42 -!- SopaXorzTaker has quit (Remote host closed the connection).
17:50:13 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
17:51:03 -!- lleu has quit (Ping timeout: 265 seconds).
17:51:59 -!- Phantom_Hoover has joined.
18:03:29 -!- _256Q has joined.
18:03:44 -!- _256Q has quit (Changing host).
18:03:44 -!- _256Q has joined.
18:04:17 <oerjan> if i weren't so lazy, i should make the worst lens package ever and call it pestilens
18:06:03 <shachaf> oerjan: did you see lens issue 552
18:06:38 <oerjan> i don't have lens issues on my daily web schedule, so probably not
18:06:40 -!- J_A_Work has quit (Ping timeout: 245 seconds).
18:07:21 <shachaf> you missed out on a class-E scow hth
18:07:50 -!- J_A_Work has joined.
18:10:59 <oerjan> shachaf: wait how does your scow class system work
18:16:15 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
18:21:41 <shachaf> classification of finite simple scows
18:29:52 <oerjan> shachaf: i have so far deduced the classes Dumb, E, Fnord, Zalgo and HTH
18:30:13 <oerjan> i hope this clears things up
18:30:55 <oerjan> those are in order from lousy to worst hth
18:34:00 <Jafet> Within minutes, gentleman scholar and help expert oerjan correctly identified the class of hth scows, the scow of scows.
18:48:48 <pikhq> That's a scow scow.
18:53:58 <Taneb> scow is an anagram of cows
18:54:11 <HackEgo> 400) <Taneb> Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 988) <olsner> metar lead to canada, more metar and cows \ 994) <Bike> man at least job applications in biosciences are just like "you are willing to put your arms through a cow" <kmc> Bike: please send us a link to your CowHub profile o
19:12:31 -!- tromp has joined.
19:17:06 -!- tromp has quit (Ping timeout: 250 seconds).
19:22:43 -!- sebbu2 has joined.
19:23:10 -!- sebbu has quit (Ping timeout: 250 seconds).
19:23:28 -!- sebbu2 has quit (Changing host).
19:23:28 -!- sebbu2 has joined.
19:53:11 -!- lleu has joined.
19:53:11 -!- lleu has quit (Changing host).
19:53:11 -!- lleu has joined.
20:05:08 <oerjan> edwardk: hi i managed to write unsafeCoerce with Data.Constraint.Forallin in Safe mode hth
20:05:25 <oerjan> wth did my terminal just do
20:06:40 -!- mihow has joined.
20:07:11 <oerjan> http://lpaste.net/138354
20:09:19 <oerjan> basically i derived a contradiction from Forall's assumption that there are only two types in the universe...
20:12:24 <oerjan> come to think of it i didn't need ConstraintKinds enabled, i just assumed it from the outset.
20:21:06 -!- J_A_Work has quit (Ping timeout: 240 seconds).
20:21:27 -!- J_A_Work has joined.
20:23:45 -!- Aearnus_ has quit (Quit: Connection closed for inactivity).
20:24:18 -!- tromp has joined.
20:29:06 -!- tromp has quit (Ping timeout: 265 seconds).
20:43:48 -!- Aearnus_ has joined.
20:59:15 -!- J_A_Work has quit (Quit: J_A_Work).
21:10:56 -!- Phantom__Hoover has joined.
21:14:13 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
21:27:12 -!- oerjan has quit (Quit: Nite).
21:27:25 -!- Patashu has joined.
21:44:46 -!- GoToTell has joined.
22:04:15 -!- Patashu has quit (Ping timeout: 260 seconds).
22:23:50 -!- Phantom_Hoover has joined.
22:25:03 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds).
22:25:15 -!- lleu has quit (Read error: Connection reset by peer).
22:25:38 -!- lleu has joined.
22:52:19 -!- shayra has joined.
22:52:27 -!- lemurian has joined.
22:55:57 -!- shayra has left.
23:00:01 <shachaf> oerjan: now i'm confused hth
23:21:57 <shachaf> oerjan: about scow classes, i mean
23:22:43 <shachaf> but edwardk doesn't see messages in this channel unless you mention his name or lens or a few other things
23:23:26 <shachaf> The Forall thing looks interesting, will look when I'm back at a computer.
23:25:24 <edwardk> https://github.com/ekmett/constraints/issues/10
23:31:12 -!- GoToTell has quit (Quit: HydraIRC -> http://www.hydrairc.com <- It'll be on slashdot one day...).
23:34:39 -!- tromp has joined.