00:01:50 -!- craigo has quit (Ping timeout: 256 seconds).
00:17:44 -!- tromp has joined.
00:22:21 -!- tromp has quit (Ping timeout: 272 seconds).
00:24:38 <ski> int-e : ohh .. i remember i mentioned something like those rules, years ago, in #haskell
00:24:43 <ski> shachaf : oh, reminds a bit of I/O tabling in Mercury ?
00:25:13 <shachaf> What does?
00:29:29 <zzo38> How is I/O tabling in Mercury is working?
00:34:11 <ski> rr
00:35:48 <shachaf> Ah, interesting.
00:36:21 <ski> it memoizes the calls (inputs, outputs) to I/O primitives (representing the uniquely threaded token of type `io.state' as an integer, incremented by primitive I/O ops, iirc), so that when you use "retry" in the procedural debugger, it'll use the recorded events, rather than actually do the I/O again
00:36:32 <shachaf> If you structure your program (or runtime) to work this way, it isn't so difficult to make it work yourself.
00:36:54 <shachaf> But it doesn't work that well if you use any libraries, and it doesn't work well with multithreading.
00:37:23 <zzo38> O, that is how it work
00:37:27 <shachaf> It sounds like a neat language feature.
00:37:38 <ski> see "Idempotent I/O for safe time travel" by Zoltan Somogyi in 2003-09 at <https://www.mercurylang.org/documentation/papers.html#aadebug03-paper>
00:38:20 <ski> also used by the declarative debugger, iirc
00:39:03 <shachaf> Man, what if there was a recommendation service for papers? I have 94 papers in this directory. I bet that's plenty to come up with good papers I'd want to read.
00:39:12 <shachaf> Maybe I can ask GPT-3.
00:39:22 <ski> who's GPT-3 ?
00:40:26 <b_jonas> shachaf: there are sites that let you find reverse citations, you can often find recommended papers that way. and obviously you can look at citations too.
00:41:38 <shachaf> ski: OpenAI's new language model.
00:41:50 <ski> dunno what OpenAI is, either
00:42:14 <shachaf> It's a company.
00:42:26 <shachaf> I posted some links to GPT-3 generated text above, I think.
00:42:32 <shachaf> https://gist.github.com/ekmett/11a0e1f49b73a2feab287373ddaf68cd
00:42:38 <ski> natural language ?
00:42:44 <shachaf> https://gist.github.com/ekmett/a72c19715aa8277428324dfaa6d73074
00:42:47 <shachaf> https://gist.githubusercontent.com/runarorama/e0b9107f707ef61db93eb67e4823798e/raw/e38121da6a013d1286199371e0aacc81b09b7232/gistfile1.txt
00:42:50 <shachaf> Yes.
00:42:53 <b_jonas> `recipes
00:42:54 <HackEso> recipes? No such file or directory
00:42:55 <b_jonas> `recipe
00:42:57 <HackEso> las, lemon juice, and all the chicken. Keep brown sugar in a sieve and \  carrots and add the vegetables and cook for about 20 \  minutes. In a large bowl, combine flour, baking dissolved and \  soup. \   \  Yield: 3/4 cup cornstarch fat each. \   \  Source: The Barrie Louisiana by Rocky BAKING WAMANE BISCOTTid \   \  From: Pat Anne Rolls: \   \  From The Smith: Per serving: 415 calories, 2 g fiber. \   \  Posted by: Shemoon nate: India, its: 
00:43:24 <ski> second one 404s
00:43:47 <shachaf> Are you sure? It works here.
00:44:45 <b_jonas> where can I download OEIS dumps these days?
00:47:40 <shachaf> There is http://oeis.org/wiki/Welcome#Compressed_Versions
00:48:27 <b_jonas> thanks
00:48:43 <b_jonas> that's not a full archive though
00:49:11 <esowiki> [[Boolshit]] N https://esolangs.org/w/index.php?oldid=76150 * Hakerh400 * (+2826) +[[Boolshit]]
00:49:17 <esowiki> [[Language list]]  https://esolangs.org/w/index.php?diff=76151&oldid=76067 * Hakerh400 * (+15) +[[Boolshit]]
00:49:22 <esowiki> [[User:Hakerh400]]  https://esolangs.org/w/index.php?diff=76152&oldid=76068 * Hakerh400 * (+15) +[[Boolshit]]
00:49:45 <ski> strange, works now
00:51:25 <esowiki> [[Boolshit]] M https://esolangs.org/w/index.php?diff=76153&oldid=76150 * Hakerh400 * (+1) fix typos
00:53:35 <esowiki> [[Boolshit]] M https://esolangs.org/w/index.php?diff=76154&oldid=76153 * Hakerh400 * (+85) 
01:02:31 -!- Cale has quit (Remote host closed the connection).
01:18:43 <b_jonas> in that case, how do I list recently edited sequences in OEIS? that would let someone make an up-to-date mirror that they can distribute as downloadable compressed dumps
01:25:58 <tswett[m]> Chwelp, I want to start writing another operating system.
01:26:03 <tswett[m]> I'm gonna call this one "batbat".
01:26:16 <tswett[m]> And I think I'm gonna use NASM.
01:26:29 <tswett[m]> Step one, I want to figure out how to get NASM to just output a file that's 50000h bytes long.
01:38:29 <tswett[m]> I wonder if I can tell it I want a section which starts at byte 50000h and which is 0 bytes long.
01:46:04 <Lykaina> Do jokes like "Does the name Pavlov ring a bell?" just make you want to drool?
01:52:07 <shachaf> Pft, using NASM rather than writing your own assembler?
02:05:10 -!- Phantom__Hoover has joined.
02:05:43 -!- tromp has joined.
02:10:13 -!- tromp has quit (Ping timeout: 244 seconds).
02:10:58 -!- MDude has joined.
02:10:59 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
02:26:09 -!- t20kdc has quit (Remote host closed the connection).
02:59:57 -!- tromp has joined.
03:04:29 -!- tromp has quit (Ping timeout: 272 seconds).
03:42:06 -!- Frater_EST has quit (Read error: Connection reset by peer).
03:53:54 -!- tromp has joined.
03:58:37 -!- tromp has quit (Ping timeout: 260 seconds).
04:12:02 -!- xelxebar has quit (Remote host closed the connection).
04:13:33 -!- xelxebar has joined.
04:19:37 -!- tromp has joined.
04:21:59 -!- tromp_ has joined.
04:24:17 -!- tromp has quit (Ping timeout: 272 seconds).
04:26:49 -!- tromp_ has quit (Ping timeout: 272 seconds).
05:16:23 -!- tromp has joined.
05:21:17 -!- tromp has quit (Ping timeout: 272 seconds).
05:21:27 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:25:33 -!- Cale has joined.
05:41:44 -!- craigo has joined.
05:46:03 -!- xelxebar has quit (Ping timeout: 240 seconds).
05:50:04 -!- xelxebar has joined.
06:58:14 -!- tromp has joined.
07:11:27 <int-e> `? like
07:11:29 <HackEso> like? ¯\(°​_o)/¯
07:15:23 <shachaf> How do you?
07:17:06 <int-e> it's just the wrong keyword I think
07:17:07 <int-e> `? this
07:17:09 <HackEso> This is something people on the channel like to talk about. We're often unsure what this is, though. Nobody likes this.
07:17:26 <shachaf> Well, I'm asking about the specific manner in which you.
07:17:34 <shachaf> But maybe I can demonstrate.
07:17:36 <shachaf> Do you like this?
07:30:07 -!- iovoid has quit (Ping timeout: 244 seconds).
07:31:33 -!- iovoid has joined.
07:33:38 -!- Sgeo has quit (Read error: Connection reset by peer).
07:47:13 -!- TheLie has joined.
08:03:32 -!- hendursa1 has joined.
08:06:03 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:27:20 -!- Phantom__Hoover has joined.
08:29:23 -!- TheLie has quit (Ping timeout: 272 seconds).
08:29:48 -!- afkpaul has joined.
08:54:49 -!- imode has quit (Ping timeout: 264 seconds).
09:45:37 -!- b_jonas has quit (Quit: leaving).
10:20:59 <esowiki> [[Boolshit]] M https://esolangs.org/w/index.php?diff=76155&oldid=76154 * Hakerh400 * (+1) 
10:34:30 -!- afkpaul has left ("https://yatebts.com").
10:59:38 -!- Lord_of_Life_ has joined.
11:01:58 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
11:02:28 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:36:12 -!- t20kdc has joined.
11:53:34 -!- Phantom___Hoover has joined.
11:55:47 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
12:34:53 -!- MDude has joined.
12:37:34 -!- wib_jonas has joined.
12:38:42 <wib_jonas> https://www.scottaaronson.com/blog/?p=4916 "The Busy Beaver Frontier"
12:43:23 -!- salpynx has quit (Remote host closed the connection).
13:15:29 -!- rain1 has quit (Quit: Leaving).
13:18:45 -!- hendursa1 has quit (Quit: hendursa1).
13:19:17 -!- hendursaga has joined.
13:41:16 -!- rain1 has joined.
14:08:38 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
14:09:35 -!- Lord_of_Life has joined.
15:32:32 -!- Arcorann has quit (Read error: Connection reset by peer).
15:39:06 <esowiki> [[Selmotic]] N https://esolangs.org/w/index.php?oldid=76156 * Caenbe * (+4385) Created Selmotic
15:40:47 <esowiki> [[User:Caenbe]]  https://esolangs.org/w/index.php?diff=76157&oldid=76064 * Caenbe * (-418) Update
15:42:41 -!- wib_jonas has quit (Quit: Connection closed).
15:45:29 <esowiki> [[Selmotic]] M https://esolangs.org/w/index.php?diff=76158&oldid=76156 * Caenbe * (+5) /* Execution */ Link
15:47:19 <esowiki> [[Language list]]  https://esolangs.org/w/index.php?diff=76159&oldid=76151 * Caenbe * (+15) /* S */ Added Selmotic
15:50:18 -!- LKoen has joined.
15:51:31 -!- Sgeo has joined.
16:23:41 -!- tromp has quit (Remote host closed the connection).
16:36:43 -!- joast has joined.
16:55:24 -!- tromp has joined.
17:00:02 -!- tromp has quit (Ping timeout: 260 seconds).
17:01:00 -!- tromp has joined.
17:15:26 -!- tromp has quit (Read error: Connection timed out).
17:16:02 -!- tromp has joined.
17:18:19 -!- b_jonas has joined.
17:50:53 -!- LKoen has quit (Remote host closed the connection).
17:57:49 -!- LKoen has joined.
18:02:37 -!- LKoen has quit (Ping timeout: 264 seconds).
18:03:37 -!- rain1 has quit (Quit: Leaving).
18:50:10 -!- imode has joined.
18:58:00 <int-e> `"
18:58:02 <HackEso> 1/1:861) <kmc> i can only hope that the 55 year old nuclear reactor 2 blocks away from my house is too old to have SCADA \ 1138) <Bike> i wonder how it feels to develop a cryptocurrency which is subsequently behind dogecoin  <kmc> such shame, very failure
18:58:14 <int-e> fungot: do you believe in sufficiently smart compilers?
18:58:14 <fungot> int-e: we on the government benches.
18:58:27 <int-e> ^style irc
18:58:27 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
18:58:34 <int-e> fungot: how about now?
18:58:34 <fungot> int-e: something stinks here. hopefully he'll return while i'm coming there, then). since this system doesn't have classes
19:05:48 -!- TheLie has joined.
19:12:09 <fizzie> I've heard a sufficiently advanced compiler is indistinguishable from magic.
19:16:08 <esowiki> [[Selmotic]]  https://esolangs.org/w/index.php?diff=76160&oldid=76158 * Caenbe * (+11) Not really a tape since there's no explicit tape pointer
19:18:18 <esowiki> [[Selmotic]]  https://esolangs.org/w/index.php?diff=76161&oldid=76160 * Caenbe * (+24) /* Consequences */ Added cat
19:22:28 <int-e> . o O ( a sufficiently advanced compiler will break your code in ways you've never imagined )
19:22:57 <int-e> But yes, of course it's magic.
19:26:34 -!- xelxebar_ has joined.
19:26:43 -!- xelxebar has quit (Ping timeout: 240 seconds).
19:30:11 <int-e> Taneb: https://girlgenius.fandom.com/wiki/Forum:2020-07-22_(Wednesday)#Message_from_Kaja (wow that sounds nasty, hope the worst of it is over)
19:31:52 <esowiki> [[List of ideas]]  https://esolangs.org/w/index.php?diff=76162&oldid=76051 * Caenbe * (+245) /* Based on dimensions */
19:32:38 <esowiki> [[User:Caenbe]]  https://esolangs.org/w/index.php?diff=76163&oldid=76157 * Caenbe * (-135) I don't know why I didn't put this of List of ides in the 1st place
19:51:54 <esowiki> [[Selmotic]]  https://esolangs.org/w/index.php?diff=76164&oldid=76161 * Caenbe * (+77) /* How pointers work in this language */
20:01:24 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
20:17:01 <esowiki> [[Esolang:About]]  https://esolangs.org/w/index.php?diff=76165&oldid=56180 * Heavpoot * (+168) 
20:24:23 <esowiki> [[Esolang:About]]  https://esolangs.org/w/index.php?diff=76166&oldid=76165 * Int-e * (-168) Undo revision 76165 by [[Special:Contributions/Heavpoot|Heavpoot]] ([[User talk:Heavpoot|talk]]) -- revert vandalism
20:25:22 <int-e> can we ban this person already
20:28:09 <int-e> (re: esowiki edits by Heavpoot, for those who're ignoring esowiki)
20:29:00 <shachaf> int-e does not like this.
20:29:25 <int-e> shachaf: maybe you'll like https://mobile.twitter.com/gemelket/status/1283170929984634880
20:29:25 <imode> what even is his goal.
20:29:42 <int-e> imode: I imagine a 11 year old who finds this funny
20:30:06 <int-e> Err, an 11 year old. Should've stuck with 13.
20:31:14 <shachaf> int-e: That's pretty good.
20:32:30 <esowiki> [[\ () /]] M https://esolangs.org/w/index.php?diff=76167&oldid=65088 * Randairox * (+0) 
20:35:03 <esowiki> [[User talk:Heavpoot]] N https://esolangs.org/w/index.php?oldid=76168 * Heavpoot * (+27361) Created page with "<div style='line-height:0;transform:rotate(10deg);width:1000px;'><div style='background-color:black;color:white;text-align:center;width:50px;height:50px;display:inline-block;'..."
20:40:27 <esowiki> [[Boolshit]] M https://esolangs.org/w/index.php?diff=76169&oldid=76155 * Hakerh400 * (-16) rm dangling title
20:41:26 <esowiki> [[\ () /]] M https://esolangs.org/w/index.php?diff=76170&oldid=76167 * Randairox * (-20) accuracy
20:42:51 <esowiki> [[User:SoundOfScripting]]  https://esolangs.org/w/index.php?diff=76171&oldid=68597 * Heavpoot * (-26) 
20:43:48 <fizzie> Yeah, let's see if we can figure out the block mechanism.
20:44:30 <esowiki> [[User:SoundOfScripting]]  https://esolangs.org/w/index.php?diff=76172&oldid=76171 * Int-e * (+26) Undo revision 76171 by [[Special:Contributions/Heavpoot|Heavpoot]] ([[User talk:Heavpoot|talk]]) -- vandalizing other's user pages is not okay either
20:45:49 <fizzie> Special:Block seems right, but do I make this indefinite, or two weeks, or some other random time? 
20:46:30 <esowiki> [[User:SoundOfScripting]]  https://esolangs.org/w/index.php?diff=76173&oldid=76172 * Heavpoot * (-26) https://cdn.discordapp.com/attachments/348702212110680064/735960938322198598/unknown.png see this.
20:46:42 <esowiki> [[Special:Log/block]] block  * Fizzie *  blocked [[User:Heavpoot]] with an expiration time of 1 month (account creation disabled): Inserting nonsense/gibberish into pages: Random acts of vandalism, e.g. Esolang:About and User:SoundOfScripting.
20:47:25 <int-e> Do I trust that screenshot? They should really log in themselves then. In context this was obviously vandalism.
20:50:23 <fizzie> Well, the Esolang:About and the main page edits were inexcusable enough, even if this was some sort of weird user-sanctioned ritual.
20:51:09 <int-e> Yeah the question is whether I want to revert the latest edit to User:SoundOfScripting.
20:52:36 <int-e> I guess I'll leave it :-/
20:53:40 <esowiki> [[User talk:Fizzie]] M https://esolangs.org/w/index.php?diff=76174&oldid=69348 * SoundOfScripting * (+349) unban Heav please
20:54:30 <int-e> I guess that authenticates it.
20:54:31 <esowiki> [[User talk:Fizzie]] M https://esolangs.org/w/index.php?diff=76175&oldid=76174 * SoundOfScripting * (-1) fixed formatting error
20:56:56 <Taneb> int-e: ooooof
20:59:25 <esowiki> [[User talk:Fizzie]]  https://esolangs.org/w/index.php?diff=76176&oldid=76175 * Fizzie * (+527) /* Edits by User:Heavpoot */ Response.
20:59:53 <esowiki> [[User talk:Fizzie]]  https://esolangs.org/w/index.php?diff=76177&oldid=76176 * Fizzie * (+79) /* Edits by User:Heavpoot */ I don't know how to sign. :/
21:00:07 <int-e> fizzie: --~~~~
21:00:23 <fizzie> Yeah, I do actually know that, I just never remember to actually do it.
21:00:52 <int-e> That makes that comment very odd :P
21:01:01 <int-e> Oh wait.
21:01:24 <int-e> fizzie: Sorry, I didn't realize you had two edits, and I managed to look at the unsigned page.
21:02:04 <int-e> So I thought, momentarily, that you left an unsigned comment with "I don't know how to sign. :/" ad the edit message.
21:02:10 <int-e> *as
21:02:15 <fizzie> Right, I can see how it would look like that.
21:03:01 <int-e> kind of funny, actually.
21:03:49 -!- TheLie has quit (Remote host closed the connection).
21:05:32 <int-e> Maybe the point that Heavpoot doesn't get is that the esolangs wiki is *not* a joke project, even though it's largely *about* joke projects.
21:06:24 <int-e> (of course there's also some pretty serious computability theory)
21:07:45 <myname> i always forget how to sign, too
21:08:17 <fizzie> I mean, it's a bit of a joke in itself too. There's that "matrix of solidity" thing right on the main page. I think it's just that it's not *only* a joke, and the parts that are actually about "using" the site are among the non-joke ones.
21:09:53 <fizzie> In any case, I did figure out where the 'unblock' button is, so if they ask (and say they'll do something more constructive), I'd probably do that (at least once).
21:10:25 <int-e> So the main page *has* a joke in it. It's still not a joke in and of itself.
21:10:52 <imode> a cup can have water in it. a cup is not water.
21:11:01 <int-e> (it's well hidden too, well enough that I almost forgot about it.)
21:16:39 <esowiki> [[User:SoundOfScripting]] M https://esolangs.org/w/index.php?diff=76178&oldid=76173 * SoundOfScripting * (+26) Undo revision 76171 by [[Special:Contributions/Heavpoot|Heavpoot]] ([[User talk:Heavpoot|talk]]) -- I really ought to make better languages.
21:18:35 <b_jonas> fizzie: since you're working on the wiki including what joke is on the main page, 
21:20:33 <b_jonas> ah, never mind, Thue has been there for less than two years, and it's a language I like more than Funciton or brainfuck as the featured language
21:20:41 <b_jonas> we'll get back to that next year
21:22:05 <fizzie> "SGTM", as we say all the time at work. (Sort of guessed it was going to be about featured languages.)
21:23:38 <esowiki> [[User talk:Fizzie]]  https://esolangs.org/w/index.php?diff=76179&oldid=76177 * Int-e * (+254) 
21:24:03 <int-e> (funny that the edit is now reverted anyway)
21:57:43 -!- salpynx has joined.
21:58:03 -!- MDude has joined.
22:03:23 <esowiki> [[Talk:Minsky Swap]]  https://esolangs.org/w/index.php?diff=76180&oldid=76133 * Caenbe * (+631) 
22:04:25 <esowiki> [[Talk:Minsky Swap]] M https://esolangs.org/w/index.php?diff=76181&oldid=76180 * Caenbe * (+3) D'oh.
22:12:36 <zzo38> I played Pokemon card game, and opponent told me that my play was "really sneaky" because I didn't knock out one of their cards. I am not so sure to call it "really sneaky", but, either way, it is a legitimate strategy.
22:41:29 -!- tromp has quit (Remote host closed the connection).
22:48:59 -!- LKoen has joined.
22:50:37 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds).
22:59:49 -!- Lord_of_Life_ has joined.
23:00:38 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
23:01:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:12:59 -!- Arcorann has joined.
23:13:25 -!- tromp has joined.
23:14:34 -!- t20kdc has quit (Remote host closed the connection).
23:18:23 -!- tromp has quit (Ping timeout: 258 seconds).
23:58:23 -!- salpynx has quit (Remote host closed the connection).