< 1587601072 135645 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric > 1587602327 252491 PRIVMSG #esoteric :14[[07BF instruction extension14]]4 M10 02https://esolangs.org/w/index.php?diff=71342&oldid=56223 5* 03PythonshellDebugwindow 5* (+317) 10 > 1587602408 584164 PRIVMSG #esoteric :14[[07BF instruction extension14]]4 M10 02https://esolangs.org/w/index.php?diff=71343&oldid=71342 5* 03PythonshellDebugwindow 5* (+119) 10 < 1587604737 351788 :heroux!sandroco@gateway/shell/insomnia247/x-hrqklbeiopcoyhlk QUIT :Read error: Connection reset by peer < 1587605062 766144 :heroux!sandroco@gateway/shell/insomnia247/x-nycsibqimjprfkan JOIN :#esoteric < 1587605230 366567 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Is 12 kelvin more than the temperature in the room a reasonable temperature for a quad core Intel CPU? < 1587605574 183068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That depends on the temperature in the room. < 1587605622 486251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And also on what the CPU is doing and other things. < 1587605676 578659 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Temperature in the room is 17 Celsius, and the temperature of the CPU says 29.0 Celsius. < 1587605827 160163 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :(Even when the temperature in the room is 21 Celsius, the CPU temperature seems to be from 10 to 12 kelvin higher.) < 1587605908 580626 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :That seems like a reasonable temperature for a CPU. < 1587607528 916640 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :quite cool in fact < 1587607532 93124 :heroux!sandroco@gateway/shell/insomnia247/x-nycsibqimjprfkan QUIT :Ping timeout: 265 seconds > 1587607717 256257 PRIVMSG #esoteric :14[[07Control Flow14]]4 10 02https://esolangs.org/w/index.php?diff=71344&oldid=71313 5* 03A 5* (+28) 10/* Redo statement */ > 1587607820 946329 PRIVMSG #esoteric :14[[07Control Flow14]]4 10 02https://esolangs.org/w/index.php?diff=71345&oldid=71344 5* 03A 5* (+283) 10/* Higher-level Things */ > 1587607834 662861 PRIVMSG #esoteric :14[[07Control Flow14]]4 10 02https://esolangs.org/w/index.php?diff=71346&oldid=71345 5* 03A 5* (-283) 10/* Try-Catch-Finally statement */ < 1587609425 278103 :heroux!~heroux@507082E8.static.ziggozakelijk.nl JOIN :#esoteric < 1587609738 839780 :heroux!~heroux@507082E8.static.ziggozakelijk.nl QUIT :Ping timeout: 256 seconds < 1587609793 810190 :heroux!sandroco@gateway/shell/insomnia247/x-lwbluebzyidwsqoj JOIN :#esoteric < 1587609896 865188 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 JOIN :#esoteric < 1587610178 842150 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 QUIT :Ping timeout: 246 seconds < 1587610674 329228 :LKoen!~LKoen@81.255.219.130 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.” > 1587610745 829004 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03OutRite 5* 10New user account < 1587610797 796679 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :Be nice if that were how more CPUs were temp-wise > 1587611090 249806 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=71347&oldid=71252 5* 03OutRite 5* (+234) 10/* Introductions */ < 1587611709 416292 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :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. < 1587611777 846392 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I miss CGI. < 1587611860 686427 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :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. < 1587611888 845659 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :FastCGI seems to have been "abandoned" standard-wise. < 1587611897 1553 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :and I need support for server sent events. < 1587611999 684161 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :If you need support for server sent events, a web application is probably the wrong way to do it. < 1587612062 200426 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Server-sent_events < 1587612152 522028 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :A web application is still probably the wrong way to do things like that. < 1587612259 188687 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :you're probably right: I considered wrapping an HTTP gateway around a raw TCP server. < 1587613726 308256 :tromp!~tromp@2a02:a210:ca3:2800:1838:88b7:248f:9a0b JOIN :#esoteric < 1587614043 311742 :tromp!~tromp@2a02:a210:ca3:2800:1838:88b7:248f:9a0b QUIT :Ping timeout: 272 seconds < 1587615425 355951 :wlp1s1!iczero@hellomouse/dev/iczero PART #esoteric :"Leaving" > 1587617632 41702 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Durkenheimer 5* 10New user account < 1587618051 929014 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :I honestly don't _get_ some of the FastCGI-like stuff < 1587618074 494423 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :Some of them are basically running HTTP semantics, over a socket, with just an arbitrarily different protocol < 1587618090 31694 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :At which point... why not just do HTTP with the expectation you'll have a reverse proxy in front? < 1587618108 813003 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :If you're fully expecting a reverse proxy to be in play, an acceptable HTTP implementation is _not that hard_ > 1587619310 878077 PRIVMSG #esoteric :14[[07AAAAAAAAAAAAAA!!!!14]]4 10 02https://esolangs.org/w/index.php?diff=71348&oldid=70455 5* 03YamTokTpaFa 5* (+6) 10how about this design < 1587620202 840655 :tromp!~tromp@2a02:a210:ca3:2800:1838:88b7:248f:9a0b JOIN :#esoteric > 1587620207 632715 PRIVMSG #esoteric :14[[07AAAAAAAAAAAAAA!!!!14]]4 10 02https://esolangs.org/w/index.php?diff=71349&oldid=71348 5* 03YamTokTpaFa 5* (+298) 10/* Examples */ truth-machine < 1587620489 842195 :tromp!~tromp@2a02:a210:ca3:2800:1838:88b7:248f:9a0b QUIT :Ping timeout: 246 seconds > 1587623134 986321 PRIVMSG #esoteric :14[[07AAAAAAAAAAAAAA!!!!14]]4 10 02https://esolangs.org/w/index.php?diff=71350&oldid=71349 5* 03YamTokTpaFa 5* (+35) 10/* Examples */ oops i almost forgot output command < 1587623181 227892 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1587624802 363654 :craigo!~craigo@144.136.206.168 JOIN :#esoteric < 1587625112 846198 :tromp!~tromp@2a02:a210:ca3:2800:e439:da97:621d:af0f JOIN :#esoteric < 1587625142 723882 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :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 < 1587625187 870043 :tromp_!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 JOIN :#esoteric < 1587625188 903999 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :(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.) < 1587625382 842346 :tromp!~tromp@2a02:a210:ca3:2800:e439:da97:621d:af0f QUIT :Ping timeout: 246 seconds < 1587625394 729175 :tromp_!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 QUIT :Remote host closed the connection < 1587625409 11322 :tromp!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 JOIN :#esoteric < 1587625753 813981 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1587626825 633876 :FreeFull!~freefull@defocus/sausage-lover QUIT :Remote host closed the connection < 1587626843 836669 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1587626995 650828 :FreeFull!~freefull@defocus/sausage-lover QUIT :Client Quit > 1587628714 929723 PRIVMSG #esoteric :14[[07Modulo14]]4 10 02https://esolangs.org/w/index.php?diff=71351&oldid=71314 5* 03OsmineYT 5* (+65) 10 < 1587629188 265571 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1587630116 275364 PRIVMSG #esoteric :14[[07Nullary14]]4 10 02https://esolangs.org/w/index.php?diff=71352&oldid=46955 5* 03DanielCristofani 5* (+52) 10/* See Also */ < 1587630906 85835 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Ping timeout: 265 seconds < 1587631012 90373 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1587633096 761004 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1587633103 663084 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection > 1587633169 54135 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Wzkchem5 5* 10New user account < 1587633454 334673 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 240 seconds > 1587633912 641899 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=71353&oldid=71347 5* 03Wzkchem5 5* (+172) 10 > 1587633920 264903 PRIVMSG #esoteric :14[[07AAAAAAAAAAAAAA!!!!14]]4 M10 02https://esolangs.org/w/index.php?diff=71354&oldid=71350 5* 03YamTokTpaFa 5* (+3) 10/* Examples */ > 1587633970 836213 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=71355&oldid=71353 5* 03Wzkchem5 5* (+58) 10 < 1587635564 316635 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1587635633 263872 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1587635644 651108 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1587636306 334774 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1587637853 990809 :craigo!~craigo@144.136.206.168 JOIN :#esoteric > 1587638994 815054 PRIVMSG #esoteric :14[[07AAAAAAAAAAAAAA!!!!14]]4 M10 02https://esolangs.org/w/index.php?diff=71356&oldid=71354 5* 03YamTokTpaFa 5* (+0) 10/* Examples */ right parenthesis! < 1587639475 999828 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric > 1587639488 847417 PRIVMSG #esoteric :14[[07User:YamTokTpaFa14]]4 10 02https://esolangs.org/w/index.php?diff=71357&oldid=68930 5* 03YamTokTpaFa 5* (+18) 10 > 1587640042 820201 PRIVMSG #esoteric :14[[07User:YamTokTpaFa/A14!4 study14]]4 N10 02https://esolangs.org/w/index.php?oldid=71358 5* 03YamTokTpaFa 5* (+386) 10Created 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..." < 1587641173 325275 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :these are some dope mnemonics < 1587641182 486731 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I didn't even think about adding numbers to my mnemonics < 1587641192 167206 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :now it opens a whole new spectrum to code obfuscation < 1587644871 406443 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1587645587 344494 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1587646153 611537 :arseniiv!~arseniiv@136.169.228.99 JOIN :#esoteric < 1587646528 313510 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1587648656 458981 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1587648885 425370 :relrod!~relrod@redhat/relrod QUIT :Changing host < 1587648885 425432 :relrod!~relrod@redhat/ansible.staff.relrod JOIN :#esoteric < 1587648961 65789 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm thinking about the categories of monads on the finite categories 1, 2, 3, etc < 1587648980 347316 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It seems these categories form (n-1) dimensional hypercubes < 1587650323 399320 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :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) < 1587650436 890371 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1587650460 401044 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :in the morning I thought about counting all DAGs having only a single automorphism. Or maybe posets instead of DAGs, whichever would come easier < 1587650557 725153 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587650584 841771 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :hm it seems 1, 2, 3 should not be discrete, or any endofunctor would be a monad and they won’t form cubes?.. > 1587650690 680158 PRIVMSG #esoteric :14[[07Happy Fantasy14]]4 N10 02https://esolangs.org/w/index.php?oldid=71359 5* 03Hakerh400 5* (+1426) 10+[[Happy Fantasy]] > 1587650696 29392 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=71360&oldid=71338 5* 03Hakerh400 5* (+20) 10+[[Happy Fantasy]] > 1587650700 799498 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=71361&oldid=71329 5* 03Hakerh400 5* (+20) 10+[[Happy Fantasy]] < 1587650732 759517 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Read error: Connection reset by peer < 1587650953 640155 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :arseniiv: 3 for example has objects {0,1,2} and looks like 0 -> 1 -> 2 < 1587651180 10682 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(plus identities and composits) < 1587651435 926549 :LKoen!~LKoen@81.255.219.130 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.” < 1587651669 392157 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :Taneb: ah, thanks! Linear orders, then? < 1587651690 809164 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah! < 1587651806 967255 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :so, a functor is a monotone function, and a monad… let me see… < 1587652079 738750 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You have x <= f(x) and f(f(x)) <= f(x) for all x < 1587652087 932666 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which imply f(x) = f(f(x)) < 1587652102 553692 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So, f is monotone, increasing, and idempotent < 1587652260 337751 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(for a poset this is known as a closure operator) < 1587652291 812583 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :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? < 1587652304 413892 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There's an example for 2 < 1587652314 86119 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If you map everything to 0 < 1587652323 277210 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's a functor but not a monad < 1587652334 784171 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1587652374 123691 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :ah hmmm I can’t see what condition does it break < 1587652399 674094 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :it’s idempotent at least < 1587652423 344773 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :We need the property that x <= f(x) < 1587652435 843074 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But 1 > f(1) = 0 < 1587652442 422712 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :ah I parsed it the wrong way < 1587652453 354299 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :now I get what did you call increasing < 1587652469 601898 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :yes, that’s interesting! < 1587652480 102553 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've seen that property called extensive < 1587652488 738054 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :and I think I glimpse already how does it make cubes < 1587652732 131624 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric :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 < 1587652763 887220 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How many vertices does an n-dimensional hypercube have < 1587653237 147766 :tromp!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 QUIT :Read error: Connection reset by peer < 1587653257 318726 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1587653263 611417 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, what's a monad in the category of monads in some category? < 1587653297 23168 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :For these categories, the category of monads is a poset so this should be not too tricky < 1587653635 247601 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :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 < 1587654188 193223 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think the answer to that is "no" < 1587654199 709728 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Monad(Monad(2)) is a poset with seven elements, I think < 1587654524 10520 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1587654791 702269 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :A monad on a preorder is a closure operator. < 1587654818 271531 :arseniiv!~arseniiv@136.169.228.99 PRIVMSG #esoteric : 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 < 1587655042 532800 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I believe we have 2^(n-1) monads < 1587655187 496282 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1587655286 397232 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587655327 87243 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :For a 2^n directed hypercube? < 1587655338 198534 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :For the linear order of n elements < 1587655464 142217 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :Not 2^n? < 1587655479 527030 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No < 1587655479 736972 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :Choose any subset, and let those be the closed elements < 1587655573 212894 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :Closure operators on a partially ordered set are uniquely determined by the set of closed elements < 1587655577 973036 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Take the linear order on {0,1,2}. There are four monads on that, which I have written as 012, 022, 112, 222 < 1587655647 161918 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :yeah, hmm < 1587655668 157581 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :We can't take the empty set, and we must include the top element as closed < 1587655685 886530 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :Right < 1587655703 673941 :Cale!~cale@2607:fea8:9960:35:d1e4:94fc:5e34:251a PRIVMSG #esoteric :It's the forced inclusion of the top that divides the number of options in two < 1587655710 135646 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1587656001 10432 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That implies we can't take the empty set < 1587656104 576000 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think more generally, for any set of elements, they must have a "least common closure" < 1587656183 461056 :craigo!~craigo@144.136.206.168 QUIT :Quit: Leaving < 1587656500 912046 :craigo!~craigo@144.136.206.168 JOIN :#esoteric > 1587657107 369134 PRIVMSG #esoteric :14[[07Stackint14]]4 N10 02https://esolangs.org/w/index.php?oldid=71362 5* 03PythonshellDebugwindow 5* (+1805) 10Created 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..." > 1587657150 583213 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71363&oldid=71341 5* 03PythonshellDebugwindow 5* (+38) 10 > 1587657184 156532 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=71364&oldid=71360 5* 03PythonshellDebugwindow 5* (+15) 10/* S */ < 1587658763 269171 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1587658812 391357 :tromp!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 JOIN :#esoteric < 1587659149 318149 :tromp!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 QUIT :Ping timeout: 272 seconds < 1587659808 205493 :tromp!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 JOIN :#esoteric < 1587659950 376857 :tromp_!~tromp@2a02:a210:ca3:2800:cd6b:ee40:bbb6:7c3d JOIN :#esoteric < 1587660178 25822 :tromp!~tromp@2a02:a210:ca3:2800:5831:9b5b:7ccd:f008 QUIT :Ping timeout: 265 seconds > 1587660290 609804 PRIVMSG #esoteric :14[[07Talk:Stackint14]]4 N10 02https://esolangs.org/w/index.php?oldid=71365 5* 03Willicoder 5* (+117) 10Created page with "How would I print anything? ~~~~" > 1587660535 196252 PRIVMSG #esoteric :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=71366&oldid=71213 5* 03Palaiologos 5* (-80) 10discord server link < 1587660673 676666 :tromp_!~tromp@2a02:a210:ca3:2800:cd6b:ee40:bbb6:7c3d QUIT :Remote host closed the connection > 1587661178 78456 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71367&oldid=71322 5* 03Baidicoot 5* (+702) 10 > 1587661312 911445 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71368&oldid=71367 5* 03Baidicoot 5* (+32) 10/* Extensions */ > 1587661370 751212 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71369&oldid=71368 5* 03Baidicoot 5* (+38) 10/* Extensions */ > 1587661387 747548 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71370&oldid=71369 5* 03Baidicoot 5* (+4) 10/* Extensions */ > 1587661419 126829 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71371&oldid=71370 5* 03Baidicoot 5* (+13) 10/* Extensions */ > 1587661747 637795 PRIVMSG #esoteric :14[[07Talk:Stackint14]]4 M10 02https://esolangs.org/w/index.php?diff=71372&oldid=71365 5* 03PythonshellDebugwindow 5* (+257) 10 > 1587661781 72794 PRIVMSG #esoteric :14[[07Stackint14]]4 M10 02https://esolangs.org/w/index.php?diff=71373&oldid=71362 5* 03PythonshellDebugwindow 5* (+21) 10/* Examples */ > 1587661837 342448 PRIVMSG #esoteric :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=71374&oldid=70653 5* 03PythonshellDebugwindow 5* (+25) 10/* Real Quines */ > /* Stackint */ < 1587662065 545254 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving > 1587662383 771674 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=71375&oldid=71330 5* 03PythonshellDebugwindow 5* (+391) 10/* Package dependencies */ > 1587662438 180261 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=71376&oldid=71375 5* 03PythonshellDebugwindow 5* (-3783) 10/* Unnamed language 1 */ > 1587662497 946809 PRIVMSG #esoteric :14[[07Packlang14]]4 N10 02https://esolangs.org/w/index.php?oldid=71377 5* 03PythonshellDebugwindow 5* (+3899) 10Created 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..." > 1587662528 604123 PRIVMSG #esoteric :14[[07Stackint14]]4 10 02https://esolangs.org/w/index.php?diff=71378&oldid=71373 5* 03Willicoder 5* (+135) 10 > 1587662536 420468 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71379&oldid=71363 5* 03PythonshellDebugwindow 5* (+69) 10 > 1587662567 500818 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=71380&oldid=71364 5* 03PythonshellDebugwindow 5* (+15) 10/* P */ + [[Packlang]] > 1587662733 812781 PRIVMSG #esoteric :14[[07User:Willicoder14]]4 10 02https://esolangs.org/w/index.php?diff=71381&oldid=71266 5* 03Willicoder 5* (+17) 10 > 1587662788 329029 PRIVMSG #esoteric :14[[07User:Willicoder14]]4 M10 02https://esolangs.org/w/index.php?diff=71382&oldid=71381 5* 03Willicoder 5* (-5) 10 < 1587662843 878861 :tromp!~tromp@2a02:a210:ca3:2800:cd6b:ee40:bbb6:7c3d JOIN :#esoteric < 1587662866 221202 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :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? < 1587662895 829820 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :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 ## < 1587662986 302327 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :recall that Freenode is ostensibly a resource for open source software projects, not a general chat platform < 1587662997 962934 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :> 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 < 1587662999 975359 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:36: error: parse error on input ‘of’ < 1587663003 941573 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :first person who registers it with ChanServ. < 1587663087 575508 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :in theory all channels that start with a single # should be related to an open source software project of the same name < 1587663106 169404 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :however there are many grandfathered exceptions < 1587663140 841917 :tromp!~tromp@2a02:a210:ca3:2800:cd6b:ee40:bbb6:7c3d QUIT :Ping timeout: 246 seconds < 1587663147 25566 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :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 > 1587663147 972316 PRIVMSG #esoteric :14[[07Talk:Stackint14]]4 M10 02https://esolangs.org/w/index.php?diff=71383&oldid=71372 5* 03PythonshellDebugwindow 5* (+316) 10 < 1587663162 981012 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :and none of this has any direct relation to how strictly the ops of the channel enforce any stated topic < 1587663199 263583 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :I don't think off-topic chat in a #-channel puts you at risk of losing it or anything < 1587663345 780496 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :fair point < 1587663520 429631 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1587663533 96889 :tromp!~tromp@2a02:a210:ca3:2800:cd6b:ee40:bbb6:7c3d JOIN :#esoteric > 1587664089 488376 PRIVMSG #esoteric :14[[07Talk:Hello14]]4 10 02https://esolangs.org/w/index.php?diff=71384&oldid=20039 5* 03Willicoder 5* (+68) 10 > 1587664099 541448 PRIVMSG #esoteric :14[[07Talk:Hello14]]4 M10 02https://esolangs.org/w/index.php?diff=71385&oldid=71384 5* 03Willicoder 5* (+90) 10 > 1587664295 468249 PRIVMSG #esoteric :14[[07Talk:Stackint14]]4 10 02https://esolangs.org/w/index.php?diff=71386&oldid=71383 5* 03Willicoder 5* (+119) 10 < 1587664848 863412 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :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 < 1587665244 437005 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :yeah < 1587665262 483502 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :and #trains is the official project channel of https://github.com/lexande/trainbot < 1587665265 487703 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric ::P < 1587665266 670196 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which would make a good case for #esolangs < 1587665288 651680 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But as far as I'm aware nobody's has been asking the question. < 1587665298 249883 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(loudly enough to matter) > 1587665562 874582 PRIVMSG #esoteric :14[[07Stackint14]]4 M10 02https://esolangs.org/w/index.php?diff=71387&oldid=71378 5* 03PythonshellDebugwindow 5* (+34) 10/* Commands */ < 1587665598 78434 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :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). < 1587665792 1428 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :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. < 1587665938 726490 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: anything? < 1587665938 928872 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: the guy complains how the lisp code alone. the pattern is < 1587666264 357579 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :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. < 1587666365 871017 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :MSE has the copy_file function, although it requires the file to be copied for each exported card set. > 1587666824 633343 PRIVMSG #esoteric :14[[07+-14]]4 M10 02https://esolangs.org/w/index.php?diff=71388&oldid=70555 5* 03Willicoder 5* (+4) 10 < 1587668630 29595 :craigo!~craigo@144.136.206.168 QUIT :Quit: Leaving < 1587673727 533076 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1587674615 672990 :heroux!sandroco@gateway/shell/insomnia247/x-lwbluebzyidwsqoj QUIT :Read error: Connection reset by peer < 1587674660 510871 :heroux!sandroco@gateway/shell/insomnia247/x-qivqygmcrqxtoshr JOIN :#esoteric < 1587675089 744174 :heroux_!~heroux@507082E8.static.ziggozakelijk.nl JOIN :#esoteric < 1587675320 993950 :heroux!sandroco@gateway/shell/insomnia247/x-qivqygmcrqxtoshr QUIT :Read error: Connection reset by peer < 1587675322 681874 :heroux_!~heroux@507082E8.static.ziggozakelijk.nl NICK :heroux < 1587675574 345953 :heroux!~heroux@507082E8.static.ziggozakelijk.nl QUIT :Ping timeout: 240 seconds < 1587675642 628506 :heroux!sandroco@gateway/shell/insomnia247/x-exbgkgzwabkhhmzs JOIN :#esoteric < 1587678798 797748 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1587678959 309061 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1587678966 444343 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1587679494 858067 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1587679682 483318 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1587680622 987784 :tromp!~tromp@2a02:a210:ca3:2800:cd6b:ee40:bbb6:7c3d QUIT :Ping timeout: 265 seconds < 1587680680 981551 :arseniiv!~arseniiv@136.169.228.99 QUIT :Ping timeout: 265 seconds < 1587681627 968148 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :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. < 1587681728 16251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it your brother? < 1587681839 565183 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :No. < 1587681847 184970 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :It is some other guy that I don't know. < 1587683076 829630 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1587683946 864468 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric