00:17:29 -!- sprocklem has joined. 00:18:16 -!- atslash has quit (Ping timeout: 244 seconds). 00:21:51 -!- atslash has joined. 00:26:41 -!- sprocklem has quit (Quit: sprocklem). 00:29:28 -!- oerjan has joined. 00:40:47 -!- atslash has quit (Ping timeout: 240 seconds). 00:41:28 -!- atslash has joined. 00:45:59 -!- tromp has joined. 00:50:33 -!- tromp has quit (Ping timeout: 252 seconds). 00:55:29 -!- pimlu has joined. 01:00:08 -!- fractal has quit (*.net *.split). 01:00:08 -!- relrod has quit (*.net *.split). 01:00:13 -!- relrod_ has joined. 01:00:43 -!- relrod_ has quit (Changing host). 01:00:43 -!- relrod_ has joined. 01:01:31 -!- relrod_ has changed nick to relrod. 01:08:00 -!- fractal has joined. 01:39:48 -!- tromp has joined. 01:44:02 -!- tromp has quit (Ping timeout: 244 seconds). 01:54:42 [[Talk:Combinatory logic]] M https://esolangs.org/w/index.php?diff=57619&oldid=57580 * Oerjan * (+49) /* Keywords */ unfnordsigned 01:56:18 -!- arseniiv has quit (Ping timeout: 245 seconds). 02:02:33 `` sed s,.,.,g quotes | nl | sort | tail -n 1 02:02:34 ​ 999....................................................................................................................................................................................................................................................................................................................................................... 02:02:40 `quote 999 02:02:41 999) i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages) 02:03:12 `` quote 999 | wc 02:03:13 ​ 1 65 349 02:05:51 i guess 746 bytes is a bit too long for a quote. 02:08:35 (that summer school conversation between shachaf and Taneb) 02:18:24 -!- S_Gautam has joined. 02:19:33 <\oren\> although a /gɣɪf/ sounds like a terrible thing <-- unbegrifflich! 02:20:24 hmph it's actually -greif- 02:21:17 despite the noun being Begriff. 02:23:37 -!- XorSwap has joined. 02:48:48 How to find Haskell packages that provide instances of a class defined in another package? 03:05:33 i believe there's a reverse dependency search for packages, although that won't care about instances only 03:11:25 -!- erkin has quit (Remote host closed the connection). 03:23:25 -!- SchrodingersCat has joined. 03:23:38 https://paste.ee/p/3cGPc 03:24:04 like the lang? 03:24:11 is it esoteric? 03:26:40 meow? 03:27:35 -!- tromp has joined. 03:29:22 half-meow? 03:30:53 -!- pimlu has quit (Ping timeout: 245 seconds). 03:32:01 -!- SchrodingersCat has left ("Leaving"). 03:32:18 -!- tromp has quit (Ping timeout: 264 seconds). 03:46:29 -!- bradcomp has joined. 03:51:05 -!- Lyka has joined. 03:51:11 hi 03:51:57 could some please tell me if https://paste.ee/p/3cGPc is esoteric enough? 03:58:28 could someone please respond? 03:58:46 not sure if i'm connected 03:59:27 you are connected 04:00:20 but you're acting in a way that makes at least me not want to respond, and you're asking a question which is meaningless and/or underspecified and/or uninteresting 04:00:27 -!- XorSwap has quit (Ping timeout: 240 seconds). 04:00:41 and i'm being a grouch so, y'know, who's the real winner here 04:07:24 -!- pimlu has joined. 04:10:44 sorry, i can't think of a witty response in time 04:12:49 does the rest of the channel share shachaf's "grouchiness"? 04:13:13 it's only me 04:13:32 87 other users 04:13:38 i mean, they might share the opinions? 04:14:37 I can clarify what I meant but it's probably better if I just stop talking. 04:14:46 I looked at what you linked to and I do not know the answer of the question. A description should be needed rather than just the example 04:14:46 you are the kind of greeter that turns people away 04:15:12 thanks zzo38 04:15:12 Only some of the time. 04:16:19 -!- Lyka has left ("ByrdIRC"). 04:27:53 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 04:30:04 -!- APic has quit (Ping timeout: 240 seconds). 04:34:39 -!- APic has joined. 05:03:48 -!- bradcomp has quit (Ping timeout: 245 seconds). 05:17:05 O.o 05:23:14 -!- fractal has quit (Ping timeout: 272 seconds). 05:51:53 -!- S_Gautam has joined. 05:54:01 -!- oerjan has quit (Quit: Nite). 06:25:51 -!- pimlu has quit (Ping timeout: 252 seconds). 06:26:38 -!- tromp has joined. 06:27:04 -!- tromp has quit (Read error: Connection reset by peer). 06:27:34 -!- tromp has joined. 06:36:49 -!- AnotherTest has joined. 06:41:46 -!- AnotherTest has quit (Ping timeout: 272 seconds). 06:55:52 -!- pimlu has joined. 07:16:33 -!- xkapastel has quit (Quit: Connection closed for inactivity). 07:25:34 -!- pimlu has quit (Ping timeout: 240 seconds). 08:09:06 -!- AnotherTest has joined. 08:42:06 -!- tm5127 has joined. 08:44:50 -!- tm5127 has quit (Remote host closed the connection). 09:20:51 -!- jugo7 has joined. 09:25:43 -!- jugo7 has quit (Remote host closed the connection). 10:05:56 -!- atslash has quit (Remote host closed the connection). 10:07:11 -!- atslash has joined. 10:11:27 -!- atslash has quit (Ping timeout: 240 seconds). 10:12:20 -!- atslash has joined. 11:34:09 -!- myself17 has joined. 11:34:54 -!- myself17 has quit (Remote host closed the connection). 12:00:11 -!- ds_5 has joined. 12:05:04 -!- ds_5 has quit (Remote host closed the connection). 12:15:02 -!- Essadon has joined. 12:59:06 -!- GeekDude has quit (Ping timeout: 252 seconds). 13:14:50 -!- xkapastel has joined. 13:16:41 [[ESOPUNK/Commands]] https://esolangs.org/w/index.php?diff=57620&oldid=57616 * Blacksilver * (+42) Using to link back to the main ESOPUNK page 13:27:37 -!- gmelikov has joined. 13:32:03 -!- gmelikov has quit (Remote host closed the connection). 13:33:40 -!- netrace14 has joined. 13:34:54 [[User:YamTokWae/Sandbox]] https://esolangs.org/w/index.php?diff=57621&oldid=57540 * YamTokWae * (+76) 13:35:22 -!- shiftplusone23 has joined. 13:35:50 -!- netrace14 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 13:40:04 -!- shiftplusone23 has quit (Remote host closed the connection). 13:40:12 -!- Moult5 has joined. 13:42:37 -!- arseniiv has joined. 13:46:25 -!- tromp has quit (Read error: Connection reset by peer). 13:46:57 -!- tromp has joined. 13:48:04 -!- Moult5 has quit (Remote host closed the connection). 13:53:42 -!- vertrex has quit (Ping timeout: 272 seconds). 13:54:57 -!- vertrex has joined. 13:54:57 -!- vertrex has quit (Changing host). 13:54:58 -!- vertrex has joined. 13:54:58 -!- john_metcalf has quit (Ping timeout: 272 seconds). 13:55:36 -!- danieljabailey has quit (Ping timeout: 272 seconds). 13:58:03 -!- danieljabailey has joined. 14:10:38 Is there a complete AY8930 emulation which is free software? 14:11:59 -!- wob_jonas has joined. 14:14:07 I was just answering some questions for a voluntary survey poll, in person with the person taking it deliberately showing his comptuer screen, and she tried to pull the old "the computer doesn't offer a 'declines to answer' option for this question and doesn't let me proceed", as if that had any implication 14:15:05 Also, esolang news. 1. David Madore replied to my question, so now I'll be able to document the actual semantics of his non-computable language. 14:17:00 2. I figured out the most horrible esoteric names for those languages. I will call my distorted variant Amycus and his original variant Amicus, since they differ in one punctuation mark that I misread in the definition, and I kept messing up the name and used Amycus and Amicus when I wrote up the article like a year ago. 14:17:29 I'll edit the articles to make the names consistent and explain the naming, and at some point I'll ask for a few page renames. 14:17:36 On the esowiki that is. 14:17:40 Yes, that is better than what you have now 14:17:48 Unless I already have rename privilages. 14:18:32 zzo38: at least that one looks like a provisional name, so I won't feel bad about changing the name after documenting it, at least if I leave some remark about the old name. 14:19:08 Hyperamicus was barely documented, on the Hyperamycus page, so I can rename that especially easily, and I just won't care about my mistaken version, that's not interesting. 14:19:41 So I'll have Amycus, Amycus Severus, Amicus, and Hyperamicus. 14:20:06 Sadly "Amycus" is what the name was supposed to be and "Amicus" is the etymologically incorrect one, but I don't want to change "Amycus" now. 14:20:17 OK 14:20:45 Not that it matters, because it's not like the etymology makes any sense for the language. 14:21:32 OK 14:22:28 I just chose something because David doesn't give any reasonable names. He just talks about "rigorous definition" and "evaluation function" and "representation of programs" and such things, nothing to distinguish it from other languages. 14:22:44 (0) has the same problem 14:23:46 that one is eight languages, with the language variants numbered but no family name 14:25:30 this one also has some variants named, namely there's a Turing-powered version, a hyperarithmetic version, a variant definition still hyperarithmetic marked with club (the card suit symbol), and an intermediate minor variant that doesn't even have a name that's between the two hyperarithmetic ones 14:26:02 (the last three have exactly the same power, but the language specification differs a bit technically, the point is only to prove that they're all equivalent) 14:29:57 -!- sleepnap has joined. 14:49:37 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 15:32:01 -!- bradcomp has joined. 15:34:20 -!- unixman_home1 has joined. 15:41:33 -!- unixman_home1 has quit (Ping timeout: 244 seconds). 15:42:47 -!- spiegelau has joined. 15:51:02 Using the last strike rules for Magic: the Gathering that I made up before Unstable was released, I more recently made up this: {?} Creature - ? (0/1) ;; Last strike ;; ~ has +X/+X where X is the amount of damage marked on ~. 16:34:29 -!- erkin has joined. 16:42:07 -!- AnotherTest has quit (Ping timeout: 240 seconds). 17:07:38 Taneb: do you want booze 17:08:17 you can come but you can't have analcoholic drinks 17:21:09 that's a weird constraint 17:22:25 FireFly: Good AfternireFly 17:22:40 Good schafening 17:23:01 people will nevre stop seeing "sch" in my name :'( 17:25:53 whoops 17:25:56 accidental >.< 17:26:35 ^scramble shachaf 17:26:35 sahfach 17:31:23 -!- nfd9001 has quit (Read error: Connection reset by peer). 17:46:02 -!- Phantom_Hoover has joined. 17:46:02 -!- Phantom_Hoover has quit (Changing host). 17:46:02 -!- Phantom_Hoover has joined. 17:56:16 [[ESOPUNK]] https://esolangs.org/w/index.php?diff=57622&oldid=57547 * Blacksilver * (+91) Interpreter is functional! 18:07:38 [[BFC]] https://esolangs.org/w/index.php?diff=57623&oldid=57569 * Sinthorion * (-909) 18:14:31 -!- iconmaster has joined. 18:15:43 -!- iconmaster has quit (Client Quit). 18:30:38 Now Farbfeld Utilities includes a program to read a nautical chart file. 18:32:00 [[BFC]] https://esolangs.org/w/index.php?diff=57624&oldid=57623 * Sinthorion * (+0) 19:00:35 -!- AnotherTest has joined. 19:05:50 -!- zajdeee4 has joined. 19:10:31 -!- zajdeee4 has quit (Remote host closed the connection). 19:16:44 -!- atslash has quit (Remote host closed the connection). 19:17:55 -!- atslash has joined. 19:22:34 -!- atslash has quit (Ping timeout: 246 seconds). 19:23:21 -!- atslash has joined. 19:32:13 [[Boolet]] https://esolangs.org/w/index.php?diff=57625&oldid=55509 * Joshop * (+119) 19:33:13 -!- erkin has quit (Remote host closed the connection). 19:33:57 [[Boolet]] M https://esolangs.org/w/index.php?diff=57626&oldid=57625 * Joshop * (+0) 19:46:38 [[Boolet]] https://esolangs.org/w/index.php?diff=57627&oldid=57626 * Joshop * (+73) /* Example programs */ 19:47:30 [[Boolet]] https://esolangs.org/w/index.php?diff=57628&oldid=57627 * Joshop * (+15) /* XOR */ 20:00:52 Twan van Laarhoven wrote about a "FunList" comonad: data FunList a b = Done b | More a (Funlist a (a -> b)); 20:01:12 Lens has a variant of that called Bazaar 20:01:32 Bazaar a b t = forall f. Applicative f => (a -> f b) -> f t 20:03:24 OK 20:03:45 It's an indexed comonad. 20:03:57 OK 20:04:00 Bazaar a a = FunList a (almost) 20:04:26 How is that? 20:05:19 Bazaar is (almost) the same as data Bazaar a b t = Done t | More a (Bazaar a (b -> t)) 20:05:47 By "almost" I mean up to fancy reassociation things with infinite data and so on. 20:31:33 If you use Co (FunList a) or CodensityAsk (FunList a) what kind of monad is it making? There seem a relation of FunList with Store comonad 20:35:32 -!- tswett has joined. 20:35:40 Hey everyone. 20:35:43 I feel an esolang coming on. 20:37:09 Is the stuff about incrementing and decrementing lists mentioned for Amycus OK? I am not so sure? It doesn't look good to me, and I tried to make in Haskell but doesn't seems to work, but I don't know if I made a mistake. 20:37:29 It's a train-based esolang. 20:37:50 there's a channel for that 20:38:34 You define a bunch of train tracks and put trains on them. The trains attempt to travel down the tracks. Trains can only go straight or make wide right turns. 20:39:05 All trains move at a constant speed unless they are blocked. 20:47:37 The most obvious component you might want to make out of these trains and tracks is a certain type of train detector. 20:47:59 It has two input tracks, I1 and I2, and three outputs, O1, O2a, and O2b. 20:48:22 A train arriving at I1 always leaves at O1. A train arriving at I2 leaves at O2a if a train arrived at I1 at the same time, and at O2b otherwise. 20:49:20 Now, it's pretty easy to conditionally *delay* a train. 20:50:05 You can route the tracks from I1 and I2 to an intersection, such that if trains are put into both I1 and I2, then the train from I1 will arrive first, and pass through unaffected, but will block I2. 20:51:19 But then you need to make a mechanism which will send the train from I2 down either O2a or O2b, depending on its time of arrival. 20:57:38 I think it's possible, but ugly. 20:57:57 I'll need to clarify the rules of train movement. 20:59:06 [[Talk:Amycus]] N https://esolangs.org/w/index.php?oldid=57629 * Zzo38 * (+582) I think the stuff at the bottom about incrementing/decrementing lists is not quite correct 20:59:25 The world consists of a grid. Each cell of the grid contains either track or wall; tracks don't have any distinguished direction. 21:00:31 You can write a article in wiki about how the trains are moved and that stuff 21:00:41 A train consists of a sequence of cars, each of which occupies one cell. The cars must be orthogonally or diagonally adjacent to each other. Only the front car has any freedom of movement; the other cars simply follow it. 21:00:55 I sure could. :D 21:02:50 The front car is considered to "face" directly away from the second car. When the front car moves, it can only move either into the cell directly ahead of it, or into the cell that's 45 degrees clockwise of that cell. 21:03:49 The latter motion will, of course, produce a 45-degree bend in the train. 21:04:08 There's one more rule which restricts these 45-degree turns. 21:05:50 Two more, rather. 21:05:59 The front car cannot perform a turn if this would produce two consecutive 45-degree bends in the train. 21:06:39 Also, the front car cannot make any move which would result in the cell immediately ahead of the front car being a wall. 21:06:46 So! That was long and complicated. 21:07:17 Let me see if I can post a certain little construct. 21:07:59 The answer is no, not easily. 21:08:21 But, anyway, the construction is just a fork in the track, with another track crossing the fork. 21:09:39 As a train approaches the forking track, if there's a train in the crossing track in exactly the right place, then the train on the forking track will be either forced straight ahead or forced to the right, depending on the position of the train on the crossing track. 21:49:23 -!- sleepnap has left. 21:58:42 -!- AnotherTest has quit (Ping timeout: 264 seconds). 22:25:16 -!- spiegelau has quit (Quit: leaving). 22:45:16 -!- XorSwap has joined. 22:46:00 -!- arseniiv has quit (Ping timeout: 252 seconds). 23:21:35 -!- nicolasbock has joined. 23:22:05 -!- tromp has quit (Remote host closed the connection). 23:29:27 -!- nicolasbock has quit (Ping timeout: 240 seconds). 23:43:58 -!- bradcomp has quit (Ping timeout: 272 seconds). 23:45:26 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:53:49 -!- tromp has joined. 23:57:58 -!- tromp has quit (Ping timeout: 245 seconds).