< 1612571482 98937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: A bit surprising that it was published.
< 1612571586 481346 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I found that a bit surprising too. But it's there in the public YouTube. And I've not heard of any sort of crackdown, and it's been a week.
< 1612571608 947845 :ArthurStrong!~ArthurStr@188.163.100.177 QUIT :Quit: leaving
< 1612571676 965150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But whenn are they going to make the 5TB video public?
< 1612571800 585607 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :do you woik at google?
< 1612571888 500120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nope. Do you?
< 1612571899 85896 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :no
< 1612572333 146657 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 3.0
< 1612572466 424137 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612572705 325054 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 240 seconds
< 1612572729 350552 :arseniiv!~arseniiv@94.41.5.225.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds
< 1612576302 493389 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612576393 892831 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Read error: Connection reset by peer
< 1612576422 488520 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612576481 339264 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Read error: Connection reset by peer
< 1612576511 366586 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612576765 320062 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 240 seconds
< 1612579778 146645 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612580049 116744 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 256 seconds
< 1612583025 885025 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612583282 794465 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 256 seconds
> 1612583374 507866 PRIVMSG #esoteric :14[[07User:Salpynx14]]4 10 02https://esolangs.org/w/index.php?diff=80569&oldid=70776 5* 03Salpynx 5* (+758) 10Some thoughts on Encoding vs. Computation
< 1612583864 395545 :adu_!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1612584308 546197 :adu_!~arobbins@c-76-111-99-194.hsd1.md.comcast.net NICK :adu
< 1612585450 833463 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net JOIN :#esoteric
< 1612585826 154542 :clog!~nef@bespin.org QUIT :Ping timeout: 272 seconds
< 1612585859 597488 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net QUIT :Quit: Connection closed
< 1612586272 495057 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612586575 485893 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 276 seconds
< 1612586629 837107 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net JOIN :#esoteric
< 1612586632 365799 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net PRIVMSG #esoteric :Anyone have a proof that this is Turing-complete? https://esolangs.org/wiki/Ultimate_bf_instruction_minimalization!
< 1612586660 13081 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net PRIVMSG #esoteric :In particular, I'm interested in the instruction set <>+? where ? denotes skipping the next instruction.
< 1612586702 447541 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net PRIVMSG #esoteric :Don't care about I/O for now.
< 1612586994 635563 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net QUIT :Quit: Connection closed
< 1612588188 339698 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1612588265 249155 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :"Closures are self-contained blocks of functionality that can be passed around and used in your code. Closures in Swift are similar to blocks in C and Objective-C and to lambdas in other programming languages."
< 1612588284 380541 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :Had to look up C blocks... it's a Apple specific extension to C.
< 1612588338 36662 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net PRIVMSG #esoteric :I had to add those to my C parser
< 1612588357 392285 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net PRIVMSG #esoteric :because stdio.h has them on mac
< 1612589078 545495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does Ada have blocks?
< 1612589081 508576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? sgeolang
< 1612589084 220129 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Sgeolang used to change frequently, but eventually it rusted in place.
< 1612589138 382967 :Arcorann_!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric
< 1612589195 105111 :sprock!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds
< 1612589288 466524 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 276 seconds
< 1612589315 651074 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1612589344 595072 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 276 seconds
< 1612589344 673149 :b_jonas!~a@catv-176-63-12-131.catv.broadband.hu QUIT :Ping timeout: 276 seconds
< 1612589363 404966 :b_jonas!~a@catv-176-63-12-131.catv.broadband.hu JOIN :#esoteric
< 1612589517 359238 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612589564 960232 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :?!?!?!?!?
< 1612589565 20910 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list
< 1612589569 664559 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :https://www.encyclopedia.com/environment/encyclopedias-almanacs-transcripts-and-maps/celtic-religion-overview
< 1612589576 872761 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :" For example, several of the feinnidi were born of mothers in animal form, and the Fian's great hounds, Bran and Sgeolang, had a human mother."
< 1612589639 251980 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :I... think it's usually supposed to be Sceolang?
< 1612589675 303839 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :"BRAN (2) One of the sons of Tuireann also bore this name, born to her when she had been turned into a wolfhound by her husband's envious mistress. Both Bran and his brother Sgeolang/Sceolang were born in this form and became the faithful hounds of Fionn mac Cumhaill (cf)"
< 1612589679 214457 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :https://hubpages.com/education/LIFE-ON-THE-FRINGE-11-Boann-two-Brans-Brigid-and-Supporting-Cast
< 1612589776 387699 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 240 seconds
< 1612590919 346984 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :I feel weird about Swift documentation being on apple.com
< 1612591567 829020 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1612591832 841596 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net JOIN :#esoteric
< 1612591867 330790 :jr!63c72bd0@d99-199-43-208.bchsia.telus.net QUIT :Client Quit
< 1612592776 444154 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612593025 378363 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 240 seconds
< 1612594635 819087 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 268 seconds
> 1612594703 680101 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03GrapeApple 5*  10New user account
< 1612594995 394415 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1612595078 227707 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
> 1612595331 467784 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=80570&oldid=80557 5* 03GrapeApple 5* (+133) 10/* Introductions */
> 1612595947 846681 PRIVMSG #esoteric :14[[07User:GrapeApple14]]4 N10 02https://esolangs.org/w/index.php?oldid=80571 5* 03GrapeApple 5* (+12) 10Created page with "Hello World!"
> 1612595956 471313 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03SansTheComic 5*  10New user account
> 1612595970 267116 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03AviFS 5*  10New user account
< 1612596050 817679 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
> 1612596167 41807 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=80572&oldid=80570 5* 03SansTheComic 5* (+112) 10/* Introductions */
> 1612596500 847185 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=80573&oldid=80572 5* 03AviFS 5* (+214) 10Added AviFS
> 1612596514 35795 PRIVMSG #esoteric :14[[07Cabra14]]4 10 02https://esolangs.org/w/index.php?diff=80574&oldid=14157 5* 03AviFS 5* (+29825) 10Copy/pasted documentation from author's reference implementation: https://github.com/catseye/Cabra/blob/master/doc/cabra.html
> 1612597717 867719 PRIVMSG #esoteric :14[[07Cabra14]]4 M10 02https://esolangs.org/w/index.php?diff=80575&oldid=80574 5* 03AviFS 5* (-27) 10Fixed link
> 1612598304 404785 PRIVMSG #esoteric :14[[07IDK14]]4 N10 02https://esolangs.org/w/index.php?oldid=80576 5* 03GrapeApple 5* (+25) 10Created page with "<h1>work in progress</h1>"
< 1612599551 43416 :df1111!df1matrixo@gateway/shell/matrix.org/x-daqhnobsjkninsyx JOIN :#esoteric
< 1612600438 968622 :diverger!~div@titan.pathogen.is JOIN :#esoteric
< 1612600776 47960 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 265 seconds
> 1612602525 151889 PRIVMSG #esoteric :14[[07Talk:HTPL14]]4 N10 02https://esolangs.org/w/index.php?oldid=80577 5* 03ThisIsTheFoxe 5* (+105) 10Created page with "This is the talk page for [[HTPL]]. Feel free to add your comments, feedback or whatever you think of it."
> 1612602909 156561 PRIVMSG #esoteric :14[[07HTPL14]]4 10 02https://esolangs.org/w/index.php?diff=80578&oldid=79454 5* 03ThisIsTheFoxe 5* (+78) 10/* Syntax */ clarified switch
> 1612602958 578545 PRIVMSG #esoteric :14[[07HTPL14]]4 M10 02https://esolangs.org/w/index.php?diff=80579&oldid=80578 5* 03ThisIsTheFoxe 5* (+3) 10/* Syntax */
> 1612603027 898135 PRIVMSG #esoteric :14[[07HTPL14]]4 M10 02https://esolangs.org/w/index.php?diff=80580&oldid=80579 5* 03ThisIsTheFoxe 5* (+52) 10/* Syntax */
< 1612603727 414064 :rain1!~My_user_n@unaffiliated/rain1 JOIN :#esoteric
< 1612603800 82102 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 272 seconds
< 1612605100 211457 :diverger!~div@titan.pathogen.is QUIT :K-Lined
< 1612605164 123930 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1612605192 530250 :Guest2897!~Thunderbi@c83-252-248-106.bredband.comhem.se JOIN :#esoteric
< 1612605809 820052 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 268 seconds
< 1612606072 798380 :Guest2897!~Thunderbi@c83-252-248-106.bredband.comhem.se QUIT :Quit: Guest2897
> 1612606803 77662 PRIVMSG #esoteric :14[[07Talk:HTPL14]]4 10 02https://esolangs.org/w/index.php?diff=80581&oldid=80577 5* 03ThisIsTheFoxe 5* (+723) 10/* Infallibility? */ new section
< 1612606894 291861 :admino!~admin@unaffiliated/zeroed NICK :zeroed
< 1612607352 505434 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
> 1612607393 944813 PRIVMSG #esoteric :14[[07User:ThisIsTheFoxe14]]4 10 02https://esolangs.org/w/index.php?diff=80582&oldid=78093 5* 03ThisIsTheFoxe 5* (+0) 10/* HTPL / HTPF */
< 1612607516 523571 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds
> 1612607525 29169 PRIVMSG #esoteric :14[[07User:ThisIsTheFoxe14]]4 10 02https://esolangs.org/w/index.php?diff=80583&oldid=80582 5* 03ThisIsTheFoxe 5* (-72) 10/* About Me */
< 1612607527 674527 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1612610650 483317 :arseniiv!~arseniiv@94.41.5.225.dynamic.ufanet.ru JOIN :#esoteric
< 1612610683 824400 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1612613197 462188 :LKoen!~LKoen@252.248.88.92.rev.sfr.net JOIN :#esoteric
< 1612613673 175011 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit
< 1612615864 387973 :arseniiv_!~arseniiv@94.41.5.225.dynamic.ufanet.ru JOIN :#esoteric
< 1612615996 318245 :naivesheep!~naiveshee@dhcp-108-168-36-20.cable.user.start.ca QUIT :Ping timeout: 276 seconds
< 1612615996 381309 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 276 seconds
< 1612616046 698611 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1612616059 548514 :arseniiv!~arseniiv@94.41.5.225.dynamic.ufanet.ru QUIT :Ping timeout: 276 seconds
< 1612616104 470538 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1612618847 573927 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
> 1612619287 649475 PRIVMSG #esoteric :14[[07IDK14]]4 10 02https://esolangs.org/w/index.php?diff=80584&oldid=80576 5* 03SansTheComic 5* (+93) 10
< 1612619381 818051 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
> 1612620157 995572 PRIVMSG #esoteric :14[[07Cabra14]]4 M10 02https://esolangs.org/w/index.php?diff=80585&oldid=80575 5* 03PythonshellDebugwindow 5* (-4182) 10Use wikitext (hope I didn't break anything)
< 1612620678 372468 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612620684 381614 :Arcorann_!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 246 seconds
< 1612621225 833724 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
> 1612621668 852208 PRIVMSG #esoteric :14[[07Parse this sic14]]4 10 02https://esolangs.org/w/index.php?diff=80586&oldid=80534 5* 03Digital Hunter 5* (-3) 10/* Fibonacci numbers */ Silly bug!
< 1612623075 119250 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit
< 1612623778 336679 :ubq323!~ubq323@host86-154-198-83.range86-154.btcentralplus.com JOIN :#esoteric
< 1612623918 947955 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, this system has states "INVALID" and "NONINVALID".
< 1612624308 618373 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :which system?
< 1612624335 674408 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :that DB?
< 1612624567 796027 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, just a random local government website.
< 1612625303 496614 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
> 1612625346 272800 PRIVMSG #esoteric :14[[07HTPL14]]4 M10 02https://esolangs.org/w/index.php?diff=80587&oldid=80580 5* 03PythonshellDebugwindow 5* (+19) 10/* Hello World */ Fix; link
< 1612625777 327018 :MDude!~MDude@71.50.47.112 JOIN :#esoteric
< 1612626147 872324 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1612626160 91290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, I think I just found a gcc bug
< 1612626201 652370 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gcc compiles "a - (b * b)" (where a and b are doubles) to a fused multiply-add instruction with -O3 -fno-fast-math -ffloat-store -mavx -mfma
< 1612626279 43002 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which produces a result that's more accurate than the C standard and compiler settings allow (it's supposed to round after the multiplication)
< 1612626295 51342 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I should be using -fexcess-precision=standard, not -ffloat-store, but it comes to the same thing either way
< 1612626342 495946 :myname!~myname@2001:41d0:1:766f::1 PRIVMSG #esoteric :wait, the c standard doesn't define shit about mostly anything but it has an upper bound on how precise computational results have to be?
< 1612626371 613004 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :C99 was aimed at scientific computing so it has a lot of information about floating-point rounding
< 1612626399 159587 :myname!~myname@2001:41d0:1:766f::1 PRIVMSG #esoteric :LKoen: ^
< 1612626428 179032 :APic!apic@apic.name PRIVMSG #esoteric :☺
< 1612626444 644817 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :hi
< 1612626464 577658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :same thing happens with #pragma STDC FP_CONTRACT 0 specified explicitly
< 1612626492 999999 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :freaking compilers being zealously precise
< 1612626535 507901 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the problem happens because excess precision is something that compiler-writers don't think about much because their internal representations don't distinguish between excess-precision and standard-precision floats
< 1612626542 703985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, let me try this on clang
< 1612626587 598422 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, clang seems to respect the pragma, at least
< 1612626609 316784 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :can you imagine if your friend runs an errand for you and you have to pay them back and they say it's 46.56 euros and they insist you pay them back precisely
< 1612626634 120324 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :rather than just taking your 50 euro note, they insist on manipulating copper pieces
< 1612626636 868767 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, if I #pragma STDC FP_CONTRACT OFF or #pragma STDC FP_CONTRACT ON it changes clang's output appropriately
< 1612626646 847386 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :clang is pretty good at the warning game
< 1612626659 377055 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :I'm sure it could warn you if it accidentally was too precise
< 1612626664 947121 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but gcc doesn't respond to the pragma
< 1612626681 604235 :LKoen!~LKoen@252.248.88.92.rev.sfr.net PRIVMSG #esoteric :being afraid of too much precision doesn't sound very pragmatic
< 1612626684 663640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :really the problem is that C doesn't have any way to say "excess precision is OK in this small subset of an expression"
< 1612626701 169847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :all you can do is say that it's OK everywhere, or nowhere, within a given statement
< 1612626824 8426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :floating point math would be so much easier to do sensibly if your language explicitly marked must-round and may-round locations within an expression
< 1612626864 291721 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, this all came out of an investigation I'm doing into how languages and compilers handle expressions that have obvious meanings but have issues with the range of the data type you're using
< 1612626883 812355 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for example, how do you take the average of two size_t values in C (rounding towards 0)?
< 1612627109 543952 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the best I can do is (x >> 1) + (y >> 1) + (x & y & 1), which a) is really unintuitive, b) isn't optimised correctly by the compilers I tested
< 1612627134 115709 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(you'd want it to optimise into mov, add, rcr, ret, but compilers can't figure that out)
< 1612627184 798870 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I'm pretty sure the reason that the compilers get this wrong is that a) C doesn't give any way to specify that you want a 65-bit intermediate value in an expression), b) the compilers' intermediate representation doesn't allow for 65-bit arithmetic either
< 1612627214 69944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even though c) almost every processor I've seen has some convenient way to handle the extra bit when you need it
< 1612628029 636499 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wonder if you could express that in terms of GCC's __builtin_uaddll_overflow or whatnot to get a more reasonable assembly output. Maybe not.
< 1612628056 652143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It'd give you a name for the outgoing carry bit, at least.)
< 1612628130 343118 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me try it
< 1612628141 883966 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can definitely express it but I'm not sure whether the compiler finds the optimization
< 1612628154 435739 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1612628439 345451 :craigo!~craigo@144.136.206.168 JOIN :#esoteric
< 1612628442 480638 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with that, gcc reads the carry flag, but doesn't manage to optimize out the if statement
< 1612628469 997199 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oddly, it produces different asm when I OR with 0x8000000000000000, and when I add 0x8000000000000000
< 1612628550 147679 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :clang, meanwhile, produces the same code in both cases, but it's kind-of horrible
< 1612628586 587201 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it manages to avoid the jump, but it does so using a cmov, and it does the addition twice (once to calculate the bottom 64 bits using lea, and a separate time to calculate the carry using add)
< 1612628715 107805 :APic!apic@apic.name PRIVMSG #esoteric :-_-
< 1612628835 611512 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gcc's code with | looks like it would be pretty efficient if branch-predicted correctly (but not as good as an rcr)
< 1612629426 255576 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612629470 107943 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612629564 175036 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I once wrote some code for a TI DSP (coursework back in university), it was natively 16-bit but it had two accumulator registers both 40 bits wide. TI had a C compiler for it, but I don't remember at all how it could cope with that. Maybe there was a special custom 40-bit type; the standard types were all normal (16-bit char, short and int; 32-bit long).
< 1612629599 543444 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe the idea was just that you'd use their handwritten assembly building blocks, and C just for wiring things up.
< 1612629633 908166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I once used a "C" compiler that targeted microcontrollers, which had very weird string behaviour
< 1612629665 692555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think that if you called a function with a string literal as argument, it replaced that with a number of repeated calls to the function, giving it one new character each time
< 1612629703 223680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, the licensing was somewhat muddled, it attempted to be software-enforced shareware, but was gcc-derived
< 1612629758 206239 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I could just look at the source to see where the license check was, then (legally) patch it out
< 1612629877 114778 :APic!apic@apic.name PRIVMSG #esoteric :GPL Violations suck
< 1612629913 466351 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it wasn't a GPL violation, just an attempt to trick people who didn't know better into paying for GPL executables
< 1612629940 272186 :APic!apic@apic.name PRIVMSG #esoteric :ic
< 1612630281 480517 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1612631137 16526 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1612631745 294989 :LKoen!~LKoen@252.248.88.92.rev.sfr.net NICK :ElkOwen
< 1612632203 195589 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1612635460 138894 :ubq323!~ubq323@host86-154-198-83.range86-154.btcentralplus.com QUIT :Ping timeout: 265 seconds
< 1612636621 769179 :ElkOwen!~LKoen@252.248.88.92.rev.sfr.net QUIT :Remote host closed the connection
< 1612636657 632472 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612636701 382660 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612637302 338656 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric
< 1612637367 347613 :ElkOwen!~LKoen@252.248.88.92.rev.sfr.net JOIN :#esoteric
< 1612638796 152010 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric
< 1612638866 192684 :ubq323!~ubq323@host86-154-198-83.range86-154.btcentralplus.com JOIN :#esoteric
< 1612638873 313712 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1612639169 699198 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612640062 986822 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1612640243 978322 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric
< 1612640846 58624 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612641024 102460 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1612641175 356401 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric
< 1612641247 135646 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1612641359 489060 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1612641383 310998 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1612641461 460036 :sprock!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1612641505 400349 :ubq323!~ubq323@host86-154-198-83.range86-154.btcentralplus.com QUIT :Ping timeout: 240 seconds
< 1612641568 508174 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Remote host closed the connection
< 1612641580 703087 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Client Quit
< 1612641759 957647 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1612641995 370293 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1612642035 420210 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1612642167 136787 :iovoid!~iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1612642317 483918 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612642520 348856 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612643104 592393 :iovoid!~iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1612643507 20626 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612644360 449745 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612644407 348606 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1612644721 485071 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1612645332 995956 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612646110 76897 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612647070 642886 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
< 1612647304 806496 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 256 seconds
< 1612648732 392558 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612648750 71456 :ubq323!~ubq323@host86-154-198-83.range86-154.btcentralplus.com JOIN :#esoteric
< 1612648762 371606 :NotApplicable!~NotApplic@2600:1702:3680:7560:a8ae:f2b4:45c6:ae96 JOIN :#esoteric
< 1612648805 533555 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric
< 1612649544 696374 :NotApplicable!~NotApplic@2600:1702:3680:7560:a8ae:f2b4:45c6:ae96 QUIT :Ping timeout: 240 seconds
< 1612650085 623892 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection
> 1612650249 867358 PRIVMSG #esoteric :14[[07Photon (Quintopia)14]]4 N10 02https://esolangs.org/w/index.php?oldid=80588 5* 03Quintopia 5* (+10650) 10Created page
< 1612650772 893047 :MDude!~MDude@71.50.47.112 QUIT :Ping timeout: 256 seconds
> 1612650790 528331 PRIVMSG #esoteric :14[[07Photon14]]4 10 02https://esolangs.org/w/index.php?diff=80589&oldid=69394 5* 03Quintopia 5* (+86) 10link
< 1612650912 130802 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric
< 1612652058 403889 :arseniiv_!~arseniiv@94.41.5.225.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds
> 1612652882 29847 PRIVMSG #esoteric :14[[07Talk:Photon (Quintopia)14]]4 N10 02https://esolangs.org/w/index.php?oldid=80590 5* 03IFcoltransG 5* (+420) 10Added note about redactions
< 1612652899 860058 :ElkOwen!~LKoen@252.248.88.92.rev.sfr.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
> 1612654353 775778 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=80591&oldid=80549 5* 03Quintopia 5* (+25) 10/* P */
< 1612654548 392965 :Arcorann_!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric
< 1612655102 43701 :tromp!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection