< 1529280583 341654 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :bonsœøœøirjan! < 1529280597 393346 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar CYUL < 1529280598 651162 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 180000Z 22007KT 30SM FEW200 BKN270 27/16 A2991 RMK CC1CI6 SLP131 DENSITY ALT 1600FT < 1529280600 775263 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar ENVA < 1529280600 941541 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 172350Z VRB01KT 9999 SCT040 BKN100 12/09 Q1006 RMK WIND 670FT 30005KT < 1529280639 782279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@mtear KOAK < 1529280640 53140 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 172353Z 31010KT 10SM FEW023 21/12 A2993 RMK AO2 SLP134 T02060117 10211 20172 50001 < 1529280670 272703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@mtera hth < 1529280671 503817 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "hth" vera "V.E.R.A. -- Virtual Entity of Relevant Acronyms (September 2014)" < 1529280671 503881 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :HTH < 1529280671 520135 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Hope This Helps (slang) < 1529280672 268381 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : < 1529280920 800437 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :helloochaf. mtera??? < 1529280954 475426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@vera tanstaafl < 1529280956 639979 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "tanstaafl" vera "V.E.R.A. -- Virtual Entity of Relevant Acronyms (September 2014)" < 1529280956 689725 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :TANSTAAFL < 1529280956 706186 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : There Ain't No Such Thing As A Free Lunch (slang, Usenet) < 1529280956 706243 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : < 1529281029 944726 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that blank line at the end of the response is bothering me < 1529281047 627306 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I'm not even sure how to send one, I get a 412 when I try < 1529281056 443907 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there must be an invisible character (other than regular space) somewhere < 1529281065 995242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : < 1529281142 180049 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :split on newlines, drop the last one and print the rest? < 1529281334 337089 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Do you like Unuseuset? < 1529281369 795317 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :. o O ( sounds unuseable ) < 1529281384 367829 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :hezzo38. < 1529281417 48559 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :`icode < 1529281417 803806 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+0020 SPACE] < 1529281442 213927 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :ais523: pastes as a space in webchat < 1529281469 998380 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1529281545 285161 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, maybe my client splits trailing spaces off messages < 1529281553 194884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I tried sending a U+0020 space but it didn't work < 1529281555 134039 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a nbsp did though < 1529281568 500926 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which is not surprising as one of nbsp's main properties is to be whitespace that is never stripped) < 1529281755 133585 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :`icode < 1529281755 848193 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+0020 SPACE] < 1529281766 319249 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :i suppose that also pastes as space. < 1529281783 495012 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric : < 1529281797 957013 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :that was just a space. < 1529281835 165683 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unidecode < 1529281835 897912 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+0020 SPACE] < 1529281852 353992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was a copy-and-pasted nbsp, I think? < 1529281854 871374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me try typing one < 1529281859 313331 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unidecode < 1529281860 75139 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+0020 SPACE] < 1529281864 301555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, how weird < 1529281880 525150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unidecode < 1529281881 271909 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​[U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE] < 1529281886 910407 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was a space between two nbsps < 1529281908 504271 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so either Freenode is translating them (unlikely), or else my client is (also unlikely), or else lambdabot is (more possible?) < 1529281924 334407 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : < 1529281944 350611 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, /that/ was a regular space, and it sent, so perhaps I've forgotten how to type nbsp (or it broke in my recent OS upgrade) < 1529282315 813623 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :(curiouser) & \1 < 1529282467 3795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nope, same key combination gives me a nbsp in a terminal < 1529284219 299945 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric < 1529285159 529660 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1529285250 735532 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily? < 1529285256 558858 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIA! < 1529285288 895212 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i pinged you on every platform :p < 1529285361 251830 :arseniiv!~arseniiv@89.189.133.178.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1529285380 502746 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :I wasn't exactly online >_>'... < 1529285511 963106 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :I'll be away next weekend (National Holiday). weekend after that I'll be free. < 1529285559 577258 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: BLUE CHICKEN < 1529288957 411749 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1529290122 387320 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Unusenet can be useable with NNTP clients. I wrote a document to describe it (available on HTTP and gopher access) that I have mentioned on here before. < 1529290144 521340 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1529290942 589253 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 QUIT :Quit: Nite < 1529292203 717044 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1529292291 51680 :xkapastel!uid17782@gateway/web/irccloud.com/x-hejwcxsdxtfojema QUIT :Quit: Connection closed for inactivity < 1529294560 505493 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :so I'm experimenting with using my thue interpreter to do tree rewriting operations. < 1529294590 382242 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :my first test is addition on the natural numbers. < 1529294640 48307 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :proving a little difficult. < 1529298205 211358 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :The specification of Unusenet is at: gopher://zzo38computer.org/0textfile/miscellaneous/unusenet and http://zzo38computer.org/textfile/miscellaneous/unusenet < 1529298877 253712 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :if I was gonna do this easily I'd need a string representation of a tree that enables a node to examine both of its children without leapfrogging over one or the other. < 1529303608 696632 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1529304875 773908 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1529307871 306853 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 256 seconds < 1529307878 423210 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1529308044 875699 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529309697 691150 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 240 seconds < 1529310051 374304 :Hoolootwo!Hooloovoo@hooloovoo.blue QUIT :Quit: Temporarily refracted into a free-standing prism. < 1529310090 995812 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529310395 766314 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 276 seconds < 1529311203 285902 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529313664 336508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: sounds like a tanebventon hth < 1529313874 126590 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Oh god what did I invent this time < 1529314485 401252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :easily accidentally kicked foot level power sockets < 1529314487 187223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1529314490 295258 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 245 seconds < 1529314538 653922 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I deny all responsibility < 1529314571 857955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb inventeth and Taneb taketh away < 1529314720 599147 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I'm a victim in all this < 1529315020 726584 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529315248 286279 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1529315424 400881 :catern!~catern@catern.com QUIT :Quit: catern > 1529315456 181169 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55884&oldid=55882 5* 03Saka 5* (+11) 10/* T */ add > 1529315574 662378 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55885&oldid=55884 5* 03Saka 5* (+29) 10some < 1529315765 296032 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 245 seconds < 1529315892 659944 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 268 seconds < 1529318126 894691 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1529318597 383578 :aloril_!~aloril@80.246.146.6 JOIN :#esoteric < 1529318741 793906 :aloril!~aloril@80.246.146.6 QUIT :Ping timeout: 276 seconds < 1529323697 454681 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Rebooting < 1529324657 162875 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1529327493 574432 :xkapastel!uid17782@gateway/web/irccloud.com/x-rednnhdpobqfnosf JOIN :#esoteric < 1529328055 856208 :impomatic!~digital_w@host81-136-104-94.range81-136.btcentralplus.com QUIT :Ping timeout: 260 seconds < 1529328892 502923 :arseniiv!~arseniiv@89.189.133.178.dynamic.ufanet.ru JOIN :#esoteric < 1529331166 945629 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1529334620 362944 :trn!jhj@prone.ws QUIT :Remote host closed the connection < 1529334631 774361 :trn!jhj@prone.ws JOIN :#esoteric < 1529334632 737912 :lifthrasiir_!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Remote host closed the connection < 1529334704 607858 :dingbat!uid70835@gateway/web/irccloud.com/x-kpmvjgpmdsqypxde QUIT :Disconnected by services < 1529334709 639418 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1529334946 462380 :dingbat!uid70835@gateway/web/irccloud.com/x-uniztpxhsphqvwqf JOIN :#esoteric > 1529335403 14670 PRIVMSG #esoteric :14[[07Talk:14]]4 N10 02https://esolangs.org/w/index.php?oldid=55886 5* 03Plokmijnuhby 5* (+173) 10Created page with "Any clues on which instructions pop and which don't would be good. A dup instruction may also be needed. ~~~" < 1529336812 301723 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529337077 305055 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 256 seconds < 1529337702 240939 :catern!~catern@catern.com JOIN :#esoteric < 1529337702 562845 :catern!~catern@catern.com QUIT :Excess Flood < 1529337734 336267 :catern!~catern@catern.com JOIN :#esoteric < 1529337734 835484 :catern!~catern@catern.com QUIT :Excess Flood < 1529337762 38522 :catern!~catern@catern.com JOIN :#esoteric < 1529337762 633702 :catern!~catern@catern.com QUIT :Excess Flood < 1529337822 109317 :catern!~catern@catern.com JOIN :#esoteric < 1529337822 567132 :catern!~catern@catern.com QUIT :Excess Flood < 1529337852 247387 :catern!~catern@catern.com JOIN :#esoteric < 1529337852 694295 :catern!~catern@catern.com QUIT :Excess Flood < 1529337882 260587 :catern!~catern@catern.com JOIN :#esoteric < 1529337882 800460 :catern!~catern@catern.com QUIT :Excess Flood < 1529338127 357993 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529338563 712655 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Anyone know an alternative to Kerberos that isn't as annoying? < 1529338881 872333 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 264 seconds < 1529339648 706742 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529339860 983109 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what, this session connected again? < 1529339956 599685 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess it was only the network having problems, not the server itself, so it finally got back < 1529340042 468908 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so tmux survived, and everything was still there. except the email server is still off. < 1529340081 285968 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm no, that worked too after i restarted alpine. < 1529340236 3593 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 276 seconds < 1529340564 871120 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Too much sunlight < 1529340576 860626 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529340601 167108 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have a sequence in mind. a_1=8. a_n is the area of the largest area integer rectangle that can be formed using at most a_{n-1} squares along its border. < 1529340605 247751 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the first few terms are 8,9,10,12,16,25,50,182,1980,246016 < 1529340606 229721 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :This has happened before, that I can receive but not send, and restarting the router sometimes fixes it. < 1529340607 433087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :whats the general term? < 1529340745 699150 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Do you know what could be causing such problems? Could it be the weather? < 1529341077 624746 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(Also sometimes it works but occasionally is delayed by a few seconds) < 1529341194 30474 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Disconnected by services < 1529341199 430626 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1529341834 998547 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 276 seconds < 1529342391 110500 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :it's been a while since i've said anything in here < 1529342391 888402 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :so < 1529342393 204451 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :hi < 1529342677 818063 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :hi. < 1529342919 961506 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :I can't imagine what tree or graph structured memory would look like electronically. < 1529342937 499580 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :tree, maybe. you have some analog of it in network equipment. < 1529342944 459357 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :graph? I can't see it. < 1529344006 883536 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: wait how do you get that 10? < 1529344124 694373 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: I was going to say that a recurrence is easy; you iterate f x = (x+4) `div` 4 * ((x+6) `div` 4) ... but that disagrees with what you claim: starting from 8 it produces 8,9,9,9... and from 10 10,12,16,25,49,169,1849,214369,2872209649,515599267815122569... < 1529344271 748618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C < 1529344274 233146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er < 1529344339 893497 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(equivalently, f x = ((x+4) `div` 2)^2 `div` 4) < 1529344492 901721 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: The idea being that with x squares, the circumference will be x+4 (unless one of the rectangle sides is shorter than 2), reducing it to the well-known problem of maximizing the area based on the circumference. There's some rounding because I'm assuming that the sides are constrained to integer lengths. < 1529344726 36486 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: you cant make the border of a rectangle with an odd number of squares, so the 10 comes from making a 3x3 square with 8 of the squares, and leaving the 9th one to the side < 1529344743 886464 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the middle gets filled in and now you have 10 < 1529344751 870666 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: ah! < 1529344758 828910 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but i didnt state that asdumption very well originally < 1529344783 590689 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: yeah calling it a rectangle is a bit of a stretch < 1529344808 10246 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :where did you get 49 from in your sequence from 10? < 1529344844 85769 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh nvm < 1529344852 509500 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :one sec < 1529344925 141950 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah the 49 is from not keeping tbe leftover from the 25 < 1529344926 312091 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: 24 = 4*6 is enough for a 7x7 square < 1529344976 951993 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so its the keeping the extras that makes a formula hard < 1529344978 890161 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm < 1529344992 290738 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: okay, doing what you did (setting an extra square aside if x is odd), the sequence becomes 8,9,10,12,16,25,50,182,2162,293222,5373842942,1804886750517122432 ... so we agree until 182 < 1529345016 319652 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was doing it by hans < 1529345022 565736 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hand < 1529345031 139143 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how do you get 2162 < 1529345035 732065 :int-e!~noone@int-e.eu PRIVMSG #esoteric :f x = ((x+4) `div` 2)^2 `div` 4 + x `mod` 2 < 1529345041 550002 :int-e!~noone@int-e.eu PRIVMSG #esoteric :2162 = 46*47 < 1529345054 842126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :182 = 45+46+45+46 < 1529345058 400596 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1529345067 485085 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah right < 1529345075 311106 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1529345076 527100 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :good formula < 1529345196 620809 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah you compensated by 1 in the wrong direction ending up with 44*45. plausible :) < 1529345217 243123 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah < 1529345276 216009 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :div means divide and floor, right? < 1529345279 633497 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes < 1529345305 950873 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let f x = ((x+4) `div` 2)^2 `div` 4 + x `mod` 2 in iterate f 8 < 1529345307 494558 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what notation is that? < 1529345308 127088 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [8,9,10,12,16,25,50,182,2162,293222,5373842942,1804886750517122432,203601011... < 1529345315 105563 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :haskell? < 1529345315 609949 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Haskell < 1529345337 325324 :int-e!~noone@int-e.eu PRIVMSG #esoteric :my go to language for combinatorics < 1529345855 679503 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :heres some combinatorics < 1529345867 178359 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :six letter strings < 1529345872 598086 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anrstu < 1529345877 47165 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anrsuu < 1529345887 186077 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what am i thinking about? < 1529345963 633366 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1529345997 12181 :int-e!~noone@int-e.eu PRIVMSG #esoteric :editing distance 1 is what I see < 1529346093 714647 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes thats true < 1529346103 314660 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and yet < 1529346110 149618 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the answer is < 1529346137 874688 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :putting the names of planets in alphabetical order < 1529346260 802400 :int-e!~noone@int-e.eu PRIVMSG #esoteric :huh, what star are you looking at... < 1529346286 990174 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> sort "mvemjsun" < 1529346289 7585 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "ejmmnsuv" < 1529346375 154922 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :not the first letters of tbeir names < 1529346387 737860 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the entire names as strings < 1529346412 306604 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how would i get the general term of the above seqhence? < 1529346441 204107 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :uh, a lexographical sort? :V < 1529346444 295839 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah < 1529346472 952994 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I was never any good at anagrams. < 1529346486 881047 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(or scrabble :P) < 1529346542 682511 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imode-desktop: itym lexicographical < 1529346558 958881 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :int-e: missing a few letters. :P < 1529346574 389375 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :i, c and b keys don't work very well. < 1529346603 313500 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imode-desktop: in that case, shouldn't it be lexographal? < 1529346618 9361 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :not very well, not not at all. < 1529346619 40377 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imode-desktop: (I'm not buying your excuse) < 1529346629 914355 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::P < 1529346640 949227 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :well I'm not selling one. :P < 1529346657 79649 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :unless you're uying < 1529346664 768149 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :s/uying/buying < 1529346743 672310 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you are making a good case < 1529346752 270545 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but it's still hard to believe :P < 1529346755 551896 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :upper or lower < 1529346763 640525 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(also, maybe you should get a new keyboard) < 1529346778 869049 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :nah, just some dirt. < 1529346796 660521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't think that dirt will help. < 1529346809 399216 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :what's really needed is a can of compressed air. < 1529346975 697060 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm < 1529347243 784213 :MDead!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric < 1529347379 345023 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net QUIT :Ping timeout: 256 seconds < 1529347388 706712 :MDead!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net NICK :MDude < 1529347574 501671 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i meant the general term of the rectangle sequence < 1529347587 680100 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e gave a recursive formula < 1529347609 466925 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was hoping for a constant time formula in n < 1529347684 443243 :int-e!~noone@int-e.eu PRIVMSG #esoteric :quintopia: it's doubly exponential but all that rounding makes things quite messy... I don't expect a nice closed formula < 1529348085 259619 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I mean ignoring all the rounding you essentially have x |-> x^2 / 16, so you'll end up with a_n = 16 * b^2^n for some base b, asymptotically... b is approximately 1.0193570549183 < 1529348169 356120 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I start counting at 0, a_0 = 9, a_1 = 10) < 1529348379 130677 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"asymptotically" meaning it's 16 b^2^(n + o(1)) for some b... it may be 16 b^(2^n + o(1)), but that requires some analysis that I haven't done < 1529348918 290868 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and I have no formula for that b, only numerical approximations) < 1529350984 356752 :gurmble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1529351340 554486 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1529351435 418543 :grumble!~grumble@freenode/staff/grumble QUIT :Ping timeout: 600 seconds < 1529351454 738913 :gurmble!~grumble@freenode/staff/grumble NICK :grumble < 1529351532 135464 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ok < 1529356448 363341 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1529358016 722252 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1529358482 709714 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 276 seconds