←2020-09-10 2020-09-11 2020-09-12→ ↑2020 ↑all
00:07:16 <shachaf> But how do you run the code?
00:07:34 <shachaf> Including shell scripts at the top seems very Unix-centric.
00:07:39 <shachaf> I want my programs to be cross-platform.
00:08:34 <zzo38> Well, you could still compile it without running the shell script at top too I suppose, just using whatever compiler it is; or you can use WSL
00:11:29 -!- xelxebar has quit (Remote host closed the connection).
00:11:50 -!- xelxebar has joined.
00:13:14 <shachaf> How do you write a shell script at the top?
00:13:22 <shachaf> I guess you can start a C program with #if 0
00:13:28 <shachaf> But you can't have a #! line.
00:13:52 <zzo38> Yes, although you can still run it by writing "bash main.c" or whatever
01:05:31 -!- tux_ has joined.
01:05:56 <tux_> woot
01:06:44 -!- tux_ has quit (Client Quit).
02:17:27 -!- adu has joined.
02:54:39 -!- MDude has quit (Read error: No route to host).
03:09:21 -!- adu has quit (Quit: adu).
03:33:24 -!- xelxebar_ has joined.
03:33:43 -!- xelxebar has quit (Ping timeout: 240 seconds).
03:43:39 <zzo38> Here is a implementation of Unnecessary in PostScript: ARGUMENTS 0{get(r)file}stopped{[}if] Like the one I wrote in JavaScript, the error message is strange.
03:45:43 <esowiki> [[Talk:Unnecessary]] https://esolangs.org/w/index.php?diff=77432&oldid=57536 * Zzo38 * (+363) Implementation in PostScript (which is also a bit strange)
03:46:02 <zzo38> Hopefully, both of these implementations, you could see how it is working.
03:48:06 <zzo38> Do you like this?
04:00:54 <esowiki> [[Talk:Unnecessary]] https://esolangs.org/w/index.php?diff=77433&oldid=77432 * Zzo38 * (+59)
04:02:25 -!- xelxebar_ has quit (Remote host closed the connection).
04:02:47 -!- xelxebar has joined.
04:12:27 <zzo38> Is there a short way to write googol with roman numbers?
04:25:47 -!- Lymia has quit (Ping timeout: 240 seconds).
04:25:49 -!- trn has quit (Ping timeout: 265 seconds).
04:28:47 -!- Lymia has joined.
04:38:47 -!- trn has joined.
04:39:22 <Arcorann_> An X with 33 bars over it might work
04:44:48 <Arcorann_> The other option is something like CCC...CCC|ↃↃↃ...ↃↃↃ (see also Wikipedia: https://en.wikipedia.org/wiki/Roman_numerals#Large_numbers)
04:45:05 <Arcorann_> where there are 98 Cs and backwards Cs
04:49:00 <zzo38> How many bars was the largest number of bars the Romans used?
04:51:49 <Arcorann_> I don't know of any historical cases where more than one was used
04:54:52 <zzo38> I think in modern use, most things with roman numbers are not going to use any bars, nor any fractions, although I have occasionally used fractions
04:59:53 <Arcorann_> (That pipe should be an I by the way)
05:01:41 -!- Lord_of_Life_ has joined.
05:03:04 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
05:03:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
05:11:23 -!- zzo38 has quit (Ping timeout: 240 seconds).
05:21:22 -!- zzo38 has joined.
05:48:17 <zzo38> I think the rules for Cryptography skill in GURPS isn't very good. And for other reasons, there are also problems with Fortune-Telling skill. And actually, also Brawling skill; you might be better or worse at bites, horns, claws, etc, but the skill level for them is not distinguished (although the attacks themself are distinguished).
06:02:34 <esowiki> [[DigitDigitJump]] https://esolangs.org/w/index.php?diff=77434&oldid=77425 * Zero * (-24)
06:31:56 <int-e> Woah, there's a World Standards Day?
06:32:45 <int-e> Which is on October 14th every year. Boring so far... but the reason I'm reading about this now is this: 'The U.S. Celebration of World Standards Day (WSD), an event intended to raise awareness of the importance of global standardization to the world economy and to promote its role in helping meet the needs of business, industry, government, and consumers worldwide, will be held on Thursday,...
06:32:51 <int-e> ...October 22.'
06:40:39 <Arcorann_> Wait, where is this?
06:41:18 <int-e> https://www.ansi.org/news_publications/news_story?menuid=7&articleid=fa8379c4-3024-4970-b782-9446aadaf805
06:41:56 <int-e> . o O ( ANSI adaptation of international standards always takes a while. )
07:01:45 <Arcorann_> According to Wikipedia they've been doing this since 2014
07:04:47 <Arcorann_> https://www.ansi.org/meetings_events/WSWEEK/WSW2020/World-Standards-Day <-- by the way, this year's was cancelled
07:11:10 <int-e> October 28th!
07:11:26 <int-e> Sorry, I somehow find this funny.
07:12:07 <int-e> (The datas. The cancellation is just good practice right now.)
07:12:38 <int-e> Though many events go virtual instead.
07:23:59 -!- Sgeo has quit (Read error: Connection reset by peer).
07:57:02 -!- hendursaga has quit (Remote host closed the connection).
07:57:52 -!- hendursaga has joined.
08:10:19 -!- hendursa1 has joined.
08:12:23 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:16:59 -!- cpressey has joined.
08:40:35 -!- imode has quit (Ping timeout: 240 seconds).
08:50:14 -!- arseniiv has joined.
09:41:38 -!- LKoen has joined.
10:11:06 -!- ^[_ has quit (*.net *.split).
10:11:06 -!- ornxka has quit (*.net *.split).
10:11:06 -!- laerling has quit (*.net *.split).
10:11:07 -!- paul2520 has quit (*.net *.split).
10:11:19 -!- laerling has joined.
10:16:59 -!- ^[_ has joined.
10:16:59 -!- ornxka has joined.
10:16:59 -!- paul2520 has joined.
10:17:02 -!- ^[_ has quit (Changing host).
10:17:02 -!- ^[_ has joined.
10:17:15 -!- ornxka has quit (Max SendQ exceeded).
10:17:32 -!- ornxka has joined.
10:36:57 <cpressey> The PA degrees are interesting. The WP article doesn't do a good job defining what a "completion of PA" is, but I take it that a completion of PA is not (necessarily) Turing-complete. Which raises the interesting question of what computability class (or classes) they do represent.
10:37:43 <cpressey> rain1: ^
10:40:26 <rain1> ok!
10:40:31 <rain1> PA??
10:40:38 <cpressey> "A completion of Peano arithmetic is a set of formulas in the language of Peano arithmetic, such that the set is consistent in first-order logic and such that, for each formula, either that formula or its negation is included in the set."
10:40:39 <rain1> peano arithmetic?
10:40:41 <rain1> hm
10:40:54 <rain1> wow
10:41:04 <cpressey> That sentence sounds like a tautology to me -- they must mean something by "for each formula" that I don't get
10:41:24 <rain1> i suppose we have to assign a truth value to everything
10:41:30 <rain1> as opposed to leaving undecidable sentences
10:46:42 <rain1> so we can actually write a real computer program that lists out the truth values of PA sentences in an order such that everything is mentioned eventually?
10:53:59 <cpressey> What truth value would you expect it to eventually print out for the PA sentence that says "This sentence is false"?
10:55:07 <rain1> i am not sure
10:55:15 <rain1> is it impossible to assign it a truth value?
10:56:29 -!- bizzz has joined.
10:57:22 -!- bizzz has left.
11:08:43 <cpressey> I think so.
11:10:18 <cpressey> The PA degree article does seem to say that the PA degrees are uncomputable, and it doesn't actually refer to any proof that there is a PA degree strictly lower than the HP - it only says "There are also PA degrees that are not above 0‘".
11:10:41 <cpressey> So maybe 0' is the lowest PA degree, it doesn't seem to rule that out.
11:12:34 <cpressey> A set that is uncomputable but "not as uncomputable as the halting problem" is very, very hard to imagine.
11:12:54 -!- cpressey has quit (Quit: Lunch).
11:13:36 <rain1> yes it is
11:14:16 <rain1> especially with rices theorem??
11:14:20 <rain1> doesn't rices theorem rule that out
11:32:52 <esowiki> [[Special:Log/newusers]] create * HerzogDietrich * New user account
11:45:28 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
12:08:11 <esowiki> [[DigitDigitJump]] https://esolangs.org/w/index.php?diff=77435&oldid=77434 * Zero * (-30)
12:20:19 <esowiki> [[SpaghettiScript]] https://esolangs.org/w/index.php?diff=77436&oldid=73071 * UltimateProGrammer * (+134) Outputs letter
12:28:21 <esowiki> [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=77437&oldid=77436 * UltimateProGrammer * (+11)
12:32:44 <esowiki> [[SpaghettiScript]] https://esolangs.org/w/index.php?diff=77438&oldid=77437 * UltimateProGrammer * (+46) Get FizzBuzz to work
12:40:33 <esowiki> [[DigitDigitJump]] https://esolangs.org/w/index.php?diff=77439&oldid=77435 * Zero * (+129) Undo revision 77435 by [[Special:Contributions/Zero|Zero]] ([[User talk:Zero|talk]])
12:45:57 <esowiki> [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=77440&oldid=77438 * UltimateProGrammer * (+768) Say Fizz instead of F and the same with buzz
12:46:43 <esowiki> [[DigitDigitJump]] https://esolangs.org/w/index.php?diff=77441&oldid=77439 * Zero * (+91)
12:50:23 -!- hendursa1 has quit (Quit: hendursa1).
12:50:41 -!- hendursaga has joined.
12:51:45 <esowiki> [[DigitDigitJump]] https://esolangs.org/w/index.php?diff=77442&oldid=77441 * Zero * (+229)
13:56:54 -!- tromp has joined.
13:59:48 -!- tromp_ has quit (Ping timeout: 246 seconds).
14:05:40 -!- Sgeo has joined.
14:50:44 <esowiki> [[DigitDigitJump]] https://esolangs.org/w/index.php?diff=77443&oldid=77442 * Zero * (-30)
14:53:37 -!- kritixilithos has joined.
14:55:08 <kritixilithos> bwah what a cliff-hanger (https://risingentropy.com/the-arithmetic-hierarchy-and-computability/)
15:32:32 -!- Arcorann_ has quit (Read error: Connection reset by peer).
15:57:53 -!- izabera has quit (Quit: WeeChat 2.8).
15:59:30 -!- izabera has joined.
16:24:57 <esowiki> [[Snake Script]] N https://esolangs.org/w/index.php?oldid=77444 * BlueOkiris * (+4065) Created page with "= Snake Script = Snake Script is a language created by Dylan Turner aka ~~~~ == Description == The goal was to make a language that fits nicely in a traditional terminal. I..."
16:25:49 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77445&oldid=77377 * BlueOkiris * (+19) /* S */
16:32:36 <rain1> https://cs.stackexchange.com/questions/130030/incomputable-sets-of-low-degree-vs-rices-theorem/130035#130035
16:32:40 <rain1> I asked about low degree
17:01:37 -!- Lord_of_Life_ has joined.
17:03:42 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
17:03:43 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
17:49:21 -!- kritixilithos has quit (Quit: quit).
17:56:57 -!- imode has joined.
18:23:29 <shachaf> `olist 1214
18:23:30 <HackEso> olist https://www.giantitp.com/comics/oots1214.html: shachaf oerjan Sgeo FireFly boily nortti b_jonas
18:23:58 <Sgeo> I keep forgetting about `olist even when I'm on IRC and see the update before it's been done
18:31:11 <esowiki> [[Talk:Lenta]] M https://esolangs.org/w/index.php?diff=77446&oldid=77431 * Tetrapyronia * (-1)
20:07:04 <zzo38> I started to implement a "safe interactive mode" in TeXnicard, for use when you are making it available as a remote service (such as with SSH), and are not using other mechanisms to improve security (e.g. separate user accounts, sandboxing, etc).
20:37:42 <esowiki> [[05AB1E]] M https://esolangs.org/w/index.php?diff=77447&oldid=77428 * SunnyMoon * (+81) Stack of STRINGS
20:38:14 <esowiki> [[05AB1E]] M https://esolangs.org/w/index.php?diff=77448&oldid=77447 * SunnyMoon * (+1) uh oh
21:47:30 -!- arseniiv has quit (Ping timeout: 258 seconds).
←2020-09-10 2020-09-11 2020-09-12→ ↑2020 ↑all