< 1752711432 180670 :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 < 1752711585 156500 :chomwitt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 252 seconds > 1752713326 18446 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=161356&oldid=161353 5* 03Hotcrystal0 5* (+308) 10 < 1752714068 824523 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino > 1752719408 239883 PRIVMSG #esolangs :14[[07Nested one input functions14]]4 10 02https://esolangs.org/w/index.php?diff=161357&oldid=160016 5* 03BestCoder 5* (+54) 10/* One more thing */ < 1752724490 487785 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I read in a book about a kind of logic that the value can be a set of booleans; NOT X is true iff X is false and false iff X is true; X AND Y is true if both are and false if at least one is; X OR Y is true if at least one is and false if both are. (So, I think law of excluded middle will not be valid with a kind of logic that is possible to assign values in this way.) < 1752724510 800204 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Other variants are possible, e.g. using a multiset instead of a set < 1752724519 375336 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(although, they did not mention this other variant in that book) < 1752724635 389431 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes. Such sets are called "Boolean algebras", which is a painful name. I think of them as "CABAs", complete atomic Boolean algebras. For a set of labels S, its CABA is the function type S → 2 which sends each s in S to a Boolean value. < 1752724822 196987 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It turns out that sets and CABAs are only equivalent with excluded middle. Otherwise there are CABAs which aren't dual to any particular set. < 1752724857 692231 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(If you are using multisets, then the value of X AND Y will be whichever is less true and more false, I think.) < 1752724866 50044 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(Or, more technically, it turns out that power sets P(S) and CABAs S → 2 are *not* the same sort of thing without excluded middle.) < 1752724925 531614 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah. Multisets give free vector spaces over the integers Z, I think? Or something like Z-modules. < 1752724951 835941 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And logic over vector spaces -- or spaces in general -- doesn't have to be Boolean. < 1752725066 727854 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :With the original one from the book that I mentioned, you could perhaps add a set complement operator and then make up a variant of law of excluded middle which will use that, which will be true regardless of what values you assign to the symbols (in some cases it is false and true, but always it will be true whether or not it is also false). < 1752725132 903965 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes. And any decent logic will have double-negation (X implies ~~X) and non-contradiction (it's not true that X & ~X) as theorems or axioms. < 1752726499 358727 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1752727057 782998 :bongino!~bongino@user/bongino QUIT :Ping timeout: 276 seconds > 1752728973 41202 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03User167809 5* 10New user account > 1752729247 861359 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=161358&oldid=161323 5* 03User167809 5* (+267) 10Just my lil ol introduction > 1752729507 742953 PRIVMSG #esolangs :14[[07Brainfuck implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=161359&oldid=158830 5* 03User167809 5* (+176) 10Add YABAFOC (by me) < 1752732235 611041 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino < 1752732737 603528 :sprock!~sprock@user/sprock QUIT :Remote host closed the connection < 1752734506 243293 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1752734634 716201 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d JOIN #esolangs * :Textual User < 1752735677 600781 :bongino!~bongino@user/bongino QUIT :Ping timeout: 244 seconds < 1752736526 793714 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1752738032 282535 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d JOIN #esolangs * :Textual User < 1752739287 592100 :b_jonas!~x@88.87.242.184 QUIT :Quit: leaving < 1752740576 248719 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1752745295 512542 PRIVMSG #esolangs :14[[07Chainlang14]]4 M10 02https://esolangs.org/w/index.php?diff=161360&oldid=161344 5* 03PkmnQ 5* (-1) 10/* Symbol and Variable Handling */ < 1752745979 922350 :chomwitt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname < 1752746485 241015 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d JOIN #esolangs * :Textual User > 1752749111 912344 PRIVMSG #esolangs :14[[07Chainlang14]]4 10 02https://esolangs.org/w/index.php?diff=161361&oldid=161360 5* 03PkmnQ 5* (+48) 10/* Stack Manipulation */ > 1752749145 88321 PRIVMSG #esolangs :14[[07Chainlang14]]4 M10 02https://esolangs.org/w/index.php?diff=161362&oldid=161361 5* 03PkmnQ 5* (-7) 10/* Stack Manipulation */ < 1752749510 170585 :APic!apic@apic.name PRIVMSG #esolangs :Hi < 1752750204 412264 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1752750846 54718 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1752751632 720807 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d JOIN #esolangs * :Textual User < 1752755389 433313 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname < 1752759140 763416 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1752764012 124713 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=161363&oldid=161354 5* 03Pifrited 5* (+1227) 10/* Commands */ > 1752764163 200160 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 M10 02https://esolangs.org/w/index.php?diff=161364&oldid=161363 5* 03Pifrited 5* (+3) 10Typo < 1752764234 917222 :chomwitt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 268 seconds < 1752767929 788696 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1752771348 988224 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino < 1752773142 220570 :b_jonas!~x@88.87.242.184 JOIN #esolangs b_jonas :b_jonas < 1752773889 535386 :bongino!~bongino@user/bongino QUIT :Quit: leaving < 1752774619 101311 :chomwitt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname < 1752775535 293359 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d JOIN #esolangs * :Textual User < 1752776281 411120 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :uh… there might be an olist, but https://www.giantitp.com/comics/oots.html lists the latest strips in a weird order, as in 1329, 1330, 1328, 1327, ... so I can't quite confirm yet < 1752776457 787044 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`olist 1330 < 1752776461 380355 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot < 1752776463 93880 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I dont' know why the order is so weird < 1752776619 439575 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :b_jonas, I just posted about it in the forum < 1752776692 862 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Oh, other people mentioned it on Bluesky too < 1752778746 808802 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her) > 1752779778 234128 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=161365&oldid=161364 5* 03Hotcrystal0 5* (+85) 10 < 1752781728 338562 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1752783864 924047 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d JOIN #esolangs * :Textual User < 1752784937 285881 :vidak!~vidak@2403-580e-9756-1-7699-8529-aa04-ddeb.ip6.aussiebb.net JOIN #esolangs vidak :vidak < 1752787358 221960 :tromp!~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1752791072 125200 :APic!apic@apic.name PRIVMSG #esolangs :Good Night < 1752793935 720955 :birle!~birle@user/birle QUIT :Read error: Connection reset by peer