< 1559088126 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :right, I thought it may have been a natural pause in the drama, but clearly not. < 1559088155 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that means oerjan can't read what we're saying. < 1559088162 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`owrjan < 1559088163 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Your omnidryad saddle principal ideal golfing toe-obsessed "Darth Ook" oerjan the shifty eldrazi grinch is a punctual expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never remember the word "amortized" so he put it here for convenience. His arkup-nemesis is mediawiki's default diff. He twice punned without noticing it. < 1559088419 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :I'm mainly interested is there was any more info on the cryptic Proto IE quote from Orin. Anything else that happened around that time is probably better lost < 1559088443 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :s/is there/if there/ < 1559088515 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :fungot: do you like PIE? < 1559088515 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :salpynx: ' but he looks the spit and fnord' people makin' cracks about bananas.' they'll say: the least we can do for him?' < 1559088541 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :PIE is fine but dynamic linking is not so good. < 1559088740 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :PIE is overloaded (I had to look that one up). < 1559088759 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pooch-independent executable < 1559089025 0 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :salpynx: *sokʷh₂yóteh₂ti *gʷíh₃womos : We live in a society in PIE < 1559089234 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :orin: nice, I got "we live". Couldn't find the roots of the first word, and was pretty sure my best guess of "Juice-thief" was incorrect (unless "society" = juice-sapping in PIE?) < 1559089590 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 JOIN :#esoteric < 1559089868 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 QUIT :Ping timeout: 259 seconds < 1559090042 0 :A_!74e4b1f4@gateway/web/freenode/ip.116.228.177.244 JOIN :#esoteric < 1559090067 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :Found it: *sokʷ-yo- companion vs. *sokʷos juice/resin. I won't make that mistake again! < 1559090077 0 :A_!74e4b1f4@gateway/web/freenode/ip.116.228.177.244 PRIVMSG #esoteric :Hi < 1559090144 0 :A_!74e4b1f4@gateway/web/freenode/ip.116.228.177.244 PRIVMSG #esoteric :(I have nothing to say here, so I will quit now.) < 1559090147 0 :A_!74e4b1f4@gateway/web/freenode/ip.116.228.177.244 PART #esoteric : < 1559090217 0 :A_!74e4b1f4@gateway/web/freenode/ip.116.228.177.244 JOIN :#esoteric < 1559090310 0 :A_!74e4b1f4@gateway/web/freenode/ip.116.228.177.244 QUIT :Client Quit < 1559090655 0 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1559090757 0 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is something wrong with the logs? < 1559090797 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 PRIVMSG #esoteric :oerjan: yes, they have not been updating since the long page move msg < 1559090908 0 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1559091229 0 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION merges with tunes logs < 1559091339 0 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :curiously, tunes doesn't have the very last line in the other logs, i guess the bot logged it but crashed before actually saying it. < 1559091485 0 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Oh, that means oerjan can't read what we're saying. <-- DON'T BET ON IT < 1559092111 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 JOIN :#esoteric < 1559092934 0 :arseniiv!~arseniiv@95.105.5.188.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1559094216 0 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1559094248 0 :mniip!mniip@freenode/staff/mniip QUIT :Quit: This page is intentionally left blank. < 1559094264 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 QUIT :Remote host closed the connection < 1559094670 0 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1559094836 0 :budonyc!~budonyc@c-24-62-204-147.hsd1.ma.comcast.net JOIN :#esoteric < 1559095393 0 :mniip!mniip@freenode/staff/mniip QUIT :Quit: This page is intentionally left blank. < 1559095868 0 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1559096426 0 :tromp!~tromp@ip-213-127-56-81.ip.prioritytelecom.net JOIN :#esoteric < 1559096506 0 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 604 seconds < 1559096734 0 :tromp!~tromp@ip-213-127-56-81.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1559096908 0 :budonyc!~budonyc@c-24-62-204-147.hsd1.ma.comcast.net QUIT :Quit: Leaving < 1559097141 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :oerjan: tunes? < 1559097149 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :like the operating system? < 1559097731 0 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :adu: yes, although just because it's on the same site, see topic < 1559099927 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism. < 1559099945 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559100932 0 :MDude!~MDude@74.5.156.180 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1559101794 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 JOIN :#esoteric < 1559101864 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :I have devised an idea of a sorting algorithm - I decided to call it "Got a match?", but there could be better names for this. < 1559101880 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :Here is a glance of the algorithm of that algorithm: < 1559101959 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :(in natural language) : While the modified state does not equal to the current state: \ < 1559101996 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric : Put the leftmost element in the unsorted list of elements after the rightmost matching number < 1559102014 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric : Delete the leftmost unborted element < 1559102039 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :If the end of the list of elements is less than the beginning of that list: < 1559102053 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric : Reverse-cat the whole list of elements < 1559102110 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :And that is it. This algorithm has certain limitations (i.e. it does not support sorting a list of elements where all elements are unique.) < 1559102143 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :I will put a working demonstration of this algorithm here: < 1559102186 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :Task: Sort 123123 -> 231123 -> 311223 -> 112233 < 1559102211 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :The end of the list is larger than the beginning of the list, so the algorithm ends. < 1559102281 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :(This algorithm is inspired by the desire to not comparing elements of the list every time and to not waste too much space for that algorithm.) < 1559102317 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :You may be confused of the last part of the algorithm: why do we need to reverse-cat the list of elements sometimes? < 1559102333 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :Well, an example clears up the confusion: < 1559102403 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :(This example is complex; please don't mind) 32321321321 -> 23213213321 -> 32132133221 -> < 1559102453 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :21321333221 -> 13213332221 -> 32133322211 -> 21333322211 -> < 1559102479 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :13333222211 -> 33332222111 < 1559102513 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :13333222211 -> 33332222111 (And see, it is in reversed order. Then you would have to reverse cat that string in order to sort correctly.) < 1559102561 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :I am done; any questions? (And I apoligize for using up too much space for it.) < 1559102774 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :I have nothing to do here. fungot < 1559102774 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :A__: " the deacon is far away. i am a stranger in a familiar script: < 1559102786 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :Fungot < 1559102805 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :fungot: " the deacon is far away. i am a stranger in a familiar script: < 1559102806 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :A__: " just as you go along to the study of time so wholeheartedly that, for the appropriate moment to descend, and thought about cigar smoke and flowing drink and fnord voices never ever gave cushy numbers to the likes of us any more... it chokes us to death with her own umbrella. < 1559102820 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :fungot: " just as you go along to the study of time so wholeheartedly that, for the appropriate moment to descend, and thought about cigar smoke and flowing drink and fnord voices never ever gave cushy numbers to the likes of us any more... it chokes us to death with her own umbrella. < 1559102820 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :A__: " er. what's bodacious mean?" asked granny. " gytha meant well, i, fnord' the faces of many of the things that had been tossed aside on to the roof of the city's kings, all haughty stance and imperious haircut. in fact, since the pyramids took up so much, is... < 1559102835 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :fungot: " er. what's bodacious mean?" asked granny. " gytha meant well, i, fnord' the faces of many of the things that had been tossed aside on to the roof of the city's kings, all haughty stance and imperious haircut. in fact, since the pyramids took up so much, is... < 1559102835 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :A__: ' intended to be a blob of swallow's vomit?' said < 1559102846 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :fungot: ' intended to be a blob of swallow's vomit?' said < 1559102864 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :Hey, fungot: ' intended to be a blob of swallow's vomit?' said < 1559102907 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 JOIN :#esoteric < 1559102938 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You need to stop doing the thing where you paste the text other people write. < 1559102980 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PRIVMSG #esoteric :Did you see what I just wrote(presenting an algorithm)? < 1559103021 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I saw it but I didn't read it. < 1559103072 0 :A__!74e4b1f3@gateway/web/freenode/ip.116.228.177.243 PART #esoteric : < 1559103185 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 QUIT :Ping timeout: 258 seconds < 1559103455 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559103680 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559104608 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-acciahbnqdqkagcm QUIT :Read error: Connection reset by peer < 1559104621 0 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-bdfhupxnkafugszr QUIT :Read error: Connection reset by peer < 1559104767 0 :john_metcalf!~digital_w@host86-146-151-103.range86-146.btcentralplus.com QUIT :Ping timeout: 248 seconds < 1559104799 0 :economicsbat_!~eb@128.199.111.33 QUIT :Ping timeout: 248 seconds < 1559104925 0 :economicsbat!~eb@128.199.111.33 JOIN :#esoteric < 1559104988 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-bcieqxgctslcgene JOIN :#esoteric < 1559106058 0 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-wmciwysmbcheifxf JOIN :#esoteric < 1559106112 0 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1559106523 0 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1559108012 0 :salpynx!794954f8@gateway/web/freenode/ip.121.73.84.248 QUIT :Quit: *apóh₁eimi < 1559108289 0 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1559108305 0 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1559109147 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 248 seconds < 1559109467 0 :Frater_EST!~adrianbib@wsip-68-15-198-210.ok.ok.cox.net JOIN :#esoteric < 1559110256 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559110452 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1559111731 0 :AnotherTest!~turingcom@ptr-82l26zfnlgwh4k4ewtw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1559113378 0 :clog!~nef@bespin.org QUIT :Ping timeout: 245 seconds < 1559113385 0 :clog!~nef@bespin.org JOIN :#esoteric < 1559113672 0 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 624 seconds < 1559113764 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559113820 0 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1559113939 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1559114668 0 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1559115340 0 :Frater_EST!~adrianbib@wsip-68-15-198-210.ok.ok.cox.net PART #esoteric : < 1559116490 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net QUIT :Quit: adu < 1559117791 0 :uplime!?@? NICK :telnet < 1559118265 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559118453 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1559118772 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 JOIN :#esoteric < 1559118851 0 :tromp!~tromp@2a02:a210:1585:3200:f009:a5f8:689a:8cb1 QUIT :Client Quit < 1559119434 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559119648 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1559119779 0 :izabera!?@? NICK :Veronica < 1559119808 0 :Veronica!?@? NICK :Guest49041 < 1559119819 0 :Guest49041!?@? NICK :izabera < 1559120035 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559120097 0 :tromp!~tromp@2a02:a210:1585:3200:e1c7:da6e:e573:2248 JOIN :#esoteric < 1559120160 0 :tromp!~tromp@2a02:a210:1585:3200:e1c7:da6e:e573:2248 QUIT :Remote host closed the connection < 1559120259 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1559120903 0 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 245 seconds < 1559121014 0 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1559121266 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1559121293 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559121311 0 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 248 seconds < 1559121343 0 :Vorpal!~Vorpal@c83-253-68-170.bredband.comhem.se JOIN :#esoteric < 1559121343 0 :Vorpal!~Vorpal@c83-253-68-170.bredband.comhem.se QUIT :Changing host < 1559121343 0 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1559122034 0 :tromp!~tromp@2a02:a210:1585:3200:e1c7:da6e:e573:2248 JOIN :#esoteric < 1559122479 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1559122763 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@tell oerjan oh no, now things may be going horribly right in the long term < 1559122763 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1559122854 0 :Guest91!794954f8@gateway/web/cgi-irc/kiwiirc.com/ip.121.73.84.248 JOIN :#esoteric < 1559122868 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 < 1559122870 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1/2:1178) kmc: madam president, i have taken on serious proportions. \ 787) and all this time I thought we were talking about postmodern analysis of junk mail delivery methods and simulations of elephant breeding patterns \ 558) Ngevd:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov \ 498) now that we've cleared that u < 1559122874 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1559122875 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :2/2:p let us hug fungot = elliott_: let's not start that again." \ 608) ais523: I pronounce "xor" by punching myself in the face and then "or" < 1559122897 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: hug? < 1559122898 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :shachaf: ' he wath my only friend!' she snapped, " never mind about my son," said carrot doggedly, " i thought that's what we always used to say the verruca gnome. < 1559122910 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style < 1559122910 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 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 < 1559122920 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style speeches < 1559122920 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :Selected style: speeches (misc. speeches from Project Gutenberg) < 1559122927 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is upon us < 1559122928 0 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :shachaf: " a refutation of his whole argument? paley says, indeed, will appear beneath their dignity. the temerity of adventurers was much justified by the ill order of every state, which is always very near to it in display of gaiety, splendour, and which the disastrous events of the war against jacobinism, louis the fourteenth brittany had its states; burgundy had its states; and yet there is no such criterion, it must be raw < 1559122938 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 < 1559122940 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1/2:1087) I prefer goat memory. I feel it's more reliable, like a vinyl over a CD. \ 331) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] I need to learn more Haskell... ..I need to get op privs. \ 1222) when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently < 1559122943 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1559122943 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :2/2:not santa claus Santa Claus is dead by now. \ 695) elliott_: how usable is borges in the real world \ 722) is tswett Warrigal? < 1559123090 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1559123303 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559123550 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh does that mean that we have our own global warming theory... namely, Santa Claus died? < 1559123562 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1559123569 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's not really the same language, is it? < 1559123691 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: are you talking about the obfuscated tiny C dialects? < 1559123715 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't looked at it in detail, but if it's a different language (and not an obvious derivative of the original) it should be discussed on a different page < 1559124078 0 :MDude!~MDude@74.5.156.180 JOIN :#esoteric < 1559124088 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: yes < 1559124118 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :they're two somewhat unrelated implementations < 1559124167 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the older one is a bytecode interpreter that has some builtin functions; the newer one is bellard's compiler which "cheats" by linking symbols in from libc < 1559124204 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The older one calls itself OC = obfuscated C. Not sure where I stand on this. < 1559124312 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :also the older one uses the trick where the interpreter is written in C, but the compiler from C to the bytecode that that interpreter understands is written in the bytecode, though not in a cheating way, because both are contained in the size limit < 1559124347 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION idly wonders about the copyright status of that BNF, and the licensing situation of IOCCC (especially early years). < 1559124372 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ah no, I'm wrong < 1559124375 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the compiler is written in C too < 1559124403 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: the licensing situation is quite clear: whoever submits the entry keeps all the rights < 1559124411 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: it's written in C but the bytecode optimizer and compressor required to make everything fit isn't included < 1559124451 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: hmm,ok < 1559124700 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I should probably make some kind of toy compiler, though not a tiny golfed one, at some point, just for the heck of learning < 1559124718 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and potentially teaching, if I document it properly < 1559124803 0 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1559124897 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1559124907 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :can you recommend a good text teaching how to make a register allocator for a compiler to a real-world ugly CISC architecture? < 1559125017 0 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1559126474 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? 299792458 < 1559126475 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :299792458? ¯\(°​_o)/¯ < 1559126865 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :What's that, another C variant? < 1559127446 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1559127473 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559128136 0 :Guest91!794954f8@gateway/web/cgi-irc/kiwiirc.com/ip.121.73.84.248 QUIT :Remote host closed the connection < 1559130711 0 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1559130942 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 258 seconds < 1559133407 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca QUIT :Ping timeout: 248 seconds < 1559135378 0 :arseniiv!~arseniiv@95.105.5.188.dynamic.ufanet.ru JOIN :#esoteric < 1559137759 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559138030 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559139254 0 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1559139802 0 :sebbu3!?@? NICK :sebbu < 1559143078 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1559143359 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559143668 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1559143680 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559144099 0 :S_Gautam!uid286066@gateway/web/irccloud.com/x-butftbpafcgncqzm JOIN :#esoteric < 1559144132 0 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1559145035 0 :yaewa!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1559145106 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1559145119 0 :moei!~moei@softbank221078042071.bbtec.net QUIT :Ping timeout: 248 seconds < 1559145558 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyone have thoughts on this?: https://esolangs.org/wiki/Quadratic_sync_problem < 1559145598 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's one of the simplest problems I've found that isn't obviously Turing-incomplete (another example of a simple problem that isn't obviously Turing-incomplete is "does this recurrence relation ever reach 0?", but I think that one's less likely to be, not that either are particularly likely to be) < 1559145951 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559146201 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559146730 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1559146806 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1559147435 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ais523: relevant keyword: https://en.wikipedia.org/wiki/Pell%27s_equation < 1559147470 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, that's not exactly the same, but it's pretty similar < 1559147551 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even something simple like the negative Pell equation doesn't have a known solution technique < 1559147870 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://www.maths.ed.ac.uk/~v1ranick/papers/conwaysens.pdf < 1559147877 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :can this be applied in any way? I dont know < 1559148393 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :oh these are 2 single variable quadratic forms < 1559148400 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but that is f or binary quadratic form < 1559148464 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :since the constants are non-negative I think you can bound x andy < 1559148468 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and then check finitely many values < 1559148490 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :Pquadratic residuosity problem has no known efficient solutions < 1559148492 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :> < 1559148507 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :wel it's efficient to know if a solution exists (using legendre symbol), but not to find it? < 1559151107 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1559151379 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rain1: the symbol doesn't always tell you if a solution exists < 1559151415 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it can tell you that it doesn't exist, but the legendre symbol's only defined for prime modulus, and the jacoby symbol is only a necessary condition, not a sufficient condition < 1559151453 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :oh shit i didn't know that < 1559153748 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1559154719 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559154769 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist 1165 < 1559154770 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1165: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1559155157 0 :MDude!~MDude@74.5.156.180 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1559155372 0 :tromp_!~tromp@2a02:a210:1585:3200:98:4a8e:f58e:9a21 JOIN :#esoteric < 1559155479 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559155533 0 :tromp!~tromp@2a02:a210:1585:3200:e1c7:da6e:e573:2248 QUIT :Ping timeout: 258 seconds < 1559157605 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu JOIN :#esoteric < 1559157781 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu PRIVMSG #esoteric :ais523: not a direct answer, but see https://cstheory.stackexchange.com/q/14124/8067 , especially the second paragraph of the question < 1559157918 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"The problem can be equivalently stated as follows: given b,c∈N, determine whether the quadratic x²+by−c=0 has a solution x,y∈N." …but isn't that literally quadratic residuosity? < 1559157984 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu PRIVMSG #esoteric :ais523: you asked for Turing-complete or at least possibly so, I don't think that gives any such problem < 1559157985 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah no: x²+by-c=0 <=> x²=-by+c, quadratic residuosity is x²=by+c < 1559158005 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu PRIVMSG #esoteric :this question is about NP problems < 1559158007 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and given that b and y are both constrained to be be non-negative the sign flip actually makes a difference < 1559158020 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: yes, but quadratic residuosity being NP-complete would be a major result < 1559158243 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, hmm, /does/ the sign flip make a difference? < 1559158287 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if c>b² it doesn't < 1559158302 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu PRIVMSG #esoteric :I won't help you thinking about this now, that's just a question I had come across earlier today < 1559158322 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu PRIVMSG #esoteric :s/tion/tion post/ < 1559158339 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it's lower then it's a reduction of the "find the root" part of quadratic residuosity to a decision problem, but a different reduction from the normal one < 1559158569 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if I'm not misunderstanding something, this seems like it might be major news for the crypto community (although possibly not; they care about average-case complexity, NP-completeness results normally focus on the worst case) < 1559158914 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :is factoring expected to be NP-complete? < 1559158916 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i don't think it si < 1559158938 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :which makes this quadratic thing being NP-complete strange, because square roots mod N is usually seen as equivalent in difficulty to factoring N < 1559158940 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's expected to be NP-incomplete, although nobody actually knows what class it's in atm < 1559158975 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rain1: decision-problem quadratic residuosity can be solved in P-time via a factoring oracle, yes < 1559159001 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :going the other way, a find-a-square-root algorithm can factor in P-time if you have a random number generator < 1559159020 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, randomized P-time, there's always a chance your RNG doesn't cooperate < 1559159139 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://blog.computationalcomplexity.org/2019/04/x-3-y-3-z-3-33-has-solution-in-z-and.html < 1559159145 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :this is unrelated but fun < 1559159522 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://math.stackexchange.com/questions/1396122/please-help-understand-how-ax2by-c-0-is-np-complete < 1559159532 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :subset sum encoded into 2 variable quadratic diophantine < 1559159629 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the use of subset sum makes me think that the signs are significant < 1559159678 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :yeah < 1559159682 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :> the NP-complete SUBSET-SUM problem can be considered as a LINEAR DIOPHANTNE EQUATION, when you restrict your solution over positive integers. If you allow also negative solutions then it is solvable in polynomial time < 1559159684 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:85: error: parse error on input ‘,’ < 1559159965 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I think it's very likely that the problem you posted is NP-complete < 1559159977 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :maybe it's a superset of another problem already shown NP-complete < 1559159983 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :/only/ NP-complete? < 1559159994 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :oh... < 1559159998 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it's likely to be NP-hard but am not convinced it's solvable in NP < 1559160048 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it can express "sign-flipped quadratic residuosity", thus must by the discussion above be at least NP-hard < 1559160087 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i see < 1559160270 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I had no idea that such a simple diophantine equation was NP complete < 1559160281 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i read about the hilbert 10 stuff and they need lots of variables < 1559160375 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, hmm, no, I'm not sure it /can/ express the sign flip < 1559160414 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because now one side is increasing and the other decreasing, which prevents the simple implementation method I was hoping for working < 1559161514 0 :john_metcalf!~digital_w@host86-146-151-103.range86-146.btcentralplus.com JOIN :#esoteric < 1559162553 0 :AnotherTest!~turingcom@ptr-82l26zfnlgwh4k4ewtw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1559162778 0 :Frater_EST!~adrianbib@wsip-68-15-198-210.ok.ok.cox.net JOIN :#esoteric < 1559162791 0 :Frater_EST!~adrianbib@wsip-68-15-198-210.ok.ok.cox.net QUIT :Remote host closed the connection < 1559162847 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559163108 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559163218 0 :S_Gautam!uid286066@gateway/web/irccloud.com/x-butftbpafcgncqzm QUIT :Quit: Connection closed for inactivity < 1559163380 0 :budonyc!~budonyc@c-24-62-204-147.hsd1.ma.comcast.net JOIN :#esoteric < 1559166223 0 :b_jonas!~x@catv-176-63-24-121.catv.broadband.hu QUIT :Quit: leaving < 1559167348 0 :yaewa!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1559167487 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 248 seconds < 1559167527 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559167760 0 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net JOIN :#esoteric < 1559168013 0 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1559168128 0 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1559168159 0 :Lord_of_Life_!?@? NICK :Lord_of_Life < 1559168417 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net JOIN :#esoteric < 1559170406 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1559170532 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask zzo38 Do you like GF2P8AFFINEQB? < 1559170532 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1559170583 0 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :is that an x86 instruction < 1559170628 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :AVX-512 < 1559170692 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just came across this post. Is it written by zzo38? https://www.realworldtech.com/forum/?threadid=150494&curpostid=169010 < 1559170860 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's a fused multiply and add, what's not to like ;-) < 1559170893 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's easy to like GF2P8AFFINEQB, but what about GF2P8AFFINEINVQB? < 1559170980 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm I guess what's not to like is that b is an immediate. < 1559171114 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :WTFISTHATQM < 1559171196 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And for that other one, the hard-coded GF(2^8). < 1559171381 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :vbroadcastf128 [ds:esi+ecx*2+0x12345678] < 1559171441 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Remote host closed the connection < 1559171548 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559171562 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :median a b c = atMost (max a b) . atLeast (min a b) $ c < 1559171570 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like this? < 1559172314 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1559172328 0 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 245 seconds < 1559172630 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :AVX512 < 1559172640 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :aka "let's make the decoder even more of a disaster" < 1559172739 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :i like the idea < 1559172745 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :but they extended the ISA a bit *too* much < 1559172815 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess median of 5 is a sort of important function because you need it for the linear-time median algorithm. < 1559172830 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But not actually important because that algorithm isn't actually useful? < 1559172846 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently you can do it with 6 comparisons. < 1559172900 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :i imagine that with the amount of transistors they put toward AVX512's sheer number of instructions, they probably could've, say, added more op-fusion possibilities instead < 1559172930 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oplax monoidal fusion < 1559172981 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :Moony's wishlist: add each individual lane of SIMD registers to the scoreboard as it's own register < 1559173095 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :dont ask why < 1559173115 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :because my reasoning is on the "how the hell would that be viable" end of things < 1559173365 0 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :Also, the fact that a particular AVX2 only CPU (You know which one) completely plastered the i9-9920X lately, i think AVX512 may have been a bad move on intel's part < 1559173517 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: wait what's the difference between atMost and min? < 1559173613 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: atMost = min < 1559173638 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :clamp lo hi = atLeast lo . atMost hi < 1559173683 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :synonyms are confusing < 1559173696 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are they? < 1559173701 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like the name atMost for min. < 1559173709 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :seems v. clear < 1559173732 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :they suggest that there's a difference < 1559173744 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :to me at least, in programming < 1559173758 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :atMost (atLeast a b) . atLeast (atMost a b) < 1559173766 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's confusing. < 1559173774 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But so is min (max a b) . max (min a b) < 1559173785 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nah, that one is just fine. < 1559173797 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's confusing that if you want to bound something below, you write max. < 1559173804 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always have to think about which way to do it. < 1559173810 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah but I'm used to that < 1559173812 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whereas with a name like atLeast it's obvious. < 1559174042 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :what's confusing is that (a \/ b) /\ ((a /\ b) \/ c) should be symmetric in a, b, c. < 1559174096 0 :TriMill!47b85b29@gateway/web/freenode/ip.71.184.91.41 JOIN :#esoteric