00:06:11 <int-e> `learn The password of the month is most forgettable.
00:06:13 <HackEso> Relearned 'password': The password of the month is most forgettable.
00:06:35 <HackEso> 11646:2018-11-01 <int-̈e> learn The password of the month is most forgettable. \ 11622:2018-10-02 <oerjän> learn The password of the month is wearing shorts despite the weather \ 11619:2018-09-05 <oerjän> learn The password of the month is ripe for picking \ 11587:2018-08-03 <int-̈e> learn The password of the month is alphanumer1c. \ 11584:2018-07-20 <int-̈e> learn The password of the month will be short-lived. \ 11570:2018-06-03 <oerjän> learn Th
00:06:53 <shachaf> 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 <zzo38> I read somewhere that DEC VT300 can emulate a Tektronix terminal. Is that why xterm does, too?
04:47:02 <oerjan> moonythedustpile: happy sunrise?
05:19:22 -!- oerjan has quit (Quit: Nite).
05:33:39 <imode> I'm mad that my language doesn't have lambdas.
05:35:56 <zzo38> What language is that? If you are mad of such thing, can you add it?
05:40:03 <imode> yeah lmao I'm the author of it.
05:41:11 <imode> but it's gonna take some work.
05:42:42 <imode> https://ptpb.pw/_xfe/text
05:43:17 <imode> that code actually works. my tests include `map (add 1) (evens (s (s (s 1))))`
05:44:40 <imode> 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 <imode> 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 <imode> feeling kind of hopeless tbh.
05:48:45 <imode> I don't wanna add any new features. this just works via term rewriting and pretty dumb subtree matching for variables.
05:49:03 <imode> but I do plan on porting my interpreter to C, then assembly, then to verilog or VHDL.
05:50:56 <imode> so I wanna make sure I have my design right.
05:52:58 <int-e> shachaf: I adhered to UTC
06:05:57 <zzo38> Make up a scheme card of Magic: the Gathering that is based on the Scheme programming language.
06:06:55 <shachaf> If I have a thing that takes a block argument that can early-exit, what sort of thing can it be?
06:07:25 <zzo38> A macro, maybe, I don't know?
06:07:29 <shachaf> I'd like an answer other than "macro" and other than "continuation", if it exists.
06:07:48 <zzo38> OK, but I don't know that answer.
06:07:54 <shachaf> A block isn't a function because it can early-exit.
06:08:39 <shachaf> Yes, I know that you know that
06:09:14 <shachaf> But a block can be given a type.
06:09:18 <shachaf> It can even have input and output types.
06:28:53 <zzo38> 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?
07:06:42 -!- nfd9001 has joined.
07:26:58 <imode> solved my problem using a more idiomatic solution: just unpack the damn arguments.
08:35:19 <shachaf> tromp: whoa, you're mentioned in https://docs.google.com/viewer?url=http://www.cwi.nl/~paulv/papers/average.ps
08:39:00 <tromp> well, both authors were my supervisor, so no surprise there
08:49:08 <oren> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
08:49:10 <oren> https://twitter.com/glanderco/status/1024103665265770496
10:03:32 -!- FaerieFly has changed nick to FireFly.
10:13:01 -!- imode has quit (Ping timeout: 260 seconds).
10:31:15 <int-e> > let coerce = id Data.Profunctor.Unsafe..# undefined in appEndo (coerce (succ :: Int -> Int)) 1 :: Int
10:33:59 <oren> izabera: maybe but it still scaryyy
10:37:42 <esowiki> [[Madbrain]] M https://esolangs.org/w/index.php?diff=58167&oldid=58166 * Gamer * (+24) /* Example */
10:41:21 <esowiki> [[Madbrain]] https://esolangs.org/w/index.php?diff=58168&oldid=58167 * Gamer * (+450)
10:43:11 <esowiki> [[Madbrain]] M https://esolangs.org/w/index.php?diff=58169&oldid=58168 * Gamer * (-159) /* Hello World! */
10:43:38 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=58174&oldid=58158 * Oerjan * (+2) ginorst
18:02:52 <esowiki> [[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 <esowiki> [[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.