< 1582761739 949781 :xkapastel!uid17782@gateway/web/irccloud.com/x-zxgjaksmuvzaqhmh JOIN :#esoteric < 1582761765 509698 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I think that "moreover" and "ultimately" are not keywords in SQL either. But, different programming language has a different use so it will have different keywords too, I think. < 1582763594 848182 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds > 1582767675 587388 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=70056&oldid=69962 5* 03PythonshellDebugwindow 5* (+113) 10/* Truth-machine (3 bytes) */ adding exAmple < 1582769313 272725 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582770033 36183 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582770257 941314 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1582773723 231664 :xkapastel!uid17782@gateway/web/irccloud.com/x-zxgjaksmuvzaqhmh QUIT :Quit: Connection closed for inactivity < 1582780801 50404 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1582783943 696983 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1582786330 685647 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582789077 607976 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1582789183 761189 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1582792349 794204 PRIVMSG #esoteric :14[[07Clue (oklopol)14]]4 10 02https://esolangs.org/w/index.php?diff=70057&oldid=70026 5* 03IFcoltransG 5* (-1) 10Removed the assertion that bag commands are optional > 1582792558 603247 PRIVMSG #esoteric :14[[07(())14]]4 10 02https://esolangs.org/w/index.php?diff=70058&oldid=62918 5* 03Quadril-Is 5* (-27) 10This is literally in tio. > 1582792638 784048 PRIVMSG #esoteric :14[[07414]]4 10 02https://esolangs.org/w/index.php?diff=70059&oldid=69630 5* 03Quadril-Is 5* (-27) 10Implementations are literally listed. < 1582793130 331593 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric > 1582793138 181191 PRIVMSG #esoteric :14[[07Clue (oklopol)14]]4 10 02https://esolangs.org/w/index.php?diff=70060&oldid=70057 5* 03IFcoltransG 5* (+87) 10/* Semantics */ Changed some wording for readability. < 1582793203 682051 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582793345 947932 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1582793426 408871 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582795023 677764 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582795396 118526 :b_jonas!~x@catv-176-63-14-185.catv.broadband.hu QUIT :Quit: leaving < 1582795417 482206 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Meh, finally wrapped up the Ponder This thing. I had almost all the relevant ideas the first day; what took me so long, I wonder. < 1582795678 671218 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582796275 957083 :laerling!~lsf@unaffiliated/laerling QUIT :Quit: ZNC 1.7.3 - https://znc.in < 1582796356 275743 :laerling!~lsf@unaffiliated/laerling JOIN :#esoteric < 1582797627 240292 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1582801623 677942 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582801745 965137 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 240 seconds < 1582802635 970524 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1582803083 839466 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Idea I just had for a new game: Curling Go < 1582803134 767611 :int-e!~noone@int-e.eu PRIVMSG #esoteric :is this a gentle variant of throw-in go... < 1582803199 990952 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or do you just do it mathematically... require the stone to be able to travel to its final spot on a straight line without touching other stones? < 1582803207 965452 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :You play on an ice rink < 1582803226 769608 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(possibly restricted to verticals and horizontals) < 1582803376 675866 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582804583 679736 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582804682 672703 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582805705 52103 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1582807720 365300 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru JOIN :#esoteric < 1582808185 542268 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: reboot > 1582808583 282624 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Onyx 5* 10New user account < 1582808918 201391 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric > 1582809082 708891 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70061&oldid=70007 5* 03Onyx 5* (+421) 10 < 1582810539 162380 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1582811869 306357 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds < 1582812023 680589 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582812166 10309 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: what year it is? < 1582812166 144200 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: ' ok' when you've digested what i've said. :) < 1582812193 35649 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: is that supposed to be hard to stomach? < 1582812193 237179 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: anyone using sxml-match? something about static typing in the names, people might be wondering now why this isn't working for some reason. :p http://www.deviantart.com/ deviation/ fnord < 1582812348 670297 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582812648 529434 :tromp!~tromp@2a02:a210:ca3:2800:4999:1e25:9124:252d QUIT :Read error: Connection reset by peer < 1582812880 923937 :tromp!~tromp@2a02:a210:ca3:2800:d1b4:8939:2b1:3324 JOIN :#esoteric < 1582813360 981619 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PART :#esoteric < 1582813654 323926 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 NICK :nvd < 1582814396 398735 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1582815458 9925 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1582816319 691163 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1582817269 189651 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582819163 674682 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582819491 669074 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582819627 891191 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1582821963 279502 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1582822184 953455 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1582822510 123104 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1582822591 483679 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru PRIVMSG #esoteric :have you seen somewhere a proof that for all real a and natural N, points {na mod 1 | n ∈ 0..N} ∪ {1} divide [0; 1] into segments of at most three different lengths? It’s quite an obvious fact but I can’t make myself sit and prove it rigorously. It seems I should look through all length configurations possible here and I had even made a model in Geogebra (lol) to help me see them all with my eyes, but I just procrastinate away < 1582822591 585641 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru PRIVMSG #esoteric :every time < 1582823051 403249 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582824875 379902 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1582825059 309552 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :arseniiv: attempt at proof, the differences are s_n-s_{n-k} (which occurs until n-k 70/2^53 < 1582838781 718339 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 7.771561172376096e-15 < 1582838844 254119 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> 128/2^53 -- corresponding ulp < 1582838846 286489 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1.4210854715202004e-14 < 1582838890 813935 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: So all things considered that's pretty good. And it's okay; I produce candidate solutions at 1e-12 and filter them with a GP script which is much slower but offers better precision. < 1582839022 522319 :b_jonas!~x@catv-176-63-14-56.catv.broadband.hu PRIVMSG #esoteric :int-e: yeah, that's what I should do for the small prime factors problem. double precision is enough to filter down to a very small number of candidates. mind you, it's easier there because there's much less rounding error. < 1582839072 543780 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Are you still planning to work on that? < 1582839086 116565 :b_jonas!~x@catv-176-63-14-56.catv.broadband.hu PRIVMSG #esoteric :int-e: probably eventually some time... dunno < 1582839149 186612 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: I guess the real question is, would you mind if I told you what my approach was? < 1582839163 660756 :b_jonas!~x@catv-176-63-14-56.catv.broadband.hu PRIVMSG #esoteric :int-e: I would't mind < 1582839176 620171 :b_jonas!~x@catv-176-63-14-56.catv.broadband.hu PRIVMSG #esoteric :I am more or less already decided on my approach, though I can vary parameters < 1582839274 108470 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: I basically came up with a meet-in-the middle approach. The idea is that if you have N written as a product of (quite a few) primes, then it's very likely that the product can be split into two nearly equal parts. So if N is too big for brute force, I gather solutions centered around sqrt(N) first, and then look for pairs of those whose product is close to N. < 1582839312 262979 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The caveat is that this easily misses solutions that have few distinct prime factor. < 1582839315 663117 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*factors. < 1582839346 395206 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You can compensate for that somewhat by also looking for solutions near N/p for primes p in the list. < 1582839425 523736 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, the beauty of this approach is that you get closer to N (relatively speaking) as N increases. > 1582840512 136770 PRIVMSG #esoteric :14[[07Alphaprint14]]4 M10 02https://esolangs.org/w/index.php?diff=70062&oldid=69189 5* 03PythonshellDebugwindow 5* (+21) 10 > 1582840545 745836 PRIVMSG #esoteric :14[[07Alphaprint14]]4 M10 02https://esolangs.org/w/index.php?diff=70063&oldid=70062 5* 03PythonshellDebugwindow 5* (+47) 10/* Structure */ < 1582841095 821860 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1582842043 879095 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582842094 812130 :LKoen!~LKoen@81.255.219.130 QUIT :Read error: Connection reset by peer < 1582842658 301488 :xkapastel!uid17782@gateway/web/irccloud.com/x-okkqctjatzotfbqg JOIN :#esoteric < 1582845938 64374 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric