< 1559692859 386955 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> let eea _ xa xb 0 _ _ = (xa, xb); eea x xa xb y ya yb = (let s = x `mod` y in eea y ya yb (y - s * x, ya - s * xa, yb - s * xb) in eea 314 1 0 100 0 1 < 1559692861 882282 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:129: error: parse error on input ‘in’ < 1559692880 405228 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> let eea _ xa xb 0 _ _ = (xa, xb); eea x xa xb y ya yb = (let s = x `mod` y in eea y ya yb (y - s * x, ya - s * xa, yb - s * xb)) in eea 314 1 0 100 0 1 < 1559692882 712371 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1559692882 859992 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Couldn't match type ‘c -> c -> (c, c)’ with ‘(c, c)’ < 1559692882 860039 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Expected type: c -> c -> c -> (c, c, c) -> (c, c) < 1559692909 189823 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> let eea _ xa xb 0 _ _ = (xa, xb); eea x xa xb y ya yb = (let s = x `mod` y in eea y ya yb (y - s * x) (ya - s * xa) (yb - s * xb)) in eea 314 1 0 100 0 1 < 1559692916 694156 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval: ExitFailure 1 < 1559692939 358245 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :🤔 < 1559693028 414599 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> let eGCD 0 b = (b, 0, 1); eGCD a b = (let (g, s, t) = eGCD (b `mod` a) a in (g, t - (b `div` a) * s, s)) in eGCD 314 100 < 1559693030 953690 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (2,-7,22) < 1559693106 973935 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> let eGCD (_, 0, b) = (b, 0, 1); eGCD (_, a, b) = (let (g, s, t) = eGCD (undefined, (b `mod` a), a) in (g, t - (b `div` a) * s, s)) in iterate eGCD (undefined, 314, 100) < 1559693110 397735 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [(*Exception: Prelude.undefined < 1559693123 765830 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> let eGCD (_, 0, b) = (b, 0, 1); eGCD (_, a, b) = (let (g, s, t) = eGCD (undefined, (b `mod` a), a) in (g, t - (b `div` a) * s, s)) in iterate eGCD (123456789, 314, 100) < 1559693126 426795 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [(123456789,314,100),(2,-7,22),(-1,-3,-1),(-1,0,1),(1,0,1),(1,0,1),(1,0,1),(... < 1559693170 844289 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I conclude that 314/100 is approximately 22/7. < 1559693321 14336 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tswett[m]: you seem to be an approximately rational person < 1559693341 507555 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Thank you, more or less. < 1559693354 422329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you name a number that is not approximately another number? < 1559693576 849672 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: let's be discrete... < 1559693605 273825 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I guess you'll say that 42 is approximately 0. < 1559693722 378864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wasn't making any claims. < 1559693745 64961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I suppose that, for example, an infinite hyperreal isn't approximately equal to any finite number. < 1559693825 408844 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I did consider mentioning \omega. But then that's approximately \omega + 1, if we allowed 0 to be approximately 1. < 1559693936 167395 :int-e!~noone@int-e.eu PRIVMSG #esoteric :OTOH hyperreals give you better-than-rational approximations. < 1559694247 877772 :zhiayang!~zhiayang@180.129.77.116 JOIN :#esoteric < 1559694536 737550 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :hello, not entirely sure if this fits, but: say i'm targeting a limited stack vm as a backend for a compiler, and the vm only has the constants 0-9 (so to get 20 i'd need 4 5 *). so, how do i do relocations, given that the "size" of each relocation is not fixed? < 1559694603 752121 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :perhaps something like this https://www.sifive.com/blog/all-aboard-part-3-linker-relaxation-in-riscv-toolchain < 1559694678 488788 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Oh, well, I meant "do there exist x,y such that x is not approximately y" < 1559694690 292305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not "does there exist x such that for all y, x is not approximately y" < 1559694822 224743 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :kmc: hm, the thing is most of these places have an "upper bound" for the address/offset < 1559694830 980902 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :like i can 100% say it will either be 32-bits or less < 1559694865 872658 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :whereas if my offset happens to be some prime number or something, the number of instructions i need to generate it might be unpredictably large < 1559694872 463887 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :so it's hard to reserve a set amount of space for it < 1559694943 822440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was reading about fancy assemblers that try to optimize the number of bytes used for jump instructions. < 1559694951 17481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In some cases you need a lot of passes. < 1559694952 588706 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :hmm < 1559694972 512907 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zhiayang: you can set a maximum, and anything bigger gets turned into a function call to a function created by the linker < 1559694993 855434 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Don't functions have the same issue? < 1559695006 905599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the linker could place them at a particular place. < 1559695019 2414 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :or depending on your memory instructions you could place them in a data section http://www.keil.com/support/man/docs/armasm/armasm_dom1359731147760.htm < 1559695030 619252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could maybe have some nops around jump targets, which gives you more leeway in avoiding prime numbers. < 1559695031 23745 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :ah, there's nothing as fancy as a linker here, tbh < 1559695043 853327 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :i'm currently going from IR -> vm opcodes < 1559695048 266173 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :(which is just text) < 1559695157 736835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ahttps://board.flatassembler.net/topic.php?t=20249 is the post I was thinking of. < 1559695163 154078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/a// < 1559695175 278972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not really relevant to you. > 1559695180 625369 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Aquirel 5* 10New user account < 1559695374 590598 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :interesting read, nontheless < 1559695465 804185 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :also, to read from the data section would require the same kind of shennanigans, so i don't think it might be useful < 1559695485 455180 :zhiayang!~zhiayang@180.129.77.116 PRIVMSG #esoteric :i might just set an upper limit of 32 and complain if it's exceeded < 1559695635 296447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you ever see http://slbkbs.org/serp.html > 1559695670 789586 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=63083&oldid=62922 5* 03Aquirel 5* (+114) 10 < 1559695852 961194 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yes < 1559695863 216166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :still works < 1559695882 945411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess browser people don't care > 1559696034 305712 PRIVMSG #esoteric :14[[07ABCR14]]4 10 02https://esolangs.org/w/index.php?diff=63084&oldid=50392 5* 03Aquirel 5* (+237) 10 < 1559696679 155422 :unlimiter!~unlimiter@41.141.20.197 JOIN :#esoteric < 1559697098 506652 :unlimiter!~unlimiter@41.141.20.197 QUIT :Quit: WeeChat 2.4 < 1559697314 546672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: https://secretgeek.github.io/html_wysiwyg/html.html is arguably different from the types of quines we talked about. < 1559697324 97772 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I think you can classify it as cheating. < 1559697512 64951 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that's cute < 1559697514 268879 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :> The only other style that is special is "style" itself, which has to include an escape character to avoid being taken literally. I like to think that may be a parser bug created by browser developers who did not suspect that people would engage in such an atrocity. < 1559697516 792308 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:55: error: parse error on input ‘,’ < 1559697519 865881 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's not really a bug < 1559697523 881701 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's a consequence of nesting parsers < 1559697539 152222 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :or perhaps nesting tokenizers within parsers < 1559697541 475848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remember a capture the flag thing we both did that uesd that bug. < 1559697551 936842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I think I used it and you used some other method. < 1559697555 109935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, that non-bug. < 1559697564 677754 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :where you sneak a inside a string in a