< 1591315773 404316 :tromp_!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591316041 457614 :tromp_!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 272 seconds < 1591316792 497472 :LKoen!~LKoen___@81.255.219.130 QUIT :Quit: Leaving < 1591316915 789126 :Hooloo42!Hooloovoo@sorunome.de NICK :Hooloovo0 > 1591317889 530347 PRIVMSG #esoteric :14[[07Proof14]]4 M10 02https://esolangs.org/w/index.php?diff=73270&oldid=16530 5* 03PythonshellDebugwindow 5* (+69) 10/* Setting variables */ cats < 1591319156 572274 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1591319190 41371 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1591320108 406769 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1591322248 776471 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591322436 926424 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 256 seconds < 1591322532 775467 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 260 seconds < 1591322648 7313 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1591324007 935527 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1591325420 584342 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Does Google Groups have cross-posting? I suspect that maybe it doesn't. < 1591325497 967569 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591325751 497 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 246 seconds < 1591326432 89191 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1591326507 23638 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1591327868 504393 :ArthurStrong!~ArthurStr@46-133-15-193.mobile.vf-ua.net JOIN :#esoteric < 1591328742 537743 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591329037 473001 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 272 seconds < 1591329336 984920 :craigo!~craigo@144.136.206.168 JOIN :#esoteric > 1591330025 820555 PRIVMSG #esoteric :14[[07LS Basic14]]4 N10 02https://esolangs.org/w/index.php?oldid=73271 5* 03Simplemaker 5* (+3062) 10LS Basic is a dialect of BASIC which interprets sums of letters. < 1591330065 999030 :ArthurSt1ong!~ArthurStr@46-133-120-72.mobile.vf-ua.net JOIN :#esoteric > 1591330166 91926 PRIVMSG #esoteric :14[[07LS Basic14]]4 10 02https://esolangs.org/w/index.php?diff=73272&oldid=73271 5* 03Simplemaker 5* (+72) 10/* Arithmetic */ > 1591330222 701370 PRIVMSG #esoteric :14[[07LS Basic14]]4 10 02https://esolangs.org/w/index.php?diff=73273&oldid=73272 5* 03Simplemaker 5* (+97) 10 < 1591330291 448839 :ArthurStrong!~ArthurStr@46-133-15-193.mobile.vf-ua.net QUIT :Ping timeout: 272 seconds > 1591330297 161640 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=73274&oldid=73215 5* 03Simplemaker 5* (+15) 10/* L */ > 1591330563 979310 PRIVMSG #esoteric :14[[07LS Basic14]]4 10 02https://esolangs.org/w/index.php?diff=73275&oldid=73273 5* 03Simplemaker 5* (+198) 10 > 1591330683 506728 PRIVMSG #esoteric :14[[07LS Basic14]]4 M10 02https://esolangs.org/w/index.php?diff=73276&oldid=73275 5* 03Simplemaker 5* (-2) 10/* Obfuscated Version */ > 1591330869 532529 PRIVMSG #esoteric :14[[07LS Basic14]]4 M10 02https://esolangs.org/w/index.php?diff=73277&oldid=73276 5* 03Simplemaker 5* (+794) 10 < 1591331989 116021 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591332240 27545 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 246 seconds < 1591332597 106006 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1591335247 998075 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591335516 27874 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 246 seconds < 1591335758 682977 :ArthurSt1ong!~ArthurStr@46-133-120-72.mobile.vf-ua.net QUIT :Quit: leaving > 1591336289 893888 PRIVMSG #esoteric :14[[07Nutes14]]4 10 02https://esolangs.org/w/index.php?diff=73278&oldid=73238 5* 03Shaman 5* (+3) 10/* Description */ < 1591336483 716657 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu > 1591336678 240513 PRIVMSG #esoteric :14[[07Nutes14]]4 10 02https://esolangs.org/w/index.php?diff=73279&oldid=73278 5* 03Shaman 5* (+312) 10 > 1591336884 927232 PRIVMSG #esoteric :14[[07Nutes14]]4 10 02https://esolangs.org/w/index.php?diff=73280&oldid=73279 5* 03Shaman 5* (+53) 10/* Description */ > 1591336989 476946 PRIVMSG #esoteric :14[[07Nutes14]]4 10 02https://esolangs.org/w/index.php?diff=73281&oldid=73280 5* 03Shaman 5* (-4) 10 < 1591337275 830852 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric > 1591337750 466949 PRIVMSG #esoteric :14[[07Nutes14]]4 10 02https://esolangs.org/w/index.php?diff=73282&oldid=73281 5* 03Yoel 5* (+93) 10 < 1591337787 660565 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Quit: zzo38 < 1591337853 26838 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric > 1591337855 46237 PRIVMSG #esoteric :14[[07Nutes14]]4 10 02https://esolangs.org/w/index.php?diff=73283&oldid=73282 5* 03Yoel 5* (+21) 10/* See also */ > 1591338368 736330 PRIVMSG #esoteric :14[[07Thue14]]4 10 02https://esolangs.org/w/index.php?diff=73284&oldid=73188 5* 03Yoel 5* (+176) 10 < 1591338482 369533 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591338765 431293 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 272 seconds < 1591339528 11042 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 JOIN :#esoteric < 1591339707 656572 :Cale!~cale@2607:fea8:9960:35:4c85:e40f:b7ff:71a8 QUIT :Ping timeout: 240 seconds > 1591340083 175639 PRIVMSG #esoteric :14[[07Markov algorithm14]]4 N10 02https://esolangs.org/w/index.php?oldid=73285 5* 03Yoel 5* (+5479) 10Created page with "A '''Markov algorithm''', names after the Soviet mathematician Andrey Markov, Jr., is a string rewriting system that uses replacement rules to operate on a string of symbols...." < 1591340919 885645 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1591341012 925829 :Remavas!~Remavas@unaffiliated/remavas QUIT :Quit: Leaving > 1591341151 176363 PRIVMSG #esoteric :14[[07Markov algorithm14]]4 10 02https://esolangs.org/w/index.php?diff=73286&oldid=73285 5* 03Yoel 5* (-27) 10 > 1591341699 194225 PRIVMSG #esoteric :14[[07Markov algorithm14]]4 10 02https://esolangs.org/w/index.php?diff=73287&oldid=73286 5* 03B jonas 5* (+10) 10/* See also */ < 1591341855 842751 :b_jonas!~x@catv-176-63-11-177.catv.broadband.hu PRIVMSG #esoteric :@tell arseniiv Unless an antipodan volunteers, you're the #esoteric Official Eclipse Observer for tonight (2020-06-05), on account of everyone else is too much to the west < 1591341856 101622 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. > 1591341922 599936 PRIVMSG #esoteric :14[[071.114]]4 10 02https://esolangs.org/w/index.php?diff=73288&oldid=69605 5* 03B jonas 5* (+21) 10 < 1591342018 995261 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1591342811 161557 :cpressey!~cpressey@88.144.69.212 JOIN :#esoteric < 1591343232 929142 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds < 1591343869 950118 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1591344363 595846 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1591344471 311661 :b_jonas!~x@catv-176-63-11-177.catv.broadband.hu QUIT :Quit: leaving < 1591344638 993182 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1591344929 114457 :Phantom_Hoover!~phantomho@82.27.195.88 JOIN :#esoteric < 1591344933 350657 :Phantom_Hoover!~phantomho@82.27.195.88 QUIT :Changing host < 1591344933 350704 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1591345011 30093 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=73289&oldid=73237 5* 03Yoel 5* (+5) 10 < 1591345843 20780 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com PRIVMSG #esoteric :is it possible to express the julia set or the mandelbrot set in heraldic blazon? < 1591346110 889216 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com PRIVMSG #esoteric :It would be easy to blazon the sierpinski carpet < 1591346446 430722 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :I don't know but if you turn the Mandelbrot set on its side it looks a little like an entire heraldic achievement :) < 1591348103 942326 :ArthurStrong!~ArthurStr@46-133-120-72.mobile.vf-ua.net JOIN :#esoteric < 1591348392 581925 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1591348488 59687 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1591348858 739065 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric < 1591349909 854233 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oren: hmm, is there a standard fractal recursion extension for heraldic blazon already, perhaps because there are coats of arms that mutually contain a small copy of each other? < 1591350170 140665 :\\server\share!~Funk@unaffiliated/funk JOIN :#esoteric < 1591350170 140747 :\\server\share!~Funk@unaffiliated/funk NICK :HQ < 1591350740 670162 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: help < 1591350740 885856 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: it's the truth, which i think is the best way < 1591350909 261003 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :wib_jonas: mise en abyme? < 1591350966 615250 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Taneb: I tried to web search for recursive coats of arms and found that phrase, but apparently it just means that a section in the middle of a coat of arms is a different coat of arms, and haven't found an actually infinitely recursive example < 1591350996 187703 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Aww# < 1591351123 214700 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: does this channel weird you out sometimes as well? < 1591351123 359388 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: that blogger also ircs on qemu if you want < 1591351138 196930 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: I'll take that as a yes. < 1591351138 417708 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: fnord/ fnord/ fnord and have scheme render it for you" < 1591351155 757544 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Well, that's not very supportive. < 1591351155 993337 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: here is my error: error: attempt to apply non-procedure ' 2' 50 years ago) < 1591351171 184614 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: one more? < 1591351228 250310 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, I thought the quota was 5 messages. Maybe I had one earlier and nobody talked to fungot in the meantime. < 1591351320 238789 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fungot: Brahms's "Hungarian dances" consists of how many tracks, which track is the most popular, why are the tracks with the low indexes the best, and is that deceptive false advertising like when you put the more fresh fruit on the top of the pile? < 1591351320 497142 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: 1 cakeprophet: ps < 1591351346 880961 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: there, now you have one more < 1591351381 794570 :int-e!~noone@int-e.eu PRIVMSG #esoteric :thanks, I don't know where I'd be without the resident psychotherapist :P < 1591351493 894503 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :^style < 1591351494 39008 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube < 1591351519 82317 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`' semi-sentient < 1591351520 869985 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1246) fungot's irc is the uncanny semi-sentient style... where one can typically read half a sentence before noticing anything wrong int-e: yes, i know < 1591351612 210145 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :nah, the "yes, i know" is an example of fungot's spambot style that I often see on irc or forums, the sort of statement that a bot could post basically anywhere. that's why I try not to react in chat when new people enter and say only something like "hi", nothing specifically relevant to the current topic or the topic of the chat room < 1591351612 354955 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: i was wondering about that for now, evoli? or perhaps garbage? i < 1591351684 272194 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but fungot does often manage to give replies that do seem relevant to our topics, and those are the quotable ones that I enjoy. plus a different class of weird utterances that do seem like they come from a messed up chatbot yet are intrinsically funny for some reason. < 1591351684 487672 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: you can access them by position. i wonder if i should connect it there. :-p help would be welcome :) < 1591351923 21990 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` quote 1323 # this one, for example, is good because fungot's reply is directly relevant to the previous sentences in a way that seems to requires deep understanding < 1591351923 274658 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: apparently ms also invented multiple level undo/ redo mechanism by which to extend it with support for concurrency.) didn't take much effort to come up with a nice beginner interactive environment. < 1591351927 409584 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :no, not that one < 1591351927 517307 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1323) #define __NR_oldolduname 59 fungot: what's your old old name? olsner: they decided not to waste any brain cells storing obscure unix silliness). < 1591351936 316255 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :^ that one < 1591351962 950488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi wib_jonas < 1591352036 938083 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` quote 1194 # here's a worse example: it is a good joke, but not one that's particularly high context, the same reply could apply to many statements < 1591352037 735746 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1194) fungot: what do you do to get rid of information you no longer need? olsner: emacs lisp for a while < 1591352085 403338 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: I said "new people". when they're already someone I've met I may react, because it's much less likely that they're a chatbot < 1591352099 778757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm? < 1591352118 110447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1591352123 797397 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't see that message. I was only saying hi. < 1591352308 583053 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :
ACTION looks up the guide at https://xkcd.com/222/
< 1591352311 398112 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hi shachaf < 1591352412 689198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wrote a small library for argument parsing in C. < 1591352709 822240 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: can you show it to us? < 1591352753 922772 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, in a moment. < 1591352823 394223 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"Can we C?" < 1591352983 936973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wib_jonas: https://slbkbs.org/tmp/mop/mop.h < 1591353538 124545 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: that looks fine < 1591353554 939778 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1591353578 46529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, it's not earth-shattering, but maybe nicer to use than getopt_long. < 1591353589 92867 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1591355213 925827 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1591355362 795819 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1591355382 801502 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1591357934 120522 :cpressey!~cpressey@88.144.69.212 QUIT :Quit: WeeChat 1.9.1 < 1591358635 12326 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru JOIN :#esoteric < 1591359029 76899 :tromp_!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591359246 36575 :tromp!~tromp@2a02:a210:ca3:2800:d00c:b1c2:b3c2:be13 QUIT :Ping timeout: 246 seconds < 1591360260 589538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :catern: Neato. < 1591360984 873051 :\\server\share!~Funk@unaffiliated/funk JOIN :#esoteric < 1591361031 65924 :HQ!~Funk@unaffiliated/funk QUIT :Ping timeout: 246 seconds < 1591364056 924641 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 272 seconds < 1591365801 124073 :ArthurStrong!~ArthurStr@46-133-120-72.mobile.vf-ua.net QUIT :Quit: leaving < 1591366628 45579 :cpressey!~cpressey@88.144.69.212 JOIN :#esoteric < 1591367072 109889 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :I had this idea. ∀ is an abbreviation for a (possibly infinite) sequence of ∧'s, and ∃ is an abbreviation for a (possibly infinite) sequence of ∨'s, right? But ∧ and ∨ are just 2 of the 16 possible binary logical connectives. So there are at least 14 other possible quantifiers! But not all connectives are commutative like ∧ and ∨ are. For any of the non-commutative connectives, you'd need to < 1591367073 593996 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :make it work on an ordered structure somehow. < 1591367118 373914 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :But if you're OK with that, then the → quantifier looks to me as if it represents... mathematical induction... ? < 1591368419 78912 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :The ↔ quantifier is commutative; if we notate it as [↔] then [↔]x.p(x) is equivalent to (∀x.p(x)) ∨ (∀x.¬p(x)) I think < 1591368546 697274 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :The ⊕ connective (XOR) is also commutative. But, hmm. Maybe that's not enough. < 1591368793 83733 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :It needs to be idempotent, is that it? < 1591369021 13883 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :"Idempotent" isn't quite the right word, maybe "monotonic" is better. > 1591369249 165797 PRIVMSG #esoteric :14[[07Nutes14]]4 M10 02https://esolangs.org/w/index.php?diff=73290&oldid=73283 5* 03PythonshellDebugwindow 5* (-4) 10rm redlink < 1591369344 530266 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: hm interesting but I < 1591369345 210829 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :oops < 1591369388 267104 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :…but I’m afraid there are strong no-go results re. this idea. For example I don’t think → qualifies < 1591369421 400138 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I think first, the operation should be associative, and this denies us → and ↔ < 1591369497 511234 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :associativity is absolutely needed when we want to define an operation on nonempty lists from an operation on pairs, likewise we need a neutral element to define the operation on empty lists < 1591369550 373564 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :hm also I hadn’t thought about operations on circular lists, it would be interesting, but that’s for another conversation < 1591369935 926000 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :now, why could ⊕ be a bad choice?.. hm at first it seems why not: it’s associative and has 0 as neutral element, all nice. Though it may be the case idempotence you named is after all the right restriction to add. It means it doesn’t matter how many times we accidentally count the same element in the underlying set, which is quite natural, though for example Σ doesn’t treat its domain that way. On the other hand it doesn’t tr < 1591369936 397876 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :eat it that way because usually we sum not over a set, but over a function’s range, which shouldn’t be considered a mere set then, as it allows taking any value a specific number of times, which a mere set doesn’t distinguish < 1591369971 799502 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :shachaf: I think a problem with that is that it incorrectly outputs non-ASCII characters without checking the locale. < 1591370241 713219 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :one can also see that ¬∀ and ¬∃ can’t arise in such a way from some operation, pity. Now we see why ∀ and ∃ have their own symbols but ¬∀ and ∄ have at the best part derivative ones > 1591370428 106587 PRIVMSG #esoteric :14[[07Ruined BASIC14]]4 M10 02https://esolangs.org/w/index.php?diff=73291&oldid=68227 5* 03Simplemaker 5* (+5) 10/* Copying values */ > 1591370477 139927 PRIVMSG #esoteric :14[[07Ruined BASIC14]]4 M10 02https://esolangs.org/w/index.php?diff=73292&oldid=73291 5* 03Simplemaker 5* (+7) 10/* Copying values */ < 1591370881 525707 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1591371119 121253 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :arseniiv: Oh gosh, is ↔ not associative? I think of it as "equals, except for truth values", and since = is associative... OK, I'll have to think about this more. < 1591371159 930205 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :Well, ok, no, = isn't associative, we just use it in an abuse of notation where it looks associative: a = b = c < 1591371191 229864 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :I managed to confuse that with transitive because of that < 1591371227 639736 :Melvar!~melvar@dslb-084-063-063-106.084.063.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.8 < 1591371468 55452 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: that’s no big deal, though a long time ago when I tried to get myself into logic, I got confused by one book where due to a clumsy explanation of a ≡ b ≡ c ≡ … notation I thought that’s the same as ((a ≡ b) ≡ c) ≡ … < 1591371614 625385 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :hmmm I have a decent question about computational geometry of tesselations but I don’t know how to state it in brief to not confuse anyone more than necessary < 1591372564 190310 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :let’s say it this way: there are a couple of polygonal “prototype tiles” and a (finite) polygonal tesselation seed which is ultimately a set of “concrete tiles” glued to each other. We are to glue a prototype to the seed along an oriented edge of each of them. To do that, we find an euclidean transformation mapping that edge in the prototype to the edge in the seed, and applying that transformation to the prototype, getting a < 1591372565 202335 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :new concrete tile. Using floating point arithmetic, this operation adds inaccuracies to the seed’s vertices more and more as we glue new tiles into it. But an ideal tesselation seed is a rigid construction, so there should be a way to recalculate vertices in all the concrete tiles for them to regain some accuracy. Which is the question; what do I have to do to do this? < 1591372723 545912 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :why this arises at all: I’m afraid if one makes a core in a form of big thin annulus, then there may be problems filling it inside, let alone there may be a problem closing the annulus in the first place < 1591372751 919817 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :arseniiv: Can you represent each tile as a composition of the series of euclidean transformations that led up to it? < 1591372768 801426 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :or any other state when you glue tiles each time to the new tiles, so the error would accumulate < 1591372778 464317 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: oh, interesting! < 1591372801 834905 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :but the error would accumulate anyway, wouldn’t it? < 1591372835 153455 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :maybe even more hm, though I’m not sure < 1591372875 915874 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :Well, if the transformations themselves involve floating point, then yes, error would accumulate there, but could you represent them exactly somehow, with algebraic numbers? < 1591372899 16232 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :(storing already transformed points seems more useful for computing e. g. edge lengths and angles) < 1591372902 65685 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :And only introduce floating point, and its error, at the end < 1591372980 928873 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: yeah, I thought about “constructible numbers” like Q[√2][√(5+√2)] but they need much space and the algorithms are quite complex < 1591373014 753029 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I realized only today one can use rigidity of the construction < 1591373136 191552 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :oh, also if you’re accidentally interested in numbers of that form, I’ll try to dig out an article with the algorithms < 1591373161 4093 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I rewrote them in Mathematica so my code is unhelpful even to me as of now < 1591373178 592596 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I didn’t even comment it as needed < 1591373205 781598 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :(I even don’t remember if it’s complete and working as it should, lol) < 1591373242 625761 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :I know very little about computational geometry but your question was very similar to a discussion I remember having with someone many, many years ago. < 1591373261 182447 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :ah, I didn’t tell that I tried to prototype the thing a year or something ago, and then left it for a while, only yesterday to remember about why not again < 1591373302 303272 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: interesting! what you talked about? < 1591373351 358544 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :did you talk* < 1591373541 225509 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :I think it was about animating a rotating cube, rotating it a small amount on each frame, and the person I was talking to was worried that floating point error on each frame would accumulate < 1591373580 776841 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :This was the 90's < 1591373673 570963 :cpressey!~cpressey@88.144.69.212 PRIVMSG #esoteric :Long before we had GPUs to do all this stuff for us :) < 1591373753 94902 :tromp_!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Remote host closed the connection < 1591373814 69772 :Melvar!~melvar@dslb-084-063-063-106.084.063.pools.vodafone-ip.de JOIN :#esoteric < 1591373846 196108 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: interesting but that has some merit even now, as multiplying quaternions is better than multiplying rotation matrices < 1591373882 976982 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :like, there is an obvious sensible way to normalize a quaternion and not a simple one to “orthogonalize” a matrix < 1591373898 460763 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :also, quaternions allow SLERP < 1591373920 913888 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I mean, quite easlily allow, vs. the matrices < 1591374219 128133 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1591374238 984519 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru JOIN :#esoteric < 1591374543 409337 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :though in applying a quaternion to a vector, one should be considerate and use an optimized procedure, not just make usual quaternion multiplication, which would be quite costly < 1591374543 551069 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :ah, and also for rotating many vectors in bunch, it’s better to convert q. to a matrix and use the latter, so matrices are useful at the end < 1591374543 551121 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :okay I spam the channel with googlable stuff sorry, though that’s a pretty neat stuff, I can’t get over it even if I don’t write 3D applications almost at all < 1591374543 551161 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :(and I intended to add a bit about logarithms, but IRC was wise to shut me out) < 1591374572 313716 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: Connection closed < 1591374592 288673 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: ah! am I late? < 1591374624 552159 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I didn’t know about an eclipse at all, is it lunar? I’ll go look < 1591374694 337716 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :though I have no good observation erm places, there are trees blocking the way the Moon usually is at that time < 1591374989 77513 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: en.wikipedia says “It will be visible in most parts of Europe (except northern Scandinavia)”, well-well! < 1591375013 807865 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :also Stellarium doesn’t show any dimming, meh, do I want to see that kind of eclipse < 1591375246 863816 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1591375574 794835 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I have Swiss Ephemeris in my computer, so I can make the calculation of when and where is the eclipse. Do you have that or other ephemeris software? < 1591375603 405725 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591375820 838286 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1591376541 881226 :cpressey!~cpressey@88.144.69.212 QUIT :Quit: WeeChat 1.9.1 < 1591379262 153888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: But I like UTF-8. < 1591379329 445621 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :shachaf: Well, if you want to output UTF-8 in the error message, you should probably first check the locale to ensure that it is UTF-8, and to output ASCII instead otherwise. (You could store those substrings in global variables, and initialize them based on the locale.) < 1591379344 432710 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Remote host closed the connection < 1591379380 150252 :b_jonas!~x@catv-176-63-12-72.catv.broadband.hu JOIN :#esoteric < 1591380173 34167 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591382157 144299 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1591382362 170347 :olsner!~salparot@c80-217-180-83.bredband.comhem.se PRIVMSG #esoteric :heh, argument pa*r*sing, I read "a library for argument passing in C" > 1591382839 378365 PRIVMSG #esoteric :14[[07LS Basic14]]4 10 02https://esolangs.org/w/index.php?diff=73293&oldid=73277 5* 03Simplemaker 5* (+83) 10 > 1591383839 717324 PRIVMSG #esoteric :14[[07Klon14]]4 M10 02https://esolangs.org/w/index.php?diff=73294&oldid=33133 5* 03PythonshellDebugwindow 5* (+152) 10cats + reorder sections > 1591383932 537779 PRIVMSG #esoteric :14[[07DOG14]]4 M10 02https://esolangs.org/w/index.php?diff=73295&oldid=23278 5* 03PythonshellDebugwindow 5* (+6) 10bold title < 1591384053 154954 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Remote host closed the connection > 1591385871 396815 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=73296&oldid=73243 5* 03PythonshellDebugwindow 5* (-2) 10 < 1591386236 970555 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1591386463 89170 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591387369 851932 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Remote host closed the connection > 1591388464 660566 PRIVMSG #esoteric :14[[07LS Basic14]]4 M10 02https://esolangs.org/w/index.php?diff=73297&oldid=73293 5* 03Simplemaker 5* (+10) 10/* See Also */ > 1591388741 748580 PRIVMSG #esoteric :14[[07Dumbf*ck14]]4 M10 02https://esolangs.org/w/index.php?diff=73298&oldid=44185 5* 03PythonshellDebugwindow 5* (+3) 10 < 1591389162 583112 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I read the Wikipedia article about microtypography. I seem to remember someone mentioned that DVI is not compatible with microtypography, but actually it is capable of all of the things listed there, without needing any specials; the only exception is changing the widths of fonts, when you are not using a fixed set of font widths and instead allow a continuous range; this is the only thing of those that DVI doesn't do (although in my e > 1591389187 779440 PRIVMSG #esoteric :14[[07PESOIX14]]4 M10 02https://esolangs.org/w/index.php?diff=73299&oldid=41869 5* 03PythonshellDebugwindow 5* (+24) 10cat < 1591389279 69220 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591389570 12332 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Ping timeout: 246 seconds < 1591390022 936069 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591391287 902523 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I will check it out about microtypography < 1591391404 318389 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric : I have Swiss Ephemeris in my computer, so I can make the calculation of when and where is the eclipse. Do you have that or other ephemeris software? => when I had Celestia installed, I think there was a thing to prognose eclispes at several solar system bodies (and on Earth), but now I don’t use Celestia < 1591391515 840874 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think it's "prognosticate". < 1591391546 818461 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Or just "predict") < 1591391660 814470 :edding1!5db086b6@93.176.134.182 JOIN :#esoteric < 1591391694 871374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you think of the argument-parser-o-matic 16,000? < 1591391712 270840 :edding1!5db086b6@93.176.134.182 PART :#esoteric < 1591391713 886862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I introduce more macros to make it less verbose and more magic? < 1591391721 84523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or get rid of macros entirely? < 1591391785 209362 :edding1!5db086b6@93.176.134.182 JOIN :#esoteric < 1591391822 956886 :edding1!5db086b6@93.176.134.182 PART :#esoteric < 1591392233 767763 :Mysteryhunter!~Thunderbi@213-225-34-21.nat.highway.a1.net JOIN :#esoteric < 1591392237 927386 :Mysteryhunter!~Thunderbi@213-225-34-21.nat.highway.a1.net PRIVMSG #esoteric :thischannel is logged < 1591392241 35805 :Mysteryhunter!~Thunderbi@213-225-34-21.nat.highway.a1.net PRIVMSG #esoteric :http://esolangs.org/logs/stalker.html < 1591392279 566656 :Mysteryhunter!~Thunderbi@213-225-34-21.nat.highway.a1.net PART :#esoteric < 1591392488 366104 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Amazing insight. ) < 1591392503 744974 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :big shocker that one. < 1591392515 615405 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: not “prognosize”? < 1591392533 775584 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: I actually looked it up. < 1591392592 620249 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1591392611 560501 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sometuimes the verb is derived from the noun and not the other way around, and this is one such case. < 1591392620 155466 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1591392662 315801 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: yeah, I believe you though I wanted to write “prognosize” still, as it came to my mind first :D < 1591392680 701521 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :> C16 from Medieval Latin prognōsticāre “to predict” => eh < 1591392682 490946 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:39: error: lexical error at character 't' < 1591392703 387053 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :oh sorry poor lambdabot I always forget about that < 1591392732 207697 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :@botsnack -- does that affect anything and are comments parsed in here? < 1591392732 532351 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1591392738 398078 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: A good indicator is that if there was a two or three syllable synonym for "predict", we'd see it more often. :) < 1591392753 591683 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: mmmaybe < 1591392801 470940 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :the joke is, “predict” didn’t come to my mind that time :′( for an obscure reason < 1591392802 308377 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Client Quit < 1591393064 176935 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :I worry a bit that my oral speech may be degrading. Either I just speak not as much as needed, or it’s interference of much reading in English, or me noting it eagerly when it’s not actually that bad, especially when I sleep not enough before that day, or it’s really first signs of something < 1591393124 999626 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :compared to that, writing (at least not in English, where I still often need a dictionary to help with something) seems more or less normal < 1591393150 520041 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :my syntax is as heavy-handed as always, at least. No more, no less < 1591393161 114372 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru PRIVMSG #esoteric :in this mode too < 1591393225 269991 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :shachaf: Well, I told you what I thought of it, at least. Well, part of it. You might add more macros if it can make the compiled program smaller and more efficient by doing so. < 1591393259 266053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I could stop using «» and use '' instead, but I'm only targeting systems that use UTF-8. < 1591393336 955624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The macros are supposed to make it more convenient, not more efficient. < 1591393609 261634 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Yes, the macros should make it more convenient, but should not make it too much less efficient by doing so. < 1591393950 607632 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: heavy-handed, hmm. "It is with a heavy hand that I type these words." < 1591393968 967150 :arseniiv_!~arseniiv@136.169.208.90 JOIN :#esoteric < 1591393982 35981 :arseniiv_!~arseniiv@136.169.208.90 PRIVMSG #esoteric :haha I’m an impostor < 1591394025 422643 :int-e!~noone@int-e.eu PRIVMSG #esoteric :very droll < 1591394080 413027 :arseniiv_!~arseniiv@136.169.208.90 PRIVMSG #esoteric :of course the reality is not that interesting, I just forgot to rename myself before restarting the router < 1591394127 30524 :arseniiv!~arseniiv@95.105.1.170.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1591394130 596664 :arseniiv_!~arseniiv@136.169.208.90 NICK :arseniiv < 1591394141 424527 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :NOW I’m an impostor < 1591394182 25665 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not anymore, now you're identified to services. < 1591394218 797484 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :I’m a proper impostor with a proper documentation, duh < 1591394233 324181 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :it wouldn’t suit me otherwise! < 1591394244 859447 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imposterous < 1591394277 851038 :Remavas!~Remavas@unaffiliated/remavas QUIT :Quit: Leaving < 1591394358 402963 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :. o O (What sort of things are postposterous things?) < 1591394360 619875 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :ah, that word I remember still < 1591394830 883654 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :tried to find that article about arithmetic in Q[…][…]… and as it was prognosticated, I hadn’t find it. There are just too many items and any sensible keyword resulted in failure. At least I’m not committed to use this arithmetic anyway, but it’d be nice to re-read about it, sigh < 1591395554 457305 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: those ... are mysterious < 1591395650 407618 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :int-e: ..? < 1591395665 373003 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Q[...][...]... < 1591395670 764731 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :aaah < 1591395695 432530 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION is not fluent in Unicode.
< 1591395699 581251 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :I thought those … were a textual ellipsis < 1591395710 585575 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sure, but what do they stand for? < 1591395715 553359 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :ah, Unicode < 1591395728 49893 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Q[pi][sqrt(3)][z] < 1591395759 357528 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There are numerous things you could put there. < 1591395770 367829 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Possibly some quotients as well. < 1591395850 773829 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :ah, yes, something like that, but in this case all that mess denotes a field defined inductively: either that (ordered) field is Q or it is F[√s] for F being that kind of field, s ∈ F, is positive and not a square < 1591395884 457700 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So... some specific algebraic numbers. < 1591395887 183730 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :so we just add some square roots in succession < 1591395888 819555 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :yeah < 1591395893 943012 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :and real ones < 1591395914 953365 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :at that < 1591395929 405251 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh so s > 0? < 1591395947 333172 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :yeah, s > 0 and not a square, I was to brief < 1591395957 656372 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :too < 1591395984 492578 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :now I’m making famous native-speaker typos, danb < 1591395987 976159 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :damn* < 1591395990 622364 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, is that exciting in anyway... I guess the inverses need work. < 1591396049 728004 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :finding inverses is not hard, it’s just like in C or like what is done to 1/(5 + 7√3) to get rid of the radical in the denominator < 1591396055 958114 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And if you have many square roots, the question of FFT-like speedups arises as well, hrm. Not a clue :) < 1591396059 937688 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :but finding square roots… < 1591396096 157209 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah you want to close Q under field operations and sqrt(). < 1591396107 707662 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(of non-negative numbers.) < 1591396123 164155 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Is this for geometry? < 1591396146 424369 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :also this arithmetic is very space-inefficient, so one needs to find representations in Q[…]… with as few brackets as possible, for each new result. Or it would result in a gigabytes of numbers < 1591396159 965662 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :int-e: yeah < 1591396187 828244 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :it’s one of the ways to make tesselation-y computations work for sure < 1591396195 406756 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :but I dislike this way < 1591396252 338779 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :I’ll push my luck with usual floating point, trying to come up with a way to recalculate point coordinates to make them more accurate each time that’s relevant < 1591396374 404159 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :as a conected tesselation chunk is rigid, increasing accuracy almost up to floating-point precision should be possible < 1591396393 434274 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :I presume in a way like those summation algorithms < 1591396441 894335 :arseniiv!~arseniiv@136.169.208.90 PRIVMSG #esoteric :and, as that idea needs some sleeping on, bye < 1591396470 908377 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. z Z ( good night ) < 1591396689 152803 :arseniiv!~arseniiv@136.169.208.90 QUIT :Ping timeout: 246 seconds < 1591397132 569389 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Remote host closed the connection < 1591397359 227296 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d JOIN :#esoteric < 1591397761 116820 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1591398009 444394 :tromp!~tromp@2a02:a210:ca3:2800:5d06:7e3f:10fc:753d QUIT :Remote host closed the connection < 1591398224 595514 :LKoen!~LKoen___@81.255.219.130 QUIT :Remote host closed the connection < 1591398520 627981 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1591398558 146605 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1591398655 803940 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ah, the weekend is upon us. < 1591398691 909428 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1591398923 594642 :\\server\share!~Funk@unaffiliated/funk QUIT :Quit: I probably fell asleep again < 1591399233 492662 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :Quit: I seem to have stopped. < 1591399244 35937 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric < 1591399845 775889 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I've resolved to do a couple of things. one: build a minimum viable cycle rewriting system in C. two: build a compiler that compiles pseudo-assembly language into cycle rewriting rules. three: extend the C system to support built-in rules for I/O. < 1591400205 767773 :craigo!~craigo@144.136.206.168 JOIN :#esoteric