< 1566779780 964727 :xkapastel!uid17782@gateway/web/irccloud.com/x-etdoagdiwfslxcho JOIN :#esoteric < 1566781253 303185 :arseniiv!~arseniiv@136.169.224.57 QUIT :Ping timeout: 245 seconds < 1566781596 952388 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 JOIN :#esoteric < 1566781887 962653 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 QUIT :Ping timeout: 264 seconds < 1566783540 882603 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :"X-Clacks-Overhead is a non-standardised HTTP header..." I have seen it in NNTP too (when downloading a message from the aioe.org help desk newsgroup). < 1566787527 706612 :xkapastel!uid17782@gateway/web/irccloud.com/x-etdoagdiwfslxcho QUIT :Quit: Connection closed for inactivity < 1566788090 598866 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 JOIN :#esoteric < 1566788353 596454 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 QUIT :Ping timeout: 250 seconds < 1566789310 236384 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1566791869 911231 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I have a book of philosophy of mathematics and logic. In one chapter they mention set theory with intuitionistic logic and Uniformity Principle. < 1566791875 602410 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you know of that? < 1566793468 395956 :MDude!~MDude@76.5.108.106 QUIT :Ping timeout: 244 seconds < 1566794603 935434 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 JOIN :#esoteric < 1566794883 939450 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 QUIT :Ping timeout: 264 seconds < 1566795141 280242 :arseniiv!~arseniiv@136.169.224.57 JOIN :#esoteric < 1566796471 264955 :MDude!~MDude@76.5.108.106 JOIN :#esoteric < 1566798114 863501 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Also they say that a set that is neither finite nor infinite is a "Dedekind set", but I cannot find that on Wikipedia. < 1566798348 772393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is Uniformity Principle? < 1566798430 597184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like identity-based encryption? < 1566798554 57411 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :How is identity-based encryption working? < 1566798619 640721 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Uniformity Principle is defined as: Whenever an extensional binary relation R links every set of natural numbers X to some natural number n, there is some n that gets related to R by all such sets X. < 1566798650 687134 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :forall X. exists n. R(X,n) -> exists n. forall X. R(X,n) < 1566798661 617275 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is the description I heard: < 1566798664 388907 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(This is with intuitionistic logic, not classical logic.) < 1566798692 494732 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Read error: Connection reset by peer < 1566798694 166098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can use any string as a public key and encrypt things with it, and a central authority can issue private keys that can be used to decrypt. < 1566798708 101535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example you could encrypt to a username. < 1566798810 148862 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I think it isn't so good probably < 1566798820 266210 :arseniiv!~arseniiv@136.169.224.57 QUIT :Ping timeout: 248 seconds < 1566798875 37320 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's pretty neat that it's possible. < 1566799323 775731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Another thing you can do is "attribute-based encryption". < 1566801094 597878 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 JOIN :#esoteric < 1566801261 369451 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 QUIT :Remote host closed the connection < 1566801273 950869 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 JOIN :#esoteric > 1566801574 608068 PRIVMSG #esoteric :14[[07 14]]4 10 02https://esolangs.org/w/index.php?diff=65646&oldid=62052 5* 03Dtuser1337 5* (+18) 10Adding the year. < 1566801673 284641 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1566801930 662677 PRIVMSG #esoteric :14[[07Microscript14]]4 M10 02https://esolangs.org/w/index.php?diff=65647&oldid=45776 5* 03Dtuser1337 5* (-13) 10/* Commands */ seems like the tag dosent work when in
 tag.
< 1566801965 512766 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :This defines the set of truth values as pairing propositions p with {x:x=0 and p} to make a set of sets. In conventional mathematics this is {{},{0}}, but with the kind described in this book with intuitionistic and uniformity, such a set is neither finite nor infinite.
< 1566801986 54930 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 QUIT :Remote host closed the connection
< 1566802045 445255 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :It also has, that a set being nonempty is different from a set being inhabited.
< 1566802052 997604 :tromp!~tromp@2a02:a210:1585:3200:91a9:4168:fbd5:ff22 JOIN :#esoteric
> 1566802082 559838 PRIVMSG #esoteric :14[[07Jumper14]]4 10 02https://esolangs.org/w/index.php?diff=65648&oldid=65161 5* 03Dtuser1337 5* (+18) 10Woosh
> 1566802325 51565 PRIVMSG #esoteric :14[[07Jolf14]]4 10 02https://esolangs.org/w/index.php?diff=65649&oldid=47253 5* 03Dtuser1337 5* (+18) 10Yare yare daze
< 1566802336 849033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Is "inhabited" just stronger than nonempty because it names a specific inhabitant?
< 1566802371 756946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Do you like this? https://home.sandiego.edu/~shulman/papers/lcm-bloomington-talk.pdf
< 1566802376 169378 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric
< 1566802483 560181 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :shachaf: It is stronger because it is intuitionistic logic, where (exists x. not phi) does not follow logically from (not forall x. phi).
< 1566802518 387455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right.
< 1566802525 897393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what I meant.
< 1566802538 477365 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :O, OK.
< 1566802540 874790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think those slides make a pretty compelling case for using linear logic for this sort of thing.
< 1566803030 737254 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hi
< 1566803443 642190 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Does page ten have "n > n" but should it be "n > N"?
< 1566803710 324890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes.
< 1566803743 36206 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :how they doing
< 1566804604 539936 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric
< 1566806739 234479 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric
< 1566806825 949614 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :" You can use any string as a public key and encrypt things with it, and a central authority can issue private keys that can be used to decrypt." => sure. the central authority fixes an algorithm to generate a random private/public keypair with a reproducible random generator seeded with the super-secret key of the central authority plus t
< 1566806826 466151 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :he identity.  
< 1566806856 723853 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there are only two problems: the central authority has to verify somehow who gets to own each identity, and the central authority has to make sure that the root key isn't stolen or lost.
< 1566807479 330518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: You can encrypt without asking the central authority.
< 1566807490 917773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The public key is just an arbitrary string.
< 1566807496 664167 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: oh, that's harder
< 1566807519 345252 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :can you also decrypt without asking the central authority?
< 1566807545 397908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You get a decryption key from them.
< 1566807579 38300 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :do you just encrypt everything with the central authority's public key and they decrypt the messages (or their block cypher keys at least) for you?
< 1566807611 232897 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, you don't need to give them the message itself.
< 1566807664 361358 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :sure, you only need to give the encrypted block cypher key
< 1566807676 408568 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's shorter than the message usually
< 1566807692 31110 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's of a fixed size even if the message has a whole video
< 1566807734 560770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They give you a single decryption key that you can use to decrypt any message that was encrypted with your name by anyone.
< 1566807740 55913 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but then, how do you keep the message secret, unless there's a second layer of encryption or something? send it by snail mail?
< 1566807754 149157 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: now that sounds more impossible
< 1566808023 745428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/ID-based_encryption talks about it apparently.
< 1566808159 117054 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1566808480 931987 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds
< 1566808587 581305 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1566810771 308392 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so, um, dumb question but does https://esolangs.org/wiki/Flop qualify as a Brainfuck-like? 
< 1566810870 137539 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it has a separate code and data memory, has a single head pointing into the data memory, can increment or decrement or zero-test the value under the data head but not much more
< 1566810900 442519 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but has more general control flow than brainfuck
< 1566810950 859800 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :or maybe the data memory and code memory are supposed to be the same array, like in befunge
< 1566811021 327428 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :not easy to tell anything from the description because it has no interpreter and no nontrivial programs
< 1566817749 854844 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 258 seconds
< 1566817761 438969 :atslash!~atslash@46.188.0.82 JOIN :#esoteric
< 1566818348 331875 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :https://www.youtube.com/channel/UCiyuYC0D4-AO0AonCfMifPQ has some nice classical music
< 1566818999 589516 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh what a brilliant idea... let's display ads (in the console) when installing packages. How about running a crypto miner for half an hour before allowing your package to be installed?
< 1566819157 982836 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :wait, what?
< 1566819215 974680 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :if you make ads in terminal, i want at least some animation and mouse interaction
< 1566819325 442791 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://github.com/standard/standard/issues/1381 is the experiment in question
< 1566819388 228387 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :argh
< 1566819399 333322 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The irony is that this really hilights a security problem.
< 1566819423 344367 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :display ads when installing packages => sure, installers for some commercial packages do that
< 1566819436 413564 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe I should open a ticket asking how much he wants for planting a backdoor.
< 1566819436 552846 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :int-e: npm already has so much of those, one more or less won't matter
< 1566819450 671018 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :running a crypto miner for half an hour => I wouldn't exclude it, the installer also takes half a day to complete
< 1566819452 441657 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(That should be an attractive funding source!)
< 1566819638 303449 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The source also mentions https://github.com/kethinov/no-cli-ads ... which is the corresponding ad-blocker.)
< 1566819651 468276 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Let the games begin!)
< 1566819792 389396 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh well. I received a U2F token in the mail and installation was almost painless (one configuration file for udev and things worked...)
< 1566820056 682913 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :forken would be an interesting dick move
< 1566820201 65157 :int-e!~noone@int-e.eu PRIVMSG #esoteric :is "forken" denglish?
< 1566820257 170523 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :sorry, to fork
< 1566820268 555152 :int-e!~noone@int-e.eu PRIVMSG #esoteric :anyway, forking is a way to relieve the pain of the maintainer, so it is a solution to the problem as stated. (Framed properly: "I'm tired of maintaining this software for free.")
< 1566820348 704346 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :not maintaining, just making an adless-standard fork that automatically merges standard overnight
< 1566825603 300638 :arseniiv!~arseniiv@136.169.224.57 JOIN :#esoteric
< 1566826277 947844 :xkapastel!uid17782@gateway/web/irccloud.com/x-becwbxztcwsdbbxu JOIN :#esoteric
> 1566827981 829355 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65650&oldid=65645 5* 03InfiniteDonuts 5* (+103) 10
> 1566828017 171237 PRIVMSG #esoteric :14[[07SNUSP14]]4 10 02https://esolangs.org/w/index.php?diff=65651&oldid=53706 5* 03InfiniteDonuts 5* (+39) 10
> 1566828072 370603 PRIVMSG #esoteric :14[[07PATH14]]4 10 02https://esolangs.org/w/index.php?diff=65652&oldid=33608 5* 03InfiniteDonuts 5* (+45) 10
> 1566828100 507549 PRIVMSG #esoteric :14[[07PATH14]]4 10 02https://esolangs.org/w/index.php?diff=65653&oldid=65652 5* 03InfiniteDonuts 5* (+9) 10
> 1566828162 19597 PRIVMSG #esoteric :14[[07User:InfiniteDonuts14]]4 10 02https://esolangs.org/w/index.php?diff=65654&oldid=65625 5* 03InfiniteDonuts 5* (-24) 10
< 1566828377 113601 :Melvar!~melvar@dslb-188-106-184-179.188.106.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.4
< 1566830978 413200 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 244 seconds
< 1566831021 758216 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1566831736 609373 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :npm has some switches to control installation, you could perhaps use --ignore-scripts to skip the ads maybe
< 1566831803 920382 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(I don't know if it works; I haven't tried it, but if the ads are loaded in that way then it might)
< 1566832345 352621 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(And, it seems to be, as far as I can tell. It has a "funding" package as a dependency; the "funding" package executes itself as soon as it is installed.)
< 1566832554 476924 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well that seems a bit pointless
< 1566832580 488033 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(if you don't trust the author/maintainer with their installation script, why would you trust them with their other code?
< 1566832648 106084 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Yes, that makes sense, although it is a simple way to skip the installation scripts for whatever reason (including, that you may wish to review the code before running the scripts, or add additional steps in between, or whatever else you might want).
< 1566833547 40520 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I think Rogers system is better than Magnuson system.
< 1566833666 600022 :Melvar!~melvar@dslb-188-106-184-179.188.106.pools.vodafone-ip.de JOIN :#esoteric
< 1566833723 779147 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 268 seconds
< 1566834573 464332 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :"Another common way of expressing the base is writing it as a decimal subscript after the number that is being represented (this notation is used in this article)." I have also seen the base spelled out in words as the subscript, but it can be long. Also I have seen some documents use a hexadecimal subscript (in the same document with decimal subscripts!).
< 1566834585 536107 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :So, I propose to use subscripts with roman numbers instead.
< 1566834902 893366 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :What do you think of this?
< 1566835354 168788 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I would avoid roman numerals if at all possible
< 1566835363 572589 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :they're really hard to use for numbers >~10
< 1566835510 260136 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1566836009 495346 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :zzo38: in totally ambiguous scenarios, I’d propose writing the base in unary. Ironically, unary doesn’t belong to the family of numerations to which decimal or binary do
< 1566836077 882261 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :though it’s not enough, I’d write all the digits too maybe (and then unary is unnecessary), like 1001011_(01)
< 1566836099 791648 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :arseniiv: That is going to be even more long than using words, I think.
< 1566836379 817104 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric : Also they say that a set that is neither finite nor infinite is a "Dedekind set", but I cannot find that on Wikipedia. => seems like a terminological confusion. There are several definitions of (in)finiteness of a set, varying in strength when no presuppositions like the axiom of choice are made. When the latter is present, though, Dedekind (in)finite is equivalent to “usual” (in)finite. This can be useful: https://en.wikipedia.org/wiki/Fin
< 1566836379 920165 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :ite_set#Other_concepts_of_finiteness
< 1566836523 896071 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :ah, this is in intuitionistic concept, then I don’t know how it relates
< 1566836563 487734 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric : arseniiv: That is going to be even more long than using words, I think. => agree for ten, disagree for two :)
< 1566836581 407041 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :oh my link is broken
< 1566836590 904107 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Finite_set#Other_concepts_of_finiteness
< 1566836640 327589 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :hopefully it still could be useful. They couldn’t name those sets Dedekind without any connection to Dedekind finiteness
< 1566836769 812782 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Yes, it is shorter than words in case of two, but, often you will use larger numbers for the base. If it is roman numbers then is as much as unary in case of two
< 1566837202 873139 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1566837420 193953 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu JOIN :#esoteric
> 1566838403 660315 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65655&oldid=65650 5* 03B jonas 5* (+24) 10
< 1566838552 945197 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`olist 1177
< 1566838553 994672 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1177: shachaf oerjan Sgeo FireFly boily nortti b_jonas
< 1566841778 331928 :MDude!~MDude@76.5.108.106 QUIT :Ping timeout: 245 seconds
< 1566841827 195249 :MDude!~MDude@76.5.108.106 JOIN :#esoteric
> 1566843139 827400 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=65656&oldid=65643 5* 03InfiniteDonuts 5* (+86) 10
> 1566843459 536958 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65657&oldid=65655 5* 03InfiniteDonuts 5* (+258) 10
> 1566843623 530058 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65658&oldid=65657 5* 03InfiniteDonuts 5* (+147) 10
> 1566843683 650351 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65659&oldid=65658 5* 03InfiniteDonuts 5* (+6) 10
> 1566844254 102636 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65660&oldid=65659 5* 03InfiniteDonuts 5* (+164) 10
> 1566844363 677331 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65661&oldid=65660 5* 03InfiniteDonuts 5* (+16) 10/* A Brief Tutorial */
> 1566844438 772552 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65662&oldid=65661 5* 03InfiniteDonuts 5* (-18) 10/* Sample Programs */
< 1566845727 222438 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 245 seconds
< 1566847862 135902 :xkapastel!uid17782@gateway/web/irccloud.com/x-becwbxztcwsdbbxu QUIT :Quit: Connection closed for inactivity
< 1566848279 709915 :ivzem[m]!ivzemmatri@gateway/shell/matrix.org/x-ozigsvmrkhiaojnx JOIN :#esoteric
> 1566850271 87591 PRIVMSG #esoteric :14[[07Funge-9814]]4 10 02https://esolangs.org/w/index.php?diff=65663&oldid=59451 5* 03Quuxplusone 5* (+21) 10documentation of 'p' had the arguments in the wrong order
> 1566850487 839958 PRIVMSG #esoteric :14[[07Funge-9814]]4 10 02https://esolangs.org/w/index.php?diff=65664&oldid=65663 5* 03Quuxplusone 5* (+36) 10/* Instructions */ fix description of % and / for clarity
> 1566850880 252003 PRIVMSG #esoteric :14[[07Funge-9814]]4 10 02https://esolangs.org/w/index.php?diff=65665&oldid=65664 5* 03Quuxplusone 5* (+170) 10/* Instructions */ add "greater", and asciibetize the table
< 1566851487 387108 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1566851565 672393 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1566851584 537884 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1566851678 261926 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds
< 1566851728 551912 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds
< 1566851748 387401 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds
< 1566851755 809153 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
> 1566852439 831595 PRIVMSG #esoteric :14[[07Flop14]]4 10 02https://esolangs.org/w/index.php?diff=65666&oldid=65662 5* 03InfiniteDonuts 5* (-10) 10
> 1566853798 883284 PRIVMSG #esoteric :14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=65667&oldid=62225 5* 03Quuxplusone 5* (-4692) 10Remove VB.NET code. Esolang isn't a source code repository for interpreters, afaik. Put that code on GitHub or something.
< 1566853829 224212 :omegasome!~omegasome@137.229.131.34 JOIN :#esoteric
< 1566853839 529977 :omegasome!~omegasome@137.229.131.34 NICK :hppavilion[1]
< 1566853847 695445 :hppavilion[1]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Hi, #esoteric. Haven't been here in a while.
< 1566853858 394597 :hppavilion[1]!~omegasome@137.229.131.34 PRIVMSG #esoteric :I mainly connected because: It's my first day of college!
< 1566853905 191199 :hppavilion[1]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Also, I can't get to slashnet to join #xkcd and I don't know if irc.slashnet.org is down or if it's the uni's wifi or what
< 1566853918 394960 :hppavilion[1]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Hm, http://irc.slashnet.org:80/ works for me
< 1566854056 419505 :hppavilion[1]!~omegasome@137.229.131.34 QUIT :Client Quit
< 1566854078 840607 :hppavilion[1]!~omegasome@137.229.131.34 JOIN :#esoteric
< 1566854331 381882 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :hi hppavilion[1]! I was wondering if we lost you, you haven't been here for months
< 1566854355 233511 :hppavilion[2]!~omegasome@137.229.131.34 JOIN :#esoteric
< 1566854362 470685 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :b_jonas: Longer, probably
< 1566854377 609505 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :You had for a while, but I think I'm gonna re-add this channel as an autojoin
< 1566854386 280854 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :might be about a year by now
< 1566854459 179439 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Also, I just bound hexchat to my vpn () so slashnet works
< 1566854502 17756 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :You know what's sorta crazy that I realized early this morning?
< 1566854521 190013 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :If I were born a few decades ago, today would could the first time in my life I'd have internet access.
< 1566854552 217151 :hppavilion[1]!~omegasome@137.229.131.34 QUIT :Ping timeout: 245 seconds
< 1566854560 832998 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`? rogue one
< 1566854561 859307 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Any regular who gives the slightest Rogue One spoiler shall be hunted down in real life and have their intestines removed through their eye sockets. Members would not be exempt if they existed, which they don't.
< 1566854577 806267 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :hppavilion[2]: ^ I wanted to ask if that's still true
< 1566854584 680738 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Awwwww, you remembered!
< 1566854585 682601 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :we didn't dare remove it
< 1566854585 878898 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Possibly
< 1566854600 821464 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :b_jonas: It isn't, but the spoiler rule DOES apply to other movies
< 1566854628 782276 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :I *may* have contemplated hiring a hitman on that NFL player who tweeted out an Endgame spoiler.
< 1566854682 47504 :Camto[m]!camtomatri@gateway/shell/matrix.org/x-jajxgsvybiaxgeuz JOIN :#esoteric
< 1566854760 723624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it apply to The Empire Strikes Back?
< 1566854878 573189 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :movies only? does it apply to tv series, webcomics, novels, short stories?
< 1566855004 539640 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 272 seconds
< 1566855265 517222 :nfd9001!~nfd9001@2600:380:806e:f2e0:6063:fe4d:27bc:5a09 JOIN :#esoteric
< 1566855277 224976 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 245 seconds
< 1566855460 301766 :atslash!~atslash@46.188.0.82 JOIN :#esoteric
< 1566855542 508967 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :I think we should rearrange the wisdoms then if Rogue One isn't particularly the target
< 1566855673 506055 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :``` set -e; slashlearn "spoiler//Don't give movie spoilers on channel. If you do, hppavilion may hire a hitman to hunt you down in real life and torture you in refined ways."; forget rogue one
< 1566855676 55172 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :rm: cannot remove 'wisdom/rogue': No such file or directory \ rm: cannot remove 'wisdom/one': No such file or directory \ Learned 'spoiler': Don't give movie spoilers on channel. If you do, hppavilion may hire a hitman to hunt you down in real life and torture you in refined ways.
< 1566855682 64332 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :``` set -e; slashlearn "spoiler//Don't give movie spoilers on channel. If you do, hppavilion may hire a hitman to hunt you down in real life and torture you in refined ways."; forget "rogue one"
< 1566855684 442734 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Relearned 'spoiler': Don't give movie spoilers on channel. If you do, hppavilion may hire a hitman to hunt you down in real life and torture you in refined ways.Forget what?
< 1566855687 256224 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`? spoilers
< 1566855688 299147 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Don't give movie spoilers on channel. If you do, hppavilion may hire a hitman to hunt you down in real life and torture you in refined ways.
< 1566855692 451441 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`? rogue one
< 1566855693 414377 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :rogue one? ¯\(°​_o)/¯
< 1566855701 209792 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`? hppavilion
< 1566855702 255747 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :hppavilion is the generator including, but not limited to, hppavilion[1], hppavilion[2], and hppavilion[42]. hppavilion is of length 37-42i-28j+4k-28ij+38ik+62jk+20ijk. A common alternative definition is the set of all items yielded by the general case of the generator. Not to be confused with hppavilion^k or hppavilion_m.
< 1566855730 866396 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`? hppavilion1
< 1566855732 575106 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :`? hppavilion[1]
< 1566855733 165452 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :higgledy piggledy / hp pavilion / doesn't like jokes that are / written in text; // uncontroversially, / one in a million is / roughly the chance they won't / be left perplexed
< 1566855734 700073 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. No es tan cluecless. Él aspira a ser más incomprensible que esta sabiduría.
< 1566855761 558687 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that supposed to be a quaternion?
< 1566855798 212780 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :should we mention that he hates movie spoilers in one of those?
< 1566855881 407419 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :``` perl -pi -e's"(jokes)"movie spoilers or $1"' wisdom/hppavilion1
< 1566855969 87134 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output.
< 1566856022 447130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What kind of higgledy piggledy is that?
< 1566856026 927677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowg hppavilion[1]
< 1566856028 563876 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :9631:2016-11-06  learn_append hppavilion[1] \xc3\x89l aspira a ser m\xc3\xa1s incomprensible que esta sabidur\xc3\xada. \ 8609:2016-06-26  learn_append hppavilion[1] No es tan cluecless. \ 6238:2015-11-23  undo 6237 \ 6237:2015-11-22  le/rn hppavilion[1]/HP pays $3.5m a year to name an arena in San Jose after him. \ 5917:2015-08-22  learn hppavilion[1] se describe en las notas al pie. \xc2\xbfPorqu\xc3\xa9
< 1566856041 589927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowg hppavilion1
< 1566856043 127684 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :11916:2019-08-26  `` perl -pi -e\'s"(jokes)"movie spoilers or $1"\' wisdom/hppavilion1 \ 5743:2015-06-25  revert \ 5742:2015-06-25  learn hppavilion1 is ZombieCheney \ 5607:2015-06-18  ` sed -i -e \'s/\\w\\+ \\w\\+ //\' -e \'s/leave them/be left/\' wisdom/hppavilion1 \ 5606:2015-06-18  learn hppavilion1 is higgledy piggledy / hp pavilion / doesn\'t like jokes that are / written in text; // 
< 1566856072 234829 :arseniiv!~arseniiv@136.169.224.57 PRIVMSG #esoteric :. o O ( lol )
< 1566856076 632678 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? hppavilion1
< 1566856077 707199 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :higgledy piggledy / hp pavilion / doesn't like movie spoilers or jokes that are / written in text; // uncontroversially, / one in a million is / roughly the chance they won't / be left perplexed
< 1566856083 536634 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Hello, shachaf!
< 1566856091 288877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you serious?
< 1566856096 994518 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :Yes!
< 1566856102 389881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What perfect rhythm.
< 1566856178 674318 :hppavilion[2]!~omegasome@137.229.131.34 PRIVMSG #esoteric :shachaf: And re. ESB: While the tides of battle in the Great Spoiler War have clearly let lay that sufficiently old movies are fair game, I sometimes lay awake at night, fondly picturing a world where even the ending of Citizen Kane is protected for future generations
< 1566856309 388407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if a movie can be spoiled with a single sentence it probably isn't a good movie hth
< 1566857353 505795 :nfd9001!~nfd9001@2600:380:806e:f2e0:6063:fe4d:27bc:5a09 QUIT :Ping timeout: 276 seconds
< 1566857553 236923 :hppavilion[2]!~omegasome@137.229.131.34 QUIT :Ping timeout: 245 seconds
< 1566857806 607864 :nfd9001!~nfd9001@2600:380:806e:f2e0:6063:fe4d:27bc:5a09 JOIN :#esoteric
< 1566858172 506764 :nfd9001!~nfd9001@2600:380:806e:f2e0:6063:fe4d:27bc:5a09 QUIT :Ping timeout: 276 seconds
< 1566858396 610606 :nfd9001!~nfd9001@2600:380:806e:f2e0:6063:fe4d:27bc:5a09 JOIN :#esoteric
< 1566859030 641001 :nfd9001!~nfd9001@2600:380:806e:f2e0:6063:fe4d:27bc:5a09 QUIT :Ping timeout: 276 seconds
< 1566859401 319878 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric
< 1566859556 307531 :arseniiv!~arseniiv@136.169.224.57 QUIT :Ping timeout: 248 seconds
< 1566859753 318399 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 245 seconds
< 1566859777 811823 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1566860129 994446 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1566861695 750518 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 268 seconds
< 1566862117 775047 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: I can think of some really good movies that have a big exciting twist, but I'm not sure it really spoils enjoyment of the movie to know what's coming
< 1566862125 930941 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I think people have studied it and concluded it usually doesn't
< 1566862212 268768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think my statement was probably too strong, depending on what you mean by "spoil"
< 1566863014 551981 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu QUIT :Quit: leaving