< 1649894484 729922 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu QUIT :Ping timeout: 246 seconds
< 1649894710 899604 :immibis!~hexchat@62.156.144.218 QUIT :Remote host closed the connection
< 1649894734 687762 :immibis!~hexchat@62.156.144.218 JOIN #esolangs * :realname
< 1649894893 439242 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu JOIN #esolangs * :b_jonas
< 1649900016 250637 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Folklore is that integration is computable; given a computable (continuous) function on the reals, the Riemann sums over an interval can be computed. Is there a neat trick to this, or is it quite literally done by drawing the little Riemann-style boxes and making ever-thinner slices?
< 1649900827 245006 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :Corbin: I'd guess the latter. note that if it's a continuous function on a compact set then you can just pick Riemann-style boxes of equal sizes and they will converge, so that's like easy mode.
< 1649900867 516049 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Yeah, good point.
< 1649900882 175554 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :They computably converge? That's a little surprising, but yeah, I'd believe it.
< 1649900895 45511 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :I don't know
< 1649900911 63150 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :I don't know much about computable reals and that sort of thing
< 1649900965 194910 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I want to believe that they're the future. But every time I've implemented them, it's been like rolling the rock up the hill.
< 1649900986 480231 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :the future of what?
< 1649901069 775895 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Of numerical work, I suppose. Like, we could be computing exact answers for a lot of engineering and physics work, but floats have limits on precision for operations like sqrt or division.
< 1649901115 966919 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :anyway, the function is uniformly continuous which is why the Riemann-sum converges: for every 0<epsilon there's a N such that if you divide to N equal boxes then within each box the value of the function is within an epsilon tall interval, so the upper and lower Riemann-sum differs by at most epsilon times the length of the domain
< 1649901135 251127 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :maybe if you understand computable reals you can tell if that translates to a proof
< 1649901242 335539 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :as for the general thing, isn't the problem that if you try to compute something with computable reals, you might need like double exponential time or worse, so they can't just avoid you all the difficult numerical analysis tricks to bound errors of floating point computation properly
< 1649901283 776943 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :and double exponental memory too obviously
< 1649901294 923423 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Kind of. I guess that there's a continued-fraction proof that's not too bad. Let the upper and lower bounds for N boxes give two sequences of continued fractions. Consider the sequence P of rational numbers which arise as common prefixes; P_N agrees with upper_N and lower_N on the first few coefficients of the continued fractions.
< 1649901428 619485 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Now, by fun facts about continued fractions, every element of P is a Padé approximant and thus a best possible approximation to some real number; but Riemann already showed that upper and lower already converge to a real number, and P is sandwiched between them. So P uniquely determines a real, and we can read off its continued fraction by one of Gosper's algorithms.
< 1649901465 563983 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :does this really need to involve continued fractions?
< 1649901536 63555 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, that's just the model that I'm used to using.
< 1649901546 783567 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :ok
< 1649901636 69823 :littlebobeep!~alMalsamo@gateway/tor-sasl/almalsamo QUIT :Ping timeout: 240 seconds
< 1649903325 716376 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 246 seconds
< 1649903359 618829 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 256 seconds
< 1649903631 409611 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in
< 1649903721 618139 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in
< 1649906800 792375 :littlebobeep!~alMalsamo@gateway/tor-sasl/almalsamo JOIN #esolangs alMalsamo :alMalsamo
> 1649909501 893170 PRIVMSG #esolangs :14[[07E14]]4 N10 02https://esolangs.org/w/index.php?oldid=94745 5* 03Lemonz 5* (+3466) 10Created page with "'''E''' is a esoteric based off of [[E]]. But you can #s to change from Main use to secondary use. However since there are two per command, <code>E##</code> acts the same a..."
> 1649909579 13546 PRIVMSG #esolangs :14[[07E14]]4 10 02https://esolangs.org/w/index.php?diff=94746&oldid=94745 5* 03Lemonz 5* (+99) 10
< 1649911826 821949 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :https://i.imgur.com/lU62xDx.png This took hours, but it works. I want it to take seconds. Compilers are hard.
< 1649913900 646465 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :Corbin: is that some kind of fractal?
< 1649913935 776646 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Yeah, it's a closeup of the Burning Ship fractal.
< 1649914119 693980 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :I see. that one is probably famous enough that there's probably optimized code for it somewhere.
< 1649914182 161814 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :There certainly is. Right now, I'm enjoying finding optimized code for such difficult expressions as "256" and "x + y". Primitive recursion is *very* primitive.
< 1649914217 858131 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :hehe, "256"
< 1649914223 900663 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, after putting it off for months, I'm trying out "jets"; I'm replacing short chunks of library code with single optimized bytecodes.
< 1649914458 367340 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :so you were implementing everything directly in primitive recursion?
< 1649914521 755637 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :short enough ones I guess that it doesn't generate to writing an interpreter that interprets a biggere interpreter
< 1649914578 762084 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah.
< 1649916983 855809 :BarryNL!~BarryNL@2a02-a468-ae45-1-85e-dce5-b8b2-22f4.fixed6.kpn.net QUIT :Ping timeout: 260 seconds
< 1649917096 744630 :BarryNL!~BarryNL@109.37.149.252 JOIN #esolangs * :BarryNL
< 1649917256 48850 :BarryNL!~BarryNL@109.37.149.252 QUIT :Read error: Connection reset by peer
< 1649917688 745372 :BarryNL!~BarryNL@109.37.149.252 JOIN #esolangs * :BarryNL
< 1649917816 545977 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 248 seconds
< 1649917853 747202 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k
< 1649920199 933918 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1649920773 515990 :MrAureliusR!~MrAureliu@user/mraureliusr QUIT :Remote host closed the connection
< 1649920788 242531 :MrAureliusR!~MrAureliu@user/mraureliusr JOIN #esolangs MrAureliusR :Got ZNC?
< 1649920996 104106 :BarryNL!~BarryNL@109.37.149.252 QUIT :Read error: Connection reset by peer
< 1649921125 818239 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl JOIN #esolangs * :BarryNL
< 1649924315 79031 :Roy_Mustang!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1649924327 480099 :A_Dragon!A_D@libera/staff/dragon QUIT :Killed (NickServ (GHOST command used by Roy_Mustang))
< 1649924345 144680 :Roy_Mustang!A_D@libera/staff/dragon NICK :A_Dragon
< 1649926622 520432 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649927077 177300 :tech_exorcist!13203@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1649928467 15266 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl QUIT :Read error: Connection reset by peer
< 1649928506 601691 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl JOIN #esolangs * :BarryNL
< 1649934462 207069 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1649935279 238967 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649935966 482200 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl QUIT :Read error: Connection reset by peer
< 1649936118 116753 :littlebobeep!~alMalsamo@gateway/tor-sasl/almalsamo QUIT :Remote host closed the connection
< 1649936145 638270 :littlebobeep!~alMalsamo@gateway/tor-sasl/almalsamo JOIN #esolangs alMalsamo :alMalsamo
< 1649936170 435661 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl JOIN #esolangs * :BarryNL
< 1649936295 512704 :tech_exorcist_!13203@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1649936367 147080 :tech_exorcist!13203@user/tech-exorcist/x-0447479 QUIT :Ping timeout: 240 seconds
< 1649938607 24049 :definitelya!~hexagon@host-79-23-16-54.retail.telecomitalia.it JOIN #esolangs * :WRATH
< 1649939075 28385 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1649941595 337601 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649942023 53349 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"sign-in from new location" ...no I'm pretty sure it's the same location as last time.
< 1649942036 842136 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? device
< 1649942040 19978 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :A device is a browser session. Please verify your device.
< 1649942500 418405 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Deep truths.
< 1649942668 397915 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`? device manager
< 1649942670 91949 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :device manager? ¯\(°​_o)/¯
< 1649942677 167540 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`le//rn device manager//The device manager can perform low-level device functions such as reboot and factory reset.
< 1649942680 875336 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Learned 'device manager': The device manager can perform low-level device functions such as reboot and factory reset.
< 1649942692 846778 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Useless factoids since [insert an early year].
< 1649943448 472864 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl QUIT :Ping timeout: 248 seconds
< 1649943659 576412 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl JOIN #esolangs * :BarryNL
< 1649944294 907122 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam
< 1649944854 603200 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1649944876 954593 :haavard!root@haavard.me NICK :hs
< 1649944887 489387 :hs!root@haavard.me NICK :hd
< 1649947342 287489 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: Textual IRC Client: www.textualapp.com
< 1649947596 681183 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl QUIT :Read error: Connection reset by peer
< 1649947976 873949 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl JOIN #esolangs * :BarryNL
< 1649948351 56645 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649948377 588667 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Client Quit
< 1649949171 141899 :sprout!~quassel@2a02-a467-ccd6-1-d9a7-d237-b363-1f2.fixed6.kpn.net JOIN #esolangs * :anon
< 1649949189 838961 :BarryNL!~BarryNL@galaxy-s9-van-tno-demo.guest.tno.nl QUIT :Ping timeout: 246 seconds
< 1649949226 609308 :BarryNL!~BarryNL@109.37.145.248 JOIN #esolangs * :BarryNL
< 1649949270 827566 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649949369 211318 :sprout_!~quassel@2a02:a467:ccd6:1:cc9d:606d:275:46cf QUIT :Ping timeout: 248 seconds
> 1649950928 684045 PRIVMSG #esolangs :14[[07ONE WAY14]]4 M10 02https://esolangs.org/w/index.php?diff=94747&oldid=94743 5* 03DigitalDetective47 5* (+1603) 10/* Examples */
< 1649952655 998226 :BarryNL!~BarryNL@109.37.145.248 QUIT :Read error: Connection reset by peer
> 1649953170 553357 PRIVMSG #esolangs :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=94748&oldid=94710 5* 03PythonshellDebugwindow 5* (+4) 10Add link
< 1649957148 693983 :fowl6!~fowlmouth@user/fowl JOIN #esolangs fowl :fowlmouth
< 1649957282 951065 :Roy_Mustang!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1649957294 365750 :A_Dragon!A_D@libera/staff/dragon QUIT :Killed (sodium.libera.chat (Nickname regained by services))
< 1649957294 452254 :Roy_Mustang!A_D@libera/staff/dragon NICK :A_Dragon
< 1649957345 567753 :citrons_!~citrons@alt.mondecitronne.com JOIN #esolangs citrons :citrons
< 1649957380 191505 :sprocket!~sprock@user/sprock JOIN #esolangs sprock :maeve
< 1649957602 399431 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: Textual IRC Client: www.textualapp.com
< 1649957636 837859 :j-bot!~jbot@hagall.firefly.nu QUIT :*.net *.split
< 1649957636 931219 :pikhq!sid394595@user/pikhq QUIT :*.net *.split
< 1649957637 18075 :citrons!~citrons@alt.mondecitronne.com QUIT :*.net *.split
< 1649957637 18150 :imode!~18137d14@user/imode QUIT :*.net *.split
< 1649957637 18195 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :*.net *.split
< 1649957637 104670 :sprock!~sprock@user/sprock QUIT :*.net *.split
< 1649957637 191247 :scjosh!~scjosh@206.189.79.69 QUIT :*.net *.split
< 1649957637 333382 :fowl!~fowlmouth@user/fowl QUIT :*.net *.split
< 1649957637 439559 :APic!~apic@apic.name QUIT :*.net *.split
< 1649957637 761863 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de QUIT :*.net *.split
< 1649957639 298905 :fowl6!~fowlmouth@user/fowl NICK :fowl
< 1649957700 20672 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649957835 429199 :pikhq!sid394595@user/pikhq JOIN #esolangs pikhq :Ada Worcester
< 1649957835 429249 :imode!~18137d14@user/imode JOIN #esolangs imode :kronk
< 1649957835 429260 :scjosh!~scjosh@206.189.79.69 JOIN #esolangs scjosh :Josh
< 1649958067 944230 :APic!apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149
< 1649958108 619147 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar
< 1649958207 309822 :definitelya!~hexagon@host-79-23-16-54.retail.telecomitalia.it QUIT :Quit: h
< 1649958439 223307 :definitelya!~hexagon@host-79-23-16-54.retail.telecomitalia.it JOIN #esolangs * :WRATH
< 1649960100 184624 :BarryNL!~BarryNL@2a02-a468-ae45-1-85e-dce5-b8b2-22f4.fixed6.kpn.net JOIN #esolangs * :BarryNL
< 1649960222 30815 :BarryNL!~BarryNL@2a02-a468-ae45-1-85e-dce5-b8b2-22f4.fixed6.kpn.net QUIT :Read error: Connection reset by peer
< 1649960243 818951 :zegalch!~zegalch@178.128.75.133 QUIT :Remote host closed the connection
< 1649962140 585830 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1649966205 613229 :definitelya!~hexagon@host-79-23-16-54.retail.telecomitalia.it QUIT :Quit: h
< 1649967913 513104 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1649967959 710474 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds
< 1649968080 390354 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1649968270 215130 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity
< 1649968540 958447 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Just realized (from a different channel's discussion) that if you use the INTERCAL character names (that is, the correct character names), scripts start with a meshwow line to indicate the interpreter.
< 1649971537 45131 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Does any implementation of INTERCAL can work if it has such a line at first?
< 1649971764 290212 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1649971925 677564 :tech_exorcist_!13203@user/tech-exorcist/x-0447479 QUIT :Quit: Disconnecting
< 1649972127 743713 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1649974592 608814 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1649975869 4755 PRIVMSG #esolangs :14[[07Uzumaki14]]4 N10 02https://esolangs.org/w/index.php?oldid=94749 5* 03Zero player rodent 5* (+4949) 10Created page with "{{infobox proglang |name=Uzumaki |paradigms=imperative |author=[[User:Zero player rodent]] |year=[[:Category:2022|2022]] |memsys=[[:Category:Queue-based|Queue-based]] |dimensi..."
< 1649975896 263515 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I don't know of any at least.
> 1649976885 440316 PRIVMSG #esolangs :14[[07User:Zero player rodent14]]4 10 02https://esolangs.org/w/index.php?diff=94750&oldid=94374 5* 03Zero player rodent 5* (+15) 10
> 1649977228 719252 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=94751&oldid=94641 5* 03Zero player rodent 5* (+14) 10
< 1649979373 281302 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Do you know if any PostScript interpreter does? (This can be done by defining a procedure named #! before the file is executed)
< 1649979515 135939 :feoh!~feoh@idlerpg/player/feoh QUIT :Quit: The Lounge - https://thelounge.chat
< 1649979789 194892 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Is there C interpreter that does? (Usually C is compiled but might also be an interpreter)
< 1649979897 268383 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :tcc -run supports #!
< 1649979916 391813 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I don't know whether you'd call it an interpreter. It compiles your program into memory and jumps to it.
< 1649980102 671325 :feoh!~feoh@idlerpg/player/feoh JOIN #esolangs feoh :Chris Patti
< 1649980107 980647 :feoh!~feoh@idlerpg/player/feoh QUIT :Client Quit
< 1649980142 322935 :feoh!~feoh@idlerpg/player/feoh JOIN #esolangs feoh :Chris Patti
< 1649980153 244537 :feoh!~feoh@idlerpg/player/feoh NICK :Guest7093