< 1726704002 811279 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yes – what seems to happen in practice with editors like Microsoft Word is that it guesses a paper size when you create the document, then saves it in the document < 1726704009 185388 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but this causes problems when the guess is wrong < 1726704068 71448 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :And, about WYSIWYG, when editing rich text, a "Reveal Codes" feature like WordPerfect will be needed. < 1726704105 203366 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yes < 1726704130 321529 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :A program that requires a paper size should be allowed to be configured anyways; but the printer driver configuration can be used if a paper size is somehow required even though it has not been configured for that file nor for that program. < 1726704164 975500 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in my case, my computer is usually not attached to a printer < 1726704200 183333 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if I need to print something (which is very rare) I can borrow a printer, but that's typically only after I've already written the document < 1726704303 353468 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :for what it's worth, I have also had dreams of writing my own OS, but my plans involved using an existing kernel and just replacing the userland (because it would be too difficult to rewrite all the device drivers from scratch) < 1726704329 47040 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Yes, although I meant the printer driver configuration, which is not the same as the printer itself (although it could be automatically configured according to the printer if you have one). (You could install a null printer driver if you need to, although in the case I described it would not be necessary if you only want to configure one specific program or file. However, it would be useful if you commonly use one paper size.) < 1726704436 569391 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :About using existing kernels, my idea is that such a thing might be possible, at least with some kernels; it might be possible to run it inside of another operating system (I think Inferno also does), although standalone implementations would also be possible. The specification is separate from the implementation, so multiple implementations are possible. (In some cases, it might help to modify the existing kernels; I don't know, thoug < 1726704680 667784 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Character encoding is another thing included in the locale in some systems but that also belongs with the data being displayed. In my system, this would be handled by Common Data Format; in addition to Extended TRON Code, you can also specify arbitrary 8-bit character sets. < 1726704729 841749 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :The keyboard manager also allows selecting a 8-bit character set (this is done by the application program) in "short character mode", and then if the user has a keyboard layout installed for that character set then it can be automatically selected. (For example, this ability might be useful for APL programming, maybe) < 1726705142 46381 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :For telephone number formats, you can use international telephone numbers for better i18n; if the country code is known to not display it in some cases if desired, that could be a display setting for locales possibly, although you might want to deliberately display it anyways. For dialing telephone numbers, that can be the telephone modem configuration perhaps, that it knows to include or exclude country codes. < 1726707244 10206 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement < 1726708753 126517 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs * :lisbeths > 1726709569 919358 PRIVMSG #esolangs :14[[07Talk:2KWLang14]]4 10 02https://esolangs.org/w/index.php?diff=139846&oldid=139843 5* 03PythonshellDebugwindow 5* (+301) 10/* Comparison operators */ Reply > 1726709806 841765 PRIVMSG #esolangs :14[[07Geography table14]]4 M10 02https://esolangs.org/w/index.php?diff=139847&oldid=139842 5* 03PythonshellDebugwindow 5* (+76) 10Stub, categories < 1726710901 536220 :X-Scale!~X-Scale@83.223.233.25 QUIT :Quit: Client closed < 1726711449 395109 :X-Scale!~X-Scale@83.223.233.25 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1726712895 238509 :X-Scale!~X-Scale@83.223.233.25 QUIT :Quit: Client closed < 1726713676 13822 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Do... amplifiers usually require two inputs? < 1726713702 186919 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Thinking of how students at MIT hooked up 4 lights on the PDP-1 to two amplifiers? speakers? < 1726713702 446678 :craigo!~craigo@user/craigo QUIT :Ping timeout: 246 seconds < 1726713704 270782 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :To get music < 1726713946 329623 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :SIMH's help has a slightly misleading description < 1726713962 816026 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :"The paper tape reader supports the BOOT command. BOOT PTR copies the RIM loader into memory and starts it running." < 1726713986 532989 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :PDP-1 does not have a RIM loader program in memory, as I understand it < 1726713989 571710 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :PDP-8 does < 1726713998 808706 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :(Or, a RIM loader toggled into memory I mean) < 1726714057 82023 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :And indeed, PDP-8 SIMH BOOT PTR copies a program into memory, and PDP-1 SIMH does not. < 1726714147 539508 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :https://en.wikipedia.org/wiki/PDP-8#/media/File:PDP-8_I_Bedienfeld_(simuliert).png it's great that PDP-8 "ROM" is human entered/loaded rom < 1726716522 37708 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :Quit: Connection closed for inactivity < 1726716931 523984 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1726716935 178917 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1726717013 809903 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1726718045 960467 PRIVMSG #esolangs :14[[07User:^-^14]]4 N10 02https://esolangs.org/w/index.php?oldid=139848 5* 03^-^ 5* (+0) 10Created blank page > 1726722915 629412 PRIVMSG #esolangs :14[[07Category theory14]]4 10 02https://esolangs.org/w/index.php?diff=139849&oldid=139709 5* 03Corbin 5* (+454) 10Rewrite the opening. > 1726723595 929609 PRIVMSG #esolangs :14[[07Category theory14]]4 10 02https://esolangs.org/w/index.php?diff=139850&oldid=139849 5* 03Corbin 5* (+896) 10Add a section on codensity monads. < 1726723633 959606 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I still dislike the intro section, but I don't want to just stomp it, especially since I can't really replace it with much other than the standard formal definitions. < 1726723649 10653 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Maybe I should add more "a category can be thought of as" examples. < 1726723795 514795 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Another thing I would say about category theory would be that a category is like a monoid but that the composition has to match, like the number of rows has to match the number of columns of the other matrix. < 1726723805 191850 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1726723835 320347 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(A monoid is effectively the case that all of them match.) < 1726723872 382764 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yep, categories are generalized monoids. This is one of the edge cases of a process called -oidification. < 1726723938 300022 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, a group is merely a group object in Set, the category of sets. (A group object has all endomorphisms invertible; you can always undo an action.) A groupoid is a handful of group objects. < 1726723975 497792 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :A category is like a monoidoid, if they could exist. Like you say, the composition has to be well-typed. < 1726724078 85962 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Another useful perspective: category theory is like categorified set theory. A set is merely a 0-category. Any set-theoretic construction can be redone in category theory without losing any information or flexibility. < 1726724130 289247 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :At least, to me, it makes more sense to consider like monoids but they can match like that, rather than the usual way of considering category theory, although that works too of course. < 1726724277 548434 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(Also, to me, matrix multiplication seems the most obvious example, considering the definition of a category) < 1726724351 582113 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, the category Mat is nice. Its objects are literally just natural numbers. (It's technically Mat_k over some semiring k, which is less nice.) > 1726724382 982204 PRIVMSG #esolangs :14[[07Y/Y14]]4 10 02https://esolangs.org/w/index.php?diff=139851&oldid=139831 5* 03Yayimhere 5* (-11) 10even theough now i cant remember stuff 'bout it i did make it i just made ai make an interpreter < 1726724398 969956 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And of course there's not-quite-category theory to consider. The most important case for us is probably dagger-category theory, which covers reversible/invertible transformations. < 1726724435 264684 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Historically that's meant quantum mechanics and other physics, but lately it's also used for relational logic. The category Rel of sets and relations is naturally a dagger-category, for example. < 1726724680 476386 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Also, I think categories can be addition, multiplication, expoentiation, where the finite discrete categories are effectively as good as natural numbers with these operations. < 1726725677 642440 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah. And that can get really complex, as with PROPs. Terrible name for a cool idea. > 1726726371 736989 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139852&oldid=139654 5* 03Ractangle 5* (-22) 10/* Other things */ < 1726726995 999062 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726731170 909685 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1726732754 912263 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726732925 476930 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726734742 225211 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139853&oldid=139778 5* 03Ractangle 5* (+10) 10/* esolangs */ > 1726735754 144306 PRIVMSG #esolangs :14[[07Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option14]]4 M10 02https://esolangs.org/w/index.php?diff=139854&oldid=139797 5* 03Salpynx 5* (+4) 10/* Implementations */ self-link for clarity > 1726737264 238416 PRIVMSG #esolangs :14[[07User:DifferentDance814]]4 10 02https://esolangs.org/w/index.php?diff=139855&oldid=139697 5* 03DifferentDance8 5* (+21) 10 < 1726737278 361867 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1726737770 33809 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139856&oldid=139852 5* 03Ractangle 5* (-191) 10 > 1726737954 538582 PRIVMSG #esolangs :14[[07Bfcompress14]]4 10 02https://esolangs.org/w/index.php?diff=139857&oldid=118925 5* 03Ractangle 5* (+24) 10/* Examples */ > 1726738401 511347 PRIVMSG #esolangs :14[[07Ars14]]4 10 02https://esolangs.org/w/index.php?diff=139858&oldid=107076 5* 03Ractangle 5* (+24) 10/* See Also */ > 1726739067 650955 PRIVMSG #esolangs :14[[07Fixed Repeating Output14]]4 10 02https://esolangs.org/w/index.php?diff=139859&oldid=138786 5* 03Ractangle 5* (-2) 10/* How dare you fuck the brain */ > 1726739107 932192 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139860&oldid=139408 5* 03Ractangle 5* (-4) 10/* How dare you fuck the brain */ > 1726739150 576567 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (H-M)14]]4 10 02https://esolangs.org/w/index.php?diff=139861&oldid=138763 5* 03Ractangle 5* (-24) 10/* How dare you fuck the brain */ > 1726739235 952023 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=139862&oldid=139730 5* 03Ractangle 5* (+28) 10/* How dare you fuck the brain */ > 1726739710 129945 PRIVMSG #esolangs :14[[07ComThon14]]4 N10 02https://esolangs.org/w/index.php?oldid=139863 5* 03Ractangle 5* (+90) 10Created page with "{{stub}} '''ComThon''' is an esolang that compiles to python created by [[User:Ractangle]]" < 1726742575 234036 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer > 1726743833 205419 PRIVMSG #esolangs :14[[07Blues++14]]4 M10 02https://esolangs.org/w/index.php?diff=139864&oldid=139770 5* 03Faustify 5* (+13) 10Stacatto correction < 1726743933 468767 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname > 1726745690 415555 PRIVMSG #esolangs :14[[07Braindrunk14]]4 10 02https://esolangs.org/w/index.php?diff=139865&oldid=125376 5* 03None1 5* (+1394) 10/* Experiments */ > 1726745787 408273 PRIVMSG #esolangs :14[[07Talk:Braindrunk14]]4 M10 02https://esolangs.org/w/index.php?diff=139866&oldid=121863 5* 03None1 5* (+290) 10/* 200x boost! */ > 1726745801 734660 PRIVMSG #esolangs :14[[07Talk:Braindrunk14]]4 M10 02https://esolangs.org/w/index.php?diff=139867&oldid=139866 5* 03None1 5* (+232) 10/* Never gonna give you up */ > 1726745814 567383 PRIVMSG #esolangs :14[[07Talk:Braindrunk14]]4 M10 02https://esolangs.org/w/index.php?diff=139868&oldid=139867 5* 03None1 5* (+1) 10 < 1726745979 444447 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1726745996 390913 :X-Scale!~X-Scale@31.22.146.152 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale > 1726746056 806697 PRIVMSG #esolangs :14[[07File talk:Something that managed to create this language.jpg14]]4 N10 02https://esolangs.org/w/index.php?oldid=139869 5* 03None1 5* (+272) 10Created page with "I don't think this is public domain. --~~~~" > 1726746612 391768 PRIVMSG #esolangs :14[[07Pi Calculus14]]4 10 02https://esolangs.org/w/index.php?diff=139870&oldid=94065 5* 03Ractangle 5* (+24) 10/* References */ < 1726747930 320131 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726748010 964109 PRIVMSG #esolangs :14[[07User:NameGoesThere14]]4 M10 02https://esolangs.org/w/index.php?diff=139871&oldid=119892 5* 03NameGoesThere 5* (-40) 10 > 1726748747 285495 PRIVMSG #esolangs :14[[07User:Gilbert18914]]4 10 02https://esolangs.org/w/index.php?diff=139872&oldid=135954 5* 03Gilbert189 5* (+85) 10 > 1726748817 701782 PRIVMSG #esolangs :14[[07User talk:Gilbert18914]]4 10 02https://esolangs.org/w/index.php?diff=139873&oldid=137307 5* 03Yayimhere 5* (+120) 10 > 1726749117 28418 PRIVMSG #esolangs :14[[07User talk:Gilbert18914]]4 10 02https://esolangs.org/w/index.php?diff=139874&oldid=139873 5* 03Gilbert189 5* (+150) 10 > 1726749179 698004 PRIVMSG #esolangs :14[[07User talk:Gilbert18914]]4 10 02https://esolangs.org/w/index.php?diff=139875&oldid=139874 5* 03Yayimhere 5* (+171) 10 < 1726749957 884227 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User > 1726750135 965270 PRIVMSG #esolangs :14[[07Brachylog14]]4 10 02https://esolangs.org/w/index.php?diff=139876&oldid=66473 5* 03Ractangle 5* (+23) 10/* External resources */ > 1726750359 186040 PRIVMSG #esolangs :14[[07Classical CT14]]4 10 02https://esolangs.org/w/index.php?diff=139877&oldid=71211 5* 03Ractangle 5* (+24) 10/* String extensions */ > 1726750545 479883 PRIVMSG #esolangs :14[[07EsoML14]]4 10 02https://esolangs.org/w/index.php?diff=139878&oldid=135946 5* 03Ractangle 5* (+24) 10/* Interpreter */ > 1726750619 228617 PRIVMSG #esolangs :14[[07ESON14]]4 10 02https://esolangs.org/w/index.php?diff=139879&oldid=69913 5* 03Ractangle 5* (+24) 10/* See also */ > 1726750725 789289 PRIVMSG #esolangs :14[[07Cheat (Gilbert189)14]]4 10 02https://esolangs.org/w/index.php?diff=139880&oldid=132584 5* 03Yayimhere 5* (-49) 10replace with {{Distinguish/Confusion}} template > 1726751765 118779 PRIVMSG #esolangs :14[[07User:Pro46514]]4 M10 02https://esolangs.org/w/index.php?diff=139881&oldid=134418 5* 03Pro465 5* (+0) 10 > 1726753565 590803 PRIVMSG #esolangs :14[[07Basic14]]4 N10 02https://esolangs.org/w/index.php?oldid=139882 5* 03MihaiEso 5* (+2351) 10Created page with "'''Basic''' is a pseudonatural esolang by Mihai Popa. It transpiles to [[BASIC]]! All commands must start with "This program", like "This program prints". Some words are exceptions. == Commands and words == {| class="wikitable" |+ Basic command list |- ! Basic !! BASI > 1726753617 671918 PRIVMSG #esolangs :14[[07User:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139883&oldid=139346 5* 03MihaiEso 5* (+46) 10/* List of my esolangs */ > 1726753652 194463 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=139884&oldid=139694 5* 03MihaiEso 5* (+12) 10/* B */ > 1726753798 730540 PRIVMSG #esolangs :14[[07Bfcompress14]]4 10 02https://esolangs.org/w/index.php?diff=139885&oldid=139857 5* 03MihaiEso 5* (-1) 10 > 1726753827 723867 PRIVMSG #esolangs :14[[07Translated Befunge/Horribly translated page14]]4 N10 02https://esolangs.org/w/index.php?oldid=139886 5* 03None1 5* (+789) 10Created page with ":''This is page is horribly translated from [[Translated Befunge]]'' Be von is a session created by no user. Worst dubai and Microsoft translation (but you can choose worst!) There is a big difference between the treatment of refugees an > 1726753889 742384 PRIVMSG #esolangs :14[[07Translated Befunge/Horribly translated page14]]4 M10 02https://esolangs.org/w/index.php?diff=139887&oldid=139886 5* 03None1 5* (+7) 10 > 1726753894 318269 PRIVMSG #esolangs :14[[07MESON14]]4 10 02https://esolangs.org/w/index.php?diff=139888&oldid=69914 5* 03Ractangle 5* (+25) 10/* Commands */ > 1726754395 930524 PRIVMSG #esolangs :14[[07Gulp14]]4 10 02https://esolangs.org/w/index.php?diff=139889&oldid=65376 5* 03Ractangle 5* (+23) 10/* External Resources */ < 1726754468 450430 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname > 1726754624 844767 PRIVMSG #esolangs :14[[07Braindrunk14]]4 10 02https://esolangs.org/w/index.php?diff=139890&oldid=139865 5* 03None1 5* (+41943) 10 > 1726754628 762663 PRIVMSG #esolangs :14[[07Batch No For14]]4 10 02https://esolangs.org/w/index.php?diff=139891&oldid=100518 5* 03Ractangle 5* (+23) 10 > 1726754638 330671 PRIVMSG #esolangs :14[[07Braindrunk14]]4 M10 02https://esolangs.org/w/index.php?diff=139892&oldid=139890 5* 03None1 5* (+1) 10/* FizzBuzz]= */ > 1726754639 844213 PRIVMSG #esolangs :14[[07Translated Befunge/Horribly translated page14]]4 10 02https://esolangs.org/w/index.php?diff=139893&oldid=139887 5* 03MihaiEso 5* (-3) 10Grammar. > 1726754758 615646 PRIVMSG #esolangs :14[[07Translated Befunge/Horribly translated page14]]4 M10 02https://esolangs.org/w/index.php?diff=139894&oldid=139893 5* 03None1 5* (+0) 10 > 1726755334 305159 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139895&oldid=139510 5* 03Yayimhere 5* (+87) 10/* Turing-completeness */ < 1726756696 320230 :Guest23!~Guest23@2400:4050:9740:1100:d80d:3309:64ad:5a69 JOIN #esolangs * :[https://web.libera.chat] Guest23 < 1726756739 327710 :Guest23!~Guest23@2400:4050:9740:1100:d80d:3309:64ad:5a69 QUIT :Client Quit < 1726757551 356830 :X-Scale!~X-Scale@31.22.146.152 QUIT :Ping timeout: 256 seconds > 1726758819 505578 PRIVMSG #esolangs :14[[07Mov14]]4 10 02https://esolangs.org/w/index.php?diff=139896&oldid=91452 5* 03Ractangle 5* (+23) 10 < 1726759867 587230 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1726760580 664387 PRIVMSG #esolangs :14[[07Swearjure14]]4 10 02https://esolangs.org/w/index.php?diff=139897&oldid=97037 5* 03Ractangle 5* (+23) 10/* External Links */ > 1726760647 97341 PRIVMSG #esolangs :14[[07Symbolic Python14]]4 10 02https://esolangs.org/w/index.php?diff=139898&oldid=72564 5* 03Ractangle 5* (+22) 10/* Example Implementation */ > 1726760788 129986 PRIVMSG #esolangs :14[[07Adar14]]4 10 02https://esolangs.org/w/index.php?diff=139899&oldid=63397 5* 03Ractangle 5* (+23) 10/* Adar-= */ > 1726762105 978095 PRIVMSG #esolangs :14[[07TrybblePusher14]]4 10 02https://esolangs.org/w/index.php?diff=139900&oldid=40610 5* 03Ractangle 5* (+23) 10 < 1726762602 12762 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726763055 124512 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1726763087 578186 :craigo!~craigo@user/craigo QUIT :Read error: Connection reset by peer < 1726763145 141616 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1726763876 831383 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed < 1726764720 456926 :X-Scale!~X-Scale@31.22.147.145 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1726765352 108424 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs * :lisbeths < 1726765714 545128 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726766066 475118 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726766379 431552 PRIVMSG #esolangs :14[[07Banana Scheme14]]4 10 02https://esolangs.org/w/index.php?diff=139901&oldid=88224 5* 03Ractangle 5* (+24) 10/* External resources */ > 1726766422 917283 PRIVMSG #esolangs :14[[07Binary Forthleq Calculus14]]4 10 02https://esolangs.org/w/index.php?diff=139902&oldid=128463 5* 03Ractangle 5* (+23) 10 < 1726767283 320403 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW < 1726768989 599751 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed < 1726769213 340856 :X-Scale!~X-Scale@31.22.147.145 QUIT :Ping timeout: 256 seconds < 1726770149 367871 :visilii!~visilii@46.61.242.158 QUIT :Ping timeout: 260 seconds > 1726770583 961887 PRIVMSG #esolangs :14[[07Talk:Fish14]]4 M10 02https://esolangs.org/w/index.php?diff=139903&oldid=34168 5* 03Value1 5* (+176) 10Question < 1726770737 946664 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726771896 450723 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 260 seconds < 1726771909 978211 :chiselfu1e!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1726775119 924969 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :" I have also had dreams of writing my own OS," => is that still the mobile phone one, or does this one target other computers too? < 1726775344 830324 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`? category < 1726775346 773307 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`? monoid < 1726775348 584316 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :A category is an enriched category where the enriching category is the category of classes. < 1726775349 333999 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`? monoidoid < 1726775349 880125 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :A monoid is the easy version of a category. < 1726775352 2077 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :monoidoid? ¯\(°​_o)/¯ > 1726776217 65502 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03WikiRasp 5* 10New user account > 1726776618 853612 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=139904&oldid=139772 5* 03WikiRasp 5* (+277) 10/* Introductions */ > 1726777107 984783 PRIVMSG #esolangs :14[[07Prolix 1.114]]4 10 02https://esolangs.org/w/index.php?diff=139905&oldid=121493 5* 03Ractangle 5* (+9) 10 > 1726777427 681064 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=139906&oldid=139862 5* 03WikiRasp 5* (+446) 10Added truth-machine implementation for C#. Very rudimentary I know. > 1726777565 728705 PRIVMSG #esolangs :14[[07Unless14]]4 10 02https://esolangs.org/w/index.php?diff=139907&oldid=56439 5* 03Ractangle 5* (+23) 10 > 1726777732 14416 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[02?++10]] to [[User:Ractangle/?++]] > 1726777771 764743 PRIVMSG #esolangs :14[[07User:Ractangle/?++14]]4 10 02https://esolangs.org/w/index.php?diff=139910&oldid=139908 5* 03Ractangle 5* (-69) 10Ill try to come up with a concept for this language > 1726778074 594288 PRIVMSG #esolangs :14[[07Brianfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139911&oldid=116266 5* 03Ractangle 5* (+36) 10 > 1726778104 344058 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139912&oldid=139564 5* 03Ractangle 5* (+10) 10 > 1726778123 103395 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Uwusny 5* 10New user account > 1726778168 122203 PRIVMSG #esolangs :14[[07CJam14]]4 10 02https://esolangs.org/w/index.php?diff=139913&oldid=75824 5* 03Ractangle 5* (+24) 10/* External resources */ > 1726778425 239041 PRIVMSG #esolangs :14[[07BASIC14]]4 M10 02https://esolangs.org/w/index.php?diff=139914&oldid=128710 5* 03PythonshellDebugwindow 5* (+32) 10Distinguish confusion > 1726778596 695551 PRIVMSG #esolangs :14[[07Swearjure14]]4 M10 02https://esolangs.org/w/index.php?diff=139915&oldid=139897 5* 03PythonshellDebugwindow 5* (+80) 10Categories > 1726778689 919336 PRIVMSG #esolangs :14[[07EmojiGolf14]]4 10 02https://esolangs.org/w/index.php?diff=139916&oldid=129834 5* 03Ractangle 5* (+23) 10 > 1726778795 741954 PRIVMSG #esolangs :14[[07FlogScript14]]4 10 02https://esolangs.org/w/index.php?diff=139917&oldid=127707 5* 03Ractangle 5* (+23) 10/* External resources */ > 1726778803 943085 PRIVMSG #esolangs :14[[07ComThon14]]4 M10 02https://esolangs.org/w/index.php?diff=139918&oldid=139863 5* 03PythonshellDebugwindow 5* (+42) 10Categories > 1726778990 322241 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03PythonshellDebugwindow 5* 10moved [[02Textual subleq10]] to [[Textual SUBLEQ]]: Fix capitalisation > 1726779228 663048 PRIVMSG #esolangs :14[[07Haifuckqueue14]]4 10 02https://esolangs.org/w/index.php?diff=139921&oldid=88058 5* 03Ractangle 5* (+23) 10/* External Resources */ > 1726779346 424085 PRIVMSG #esolangs :14[[07Self14]]4 M10 02https://esolangs.org/w/index.php?diff=139922&oldid=139607 5* 03PythonshellDebugwindow 5* (+2) 10List > 1726779449 581641 PRIVMSG #esolangs :14[[07Self 214]]4 M10 02https://esolangs.org/w/index.php?diff=139923&oldid=139610 5* 03PythonshellDebugwindow 5* (+228) 10See also, categories < 1726779482 912907 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1726779507 763829 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: I don't remember having planned a mobile phone OS, specifically < 1726779518 484111 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so you might be thinking of something else > 1726779537 780981 PRIVMSG #esolangs :14[[07Try14]]4 M10 02https://esolangs.org/w/index.php?diff=139924&oldid=138292 5* 03PythonshellDebugwindow 5* (+28) 10Stub, formatting, category < 1726779555 661655 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that said, I think current mobile phone OSes are better-designed from a security point of view than current desktop OSes, although they nonetheless still have a lot of issues < 1726779564 563988 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(by OS here I am including userland, not just the kernel) > 1726779629 118097 PRIVMSG #esolangs :14[[07Self but with loops14]]4 M10 02https://esolangs.org/w/index.php?diff=139925&oldid=139611 5* 03PythonshellDebugwindow 5* (+202) 10See also, categories > 1726779697 272927 PRIVMSG #esolangs :14[[07Zahlen14]]4 10 02https://esolangs.org/w/index.php?diff=139926&oldid=81061 5* 03Ractangle 5* (+23) 10/* See also */ > 1726779712 612669 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02File:Something that managed to create this language.jpg10]]": Copyright violation: not created by the uploader, and the source is likely to be copyrighted > 1726779805 695427 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02File:Logo Turmin.png10]]": Duplicated file: lower-resolution copy of [[File:Turmin Logo.png]] < 1726780633 441566 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523 the CC0 enforcer < 1726780728 406026 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you don't remember having planned a mobile phone OS? I'll have to search the old channel logs for that then < 1726780760 876411 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :"they nonetheless still have a lot of issues" => http://www.madore.org/~david/weblog/d.2024-08-31.2802.smartphones-vs-pc.html agrees < 1726781035 284667 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yeah, apparently you said that you weren't planning to make one https://logs.esolangs.org/freenode-esoteric/2018-09.html#lfLb < 1726781780 733609 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726783607 798000 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1726784751 645179 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726785702 966228 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :The document is French, so I will not make a criticism of it, but about mobile phone OS, I did not have an intention to do it; my ideas are intended for a desktop or laptop computer, although they could be used for smartphones etc also < 1726785774 107701 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I think there are problems with security with mobile phones as well as with desktop, as well as other stuff, but that a better design would consider multiple issues and would be able to improve multiple issues. < 1726785867 172319 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :In addition to security, another issue is better user control and user programmability. And then, there is also such things as accessibility, internationalization, etc. < 1726785943 511689 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Also hardware design; although implementations could be made to use with existing hardware, there are some better ways to do some of it, including the devices such as keyboard, etc. < 1726785982 848155 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Like Apple keyboard, I would have a separate Return and Enter key, and a separate Command and Control key. > 1726789594 381982 PRIVMSG #esolangs :14[[07Talk:My-new-esolang.txt14]]4 10 02https://esolangs.org/w/index.php?diff=139927&oldid=135307 5* 03Tommyaweosme 5* (+251) 10 > 1726789687 594667 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Tommyaweosme 5* 10moved [[02User talk:Tommyaweosme10]] to [[User talk:Tommyaweosme/archives/september 1 to 19]]: archive #idk > 1726789704 580125 PRIVMSG #esolangs :14[[07User talk:Tommyaweosme/archives14]]4 10 02https://esolangs.org/w/index.php?diff=139930&oldid=137646 5* 03Tommyaweosme 5* (+24) 10 > 1726789731 706998 PRIVMSG #esolangs :14[[07User talk:Tommyaweosme14]]4 10 02https://esolangs.org/w/index.php?diff=139931&oldid=139929 5* 03Tommyaweosme 5* (-41) 10Removed redirect to [[User talk:Tommyaweosme/archives/september 1 to 19]]