< 1428192429 270445 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net JOIN :#esoteric < 1428192802 313878 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428192883 148884 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net QUIT :Ping timeout: 256 seconds < 1428194221 770106 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I hate not having a real computer < 1428194235 355926 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1428194235 361128 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1428194248 181145 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net JOIN :#esoteric < 1428194423 642600 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1428194442 188018 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1428194524 149209 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net QUIT :Ping timeout: 256 seconds < 1428194885 290121 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1428195095 303473 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :oerjan: armenian letters are somewhat approximatively related to latin letters, with some graphical concordances (e.g. h and o). < 1428195112 27565 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :SgeoPhone: to which degree isn't your computer real? < 1428195174 866190 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :To the degree that the device i am using cannot be used for most of thw things a laptop or desktop can, and to the degree that my laptop s unusable < 1428195189 195281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :alan turing would have loved to have a computer as powerful as SgeoPhone's phone. < 1428195376 382664 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42306&oldid=42304 5* 03Esowiki201529A 5* (+2) 10 < 1428195378 78628 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Unfortunately, they were not coming out at the time. < 1428195384 244186 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :A phone normally doesn't have a full keyboard or a programming environment though; a computer without a keyboard and programming environment isn't a particularly good computer. < 1428195462 974970 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I think there are programming environments. Just not one that allows creation of programs that are first class citizens on the device < 1428195471 870180 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :As far as i know < 1428195516 88996 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42307&oldid=42306 5* 03Esowiki201529A 5* (+360) 10/* Description */ < 1428195522 481669 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Remote host closed the connection < 1428195536 760236 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1428195555 924595 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42308&oldid=42307 5* 03Esowiki201529A 5* (-55) 10/* Description */ < 1428195571 558013 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :IRC keeps disconnecting when i get A call < 1428195701 889660 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Funny that Esowiki201529A has not removed my link yet... < 1428195760 23127 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42309&oldid=42308 5* 03Esowiki201529A 5* (+87) 10 < 1428195805 351066 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42310&oldid=42309 5* 03Esowiki201529A 5* (+17) 10 < 1428195833 951738 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Remote host closed the connection < 1428195847 862073 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1428195938 650155 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42311&oldid=42303 5* 03Oerjan 5* (+14) 10I think this word might, though. < 1428195994 553394 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :who is Esowiki201529A? < 1428196035 92978 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42312&oldid=42310 5* 03Esowiki201529A 5* (+305) 10 < 1428196047 6116 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42313&oldid=42312 5* 03Esowiki201529A 5* (+1) 10 < 1428196054 124209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some esolanger of dubious taste. < 1428196154 483213 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it really shouldn't be in the 2003 category, should it? < 1428196241 828655 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42314&oldid=42313 5* 03Oerjan 5* (-19) 10Category should be for this article's language only < 1428196437 807120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Reading Andy D's proof from http://www.scottaaronson.com/blog/?p=710 that "consistent guessing" is weaker than the halting problem leaves me wondering whether there is any CG-Oracle that is computable given an oracle for the halting problem, and still weaker in that it cannot be used to solve the halting problem... < 1428196518 379926 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(As far as I've followed the construction, I think it would need a Halting oracle for Turing machines with a Halting oracle. Tricky beast, and a tricky proof.) < 1428196961 519374 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42315&oldid=42314 5* 03Esowiki201529A 5* (+64) 10 < 1428196989 67433 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1428197069 616618 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Small SNUSP14]]4 10 02http://esolangs.org/w/index.php?diff=42316&oldid=42315 5* 03213.162.68.171 5* (-19) 10Remove 2003 category again. < 1428197348 855062 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :the dubiousity is steadily increasing. < 1428197401 398338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm going to assume it was a race condition. < 1428197412 829733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :THIS TIME < 1428197586 848578 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :On a related note, i don't think my dad knows how time works < 1428197602 285129 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nobody does < 1428197667 998048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*relative note < 1428197703 951118 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Remote host closed the connection < 1428197718 199517 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1428197819 212557 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Of course I took "how time works" at its most fundamental meaning ... where does time come from, and what makes it, so to say, tick?) < 1428197847 799082 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :There is no time...only, there is spacetime. < 1428197923 931136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :That's a nicely working theory. Will it work tomorrow? Will there *be* a tomorrow? Or anything besides this instant? < 1428197950 765230 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION tries hard to remember what kind of #esoteric channel this place is... < 1428198026 234828 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1428198055 653493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :time is an illusion. lunch-time doubly so. < 1428198059 237271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-- < 1428198075 601866 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh yeah, the nearest place to eat... < 1428198136 726939 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I think you should've used s/-//, it would be easier to decipher < 1428198200 456082 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, it happens in the very beginning. < 1428198218 949057 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Maybe I should reread the whole trilogy another time... < 1428198260 944629 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I wish I would've remembered the reply: "Very deep," said Arthur, "you should send that in to the Reader's Digest. They've got a page for people like you." < 1428200461 21285 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :I like the Reader's Digest, if only because it helps me forget the moments I was stupidly waiting for my dentist with a discharged cellphone. < 1428200741 638127 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca QUIT :Quit: CARBONATED CHICKEN < 1428200915 818637 :SgeoPhone!~androirc@ool-45713215.dyn.optonline.net JOIN :#esoteric < 1428201083 665288 :fractal!~fractal@unaffiliated/scounder QUIT :Remote host closed the connection < 1428201774 856813 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Read error: Connection reset by peer < 1428201799 645874 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1428202356 544873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: it's ok, i didn't remember the reply either. < 1428202403 644059 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I meant, if I had remembered, I would have used it on you in some other occasion(s) :) < 1428202420 526877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1428202443 473936 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/in/on/ < 1428202666 99897 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1428202872 622806 :Lymia!~lymia@magical.girl.lyrical.lymia.moe QUIT :Remote host closed the connection < 1428202980 486511 :Lymia!~lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1428203057 74736 :SgeoPhone!~androirc@ool-45713215.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1428204280 377460 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Quit: Nettalk6 - www.ntalk.de < 1428204312 165083 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1428205874 396460 :dianne!~diannes@unaffiliated/dianne QUIT :Quit: byeannes < 1428206627 89626 :Sprocklem_!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1428206764 91997 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1428206830 328069 :Sprocklem_!~Sprocklem@unaffiliated/sprocklem NICK :Sprocklem < 1428206909 405411 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428207415 961907 :f|`-`|f_!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1428207508 571650 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 250 seconds < 1428207516 60379 :f|`-`|f_!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net NICK :f|`-`|f < 1428207722 774807 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1428208102 443318 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1428208102 482264 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1428209897 904949 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Quit: Leaving < 1428210144 586954 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :To make random number uniform with any given range (0 to N-1), what I have done is you take as many random bits as needed (for the higher or equal power of 2), if it is too big then try again. So if N=3 then you have bits 00,01,10,11 but if 11 you must try again. If you only need a 1/3 probability (and don't need to distinguish between the other two possibilities), then you can optimize this algorithm, and it looks like in Pokemon card that is wha < 1428210747 432299 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 264 seconds < 1428211443 487662 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1428211713 854811 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :zzo38: a naive rejection sampling is not optimal, though; for 1/5 probability you would reject 101 through 111, but adding one bit and adjustement yields further 5/16 probability to finish; compare that with adding 3 bits which will only yield 15/64 probability to finish. < 1428211888 174424 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I was talking about the N=3 case and didn't think about the other cases, but I suppose you can optimize it in other ways too < 1428211948 851607 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :for N=3 case that is optimal, of course. < 1428211960 986836 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(N=2^n+1 is the worst case OTOH) < 1428212978 336502 :^v^v!~^v@c-68-36-225-16.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1428213498 829463 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1428214638 326215 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1428214696 455154 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1428215064 450728 :roasted42!~appleseed@vc-nat-gp-s-41-13-4-150.umts.vodacom.co.za JOIN :#esoteric < 1428215143 384455 :roasted42!~appleseed@vc-nat-gp-s-41-13-4-150.umts.vodacom.co.za QUIT :Changing host < 1428215143 384929 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1428215143 479965 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1428215516 556929 :variable!~variable@freebsd/developer/variable NICK :function < 1428215776 977419 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 PART :#esoteric < 1428218216 948308 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Still the algorithm I specified is the way to generate random 0 to N-1 if N isn't known before this subroutine is called, and I have done in C code and in 6502 code. There might be better way, although I don't know. With a 6502 code you can count how many cycles it requires! < 1428220086 604024 :Lymia!~lymia@magical.girl.lyrical.lymia.moe QUIT :Remote host closed the connection < 1428220187 572575 :roasted42!~appleseed@vc-nat-gp-s-41-13-56-245.umts.vodacom.co.za JOIN :#esoteric < 1428220199 60113 :roasted42!~appleseed@vc-nat-gp-s-41-13-56-245.umts.vodacom.co.za QUIT :Changing host < 1428220199 60838 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1428220199 60886 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1428220386 534197 :fractal!~fractal@2607:fcd0:100:4300::3e34:746 JOIN :#esoteric < 1428220454 489681 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Client Quit < 1428221180 624313 :function!~variable@freebsd/developer/variable QUIT :Ping timeout: 256 seconds < 1428221684 288601 :Lymia!~lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1428222618 429198 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 244 seconds < 1428223535 467385 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1428225501 391328 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 246 seconds < 1428226020 600086 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Why are D10s such a lame shape < 1428226184 12188 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :you can make a roller die, or a ten sided prism a lot like the d8, Taneb < 1428226233 171793 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fungot, what do you think of D10s? < 1428226233 774076 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Taneb: i just used google image search, even. let*-optionals would be a small icon in tray to sync the clipboards maybe. < 1428226592 654816 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like those longer d10 < 1428226672 366511 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :http://www.gmdice.com/media/catalog/product/cache/1/image/9df78eab33525d08d6e5fb8d27136e95/d/1/d10-crystal-oblivion-red.png < 1428227454 706819 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428228120 975321 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :that's a roller die, myname < 1428228130 651410 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :barrle, tumbler? < 1428228134 481320 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :barrel* < 1428228277 708405 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1428228477 718620 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428229690 780477 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1428231033 657267 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca JOIN :#esoteric < 1428232877 593075 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1428232983 128277 :J_Arcane__!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1428233054 560553 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Ping timeout: 252 seconds < 1428233067 981865 :J_Arcane__!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi NICK :J_Arcane < 1428233220 632618 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Ping timeout: 244 seconds < 1428234579 554111 :Sprocklem_!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1428234685 815684 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1428235541 505577 :fractal!~fractal@2607:fcd0:100:4300::3e34:746 QUIT :Changing host < 1428235541 513810 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1428239602 23347 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: http://sprunge.us/WCAD looks like it could be suitable for simple processors. < 1428239864 397744 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :fungot: fungellot. still trapped? < 1428239864 530042 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: and more half-finished scheme implementations. the question here is, how would i know < 1428239878 327323 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :fungot: because of the implementations, duh. < 1428239878 446882 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: i think it could be another one < 1428239887 736657 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :fungot: you've got another reason? < 1428239887 859294 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: what about smileys like this ( if e1 ( error e2) e3) < 1428239908 611792 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :fungot: those aren't smileys, they're sexpes. < 1428239908 822888 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: i'll write a forum post about a store in helsinki which sells african decoration stuff etc for ridiculously low prices. < 1428239934 614450 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :ACTION takes a sloooow step back away from the sentient 'got... < 1428240169 949814 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :uh, has google always perverted the lower case g like that? < 1428240195 7625 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :int-hello. how come? < 1428240238 584749 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Apparently it has. < 1428240277 868384 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ever since 1999. < 1428240310 377923 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :their g looks fine to me. < 1428240390 517439 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428240435 600546 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The lower loop is attached in a weird (wrong ;-) ) way. < 1428240471 257619 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the attachment is usually much further to the left. < 1428240508 336283 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I have not noticed in 15 years, I wonder what triggered this observation now. < 1428240638 144441 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(actually I was hoping for an easter logo) < 1428240764 911531 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1428242501 413394 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1428242660 521805 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :@tell oerjan Joyoeurjanses Pâques! < 1428242660 562300 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1428242698 213647 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1428242720 459532 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :b_joyeusnas pâques à toi aussi! < 1428242806 546985 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :merci < 1428242991 80654 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :how do you hungarianly wish Happy Easter? < 1428243412 975305 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1428243519 820888 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: ask http://www.omniglot.com/language/phrases/easter.htm < 1428243543 823637 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :omnious < 1428243603 718931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: Goilyd Påske! < 1428244206 138717 :^v!~^v@c-68-36-225-16.hsd1.mi.comcast.net JOIN :#esoteric < 1428244572 652106 :^v!~^v@c-68-36-225-16.hsd1.mi.comcast.net QUIT :Quit: Network ban < 1428244593 872606 :^v!~^v@c-68-36-225-16.hsd1.mi.comcast.net JOIN :#esoteric < 1428245305 193620 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1428245732 622125 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :@metar CYQB < 1428245733 114561 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYQB 051400Z 28014KT 20SM FEW052 FEW080 SCT200 M05/M15 A2997 RMK CU1AC1CI2 SLP153 < 1428245837 139356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1428245837 249367 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 051450Z 14005KT 9999 -SHSN BKN029 05/M05 Q1020 RMK WIND 670FT 18006KT < 1428245854 623838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nevertheless, i saw snow a moment ago. < 1428245914 16989 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@metar ESSB < 1428245915 325071 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ESSB 051450Z 36010KT 330V040 9999 SHRA GS FEW022CB SCT040 05/01 Q1020 R30/19//60 < 1428245923 832408 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It was snowing a few hours ago < 1428245936 85319 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar LOWI < 1428245936 433588 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LOWI 051450Z 27007KT 9999 -SHSN FEW010 BKN050 03/M00 Q1019 TEMPO SHSN < 1428245938 649281 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oops, "a few" is 10 apparently < 1428245985 507782 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EGLL < 1428245985 868569 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :EGLL 051450Z VRB04KT 9999 BKN038 12/04 Q1027 < 1428245999 378764 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I feel strange, being at the warmest place when people are @metaring. < 1428246015 685392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Why are D10s such a lame shape <-- just use a D20 with duplicate numbers hth < 1428246042 140252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the platonic solution < 1428246211 490103 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Or cut a D20 in half. Wait..." < 1428246213 266546 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :@metar ayyy < 1428246213 427898 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :@metar KSFO < 1428246213 696064 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :KSFO 051456Z 14004KT 10SM FEW020 BKN030 BKN055 12/07 A2991 RMK AO2 RAB35E44 SLP129 P0000 60000 T01170067 55004 < 1428246213 909972 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No result. < 1428246220 860706 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :? < 1428246232 216508 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :f|`hello`|f! < 1428246251 391245 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :f|`-`|f: why the questionment? < 1428246280 188240 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :To violate your sense of world, and make you truly wonder < 1428246291 551110 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Why the hell don't they have a specific question < 1428246352 197242 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :fungot: f|`-`|f makes less sense than you. how is it possible? < 1428246372 266983 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Your fungot quota is up! < 1428246372 380907 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: so, is the element before the current one. fnord < 1428246417 731144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :uppium < 1428246427 163713 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :fnorduppium! < 1428247120 312620 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1428247371 260962 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428247404 300661 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Max SendQ exceeded < 1428248311 190736 :simpleirc!~simpleirc@189.137.154.138 JOIN :#esoteric < 1428248349 729449 :simpleirc!~simpleirc@189.137.154.138 PRIVMSG #esoteric :hello < 1428248384 685167 :simpleirc!~simpleirc@189.137.154.138 QUIT :Remote host closed the connection < 1428249928 447610 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428250400 121080 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 255 seconds < 1428251778 78031 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1428253192 282597 :Sprocklem_!~Sprocklem@unaffiliated/sprocklem NICK :Sprocklem < 1428253752 41503 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1428255127 205762 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1428255127 726533 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1428255614 214184 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 256 seconds < 1428256275 281980 :fractal!~fractal@2607:fcd0:100:4300::3e34:746 JOIN :#esoteric < 1428256431 165742 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca QUIT :Quit: FAMILIAR CHICKEN < 1428256602 836312 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net JOIN :#esoteric < 1428257398 542588 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1428257720 645549 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428258090 939537 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1428258418 497354 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1428258492 300509 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428258498 584612 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1428258523 359343 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1428259310 351244 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :hello, I have awoken from my eternal, alcohol-induced slumber < 1428259373 892964 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :helloren < 1428259378 637843 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, green oren < 1428259378 732182 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: it's just fnord of the object you pass in variable column names??? i have < 1428259537 25019 :lleu!~gnomebad@158.223.170.148 JOIN :#esoteric < 1428259537 263944 :lleu!~gnomebad@158.223.170.148 QUIT :Changing host < 1428259537 265520 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1428260931 211507 :roasted42!~appleseed@vc-gp-s-41-26-0-169.umts.vodacom.co.za JOIN :#esoteric < 1428261100 682578 :roasted42!~appleseed@vc-gp-s-41-26-0-169.umts.vodacom.co.za QUIT :Changing host < 1428261100 684799 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1428261100 684849 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1428261688 649694 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1428261725 201354 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428261993 858691 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :hi, fungot < 1428261994 175974 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :FireFly: set! was perfectly fine for scheme-hacking weather < 1428262013 18483 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: I wish you would set! the weather to be a bit warmer tomorrow < 1428262013 451698 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :FireFly: my brain is scrambled too, just so it can < 1428262169 537480 :TieSleep!~quassel@86.89.119.147 NICK :TieSoul < 1428263183 926189 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Why doesn't the C standard library provide a "print quoted string" function!?!?! < 1428263308 29564 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Well, I guess I'll have to write fputqs myself < 1428264858 255606 :izabera!~izabera@unaffiliated/izabera NICK :iza1 < 1428264861 435271 :iza1!~izabera@unaffiliated/izabera NICK :izabera < 1428265876 147909 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So are there any unsolved yes-or-no questions in mathematics where about half of people think they're true and about half think they're false? < 1428265917 482459 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Seems like everyone thinks the Riemann hypothesis, the Goldbach conjecture, and the Collatz conjecture are all true (and there's some pretty nice evidence for all of these), and that P != NP. < 1428265954 224986 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :tswett: I don't think the Collatz conjecture is held so generally < 1428265977 367883 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :tswett: but there are much better examples where half of the people think it's true < 1428265986 937836 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's, for example, the Hedetniemi conjecture about graph products < 1428266037 678592 :Ronarsky!~IceChat9@108.123.121.248 JOIN :#esoteric < 1428266072 559681 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's a nice one, thanks < 1428266083 182031 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me try to find more < 1428266088 538511 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1428266096 942177 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1428266243 601944 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca JOIN :#esoteric < 1428266266 602205 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not sure it's really "half", but I think at least one famous mathematicians has declared they conjecture it and at least one has declared they conjecture the opposite < 1428266283 62385 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :obviously not everyone will have an opinion < 1428266331 467234 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :tswett: My first thought was "the question of whether math talent is inborn" but that's really a biological question about mathematics. < 1428266358 131154 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :or rather about the biology of mathematcians < 1428266372 950349 :Ronarsky!~IceChat9@108.123.121.248 QUIT :Ping timeout: 252 seconds < 1428266373 772483 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: besides not being a mathematical question, that's not even a yes-no question < 1428266430 923429 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, here's a question. < 1428266461 223370 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Is there a "simple and easy to calculate" function N -> N whose image contains infinitely many numbers, all of which are prime? < 1428266481 531683 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: did you arrive at that conclusion formally or intuitively? (scnr) < 1428266576 965927 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> nubBy (\a b -> 1 < gcd a b) [2..] < 1428266578 579904 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... < 1428266617 510615 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(what does "simple and easy to calculate" mean?) < 1428266643 433516 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :repeat 2 < 1428266654 233371 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :infinitely many numbers, all of which are prime < 1428266656 560389 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: there's a moderately well known N^lots -> N function whose image contains all prime numbers, and no other positive numbres < 1428266659 336362 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> nubBy (((1<).).gcd) [2..] < 1428266660 901392 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... < 1428266671 926622 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: but the image is finite < 1428266690 557179 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The set {2} certainly isn't "infinitely many". < 1428266691 39598 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oh < 1428266692 756181 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :crap < 1428266719 372204 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :int-e: well, let's say "easier to calculate than just finding the smallest prime number larger than n". < 1428266730 337357 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: My memory may be failing me, but isn't it -> Z, and we know nothing about the negative numbers? < 1428266736 338567 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: re your lambdabot message: the NetHack devteam finally realised they probably weren't going to get another release out by themselves, and hired some variant developers to help out < 1428266740 420682 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: err, yes, -> Z < 1428266741 771440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sorry < 1428266748 394348 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :> 2 : [3,5..] < 1428266749 775262 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,53... < 1428266756 222802 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it isn't what you were asking for, but it's similar enough that I mentioned it anyway < 1428266764 68977 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :this is approximatively good enough for primes, and is easy to compute. < 1428266772 685275 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :ais523: oh! thanks for the heads up. < 1428266897 567938 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess you could turn it into a function N -> N by using an isomorphism between N and N^lots. < 1428266909 614950 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ais523: so what's the function? < 1428266925 150819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: I don't know it offhand, it's some huge polynomial that was compiled from Lisp < 1428266931 133836 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but being a polynomial, it's easy to calculate ;-) < 1428267006 79559 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :how can a polynomial have an image containing only integers? < 1428267017 394380 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :By having only integers in its domain. < 1428267028 189675 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :ah < 1428267030 319287 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: we could have a poll for the second conjecture from http://int-e.eu/~bf3/squares/ (we're tiling rectangles with a minimal number of squares of integer size. if we scale the rectange (multiplying both sides by a positive integer), can the number of required squares become smaller?) < 1428267085 153504 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: ooh, that's an interesting question < 1428267141 571509 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: interesting, have asked that on Mathoverflow? < 1428267216 973075 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No. < 1428267266 844759 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: also, Erich Friedman might be the right person to ask that < 1428267289 38125 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :obviously either of these only after you've tried to search existing literature < 1428267372 805907 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Equivalently: The fewest squares solution to an NxM rectangle must, if N and M are both divisible by K, consist of squares whose side lengths are divisible by K < 1428267401 126869 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: what if there's more than one solution with the fewest squares? < 1428267407 507424 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Oh shit! < 1428267454 926122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"at least one fewest squares solution" if we're trying to be equivalent to the old wording < 1428267469 452352 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"all fewest squares solutions" seems like a more interesting wording, though < 1428267493 557683 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: I probably won't, not any time soon anyway. < 1428267504 524380 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: ok, just saying < 1428267609 181615 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: http://mathoverflow.net/q/44524/5340 may be relevant < 1428267717 250260 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: and it links to http://mathoverflow.net/q/116382/5340 < 1428267740 451452 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which in turn links back to you < 1428267757 8066 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and asks precisely about that conjecture you're asking < 1428267757 570302 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1428268038 823926 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so it's already asked < 1428268040 319649 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Quit: later - tomorrow sometime while I upgrade valgrind & other things < 1428268183 16496 :TieSoul!~quassel@86.89.119.147 NICK :TieSleep < 1428268272 425688 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1428268277 530504 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428268678 446080 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1428268726 975872 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1428268978 413374 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428269696 390571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (what does "simple and easy to calculate" mean?) <-- what about an algorithm which finds a >= n digit prime in time O(n^k) ? < 1428269823 628917 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that may not be simple enough, but it should e.g. crush all current prime records easily. < 1428269960 312633 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: no, it doesn't < 1428269978 191644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it doesn't? < 1428269986 667854 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: the point is, it's a well-known conjecture whether there's a _deterministic_ algorithm for that, but there's a very easy randomized algorithm < 1428270003 215906 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the randomized algorithm is to just pick a random n digit number and prime test it < 1428270014 838035 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1428270021 799787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1428270023 735549 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the prime test is fast (polynomial time) and there's O(1/n) chance that the number is a prime < 1428270048 809481 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: well, can't you replace the random generation, with any pseudorandom generation that isn't above-average at hitting composite numbers? < 1428270065 451219 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but the prime records are so big that even prime testing is slow for them, and they actually use special form numbers with faster prime tests, specifically Mersenne numbers (numbers of the form 2**n-1 where n is an integer) < 1428270088 833013 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: that's why it's a conjecture (and because people generally think randomness doesn't help anything) < 1428270109 644047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I think it's still open, and an important open problem < 1428270140 123330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, it's also a conjecture that randomness doesn't help, although that may be at P vs. NP level of difficulty < 1428270150 615436 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: http://polymathprojects.org/2009/07/27/proposal-deterministic-way-to-find-primes/ < 1428270164 618565 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that might have some useful descriptions and links < 1428270638 577420 :Guest3780!~magician@178.161.99.6 JOIN :#esoteric < 1428270796 50437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it feels slightly wrong to link a fanfiction when i don't even read the real thing but http://www.mezzacotta.net/dinosaur/?comic=70 < 1428270816 948248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, this applies to 99% of DMM's stuff < 1428271195 574147 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 256 seconds < 1428271806 607430 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :/topic Cheesecake! | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1428271927 218574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: escaped intentionally? < 1428271946 763380 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, we have +t set at the moment. < 1428271980 535297 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, did the trollbot come back? < 1428272073 900703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it's actually quite hard to escape things accidentally in irssi; the way to do that is to start a line with a slash, then a space: / /topic ...) < 1428272137 986002 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, Konversation escapes with just // < 1428272167 514758 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1428272183 673124 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+,p < 1428272191 1107 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: the easiest way I accidentally escape is by trying to press / but the layout is set to Hungarian so it types - instead < 1428272402 502703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Verify this email address ([email protected]) and attach it to your account?" < 1428272415 247845 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I think I'm beginning to HATE cloudfront. < 1428272511 491601 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(as a "security feature", they replace strings that look like email addresses by javascript snippets) < 1428272748 671812 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :looool < 1428272769 912764 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it is a valid email in the source? < 1428272779 703366 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :presumably. < 1428273143 534397 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1428273176 824110 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428273377 589954 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1428273399 844896 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428273869 436902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hmm, did the trollbot come back? <-- yes it did < 1428274470 224350 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :ACTION is sad the chännel's been +ted... < 1428274489 514763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is, indeed, untraditional. < 1428274513 274879 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1428274513 600629 NAMES :#esoteric < 1428274526 332864 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric :-t > 1428274526 343516 NAMES :#esoteric < 1428274530 945302 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1428274530 955975 NAMES :#esoteric < 1428274531 915760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+ẗ < 1428274540 25340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay i got the syntax right < 1428274561 988428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: advanced irc users do it in one command hth < 1428274577 372424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WAT < 1428274580 326401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :e.g. /mode #esoteric -to oerjan < 1428274599 728938 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :you change the mode of #esoteric to oerjan??? < 1428274601 231714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1428274614 748374 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :ACTION TILed that oerjan is an IRC channel flag. < 1428274669 679864 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :use it wisely. < 1428274679 295626 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1428274714 461872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/mode +ø < 1428275248 663133 :int-e!~noone@static.88-198-179-137.clients.your-server.de TOPIC #esoteric :Educated Cheesecake! | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1428275256 390443 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: is that wise enough for you? < 1428275291 261235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i find that question a bit academic < 1428275335 324931 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :does the cheesecake have a generous coulis de framboises on it? < 1428275379 823626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@google coulis de framboises < 1428275381 40014 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.marmiton.org/recettes/recette_coulis-de-framboises_11316.aspx < 1428275381 199787 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Coulis de framboises : Recette de Coulis de framboises - Marmiton < 1428275431 312656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yum < 1428275620 399213 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :what's your favorite number? mine is 7 < 1428275674 461174 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :5. < 1428275694 569511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :16. < 1428276345 34894 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I suspect that if I start weighing all natural numbers against one another, I'll never finish. Fiendish. < 1428276426 609150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: you're thinking of conatural numbers hth < 1428276475 611251 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Not really. < 1428276531 768284 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err. < 1428276710 467104 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :ACTION doesn't know what a conatural number is, and bing is not helpful < 1428276749 501471 :nys!~nysnamovo@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :natural numbers with the arrows reversed < 1428276829 548892 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess it's a co-free datatype, a final co-F-algebra with F(A) = 1+A. < 1428276865 117383 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Whereas the natural numbers are a free datatype, an initial F-algebra, with the same F.) < 1428276905 252645 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The difference is that omega is a conatural number, the conatural number that is its own successor. < 1428276918 656370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that cofree? < 1428276926 214647 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1428276932 617984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How? < 1428276954 349729 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :just regard it as a stream over (). < 1428276981 661984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is it cofree on? < 1428277036 921610 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :So it's the naturals, plus Ω where succ(Ω)=Ω . got it < 1428277048 529135 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... I should've written "F-coalgebra". < 1428277062 960279 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's the cofree F-coalgebra, with F as above. < 1428277182 471855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A cofree F-coalgebra works out to the same thing as the cofree comonad on F, right? < 1428277214 675087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I guess in that sense you can say that CofreeComonad F () is the greatest fixed point of F. < 1428277230 974736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that seems pretty different from saying that the greatest fixed point itself is cofree. < 1428277326 547936 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :I know some of these words. < 1428277330 159671 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Wat.are you people speaking English? < 1428277452 261124 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :it seems so; or something vaguely similar. < 1428277485 91707 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: Ok, let me go one step back. I want a final F-coalgebra, whereas the datatype is an initial F-algebra. < 1428277512 845612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which data type? < 1428277523 317322 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :naturals, in this case. < 1428277553 972506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So F is Maybe here? < 1428277561 819131 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yes. < 1428277575 534715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. < 1428277692 704412 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :oren: I fear they are afflicted with acute fungotitis. I can't make sense at all about what they're communicating. < 1428277692 948381 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: since it counts block allocation amounts in the filesystem < 1428277728 260895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway if it is cofree I'd like to know how. < 1428277741 530743 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Especially if there's some relationship to monoids. < 1428277762 932126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: it's not very complicated but there are a lot of words < 1428277821 859078 :boily!~alexandre@modemcable184.4-177-173.mc.videotron.ca PRIVMSG #esoteric :I know I read some blog posts about F-algebras and stuff like that, that on the spur of the moment it seemed all clear, but by the next day it had all but evaporated from my mind. < 1428278387 858842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the question I was asking before was along the lines of: Lists are free monoids. Are colists any sort of universal monoid construction?