00:06:11 `learn The password of the month is most forgettable. 00:06:13 Relearned 'password': The password of the month is most forgettable. 00:06:33 `dowg password 00:06:35 11646:2018-11-01 learn The password of the month is most forgettable. \ 11622:2018-10-02 learn The password of the month is wearing shorts despite the weather \ 11619:2018-09-05 learn The password of the month is ripe for picking \ 11587:2018-08-03 learn The password of the month is alphanumer1c. \ 11584:2018-07-20 learn The password of the month will be short-lived. \ 11570:2018-06-03 learn Th 00:06:53 Oh, right, you live in the future. 00:11:41 -!- nfd9001 has joined. 00:16:24 -!- nfd9001 has quit (Ping timeout: 252 seconds). 00:18:12 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:30:35 -!- nfd9001 has joined. 00:42:16 -!- MDude has joined. 00:55:53 -!- oerjan has joined. 01:57:10 -!- tromp has quit (Read error: Connection reset by peer). 01:57:45 -!- tromp has joined. 02:35:28 -!- nfd9001 has quit (Ping timeout: 268 seconds). 03:49:47 -!- GeekDude has joined. 03:56:52 -!- moonythevampire has changed nick to moonythedustpile. 04:35:08 I read somewhere that DEC VT300 can emulate a Tektronix terminal. Is that why xterm does, too? 04:46:29 happpy halloween. 04:47:02 moonythedustpile: happy sunrise? 05:19:22 -!- oerjan has quit (Quit: Nite). 05:33:39 I'm mad that my language doesn't have lambdas. 05:35:56 What language is that? If you are mad of such thing, can you add it? 05:40:03 yeah lmao I'm the author of it. 05:41:11 but it's gonna take some work. 05:42:42 https://ptpb.pw/_xfe/text 05:43:17 that code actually works. my tests include `map (add 1) (evens (s (s (s 1))))` 05:44:40 however I can't reduce it fully due to the way I perform evaluation. so I have to define a function that does it for me. unless I whip up some lambdas. 05:45:03 which I can do, I just don't know how to do it _well_. currently my interpreter is 236 lines of python code and I haven't had to touch it save for a couple of lines. 05:46:30 feeling kind of hopeless tbh. 05:48:45 I don't wanna add any new features. this just works via term rewriting and pretty dumb subtree matching for variables. 05:49:03 but I do plan on porting my interpreter to C, then assembly, then to verilog or VHDL. 05:50:56 so I wanna make sure I have my design right. 05:52:58 shachaf: I adhered to UTC 06:05:57 Make up a scheme card of Magic: the Gathering that is based on the Scheme programming language. 06:06:55 If I have a thing that takes a block argument that can early-exit, what sort of thing can it be? 06:07:25 A macro, maybe, I don't know? 06:07:29 I'd like an answer other than "macro" and other than "continuation", if it exists. 06:07:48 OK, but I don't know that answer. 06:07:54 A block isn't a function because it can early-exit. 06:08:31 Yes, I know that 06:08:39 Yes, I know that you know that 06:09:14 But a block can be given a type. 06:09:18 It can even have input and output types. 06:28:53 Do you know what it is called in Magic: the Gathering when you do stuff in order to affect whether or not there is priority during the cleanup step? 06:35:54 shachaf: branch? 07:06:42 -!- nfd9001 has joined. 07:26:58 solved my problem using a more idiomatic solution: just unpack the damn arguments. 07:41:10 imode: ? 08:35:19 tromp: whoa, you're mentioned in https://docs.google.com/viewer?url=http://www.cwi.nl/~paulv/papers/average.ps 08:39:00 well, both authors were my supervisor, so no surprise there 08:49:08 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 08:49:10 https://twitter.com/glanderco/status/1024103665265770496 09:06:33 it's 3 months old 10:03:32 -!- FaerieFly has changed nick to FireFly. 10:13:01 -!- imode has quit (Ping timeout: 260 seconds). 10:31:15 > let coerce = id Data.Profunctor.Unsafe..# undefined in appEndo (coerce (succ :: Int -> Int)) 1 :: Int 10:31:17 2 10:33:59 izabera: maybe but it still scaryyy 10:37:42 [[Madbrain]] M https://esolangs.org/w/index.php?diff=58167&oldid=58166 * Gamer * (+24) /* Example */ 10:41:21 [[Madbrain]] https://esolangs.org/w/index.php?diff=58168&oldid=58167 * Gamer * (+450) 10:43:11 [[Madbrain]] M https://esolangs.org/w/index.php?diff=58169&oldid=58168 * Gamer * (-159) /* Hello World! */ 10:43:38 [[Madbrain]] M https://esolangs.org/w/index.php?diff=58170&oldid=58169 * Gamer * (+159) /* Hello World! */ 10:52:30 -!- AnotherTest has joined. 11:07:16 -!- Spooktober has quit (Quit: Spooktober is over.). 11:07:50 -!- grumble has joined. 11:33:31 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 11:36:07 -!- Lord_of_Life has joined. 11:36:07 -!- Lord_of_Life has quit (Changing host). 11:36:07 -!- Lord_of_Life has joined. 12:06:47 [[AsciiDots]] https://esolangs.org/w/index.php?diff=58171&oldid=58151 * Gamer * (-3) /* Samples */ 12:31:57 -!- BowserFromThe80s has changed nick to Bowserinator. 12:35:47 -!- mniip has quit (Ping timeout: 600 seconds). 13:40:47 -!- arseniiv has joined. 13:41:25 -!- sleepnap has joined. 13:59:24 [[IRP]] https://esolangs.org/w/index.php?diff=58172&oldid=58157 * Gamer * (+162) /* Examples */ 14:25:36 -!- AnotherTest has quit (Ping timeout: 260 seconds). 14:35:11 -!- Essadon has joined. 14:41:56 -!- imode has joined. 14:49:01 -!- AnotherTest has joined. 15:33:34 -!- sleepnap has quit (Ping timeout: 250 seconds). 15:33:55 [[LOLZ]] M https://esolangs.org/w/index.php?diff=58173&oldid=55612 * Gamer * (-20) 15:39:58 -!- Sgeo has quit (Read error: Connection reset by peer). 15:40:26 -!- Sgeo has joined. 15:44:16 -!- mniip has joined. 15:48:15 -!- sleepnap has joined. 16:01:14 -!- moei has joined. 16:03:47 -!- imode has quit (Quit: WeeChat 2.3). 16:23:05 -!- oerjan has joined. 16:58:12 -!- tromp has quit (Ping timeout: 244 seconds). 17:05:57 -!- tromp has joined. 17:57:37 -!- zzo38 has quit (Ping timeout: 244 seconds). 18:01:36 [[Truth-machine]] https://esolangs.org/w/index.php?diff=58174&oldid=58158 * Oerjan * (+2) ginorst 18:02:52 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=58175&oldid=58174 * Oerjan * (-9) Policy 18:30:25 -!- atehwa has joined. 18:35:30 -!- Phantom_Hoover has joined. 18:43:22 -!- oerjan has quit (Quit: Later). 19:30:36 -!- nfd9001 has quit (Ping timeout: 250 seconds). 21:29:53 -!- moei has quit (Quit: Leaving...). 21:51:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 21:52:57 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=58176&oldid=58175 * ZM * (-2) Undo revision 58174 by [[Special:Contributions/Oerjan|Oerjan]] ([[User talk:Oerjan|talk]]) L00P: those are, in fact, zeros 21:54:47 -!- Phantom_Hoover has joined. 21:54:47 -!- Phantom_Hoover has quit (Changing host). 21:54:47 -!- Phantom_Hoover has joined. 22:03:22 -!- sleepnap has left. 22:27:08 -!- MDude has quit (Ping timeout: 245 seconds). 22:27:15 -!- MDude has joined. 22:41:31 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:56:31 -!- Essadon has quit (Quit: Qutting). 23:10:12 -!- arseniiv has quit (Ping timeout: 252 seconds). 23:11:25 -!- moonythedustpile has quit (Excess Flood). 23:12:36 -!- moony has joined. 23:12:57 -!- Soni has quit (Ping timeout: 250 seconds). 23:13:41 -!- Soni has joined. 23:26:37 -!- FireFly has quit (Quit: Goodbye). 23:26:48 -!- FireFly has joined. 23:31:37 -!- Lord_of_Life_ has joined. 23:34:30 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 23:34:32 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:34:40 -!- Lord_of_Life has quit (Changing host). 23:34:40 -!- Lord_of_Life has joined.