00:17:52 -!- ArthurStrong has joined. 00:38:47 [[BF instruction extension]] M https://esolangs.org/w/index.php?diff=71342&oldid=56223 * PythonshellDebugwindow * (+317) 00:40:08 [[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 Is 12 kelvin more than the temperature in the room a reasonable temperature for a quad core Intel CPU? 01:32:54 That depends on the temperature in the room. 01:33:42 And also on what the CPU is doing and other things. 01:34:36 Temperature in the room is 17 Celsius, and the temperature of the CPU says 29.0 Celsius. 01:37:07 (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 That seems like a reasonable temperature for a CPU. 02:05:28 quite cool in fact 02:05:32 -!- heroux has quit (Ping timeout: 265 seconds). 02:08:37 [[Control Flow]] https://esolangs.org/w/index.php?diff=71344&oldid=71313 * A * (+28) /* Redo statement */ 02:10:20 [[Control Flow]] https://esolangs.org/w/index.php?diff=71345&oldid=71344 * A * (+283) /* Higher-level Things */ 02:10:34 [[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 [[Special:Log/newusers]] create * OutRite * New user account 02:59:57 Be nice if that were how more CPUs were temp-wise 03:04:50 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71347&oldid=71252 * OutRite * (+234) /* Introductions */ 03:15:09 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:16:17 I miss CGI. 03:17:40 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 FastCGI seems to have been "abandoned" standard-wise. 03:18:17 and I need support for server sent events. 03:19:59 If you need support for server sent events, a web application is probably the wrong way to do it. 03:21:02 https://en.wikipedia.org/wiki/Server-sent_events 03:22:32 A web application is still probably the wrong way to do things like that. 03:24:19 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 [[Special:Log/newusers]] create * Durkenheimer * New user account 05:00:51 I honestly don't _get_ some of the FastCGI-like stuff 05:01:14 Some of them are basically running HTTP semantics, over a socket, with just an arbitrarily different protocol 05:01:30 At which point... why not just do HTTP with the expectation you'll have a reverse proxy in front? 05:01:48 If you're fully expecting a reverse proxy to be in play, an acceptable HTTP implementation is _not that hard_ 05:21:50 [[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 [[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 [[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 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 (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 [[Modulo]] https://esolangs.org/w/index.php?diff=71351&oldid=71314 * OsmineYT * (+65) 08:06:28 -!- FreeFull has joined. 08:21:56 [[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 [[Special:Log/newusers]] create * Wzkchem5 * New user account 09:17:34 -!- craigo has quit (Ping timeout: 240 seconds). 09:25:12 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71353&oldid=71347 * Wzkchem5 * (+172) 09:25:20 [[AAAAAAAAAAAAAA!!!!]] M https://esolangs.org/w/index.php?diff=71354&oldid=71350 * YamTokTpaFa * (+3) /* Examples */ 09:26:10 [[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 [[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 [[User:YamTokTpaFa]] https://esolangs.org/w/index.php?diff=71357&oldid=68930 * YamTokTpaFa * (+18) 11:07:22 [[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:13 these are some dope mnemonics 11:26:22 I didn't even think about adding numbers to my mnemonics 11:26:32 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 I'm thinking about the categories of monads on the finite categories 1, 2, 3, etc 13:36:20 It seems these categories form (n-1) dimensional hypercubes 13:58:43 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 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 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 [[Happy Fantasy]] N https://esolangs.org/w/index.php?oldid=71359 * Hakerh400 * (+1426) +[[Happy Fantasy]] 14:04:56 [[Language list]] https://esolangs.org/w/index.php?diff=71360&oldid=71338 * Hakerh400 * (+20) +[[Happy Fantasy]] 14:05:00 [[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 arseniiv: 3 for example has objects {0,1,2} and looks like 0 -> 1 -> 2 14:13:00 (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 Taneb: ah, thanks! Linear orders, then? 14:21:30 Yeah! 14:23:26 so, a functor is a monotone function, and a monad… let me see… 14:27:59 You have x <= f(x) and f(f(x)) <= f(x) for all x 14:28:07 Which imply f(x) = f(f(x)) 14:28:22 So, f is monotone, increasing, and idempotent 14:31:00 (for a poset this is known as a closure operator) 14:31:31 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 There's an example for 2 14:31:54 If you map everything to 0 14:32:03 That's a functor but not a monad 14:32:14 -!- LKoen has joined. 14:32:54 ah hmmm I can’t see what condition does it break 14:33:19 it’s idempotent at least 14:33:43 We need the property that x <= f(x) 14:33:55 But 1 > f(1) = 0 14:34:02 ah I parsed it the wrong way 14:34:13 now I get what did you call increasing 14:34:29 yes, that’s interesting! 14:34:40 I've seen that property called extensive 14:34:48 and I think I glimpse already how does it make cubes 14:38:52 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 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 Hmm, what's a monad in the category of monads in some category? 14:48:17 For these categories, the category of monads is a poset so this should be not too tricky 14:53:55 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 I think the answer to that is "no" 15:03:19 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 A monad on a preorder is a closure operator. 15:13:38 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 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 For a 2^n directed hypercube? 15:22:18 For the linear order of n elements 15:24:24 Not 2^n? 15:24:39 No 15:24:39 Choose any subset, and let those be the closed elements 15:26:13 Closure operators on a partially ordered set are uniquely determined by the set of closed elements 15:26:17 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:27 yeah, hmm 15:27:48 We can't take the empty set, and we must include the top element as closed 15:28:05 Right 15:28:23 It's the forced inclusion of the top that divides the number of options in two 15:28:30 Yeah 15:33:21 That implies we can't take the empty set 15:35:04 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 [[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 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71363&oldid=71341 * PythonshellDebugwindow * (+38) 15:53:04 [[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 [[Talk:Stackint]] N https://esolangs.org/w/index.php?oldid=71365 * Willicoder * (+117) Created page with "How would I print anything? ~~~~" 16:48:55 [[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 [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71367&oldid=71322 * Baidicoot * (+702) 17:01:52 [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71368&oldid=71367 * Baidicoot * (+32) /* Extensions */ 17:02:50 [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71369&oldid=71368 * Baidicoot * (+38) /* Extensions */ 17:03:07 [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71370&oldid=71369 * Baidicoot * (+4) /* Extensions */ 17:03:39 [[FarTooGeneral]] https://esolangs.org/w/index.php?diff=71371&oldid=71370 * Baidicoot * (+13) /* Extensions */ 17:09:07 [[Talk:Stackint]] M https://esolangs.org/w/index.php?diff=71372&oldid=71365 * PythonshellDebugwindow * (+257) 17:09:41 [[Stackint]] M https://esolangs.org/w/index.php?diff=71373&oldid=71362 * PythonshellDebugwindow * (+21) /* Examples */ 17:10:37 [[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 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=71375&oldid=71330 * PythonshellDebugwindow * (+391) /* Package dependencies */ 17:20:38 [[User:PythonshellDebugwindow/Sandbox]] https://esolangs.org/w/index.php?diff=71376&oldid=71375 * PythonshellDebugwindow * (-3783) /* Unnamed language 1 */ 17:21:37 [[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 [[Stackint]] https://esolangs.org/w/index.php?diff=71378&oldid=71373 * Willicoder * (+135) 17:22:16 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71379&oldid=71363 * PythonshellDebugwindow * (+69) 17:22:47 [[Language list]] M https://esolangs.org/w/index.php?diff=71380&oldid=71364 * PythonshellDebugwindow * (+15) /* P */ + [[Packlang]] 17:25:33 [[User:Willicoder]] https://esolangs.org/w/index.php?diff=71381&oldid=71266 * Willicoder * (+17) 17:26:28 [[User:Willicoder]] M https://esolangs.org/w/index.php?diff=71382&oldid=71381 * Willicoder * (-5) 17:27:23 -!- tromp has joined. 17:27:46 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 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 recall that Freenode is ostensibly a resource for open source software projects, not a general chat platform 17:29:57 > 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 :1:36: error: parse error on input ‘of’ 17:30:03 first person who registers it with ChanServ. 17:31:27 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 however there are many grandfathered exceptions 17:32:20 -!- tromp has quit (Ping timeout: 246 seconds). 17:32:27 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 [[Talk:Stackint]] M https://esolangs.org/w/index.php?diff=71383&oldid=71372 * PythonshellDebugwindow * (+316) 17:32:42 and none of this has any direct relation to how strictly the ops of the channel enforce any stated topic 17:33:19 I don't think off-topic chat in a #-channel puts you at risk of losing it or anything 17:35:45 fair point 17:38:40 -!- LKoen has joined. 17:38:53 -!- tromp has joined. 17:48:09 [[Talk:Hello]] https://esolangs.org/w/index.php?diff=71384&oldid=20039 * Willicoder * (+68) 17:48:19 [[Talk:Hello]] M https://esolangs.org/w/index.php?diff=71385&oldid=71384 * Willicoder * (+90) 17:51:35 [[Talk:Stackint]] https://esolangs.org/w/index.php?diff=71386&oldid=71383 * Willicoder * (+119) 18:00:48 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:24 yeah 18:07:42 and #trains is the official project channel of https://github.com/lexande/trainbot 18:07:45 :P 18:07:46 Which would make a good case for #esolangs 18:08:08 But as far as I'm aware nobody's has been asking the question. 18:08:18 (loudly enough to matter) 18:12:42 [[Stackint]] M https://esolangs.org/w/index.php?diff=71387&oldid=71378 * PythonshellDebugwindow * (+34) /* Commands */ 18:13:18 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 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: anything? 18:18:58 int-e: the guy complains how the lisp code alone. the pattern is 18:24:24 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 MSE has the copy_file function, although it requires the file to be copied for each exported card set. 18:33:44 [[+-]] 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 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:42:08 Is it your brother? 22:43:59 No. 22:44:07 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.