00:17:52 -!- ArthurStrong has joined.
00:38:47 <esowiki> [[BF instruction extension]] M https://esolangs.org/w/index.php?diff=71342&oldid=56223 * PythonshellDebugwindow * (+317)
00:40:08 <esowiki> [[BF instruction extension]] M https://esolangs.org/w/index.php?diff=71343&oldid=71342 * PythonshellDebugwindow * (+119)
01:18:57 -!- heroux has quit (Read error: Connection reset by peer).
01:24:22 -!- heroux has joined.
01:27:10 <zzo38> Is 12 kelvin more than the temperature in the room a reasonable temperature for a quad core Intel CPU?
01:32:54 <shachaf> That depends on the temperature in the room.
01:33:42 <shachaf> And also on what the CPU is doing and other things.
01:34:36 <zzo38> Temperature in the room is 17 Celsius, and the temperature of the CPU says 29.0 Celsius.
01:37:07 <zzo38> (Even when the temperature in the room is 21 Celsius, the CPU temperature seems to be from 10 to 12 kelvin higher.)
01:38:28 <pikhq> That seems like a reasonable temperature for a CPU.
02:05:28 <kmc> quite cool in fact
02:05:32 -!- heroux has quit (Ping timeout: 265 seconds).
02:08:37 <esowiki> [[Control Flow]] https://esolangs.org/w/index.php?diff=71344&oldid=71313 * A * (+28) /* Redo statement */
02:10:20 <esowiki> [[Control Flow]] https://esolangs.org/w/index.php?diff=71345&oldid=71344 * A * (+283) /* Higher-level Things */
02:10:34 <esowiki> [[Control Flow]] https://esolangs.org/w/index.php?diff=71346&oldid=71345 * A * (-283) /* Try-Catch-Finally statement */
02:37:05 -!- heroux has joined.
02:42:18 -!- heroux has quit (Ping timeout: 256 seconds).
02:43:13 -!- heroux has joined.
02:44:56 -!- tromp has joined.
02:49:38 -!- tromp has quit (Ping timeout: 246 seconds).
02:57:54 -!- 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.”).
02:59:05 <esowiki> [[Special:Log/newusers]] create * OutRite * New user account
02:59:57 <pikhq> Be nice if that were how more CPUs were temp-wise
03:04:50 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71347&oldid=71252 * OutRite * (+234) /* Introductions */
03:15:09 <imode> there has got to be a better way of writing web applications than spinning up a damn interpreted language every time you wanna do something.
03:17:40 <zzo38> You could use CGI. Fossil is written in C, so you could also use writing in C; Fossil also uses a special preprocessor so that you can include HTML codes directly in the C code without needing extra quoting and that stuff like you normally do in C.
03:18:08 <imode> FastCGI seems to have been "abandoned" standard-wise.
03:18:17 <imode> and I need support for server sent events.
03:19:59 <zzo38> If you need support for server sent events, a web application is probably the wrong way to do it.
03:21:02 <imode> https://en.wikipedia.org/wiki/Server-sent_events
03:22:32 <zzo38> A web application is still probably the wrong way to do things like that.
03:24:19 <imode> you're probably right: I considered wrapping an HTTP gateway around a raw TCP server.
03:48:46 -!- tromp has joined.
03:54:03 -!- tromp has quit (Ping timeout: 272 seconds).
04:17:05 -!- wlp1s1 has left ("Leaving").
04:53:52 <esowiki> [[Special:Log/newusers]] create * Durkenheimer * New user account
05:00:51 <pikhq> I honestly don't _get_ some of the FastCGI-like stuff
05:01:14 <pikhq> Some of them are basically running HTTP semantics, over a socket, with just an arbitrarily different protocol
05:01:30 <pikhq> At which point... why not just do HTTP with the expectation you'll have a reverse proxy in front?
05:01:48 <pikhq> If you're fully expecting a reverse proxy to be in play, an acceptable HTTP implementation is _not that hard_
05:21:50 <esowiki> [[AAAAAAAAAAAAAA!!!!]] https://esolangs.org/w/index.php?diff=71348&oldid=70455 * YamTokTpaFa * (+6) how about this design
05:36:42 -!- tromp has joined.
05:36:47 <esowiki> [[AAAAAAAAAAAAAA!!!!]] https://esolangs.org/w/index.php?diff=71349&oldid=71348 * YamTokTpaFa * (+298) /* Examples */ truth-machine
05:41:29 -!- tromp has quit (Ping timeout: 246 seconds).
06:25:34 <esowiki> [[AAAAAAAAAAAAAA!!!!]] https://esolangs.org/w/index.php?diff=71350&oldid=71349 * YamTokTpaFa * (+35) /* Examples */ oops i almost forgot output command
06:26:21 -!- kspalaiologos has joined.
06:53:22 -!- craigo has joined.
06:58:32 -!- tromp has joined.
06:59:02 <zzo38> I have started making up a set of Magic: the Gathering cards in a TeXnicard database, which is available at: http://zzo38computer.org/mtg/zivstr.db
06:59:47 -!- tromp_ has joined.
06:59:48 <zzo38> (It is a SQLite database, so it can also be opened by the SQLite command line, although it is probably more useful to open it using TeXnicard.)
07:03:02 -!- tromp has quit (Ping timeout: 246 seconds).
07:03:14 -!- tromp_ has quit (Remote host closed the connection).
07:03:29 -!- tromp has joined.
07:09:13 -!- imode has quit (Ping timeout: 264 seconds).
07:27:05 -!- FreeFull has quit (Remote host closed the connection).
07:27:23 -!- FreeFull has joined.
07:29:55 -!- FreeFull has quit (Client Quit).
07:58:34 <esowiki> [[Modulo]] https://esolangs.org/w/index.php?diff=71351&oldid=71314 * OsmineYT * (+65)
08:06:28 -!- FreeFull has joined.
08:21:56 <esowiki> [[Nullary]] https://esolangs.org/w/index.php?diff=71352&oldid=46955 * DanielCristofani * (+52) /* See Also */
08:35:06 -!- ArthurStrong has quit (Ping timeout: 265 seconds).
08:36:52 -!- ArthurStrong has joined.
09:11:36 -!- xelxebar_ has joined.
09:11:43 -!- xelxebar has quit (Remote host closed the connection).
09:12:49 <esowiki> [[Special:Log/newusers]] create * Wzkchem5 * New user account
09:17:34 -!- craigo has quit (Ping timeout: 240 seconds).
09:25:12 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71353&oldid=71347 * Wzkchem5 * (+172)
09:25:20 <esowiki> [[AAAAAAAAAAAAAA!!!!]] M https://esolangs.org/w/index.php?diff=71354&oldid=71350 * YamTokTpaFa * (+3) /* Examples */
09:26:10 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71355&oldid=71353 * Wzkchem5 * (+58)
09:52:44 -!- Lord_of_Life_ has joined.
09:53:53 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
09:54:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
10:05:06 -!- rain1 has joined.
10:30:53 -!- craigo has joined.
10:49:54 <esowiki> [[AAAAAAAAAAAAAA!!!!]] M https://esolangs.org/w/index.php?diff=71356&oldid=71354 * YamTokTpaFa * (+0) /* Examples */ right parenthesis!
10:57:55 -!- LKoen has joined.
10:58:08 <esowiki> [[User:YamTokTpaFa]] https://esolangs.org/w/index.php?diff=71357&oldid=68930 * YamTokTpaFa * (+18)
11:07:22 <esowiki> [[User:YamTokTpaFa/A14!4 study]] N https://esolangs.org/w/index.php?oldid=71358 * YamTokTpaFa * (+386) Created page with "== mnemonic == OUT INX GO2 DLB SKP SXB SXF END BDS EDS RET CAL FGT INC DEC STR CSN CEN CSR CER CLR ABA AAC CN0 CN1 CN2 CN3 LXN VAX SUM DIF PRD AND XOR CW2 CW1 PM1 PM2 Can tho..."
11:26:22 <kspalaiologos> I didn't even think about adding numbers to my mnemonics
11:26:32 <kspalaiologos> now it opens a whole new spectrum to code obfuscation
12:27:51 -!- LKoen has quit (Remote host closed the connection).
12:39:47 -!- LKoen has joined.
12:49:13 -!- arseniiv has joined.
12:55:28 -!- LKoen has quit (Remote host closed the connection).
13:30:56 -!- LKoen has joined.
13:34:45 -!- relrod has quit (Changing host).
13:34:45 -!- relrod has joined.
13:36:01 <Taneb> I'm thinking about the categories of monads on the finite categories 1, 2, 3, etc
13:36:20 <Taneb> It seems these categories form (n-1) dimensional hypercubes
13:58:43 <arseniiv> Taneb: how 1, 2, 3 are defined, are they just discrete categories on n objects or something more interesting? (can’t find anywhere for some reason)
14:00:36 -!- sprocklem has quit (Ping timeout: 256 seconds).
14:01:00 <arseniiv> in the morning I thought about counting all DAGs having only a single automorphism. Or maybe posets instead of DAGs, whichever would come easier
14:02:37 -!- sprocklem has joined.
14:03:04 <arseniiv> hm it seems 1, 2, 3 should not be discrete, or any endofunctor would be a monad and they won’t form cubes?..
14:04:50 <esowiki> [[Happy Fantasy]] N https://esolangs.org/w/index.php?oldid=71359 * Hakerh400 * (+1426) +[[Happy Fantasy]]
14:04:56 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=71360&oldid=71338 * Hakerh400 * (+20) +[[Happy Fantasy]]
14:05:00 <esowiki> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=71361&oldid=71329 * Hakerh400 * (+20) +[[Happy Fantasy]]
14:05:32 -!- atslash has quit (Read error: Connection reset by peer).
14:09:13 <Taneb> arseniiv: 3 for example has objects {0,1,2} and looks like 0 -> 1 -> 2
14:13:00 <Taneb> (plus identities and composits)
14:17:15 -!- 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.”).
14:21:09 <arseniiv> Taneb: ah, thanks! Linear orders, then?
14:23:26 <arseniiv> so, a functor is a monotone function, and a monad… let me see…
14:27:59 <Taneb> You have x <= f(x) and f(f(x)) <= f(x) for all x
14:28:07 <Taneb> Which imply f(x) = f(f(x))
14:28:22 <Taneb> So, f is monotone, increasing, and idempotent
14:31:00 <Taneb> (for a poset this is known as a closure operator)
14:31:31 <arseniiv> what functors wouldn’t be a monad in this case? Hm maybe I shouldn’t try to think one up for 3, maybe 4 or 5 would be needed?
14:31:44 <Taneb> There's an example for 2
14:31:54 <Taneb> If you map everything to 0
14:32:03 <Taneb> That's a functor but not a monad
14:32:14 -!- LKoen has joined.
14:32:54 <arseniiv> ah hmmm I can’t see what condition does it break
14:33:43 <Taneb> We need the property that x <= f(x)
14:34:13 <arseniiv> now I get what did you call increasing
14:34:40 <Taneb> I've seen that property called extensive
14:34:48 <arseniiv> and I think I glimpse already how does it make cubes
14:38:52 <arseniiv> so, we should increment each of 0, …, n−1 some steps up, but at the same time leave a segment at the top intact. Hm, no, I don’t see cubes yet. That should somehow give us 2^(n−1) possibilities but that seems too many atm
14:39:23 <Taneb> How many vertices does an n-dimensional hypercube have
14:47:17 -!- tromp has quit (Read error: Connection reset by peer).
14:47:37 -!- ArthurStrong has quit (Quit: leaving).
14:47:43 <Taneb> Hmm, what's a monad in the category of monads in some category?
14:48:17 <Taneb> For these categories, the category of monads is a poset so this should be not too tricky
14:53:55 <Taneb> I wonder if a monad in the category of monads works out to be a "commutative monad" in the same way as a monoid in the category of monoids is a commutative monoid
15:03:08 <Taneb> I think the answer to that is "no"
15:03:19 <Taneb> Monad(Monad(2)) is a poset with seven elements, I think
15:08:44 -!- LKoen has quit (Remote host closed the connection).
15:13:11 <Cale> A monad on a preorder is a closure operator.
15:13:38 <arseniiv> <Taneb> How many vertices does an n-dimensional hypercube have => ah I should have written 2^n but that’s even more than 2^(n−1) so I don’t yet see how could we have that many different monads there. I’ll draw some pictures later and then I think I’ll see
15:17:22 <Taneb> I believe we have 2^(n-1) monads
15:19:47 -!- sprocklem has quit (Ping timeout: 258 seconds).
15:21:26 -!- sprocklem has joined.
15:22:07 <Cale> For a 2^n directed hypercube?
15:22:18 <Taneb> For the linear order of n elements
15:24:39 <Cale> Choose any subset, and let those be the closed elements
15:26:13 <Cale> Closure operators on a partially ordered set are uniquely determined by the set of closed elements
15:26:17 <Taneb> Take the linear order on {0,1,2}. There are four monads on that, which I have written as 012, 022, 112, 222
15:27:48 <Taneb> We can't take the empty set, and we must include the top element as closed
15:28:23 <Cale> It's the forced inclusion of the top that divides the number of options in two
15:33:21 <Taneb> That implies we can't take the empty set
15:35:04 <Taneb> I think more generally, for any set of elements, they must have a "least common closure"
15:36:23 -!- craigo has quit (Quit: Leaving).
15:41:40 -!- craigo has joined.
15:51:47 <esowiki> [[Stackint]] N https://esolangs.org/w/index.php?oldid=71362 * PythonshellDebugwindow * (+1805) Created page with "'''Stackint''' is an esolang by [[User:PythonshellDebugwindow]]. Its only method of storage is, as its name suggests, a stack of integers. ==Memory model== Stackint uses an a..."
15:52:30 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71363&oldid=71341 * PythonshellDebugwindow * (+38)
15:53:04 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=71364&oldid=71360 * PythonshellDebugwindow * (+15) /* S */
16:19:23 -!- imode has joined.
16:20:12 -!- tromp has joined.
16:25:49 -!- tromp has quit (Ping timeout: 272 seconds).
16:36:48 -!- tromp has joined.
16:39:10 -!- tromp_ has joined.
16:42:58 -!- tromp has quit (Ping timeout: 265 seconds).
16:44:50 <esowiki> [[Talk:Stackint]] N https://esolangs.org/w/index.php?oldid=71365 * Willicoder * (+117) Created page with "How would I print anything? ~~~~"
16:48:55 <esowiki> [[Asm2bf]] https://esolangs.org/w/index.php?diff=71366&oldid=71213 * Palaiologos * (-80) discord server link
16:51:13 -!- tromp_ has quit (Remote host closed the connection).
16:59:38 <esowiki> [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71367&oldid=71322 * Baidicoot * (+702)
17:01:52 <esowiki> [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71368&oldid=71367 * Baidicoot * (+32) /* Extensions */
17:02:50 <esowiki> [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71369&oldid=71368 * Baidicoot * (+38) /* Extensions */
17:03:07 <esowiki> [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71370&oldid=71369 * Baidicoot * (+4) /* Extensions */
17:03:39 <esowiki> [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71371&oldid=71370 * Baidicoot * (+13) /* Extensions */
17:09:07 <esowiki> [[Talk:Stackint]] M https://esolangs.org/w/index.php?diff=71372&oldid=71365 * PythonshellDebugwindow * (+257)
17:09:41 <esowiki> [[Stackint]] M https://esolangs.org/w/index.php?diff=71373&oldid=71362 * PythonshellDebugwindow * (+21) /* Examples */
17:10:37 <esowiki> [[List of quines]] M https://esolangs.org/w/index.php?diff=71374&oldid=70653 * PythonshellDebugwindow * (+25) /* Real Quines */ > /* Stackint */
17:14:25 -!- rain1 has quit (Quit: leaving).
17:19:43 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=71375&oldid=71330 * PythonshellDebugwindow * (+391) /* Package dependencies */
17:20:38 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] https://esolangs.org/w/index.php?diff=71376&oldid=71375 * PythonshellDebugwindow * (-3783) /* Unnamed language 1 */
17:21:37 <esowiki> [[Packlang]] N https://esolangs.org/w/index.php?oldid=71377 * PythonshellDebugwindow * (+3899) Created page with "'''Packlang''' is an esolang by [[User:PythonshellDebugwindow]]. ==Packages== Packages define a function and all variables it will need. ==Variables== To define a variable o..."
17:22:08 <esowiki> [[Stackint]] https://esolangs.org/w/index.php?diff=71378&oldid=71373 * Willicoder * (+135)
17:22:16 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71379&oldid=71363 * PythonshellDebugwindow * (+69)
17:22:47 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=71380&oldid=71364 * PythonshellDebugwindow * (+15) /* P */ + [[Packlang]]
17:25:33 <esowiki> [[User:Willicoder]] https://esolangs.org/w/index.php?diff=71381&oldid=71266 * Willicoder * (+17)
17:26:28 <esowiki> [[User:Willicoder]] M https://esolangs.org/w/index.php?diff=71382&oldid=71381 * Willicoder * (-5)
17:27:23 -!- tromp has joined.
17:27:46 <kspalaiologos> I didn't get to figuring out what is the difference between ##x and #x and even ###x channels on freenode, someone willing to explain?
17:28:15 <kspalaiologos> from what I know, ##x channels don't have a strict topic, but for instance this channel doesn't have a strict topic too, but it's not prefixed with ##
17:29:46 <kmc> recall that Freenode is ostensibly a resource for open source software projects, not a general chat platform
17:29:57 <kmc> > Channels on freenode fall into one of two categories. Primary channels, which begin with a single # character, are reserved for on-topic projects. If you’d like to take over one of these channels, then you’ll need to be associated in some way with the project in question. Topical, or ‘about’ channels, begin with two # characters, and these are allocated on a first-come, first-served basis to the
17:29:59 <lambdabot> <hint>:1:36: error: parse error on input ‘of’
17:30:03 <kmc> first person who registers it with ChanServ.
17:31:27 <kmc> in theory all channels that start with a single # should be related to an open source software project of the same name
17:31:46 <kmc> however there are many grandfathered exceptions
17:32:20 -!- tromp has quit (Ping timeout: 246 seconds).
17:32:27 <kmc> I'm not aware of a special meaning for ###, I imagine it would be treated the same as ## as far as network-wide policy goes
17:32:27 <esowiki> [[Talk:Stackint]] M https://esolangs.org/w/index.php?diff=71383&oldid=71372 * PythonshellDebugwindow * (+316)
17:32:42 <kmc> and none of this has any direct relation to how strictly the ops of the channel enforce any stated topic
17:33:19 <kmc> I don't think off-topic chat in a #-channel puts you at risk of losing it or anything
17:38:40 -!- LKoen has joined.
17:38:53 -!- tromp has joined.
17:48:09 <esowiki> [[Talk:Hello]] https://esolangs.org/w/index.php?diff=71384&oldid=20039 * Willicoder * (+68)
17:48:19 <esowiki> [[Talk:Hello]] M https://esolangs.org/w/index.php?diff=71385&oldid=71384 * Willicoder * (+90)
17:51:35 <esowiki> [[Talk:Stackint]] https://esolangs.org/w/index.php?diff=71386&oldid=71383 * Willicoder * (+119)
18:00:48 <pikhq> This channel in particular probably works out fine as far as policy goes, considering we are _in fact_, not just de jure, associated with esolangs.org
18:07:42 <kmc> and #trains is the official project channel of https://github.com/lexande/trainbot
18:07:46 <int-e> Which would make a good case for #esolangs
18:08:08 <int-e> But as far as I'm aware nobody's has been asking the question.
18:08:18 <int-e> (loudly enough to matter)
18:12:42 <esowiki> [[Stackint]] M https://esolangs.org/w/index.php?diff=71387&oldid=71378 * PythonshellDebugwindow * (+34) /* Commands */
18:13:18 <zzo38> Do you have comments about my (incomplete) set of Magic: the Gathering cards? I would also want the help with rendering templates (especially graphics and fonts).
18:16:32 <zzo38> I may also later write a export template for HTML, although I want to fix it so that if CSS is disabled then the text will be visible and if enabled (and implemented) then it can display the icons.
18:18:58 <fungot> int-e: the guy complains how the lisp code alone. the pattern is
18:24:24 <zzo38> Now I added into the TeXnicard documentation about a common/ subdirectory for export templates, which contains files associated with the exported files for all card sets. For example, if you are exporting HTML, then icons and CSS may be included here; if you are exporting TeX, you may put a macro file here.
18:26:05 <zzo38> MSE has the copy_file function, although it requires the file to be copied for each exported card set.
18:33:44 <esowiki> [[+-]] M https://esolangs.org/w/index.php?diff=71388&oldid=70555 * Willicoder * (+4)
19:03:50 -!- craigo has quit (Quit: Leaving).
20:28:47 -!- kspalaiologos has quit (Quit: Leaving).
20:43:35 -!- heroux has quit (Read error: Connection reset by peer).
20:44:20 -!- heroux has joined.
20:51:29 -!- heroux_ has joined.
20:55:20 -!- heroux has quit (Read error: Connection reset by peer).
20:55:22 -!- heroux_ has changed nick to heroux.
20:59:34 -!- heroux has quit (Ping timeout: 240 seconds).
21:00:42 -!- heroux has joined.
21:53:18 -!- Lord_of_Life_ has joined.
21:55:59 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
21:56:06 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:04:54 -!- Sgeo_ has joined.
22:08:02 -!- Sgeo has quit (Ping timeout: 258 seconds).
22:23:42 -!- tromp has quit (Ping timeout: 265 seconds).
22:24:40 -!- arseniiv has quit (Ping timeout: 265 seconds).
22:40:27 <zzo38> I am not the only SQLite user who wants NNTP access to their forum; it look like there is one other guy too, who like to do so.
22:44:07 <zzo38> It is some other guy that I don't know.
23:04:36 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
23:19:06 -!- Lord_of_Life has joined.