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 How do I make a backslash in a .IP command in a man page? 05:44:40 \\ maybe? 05:51:32 -!- rg_ has joined. 05:58:04 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 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 @tell 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:13 Consider it noted. 07:21:33 you can do that -- sorta 07:21:56 class (p,q) => p & q; instance (p,q) => p & q 07:22:09 now you can work with (&) :: Constraint -> Constraint -> Constraint 07:22:14 it can be partially applied, etc. 07:22:22 i mean one that you can actually make instances for (,) with, of course 07:24:30 (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 you can't make the head right, but you can restrict it with the context 07:26:03 also, you can define a type that evaluates to exactly (,), but alas through a type family. 07:26:55 type family Hack (c :: Constraint) :: Constraint -> Constraint -> Constraint 07:27:08 type instance (f a b) = f 07:27:12 oops 07:27:24 * type instance Hack (f a b) = f 07:27:36 type C = Hack (Eq Int, Eq Int) 07:28:27 hm Hack ((),()) also works. 07:29:53 unfortunately, ghc makes no attempt to allow instances for type families, even fully applied. 07:40:30 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 oh wait it was you, why did i think it was mcbride 07:44:47 i think my brain made a faulty ermine/epigram connection. 07:45:19 i think mostly because it complicates the story for kinds/sorts a great deal once you have * in * 07:45:43 since it'd be something like Sort T T in Sort T T -- or something like that 07:45:48 yeah 07:48:44 and because of DataKinds, there's nothing other than * that can be the end of the road like that 07:50:56 edwardk: i just had an evil idea. could you make Sort a type family? 07:51:24 sadly no, because you need the inference to flow back to the arguments 07:51:31 'injective type family' perhaps 07:51:50 you need f a ~ f b to imply a ~ b 07:53:54 [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:31:51 I HAVE COME UP WITH 08:32:05 A THING 08:32:19 AYEEEH 08:32:57 It may have been done before 08:33:06 I'm calling it "Non-specific assignment" 08:34:16 Basically, it's derived from math 08:34:29 I'm putting it in the retroactive category of "Esoteric Computer Science" 08:34:43 Bascially, we have x := 5 08:34:56 I'm suggesting adding: 08:35:00 x :< 5 08:35:04 x :> 5 08:35:07 x :!= 5 08:35:11 x :<= 5 08:35:16 x :>= 5 08:35:42 ic 08:35:56 I know 08:36:03 Also, augmented versions 08:36:04 Of course 08:36:24 I may have to write a computer program to generate parts of the article for me :P 08:36:38 Because the augmented operators include things like <<> 08:37:08 (Assign rhs to rhs to all values less than rhs << lhs) 08:37:20 I typed that wrong xD 08:38:13 Shall I create an article on it? 08:39:53 oerjan (referencing you because you appear to be the only one paying attention)? 08:41:54 Well 08:41:56 I'll go with yes 08:42:02 why not 08:42:13 There you are 08:42:36 I'm going to call it an "Esoteric Abstract Concept in Esoteric Programming" unless there's a better term 08:42:53 And I'm going to make a subpage containing an autogenerated table of EVERY SINGLE operator 08:43:17 erm... 08:43:24 For fun, of course 08:43:35 let's not go completely overboard with pages 08:44:07 It'd just be _one_ extra page 08:44:11 oh. 08:44:14 misread. 08:44:27 Sure, it wouldn't add much educational value because you can probably guess its contents :P 08:45:49 I don't think it'd be humanly possible to create a page for all of them with educational content 08:46:05 humanely impossible 08:46:20 Defintely that 08:48:47 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:14 Yeah 08:49:36 Which is why I'm just going to create one subpage with an auto-generated table 08:50:12 I'm going to make a program to generate a list of string tuples containing operators and an autogenerated description 08:50:24 Then run a program with a for loop to convert that to a table 08:50:42 Then paste that table into a GUI for easy copying 08:58:19 -!- J_A_Work has joined. 08:59:10 [wiki] [[Iag]] http://esolangs.org/w/index.php?diff=43714&oldid=31799 * Rdebath * (+34) /* External resources */ 09:00:49 [wiki] [[Non-Specific Assignment]] N http://esolangs.org/w/index.php?oldid=43715 * Hppavilion1 * (+1701) Created Page 09:01:01 Created that page for now 09:01:05 Will work more on it later 09:01:37 [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:28:31 Hellu 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 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:23:46 * oerjan may be biased 10:24:55 Isn't there a list of short Church integers somewhere anyway 10:26:09 probably 10:26:21 I remember making one for combinators 10:32:33 there *was* /r/esolangs?! 10:32:42 still is 10:32:45 * lifthrasiir subscribes 10:33:13 it's not very active, but occasionally. 10:40:04 https://dl.dropboxusercontent.com/u/19940612/Church%206.txt 10:40:15 Pretty hard to condense them when they are not powers of 2 10:40:35 `m`m``sbi is quite nice 10:40:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: m`m``sbi: not found 10:45:45 oh hm 10:45:47 -!- boily has joined. 10:48:07 (\6 f x.(\6.6(6 f)(6 f x)))(\f x.f(f(f(f(f(f x)))))) 10:48:55 hellørjan! 10:49:07 boheily 10:50:08 I should tidy up the page on Lazy Bird 10:50:12 A lot of links are dead 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 [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 [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 if i weren't so lazy, i should make the worst lens package ever and call it pestilens 18:06:03 oerjan: did you see lens issue 552 18:06:38 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 you missed out on a class-E scow hth 18:07:32 oerjan: nice 18:07:50 -!- J_A_Work has joined. 18:10:59 shachaf: wait how does your scow class system work 18:12:38 tell me when you find out 18:16:15 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 18:21:41 classification of finite simple scows 18:29:52 shachaf: i have so far deduced the classes Dumb, E, Fnord, Zalgo and HTH 18:30:13 i hope this clears things up 18:30:55 those are in order from lousy to worst hth 18:34:00 Within minutes, gentleman scholar and help expert oerjan correctly identified the class of hth scows, the scow of scows. 18:48:48 That's a scow scow. 18:53:58 scow is an anagram of cows 18:54:02 `quote cows 18:54:11 400) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 988) metar lead to canada, more metar and cows \ 994) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" 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 edwardk: hi i managed to write unsafeCoerce with Data.Constraint.Forallin in Safe mode hth 20:05:25 wth did my terminal just do 20:05:44 well damn. 20:05:57 how? 20:06:40 -!- mihow has joined. 20:07:11 http://lpaste.net/138354 20:09:19 basically i derived a contradiction from Forall's assumption that there are only two types in the universe... 20:12:24 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 oerjan: now i'm confused hth 23:21:57 oerjan: about scow classes, i mean 23:22:43 but edwardk doesn't see messages in this channel unless you mention his name or lens or a few other things 23:22:50 =P 23:22:52 pretty much 23:23:26 The Forall thing looks interesting, will look when I'm back at a computer. 23:24:18 oerjan: interesting 23:25:24 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.