00:13:30 <esolangs> [[User:DigitalDetective47/WIP]] https://esolangs.org/w/index.php?diff=90345&oldid=90344 * DigitalDetective47 * (+2953)
00:18:59 <esolangs> [[PRG]] N https://esolangs.org/w/index.php?oldid=90346 * DigitalDetective47 * (+12654) Created page with ":''This article is currently incomplete, and will be moved to '''PRG''' upon completion.'' '''PRG''' is an esoteric programming language created by [[User:DigitalDetective47]]..."
00:19:18 <esolangs> [[PRG]] M https://esolangs.org/w/index.php?diff=90347&oldid=90346 * DigitalDetective47 * (-91) Removed incomplete notice
00:19:52 <esolangs> [[User:DigitalDetective47/WIP]] https://esolangs.org/w/index.php?diff=90348&oldid=90345 * DigitalDetective47 * (-12545) Replaced content with "[No current project]"
00:20:12 <esolangs> [[User:DigitalDetective47]] https://esolangs.org/w/index.php?diff=90349&oldid=90293 * DigitalDetective47 * (+10) Added PRG
00:21:39 <esolangs> [[Truth-machine]] https://esolangs.org/w/index.php?diff=90350&oldid=90283 * Squidmanescape * (+1) /* (top, height) */
00:24:31 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=90351&oldid=90320 * DigitalDetective47 * (+10) /* P */ Added PRG
00:28:17 <esolangs> [[(top, height)]] https://esolangs.org/w/index.php?diff=90352&oldid=90241 * Squidmanescape * (+1) /* Truth Machine */
01:25:52 -!- delta23 has joined.
01:44:08 <b_jonas> is it just me, or does the announcement on IOCCC's website sound like IOCCC is jumping the shark? "Our goal is to build a smoother, more rapid process centered around GitHub. […] We plan to refactor and modernize the IOCCC web site." Did a marketing guy break into their system to post that?
01:46:12 <b_jonas> Also "We also plan to build a new and improved way to submit entries the next IOCCC." Do they mean they are putting up a web form lowering the bar to where automatic spambots will quickly fill their inboxes with nonsense, and they'll really have trouble finding the real entries becuse, you know, they're obfuscated so a valid one can be hard to distinguish from spam? Or the opposite, are they making it
01:46:18 <b_jonas> so hard to submit that real contestants will give up after a few times they fail the captcha?
01:57:22 <HackEso> The IOCCC is the Industrial Ordovician COBOL Conference Circuit. Not to be confused with OIC. See also ioccclist.
02:04:13 <esolangs> [[PRG]] https://esolangs.org/w/index.php?diff=90353&oldid=90347 * DigitalDetective47 * (+643) Added examples
02:12:37 <esolangs> [[Special:Log/newusers]] create * 0noketa * New user account
02:12:42 <esolangs> [[Hello world program in esoteric languages (N-Z)]] https://esolangs.org/w/index.php?diff=90354&oldid=89741 * DigitalDetective47 * (+383) Add PRG
02:14:43 <esolangs> [[Truth-machine]] https://esolangs.org/w/index.php?diff=90355&oldid=90350 * DigitalDetective47 * (+154) /* Implementations */ Add PRG
02:17:15 <esolangs> [[Left-Right March]] https://esolangs.org/w/index.php?diff=90356&oldid=89238 * DigitalDetective47 * (+298) /* Examples */ Moved text dump program generator to the main page.
02:17:49 <esolangs> [[Left-Right March/Gallery]] https://esolangs.org/w/index.php?diff=90357&oldid=89240 * DigitalDetective47 * (-767) Replaced content with "Delete this page."
03:04:34 -!- delta23 has quit (Remote host closed the connection).
03:05:04 -!- delta23 has joined.
03:05:31 -!- delta23 has quit (Remote host closed the connection).
03:17:35 <esolangs> [[PRG]] https://esolangs.org/w/index.php?diff=90358&oldid=90353 * DigitalDetective47 * (+1291) /* Examples */ Added integer-string conversion functions
03:18:28 <esolangs> [[PRG]] M https://esolangs.org/w/index.php?diff=90359&oldid=90358 * DigitalDetective47 * (+20) /* List of reserved tokens */ Added RET to reserved token list
03:23:41 -!- earendel has joined.
03:24:29 -!- earendel has quit (Remote host closed the connection).
03:31:49 <esolangs> [[PRG]] M https://esolangs.org/w/index.php?diff=90360&oldid=90359 * DigitalDetective47 * (+216) /* Generic array functions */ Defined for empty array
03:32:53 <esolangs> [[PRG]] M https://esolangs.org/w/index.php?diff=90361&oldid=90360 * DigitalDetective47 * (-2) Removed extra newlines in source
03:38:34 -!- earendel has joined.
03:38:57 -!- earendel has quit (Remote host closed the connection).
03:40:14 <zzo38> Sometimes what you describe happens, so I don't know. There are ways to make it to work, but I think that they should not use GitHub (except for mirroring, perhaps), and don't use any of the modern things which are no good.
03:53:36 -!- dyeplexer has joined.
03:54:24 <esolangs> [[PRG]] https://esolangs.org/w/index.php?diff=90362&oldid=90361 * DigitalDetective47 * (+891) /* Examples */ Add Fibonacci sequence
04:11:41 <esolangs> [[PRG]] https://esolangs.org/w/index.php?diff=90363&oldid=90362 * DigitalDetective47 * (+1358) /* Examples */
04:12:54 <esolangs> [[PRG]] https://esolangs.org/w/index.php?diff=90364&oldid=90363 * DigitalDetective47 * (+8) /* Ackermann function */ Added required second input to ACK
04:24:57 -!- SGautam has joined.
04:31:42 -!- sprout has joined.
04:34:05 -!- sprout_ has quit (Ping timeout: 252 seconds).
05:33:54 -!- earendel has joined.
05:43:20 <Corbin> Regarding recent discussion on Wolfram prizes for universal computation, I just came across this blast from the past: https://cs.nyu.edu/pipermail/fom/2007-October/012143.html
05:43:52 <Corbin> The entire thread is quite interesting, but this is the first message in the thread which is relevant.
06:11:58 <HackEso> Free Hero Mesh? ¯\(°_o)/¯
06:40:35 -!- blu256 has quit (Ping timeout: 252 seconds).
06:47:11 -!- impomatic has quit (Ping timeout: 252 seconds).
06:47:37 -!- blu256 has joined.
07:01:09 <esolangs> [[HARSH]] https://esolangs.org/w/index.php?diff=90365&oldid=62290 * ShareMan * (-1) Fixed typo and corrected table
07:14:27 -!- SGautam has quit (Quit: Connection closed for inactivity).
07:15:41 <esolangs> [[User talk:Hakerh400/What we could do if we could solve the halting problem]] https://esolangs.org/w/index.php?diff=90366&oldid=90328 * Hakerh400 * (+282)
07:33:15 -!- dyeplexer has quit (Ping timeout: 256 seconds).
07:34:47 -!- blu256 has quit (Read error: Connection reset by peer).
07:35:13 -!- blu256 has joined.
08:10:29 -!- monoxane has quit (Quit: estoy fuera).
08:16:59 <HackEso> A pokemon is a monster that you keep in your pocket. Taneb invented them.
08:27:33 -!- dyeplexer has joined.
08:34:19 <riv> "proving that a program doesn't halt is even harder than proving that it does halt"
08:34:27 <riv> how is that?
08:38:28 <riv> i suppose you can just run it to prove it halts
08:38:53 <riv> but to prove it does not halt, you have to come up with a proof
08:39:22 <riv> so it's semidecidable vs undecidable
08:49:47 -!- Sgeo has quit (Read error: Connection reset by peer).
08:50:32 -!- Sgeo has joined.
09:08:44 -!- oerjan has joined.
09:19:55 -!- Oshawott has joined.
09:23:49 -!- archenoth has quit (Ping timeout: 256 seconds).
09:45:33 <oerjan> <Corbin> fungot, am I allowed to be disappointed at that reply? <-- i think some people simply are incapable of understanding ordering of quantifiers, and therefore get horribly confused about math.
09:45:34 <fungot> oerjan: as of this year, extra care and remember riders may ride fnord over the two years, now totalling about 100 more in the house to do the same also applies to the fe system
09:51:49 <oerjan> hm looking at following replies, i'm not sure that's the actual sticking point here
09:53:19 <oerjan> another possibility in reverse is when the _intended_ order is so "obvious" that one doesn't notice an ambiguity in the statement.
09:58:57 <esolangs> [[Special:Log/delete]] delete * Oerjan * deleted "[[Left-Right March/Gallery]]": Author request: content was: "Delete this page.", and the only contributor was "[[Special:Contributions/DigitalDetective47|DigitalDetective47]]" ([[User talk:DigitalDetective47|talk]])
10:02:59 <b_jonas> I don't understand. which reply is that about?
10:03:03 <b_jonas> is it something on the wiki?
10:06:26 -!- Lord_of_Life_ has joined.
10:07:23 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
10:07:45 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
10:14:28 <oerjan> b_jonas: Corbin was having a discussion on the wiki, yes
10:21:38 -!- monoxane has joined.
10:42:28 -!- Sgeo has quit (Read error: Connection reset by peer).
11:10:03 -!- chiselfuse has quit (Remote host closed the connection).
11:12:58 -!- chiselfuse has joined.
11:15:34 -!- Koen has joined.
11:23:01 -!- tech_exorcist has joined.
11:35:52 -!- tech_exorcist has quit (Quit: bbl).
11:37:32 -!- tech_exorcist has joined.
11:38:09 -!- oerjan has quit (Quit: Later).
12:20:42 -!- immibis_ has changed nick to immibis.
13:08:10 -!- chiselfuse has quit (Remote host closed the connection).
13:08:22 -!- chiselfuse has joined.
13:14:06 <riv> pretty good!
13:14:15 <riv> im doing aoc in rust, not very eso but learning
13:14:17 <riv> how are you?
13:14:33 <Taneb> A bit sleepy. Spending the weekend visiting friends and I was up very late last night
13:14:59 <Taneb> I'm doing AoC in Haskell which is only marginally more eso than Rust, I think
13:15:07 <Taneb> Although I also did day 1 in J
13:15:14 <riv> ahh very nice!
13:16:03 <Taneb> I'm not proficient in J at all though so it was a bit of a struggle :(
13:34:27 -!- tech_exorcist has quit (Quit: bbl).
13:40:19 -!- Koen has quit (Remote host closed the connection).
13:47:30 <fizzie> I'm doing them in Burlesque, and I'm not proficient in it either.
13:51:18 <fizzie> I've also been doing 2020 in Burlesque for practice. Here's what I've got so far, if you either (a) don't mind spoilers in general, or (b) don't mind spoilers in an unreadable language: https://zem.fi/tmp/aocblsq.txt
14:02:29 -!- tech_exorcist has joined.
15:23:31 <int-e> > flip (zipWith (!!)) [0..] . reverse . words $ "lets ship that tree"
15:33:18 -!- SGautam has joined.
15:38:24 -!- impomatic has joined.
15:38:32 -!- simcop2387 has quit (Ping timeout: 240 seconds).
15:38:57 -!- perlbot has quit (Ping timeout: 256 seconds).
15:39:58 <Corbin> oerjan's patience is admirable. I wish I had their chill.
15:43:52 <int-e> Oh do we have another instance of https://xkcd.com/386/
15:46:39 <int-e> TBF "The confusion arises from your assumption that there exists a unique convention regarding the definition of the Halting problem." *is* offensive.
15:47:06 <Corbin> Sure. Somebody has dreamed that, *if* we could solve Turing's Halting probloem, then many possible changes to society could take place. I don't have a problem with people posting sci-fi about hypercomputation, but the author seemed to believe that hypercomputation is physically possible, and that could mislead other folks who come across the page later.
15:48:11 <int-e> (There are wrinkles, of course, but they exist because they *don't* make a substantial difference. Things like, do you consider Turing machines or maybe partial recursive functions or lambda expressions; do you fix an input or do you make that part of the problem instance...)
15:48:29 <int-e> So. Yeah I could easily fall into that trap. :)
15:48:56 <Corbin> (Right, the Turing-complete languages and systems form a single massive structure without any preferred entrance; there's no "simplest" Turing-complete formalism.)
16:02:19 -!- tech_exorcist has quit (Quit: bbl).
16:10:39 <shachaf> OK, so the idea behind LL and LR parsers is actually pretty simple, and I just never looked into it properly.
16:36:50 -!- tech_exorcist has joined.
16:50:16 -!- perlbot has joined.
16:51:44 -!- Koen has joined.
16:54:49 -!- simcop2387 has joined.
17:29:57 -!- impomatic has quit (Ping timeout: 256 seconds).
17:35:57 -!- Koen has quit (Quit: Leaving...).
17:54:56 -!- tech_exorcist has quit (Quit: ttyl).
18:09:37 -!- simcop2387 has quit (Ping timeout: 256 seconds).
18:09:41 -!- perlbot has quit (Ping timeout: 256 seconds).
18:12:16 -!- earendel has quit (Quit: Connection closed for inactivity).
18:35:42 -!- tech_exorcist has joined.
18:36:05 -!- tech_exorcist has quit (Remote host closed the connection).
18:38:06 -!- tech_exorcist has joined.
18:40:02 -!- tech_exorcist has quit (Remote host closed the connection).
18:45:11 <esolangs> [[PRG]] https://esolangs.org/w/index.php?diff=90367&oldid=90364 * DigitalDetective47 * (+1234) /* Examples */ Add factorial
18:46:38 -!- perlbot has joined.
18:47:01 -!- dyeplexer has quit (Ping timeout: 256 seconds).
18:53:55 -!- perlbot has quit (Ping timeout: 252 seconds).
19:03:44 -!- perlbot has joined.
19:09:19 -!- simcop2387 has joined.
19:14:45 <esolangs> [[Rockstar]] https://esolangs.org/w/index.php?diff=90368&oldid=73045 * Dylanbeattie * (-83)
19:17:31 -!- dutch has quit (Quit: WeeChat 3.3).
19:22:10 -!- dutch has joined.
19:42:36 -!- SGautam has quit (Quit: Connection closed for inactivity).
19:52:21 <myname> "bonfire peaks - a stephen's sausage roll lite" - i am intrigued
20:16:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:19:16 -!- oerjan has joined.
20:26:45 <oerjan> <Corbin> oerjan's patience is admirable. I wish I had their chill. <-- i've spent about two decades learning that losing patience only attracts more of what annoys me. and yet i still regularly do it, when i don't remember to let go.
20:27:25 -!- Sgeo has joined.
20:29:59 -!- tromp has joined.
20:35:44 <Taneb> myname: I saw Stephen's Sausage Roll, it looks interesting but not something I'd be good at at all
20:38:58 <shachaf> Taneb: Did you see A Monster's Expedition?
20:39:16 <Taneb> Can you remind me on Monday afternoon please
20:44:49 <shachaf> Maybe someone else can? I have no memory.
20:44:53 -!- HackEso has quit (Ping timeout: 256 seconds).
20:45:27 -!- tromp has quit (Ping timeout: 256 seconds).
20:45:27 -!- oerjan has quit (Ping timeout: 256 seconds).
20:45:34 -!- HackEso has joined.
20:45:36 -!- oerjan has joined.
20:55:32 -!- tech_exorcist has joined.
20:59:15 -!- tech_exorcist has quit (Remote host closed the connection).
20:59:32 -!- tech_exorcist has joined.
21:14:29 <shachaf> Would you say the Shunting Yard algorithm is top-down or bottom-up?
21:21:39 -!- blu256 has quit (Quit: Gone).
21:43:41 <esolangs> [[SICKBAY]] https://esolangs.org/w/index.php?diff=90369&oldid=34873 * Chris Pressey * (+141) /* External resources */ Add sickbay.hs
22:29:29 -!- oerjan has quit (Quit: Nite).
22:42:01 -!- tech_exorcist has quit (Quit: Goodbye).
22:42:27 -!- tech_exorcist has joined.
22:48:24 -!- tech_exorcist has quit (Remote host closed the connection).
23:10:57 <esolangs> [[User:Fmbalbuena/lyxal]] N https://esolangs.org/w/index.php?oldid=90370 * Fmbalbuena * (+436) lyxal lyxal lyxal
23:45:20 -!- dutch has quit (Quit: WeeChat 3.3).
23:50:44 -!- dutch has joined.
23:56:00 <int-e> fungot: do you dream of electric sheep
23:56:02 <fungot> int-e: at the time, madam speaker, with the house,
23:56:16 <int-e> fungot: I'll take that as a yes.