00:02:38 <esolangs> [[Yoctostack]] https://esolangs.org/w/index.php?diff=92215&oldid=92156 * Otesunki * (+94) credit quintopia with further minimalizations
00:22:59 <esolangs> [[Yoctostack]] M https://esolangs.org/w/index.php?diff=92216&oldid=92215 * Otesunki * (-3) j o k e s
00:23:28 <esolangs> [[Yoctostack]] M https://esolangs.org/w/index.php?diff=92217&oldid=92216 * Otesunki * (+5) mental copy paste error
00:30:38 <fizzie> ▀▀▀▀▀ not very lucky today
00:30:46 <fizzie> Whoops, I forgot to turn off the color there.
00:35:32 -!- ProofTechnique has quit (Ping timeout: 268 seconds).
00:35:32 -!- fizzie has quit (Ping timeout: 268 seconds).
00:36:11 -!- riv has quit (Ping timeout: 268 seconds).
00:37:50 -!- riv has joined.
00:37:57 -!- ProofTechnique has joined.
00:39:24 -!- fizzie has joined.
00:56:17 <esolangs> [[PocketBF]] https://esolangs.org/w/index.php?diff=92218&oldid=92210 * Pikal * (+6)
01:03:45 -!- eli_oat has joined.
01:11:43 <esolangs> [[InstructionPointerBF]] M https://esolangs.org/w/index.php?diff=92219&oldid=92209 * PythonshellDebugwindow * (-35) This isn't a brainfuck equivalent as per the category's definition
01:12:17 <esolangs> [[PocketBF]] M https://esolangs.org/w/index.php?diff=92220&oldid=92218 * PythonshellDebugwindow * (-35) This isn't a brainfuck equivalent as per the category's definition
01:59:36 -!- eli_oat has quit (Quit: eli_oat).
02:07:43 -!- chiselfuse has quit (Remote host closed the connection).
02:07:56 -!- chiselfuse has joined.
02:09:40 -!- chiselfuse has quit (Remote host closed the connection).
02:12:59 -!- chiselfuse has joined.
02:22:37 <esolangs> [[SolboScript]] https://esolangs.org/w/index.php?diff=92221&oldid=51969 * Kaveh Yousefi * (+174) Added a hyperlink to my implementation of the SolboScript programming language on GitHub.
02:27:25 <esolangs> [[SolboScript]] https://esolangs.org/w/index.php?diff=92222&oldid=92221 * Kaveh Yousefi * (+211) Extended the specification regarding the inchoate BWEEEEEEEEEEEEE (loop until) command, following the pattern of BWEEEEEEEEEEE (if).
03:15:04 -!- Everything has quit (Quit: leaving).
04:09:36 -!- Guest34 has joined.
04:10:42 <Guest34> https://preview.tinyurl.com/yrxmb83n I think I made some sort of esolang.
04:13:22 <Guest34> Just put it here. https://github.com/PyMaster22/test-git-repo/blob/main/esolang.py
04:31:49 -!- dyeplexer has joined.
05:06:55 <esolangs> [[MacroBeep]] https://esolangs.org/w/index.php?diff=92223&oldid=92214 * PixelatedStarfish * (+101) /* External Links */
05:07:12 <esolangs> [[MacroBeep]] https://esolangs.org/w/index.php?diff=92224&oldid=92223 * PixelatedStarfish * (+0) /* External Links */
05:08:11 <esolangs> [[MacroBeep]] https://esolangs.org/w/index.php?diff=92225&oldid=92224 * PixelatedStarfish * (+36) /* External Links */
05:09:04 <esolangs> [[MacroBeep]] https://esolangs.org/w/index.php?diff=92226&oldid=92225 * PixelatedStarfish * (+71)
05:10:58 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=92227&oldid=91610 * PixelatedStarfish * (-110) /* Unimplemented Languages */
05:11:19 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=92228&oldid=92227 * PixelatedStarfish * (+228) /* Implemented Languages */
05:11:34 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=92229&oldid=92228 * PixelatedStarfish * (+1) /* MacroBeep */
05:11:49 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=92230&oldid=92229 * PixelatedStarfish * (-1) /* Heck */
05:12:21 <esolangs> [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=92231&oldid=92230 * PixelatedStarfish * (+21) /* MacroBeep */
05:24:17 -!- Kit has quit (Ping timeout: 240 seconds).
05:25:00 -!- kit-ten has quit (Ping timeout: 250 seconds).
05:25:50 -!- NotApplicable has joined.
05:26:14 -!- kit-ten has joined.
05:38:26 -!- dyeplexer has quit (Ping timeout: 250 seconds).
05:54:14 -!- Guest34 has quit (Quit: Client closed).
06:22:55 -!- utoneq has joined.
07:02:09 -!- utoneq has quit (Ping timeout: 276 seconds).
07:15:19 -!- utoneq has joined.
07:24:15 -!- utoneq has quit (Ping timeout: 276 seconds).
08:29:46 -!- Sgeo has quit (Read error: Connection reset by peer).
08:51:29 -!- utoneq has joined.
09:00:20 -!- tromp has joined.
09:01:12 <tromp> int-e: do you know how to rewrite your monadic whnf reducer to a nf one?
09:46:02 <tromp> i have something that requires distringuishing bound from unbound variable lookups, which is kinda hacky (using Var MININT)
10:42:15 -!- Lord_of_Life_ has joined.
10:43:07 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
10:45:05 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:21:08 -!- utoneq has quit (Remote host closed the connection).
11:21:34 -!- salpynx has quit (Quit: Client closed).
11:34:49 -!- __monty__ has joined.
12:25:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:29:34 -!- tromp has joined.
12:31:58 -!- tech_exorcist has joined.
12:53:31 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:30:30 -!- eli_oat has joined.
13:54:44 -!- eli_oat has quit (Ping timeout: 268 seconds).
14:09:36 -!- eli_oat has joined.
14:45:14 -!- razetime has joined.
15:14:40 -!- Sgeo has joined.
15:26:40 <esolangs> [[Init]] M https://esolangs.org/w/index.php?diff=92232&oldid=92051 * WhyNot? * (+19)
15:27:07 -!- wib_jonas has joined.
16:00:10 <riv> https://github.com/barrettotte/punchit#introduction-to-punch-cards very pretty ascii art
16:28:47 -!- wib_jonas has quit (Quit: Client closed).
16:32:04 -!- tromp has joined.
17:09:27 -!- eli_oat has quit (Quit: eli_oat).
17:14:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:16:45 -!- eli_oat has joined.
17:18:42 -!- razetime has quit (Ping timeout: 250 seconds).
17:28:17 -!- tromp has joined.
17:50:18 -!- kit_ten has joined.
17:54:00 -!- kit-ten has quit (Ping timeout: 268 seconds).
18:02:25 -!- delta23 has joined.
18:05:46 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:08:31 -!- eli_oat has quit (Ping timeout: 256 seconds).
18:11:18 -!- eli_oat has joined.
18:21:42 -!- kspalaiologos has joined.
18:24:31 -!- tromp has joined.
18:27:56 -!- kspalaiologos has quit (Quit: Leaving).
18:45:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:53:05 -!- tromp has joined.
19:02:35 -!- tech_exorcist_ has joined.
19:02:37 <esolangs> [[!aoQ):]] M https://esolangs.org/w/index.php?diff=92233&oldid=85518 * Otesunki * (+1) typo in fib program
19:03:10 -!- tech_exorcist_ has quit (Remote host closed the connection).
19:04:47 -!- tech_exorcist has quit (Ping timeout: 256 seconds).
19:07:39 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:18:33 -!- tromp has joined.
19:28:31 <int-e> tromp: kind of (the `red` function is a start), but tracking indices through the Abs case gets hairy: since tracking indices with all the captured contexts is too hairy, you'd have to apply them to a dummy variable, continue reducing, and then translate those dummies back in the end
19:29:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:34:32 -!- tromp has joined.
19:44:07 <int-e> tromp: Basically that's the reason why I wrote all those `check*` functions: I have a good idea how to go about it, but have not actually worked it out in full detail.
19:45:30 <esolangs> [[NPFuck]] M https://esolangs.org/w/index.php?diff=92234&oldid=60824 * PythonshellDebugwindow * (+75) Categorize
19:46:39 <tromp> i wondered if there was an elegant way to do it without application to dummy variables, but maybe there isn't
19:49:45 <tromp> when reducing a subterm like (\. 0 1) that is not applied, the 1 might need to be looked up from the environment, while the 0 should remain as is.
19:50:17 <int-e> oh right I should call those environments
19:50:58 <int-e> Anyway there's environments within environments and there's no record of the depth at which they were captured.
19:51:11 <tromp> i added some more types to your whnf:
19:51:24 <tromp> data L = Var !Int | Abs L | App L L | Ctx Closure deriving (Eq)
19:51:25 <tromp> type Environment = [Closure]
19:51:32 <tromp> data Closure = Clo Environment L deriving (Eq)
19:52:37 <tromp> i had overlooked your red function. let me study that one....
19:54:00 <int-e> well, it stops where things would get interesting
19:55:32 <tromp> so that only works when the nf is all dummy variables?
19:56:04 <int-e> yeah, but it doesn't introduce any itself
19:57:56 <int-e> let me see if I can get anywhere within half an hour or so
19:59:31 <tromp> what i really need is a way to test if two terms have the same nf; i don't need to know what the nf is...
20:00:14 <tromp> maybe dummy vars are the best way to do that
20:00:27 -!- Hooloovoo has joined.
20:07:36 <int-e> tromp: https://paste.debian.net/1227557/ should do the trick for closed terms
20:08:37 <tromp> Thanks, int-e! will take me longer to grok then you to write:-)
20:11:06 <int-e> And you can skip the `localize` if you just want to compare; what happens is that the resulting term has variables -1 referring to outermost lambdas, -2 referring to lambdas nested one deep, etc; so it's a global index where de Bruijn ones are local.
20:12:00 <int-e> (hence the name `localize`
20:15:04 <tromp> does that work with my above types?
20:15:41 <tromp> compiler complains about 203 | spine d t@(Clo _ (Abs _)) = do
20:15:47 <int-e> mostly. Clo _ (Abs _) should be Ctx (Clo _ (Abs _))
20:15:52 <tromp> Couldn't match expected type ‘L’ with actual type ‘Closure’
20:16:01 <tromp> ah, that's what i suspected
20:16:26 <tromp> compiler happy now
20:16:47 <int-e> (I changed the constructor name, but didn't add a type for closures)
20:17:35 <tromp> it works like a charm!
20:23:27 -!- NotApplicable has changed nick to kit.
20:30:21 <int-e> tromp: cleaning up (and picking a slightly different corner in the separate type for closures design space): https://paste.debian.net/1227560/
20:32:23 <int-e> (by a circuitous route: I used Ctx (Clo _ _), then added an UNPACK pragma and a pattern synonym CloL c e = Ctx (Clo c e), and then realized that if the pattern synonym would just be a constructor, I'd get the same code)
20:34:23 <esolangs> [[User talk:Palaiologos]] N https://esolangs.org/w/index.php?oldid=92235 * Not applicable * (+561) Created page with "im really sorry for what i did a couple days ago, i didn't mean what i said, and i wasn't thinking my actions through. i really, really, am sorry and i hope that you can under..."
20:44:00 <int-e> tromp: and obviously you can interleave two copies of that code and have a lazier check for equal normal forms, if you want one
20:46:58 <int-e> Oh and `localize` and `spine` can probably be fused, hmm.
20:46:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:05:24 -!- delta23 has quit (Quit: Leaving).
21:23:19 -!- tromp has joined.
21:24:05 -!- salpynx has joined.
21:24:38 <tromp> true; but when comparing all terms of a certain size over a basis, it can be expected to be almost fully expanded anyway
21:24:53 <tromp> or i should say up to a certain size
21:32:23 <salpynx> re. alpha; are you both working towards a publication or release of something with this? I was considering modifying the scheme / LazyK interpreter to recognise `α` and play with writing some simple programs. Wasn't sure if I should wait, or how to provide attribution.
21:33:40 <salpynx> (I'm probably not likely to do this imminently, despite best intentions)
21:39:26 <tromp> me and mtve might write a paper together, but also not imminent
21:39:32 -!- eli_oat has quit (Quit: eli_oat).
23:01:43 -!- kit-ten has joined.
23:04:57 -!- kit_ten has quit (Ping timeout: 240 seconds).
23:13:37 -!- __monty__ has quit (Quit: leaving).
23:17:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:19:30 <esolangs> [[CASTLE]] https://esolangs.org/w/index.php?diff=92236&oldid=91364 * Quintopia * (+169) Circute
23:54:24 <esolangs> [[Talk:TinyBF]] https://esolangs.org/w/index.php?diff=92237&oldid=50224 * Salpynx * (+1088) /* Category Brainfuck_equivalents */ new section