< 1709683695 219331 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net JOIN #esolangs * :realname
< 1709683858 212663 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1709687753 211252 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net QUIT :Ping timeout: 272 seconds
< 1709687779 692866 :amby!~ambylastn@31.205.89.228 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
< 1709690363 185683 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 264 seconds
< 1709690391 202642 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1709693131 874338 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net JOIN #esolangs * :realname
< 1709708490 987468 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :The existential quantifier (upside down E) is basically the logical counterpart to big sigma, while the universal quantifier (upside down A) is the logical counterpart to big pi. "Big conjunction" and "big disjunction."
< 1709709580 585373 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :You could do a "big xor"-type quantifier but only over a finite number of values. True when an odd number of cases is true. Material implication is non-associative so it wouldn't be much use.
< 1709709839 320229 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Good old upside-down E.
< 1709709926 637960 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :Lives a secret double life as "Mirrored over the y axis E"
< 1709710827 965525 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1709711227 460611 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1709713588 814427 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :would "exactly one of" be a more useful generalisation?
< 1709713613 17952 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :wouldn't be just folding with xor though I suppose
< 1709715326 389526 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :HireFly
< 1709715360 415118 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I'd expect it to behave like an xor clause in SAT solvers.
< 1709715368 288933 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Though I guess really there's just one solver with xor clauses.
< 1709715406 158657 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :"exactly one" is a standard thing, anyway, it's just called "exists unique".
< 1709716027 274152 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :I think to have an operation which folds to uniqueness quantification you'd need to take a visit to 3-level logic.
< 1709716100 82224 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :3-level? You mean 3 nested quantifiers?
< 1709716123 957231 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :I mean logic with 3 truth values rather than 2. I'm sure there are other ways to do it but this is the most straightforward way I can think of.
< 1709716139 267597 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Oh, "folds to".
< 1709716230 715187 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :truth values {f, t, T}, but with inputs strictly over {f, t}. f$f = f, f$t = T, t$t = f, T$f = T, T$t = f, with $ commutative. If you fold $ over arbitrarily many inputs then collapse {t, T}, you get uniqueness quantification.
< 1709717062 186630 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709717286 825900 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :Slightly more elegant version. data Counter = None | One | Many; and count :: Counter -> Bool -> Counter. count x false = x; count None true = One; count One true = Many; count Many true = Many. `foldl count None` takes your list and outputs Counter.
< 1709717335 334163 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :So if I've done it right (==One) . (foldl count None) is a uniqueness quantifier.
< 1709717370 486432 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :at least write it lazy like count Many _ = Many as the first definition, so you don't have to continue on a list after finding two trues
< 1709717404 677752 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :Right. Somewhere in there I went from pure math to Haskell.
< 1709718100 752107 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :though that no longer strictly counts as a three-level logic solution since the count function takes two different types of input.
< 1709718152 104618 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net PRIVMSG #esolangs :I'm not referencing any specific mathematical definitions there; just vibes.
< 1709718170 132323 :hppavilion[1]!~hppavilio@33-21-178-69.gci.net QUIT :Quit: Leaving
> 1709718713 505644 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Quadruplay 5* 10New user account
> 1709718871 87184 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=124336&oldid=124279 5* 03Quadruplay 5* (+153) 10/* Introductions */
> 1709720385 323895 PRIVMSG #esolangs :14[[07Electra14]]4 10 02https://esolangs.org/w/index.php?diff=124337&oldid=124333 5* 03DolphyWind 5* (+29) 10
< 1709721222 750357 :amby!~ambylastn@31.205.89.228 JOIN #esolangs amby :realname
< 1709721806 451055 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1709724314 286944 PRIVMSG #esolangs :14[[07Trintercal14]]4 N10 02https://esolangs.org/w/index.php?oldid=124338 5* 03B jonas 5* (+25) 10Redirected page to [[TriINTERCAL]]
< 1709725195 286034 :ajal!~ambylastn@31.205.89.237 JOIN #esolangs * :realname
< 1709725243 321165 :amby!~ambylastn@31.205.89.228 QUIT :Ping timeout: 246 seconds
< 1709725493 584464 :ajal!~ambylastn@31.205.89.237 QUIT :Ping timeout: 240 seconds
> 1709728566 129048 PRIVMSG #esolangs :14[[07Talk:Sign14]]4 N10 02https://esolangs.org/w/index.php?oldid=124339 5* 03Xyzzy 5* (+93) 10Created page with "Infinite loop test: ~~~~"
< 1709728849 624076 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709729628 409863 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1709730309 970858 :ajal!~ambylastn@31.205.89.228 JOIN #esolangs * :realname
< 1709730367 441543 :ajal!~ambylastn@31.205.89.228 NICK :amby
> 1709733558 199349 PRIVMSG #esolangs :14[[07U+00BF14]]4 N10 02https://esolangs.org/w/index.php?oldid=124340 5* 03None1 5* (+16) 10Redirected page to [[]]
> 1709734124 7407 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=124341&oldid=124113 5* 03None1 5* (+785) 10/* Hello, World! */ Added python interpreter
> 1709734560 870272 PRIVMSG #esolangs :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=124342&oldid=124341 5* 03None1 5* (-2) 10/* External Resources */
> 1709734847 17712 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=124343&oldid=124262 5* 03None1 5* (-2772) 10
> 1709734922 270619 PRIVMSG #esolangs :14[[07Readable14]]4 N10 02https://esolangs.org/w/index.php?oldid=124344 5* 03None1 5* (+2813) 10Created page with "'''Readable''' is a language invented by [[User:None1]] and inspired by [[Unreadable]]. Unlike its name, programs in this language are ''very'' unreadable because it uses the characters - (U+002D), which looks exactly the same in s
> 1709734989 755248 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=124345&oldid=124314 5* 03None1 5* (+15) 10/* R */
> 1709735059 855800 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=124346&oldid=124315 5* 03None1 5* (+35) 10/* My Esolangs */
> 1709735075 636272 PRIVMSG #esolangs :14[[07User:None114]]4 M10 02https://esolangs.org/w/index.php?diff=124347&oldid=124346 5* 03None1 5* (+0) 10/* My Esolangs */
> 1709735618 810134 PRIVMSG #esolangs :14[[07Bracket14]]4 10 02https://esolangs.org/w/index.php?diff=124348&oldid=124328 5* 03PaxtonPenguin 5* (+7) 10
< 1709736056 234051 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709737361 513315 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1709739219 573035 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1709739386 476881 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Client Quit
> 1709741224 379764 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03PaxtonPenguin 5* 10uploaded "[[02File:Bracket logo.png10]]": The logo for [
> 1709741365 125838 PRIVMSG #esolangs :14[[07Bracket14]]4 10 02https://esolangs.org/w/index.php?diff=124350&oldid=124348 5* 03PaxtonPenguin 5* (+37) 10
> 1709741421 125824 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03PaxtonPenguin 5* 10uploaded "[[02File:Punktuation logo.png10]]"
> 1709741429 317060 PRIVMSG #esolangs :14[[07Punktuation14]]4 10 02https://esolangs.org/w/index.php?diff=124352&oldid=120496 5* 03PaxtonPenguin 5* (+41) 10
> 1709741471 241907 PRIVMSG #esolangs :14[[07User:PaxtonPenguin/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=124353&oldid=118504 5* 03PaxtonPenguin 5* (+7) 10
> 1709741485 563159 PRIVMSG #esolangs :14[[07User:PaxtonPenguin/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=124354&oldid=124353 5* 03PaxtonPenguin 5* (+2) 10
> 1709743835 594461 PRIVMSG #esolangs :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=124355&oldid=123855 5* 03Timwi 5* (+41) 10/* All functions */ Introduction of and ; renaming of old to
< 1709744137 893226 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Ping timeout: 264 seconds
< 1709744411 587923 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron
> 1709745740 523936 PRIVMSG #esolangs :14[[07Thyrd14]]4 N10 02https://esolangs.org/w/index.php?oldid=124356 5* 03Timwi 5* (+1303) 10Thyrd
> 1709745813 924833 PRIVMSG #esolangs :14[[07Thyrd14]]4 M10 02https://esolangs.org/w/index.php?diff=124357&oldid=124356 5* 03Timwi 5* (+79) 10
> 1709748080 275070 PRIVMSG #esolangs :14[[07Captive14]]4 10 02https://esolangs.org/w/index.php?diff=124358&oldid=123763 5* 03Rottytooth 5* (+1220) 10
< 1709748085 135176 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709748363 643611 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1709749057 699060 PRIVMSG #esolangs :14[[07Talk:Recorder14]]4 10 02https://esolangs.org/w/index.php?diff=124359&oldid=123004 5* 03PaxtonPenguin 5* (+547) 10/* Why did you give rules to the talk section */ new section
> 1709750619 869120 PRIVMSG #esolangs :14[[07Esolang:Sandbox/Sandbin14]]4 N10 02https://esolangs.org/w/index.php?oldid=124360 5* 03PaxtonPenguin 5* (+18) 10Created page with "Lets start anew"
> 1709750688 111376 PRIVMSG #esolangs :14[[07Work to Survive!14]]4 N10 02https://esolangs.org/w/index.php?oldid=124361 5* 03ILoveCursedCode 5* (+4305) 10Created page with "'''Work to Survive!''' is a type of esolang (as well as a language standard) that forces the user to waste CPU cycles to "work" in order not to get the main process killed. == Specifications (Work to Survive! 1.0) == The user can work in '''Work to Sur
> 1709750726 277408 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=124362&oldid=124075 5* 03PaxtonPenguin 5* (+57) 10
< 1709751095 907218 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709751278 389711 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1709751293 434752 PRIVMSG #esolangs :14[[07Talk:Work to Survive!14]]4 N10 02https://esolangs.org/w/index.php?oldid=124363 5* 03ILoveCursedCode 5* (+168) 10Created page with "Here everyone is free to discuss how we can improve the Work to Survive! standards or ask for the problems they encounter when implementing Work to Survive! == Chat =="
> 1709753408 316360 PRIVMSG #esolangs :14[[07User:EvyLah14]]4 10 02https://esolangs.org/w/index.php?diff=124364&oldid=124298 5* 03EvyLah 5* (+49) 10yesn't
< 1709753458 127623 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709753905 85437 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1709756201 180913 PRIVMSG #esolangs :14[[07-Output14]]4 N10 02https://esolangs.org/w/index.php?oldid=124365 5* 03EvyLah 5* (+986) 10created this page yes
> 1709756325 549100 PRIVMSG #esolangs :14[[07-Output14]]4 10 02https://esolangs.org/w/index.php?diff=124366&oldid=124365 5* 03EvyLah 5* (+161) 10bf tape
> 1709759264 257623 PRIVMSG #esolangs :14[[07Easyfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=124367 5* 03Quadruplay 5* (+8502) 10Created page with "{{infobox proglang |name=easyfuck |paradigms=imperative |author=Quadruplay |year=[[:Category:2024|2024]] |memsys=[[:Category:Cell-based|Cell-based]] |dimensions=one-dimensional |class=[[:Category:Turing complete|Turing complete]] |majorimpl=none yet |influence=[[bra
> 1709759885 525783 PRIVMSG #esolangs :14[[07Easyfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=124368&oldid=124367 5* 03Quadruplay 5* (+66) 10
< 1709761410 594923 :Swryl!sid553797@user/wryl JOIN #esolangs Wryl :Wryl
< 1709763513 666001 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709764058 100000 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1709766671 99703 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 M10 02https://esolangs.org/w/index.php?diff=124369&oldid=124343 5* 03None1 5* (+11) 10
< 1709766795 302560 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1709767292 223466 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1709767355 475405 PRIVMSG #esolangs :14[[07Talk:Sign14]]4 10 02https://esolangs.org/w/index.php?diff=124370&oldid=124339 5* 03None1 5* (+148) 10