< 1398556868 991743 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1398557263 615007 :tswett29!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :oerjan: yes. < 1398557282 40446 :tswett29!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Also what does twh mean. < 1398557284 728268 :tswett29!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :stmbif. < 1398557315 975412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :` < 1398557316 548948 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1398557320 248063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1398557323 668222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? twh < 1398557324 378573 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :twh would help, but is an hth derivative. hth. twh. hand. < 1398557335 567522 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: yes, I was assuming you have a decideable set, so you have a proof it's closed under graph minors and an algorithm to decide membership < 1398557336 582450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? stmbif < 1398557337 240405 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :stmbif? ¯\(°​_o)/¯ < 1398557359 576106 :tswett29!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Sgeo: if you need to do anything semidecidable, then it's captured by the notion of an open set in topology. < 1398557360 653686 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :an oracle is too strong < 1398558625 322158 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398559011 572950 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"SuperBlade® Offers: * Highest computing density [...] * Unsurpassed TCO" < 1398559169 139138 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Manufactoria14]]4 10 02http://esolangs.org/w/index.php?diff=39423&oldid=39422 5* 03Quincunx 5* (+72) 10 < 1398559216 195684 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Manufactoria14]]4 M10 02http://esolangs.org/w/index.php?diff=39424&oldid=39423 5* 03Quincunx 5* (-2) 10Urgh. Forgot to edit category < 1398559276 906971 :variable!root@freebsd/developer/variable NICK :function < 1398560280 860572 :function!root@freebsd/developer/variable NICK :trout < 1398560985 541991 :tswett29!~tswett@c-107-5-152-253.hsd1.mi.comcast.net NICK :tswett28 < 1398562068 849327 :drlemon!~drlemon@cpe-108-185-0-32.socal.res.rr.com JOIN :#esoteric < 1398562499 47585 :augur_!~augur@pool-71-178-142-135.washdc.east.verizon.net JOIN :#esoteric < 1398562568 857644 :augur!~augur@pool-71-178-131-150.washdc.east.verizon.net QUIT :Ping timeout: 255 seconds < 1398563209 612513 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :https://bugs.launchpad.net/ubuntu/+source/unity/+bug/1308572 ha ha ha ha < 1398563643 182415 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Tell me if this library and document is OK? http://zzo38computer.org/taillib/taillib.zip < 1398563705 697482 :Vamadeus!~quassel@c-107-5-16-120.hsd1.mi.comcast.net JOIN :#esoteric < 1398563706 43989 :Vamadeus!~quassel@c-107-5-16-120.hsd1.mi.comcast.net QUIT :Changing host < 1398563706 189076 :Vamadeus!~quassel@unaffiliated/vegabondsx JOIN :#esoteric < 1398564031 392721 :nooodl__!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398564290 696760 :nooodl_!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 265 seconds < 1398564322 482347 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398564420 858363 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is that really a security bug? It assumes the attacker has physical access < 1398564455 745926 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: yes. it gives you access to a running session < 1398564461 465991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :screen locking usually does assume that < 1398564464 938849 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and the attacker may not have physical access < 1398564468 213299 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's almost as if lock screens are meant to protect from physical access, huh < 1398564502 435101 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you can have physical access to the interface devices without having physical access to the actual computer < 1398564549 275889 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what are you talking about it's not as if tons of publicly-accessible devices use computers underneath!! < 1398564552 475986 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :like what if the computer is on mars and i have access to the voyager probe < 1398564577 338880 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :seeing windows errors on atms or whatever is always a bit odd < 1398564598 98103 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I thought linux desktops had screen lockers because windows did the same thing and people have come to expect them < 1398564635 942329 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's not like desktop distros have any security anyway < 1398564653 821105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you stop trolling < 1398564659 937341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you do it all the time and you know you're doing it < 1398564679 479979 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Jafet: Security can still be have for programs to access other programs, even if the user with physical access is allowed to do everything. < 1398564694 509565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like less than half the things you say are sincere rather than just bait to let you be incredulous at people < 1398564697 607457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :stop it < 1398564747 465959 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Installing Windows or Linux on such a computers as ATM or whatever can have problem and should not be done. If you need an operating system at all, you can install DOS or whatever < 1398564752 903400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Huh. < 1398564757 416465 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1398564773 992277 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :DOS is much faster than Linux and Windows. < 1398564903 94517 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :withdrawing money at a million dollars an hour < 1398565169 729938 :Deewiant!~deewiant@deewiant.iki.fi QUIT :Ping timeout: 252 seconds < 1398565745 299811 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1398565746 638532 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :jotcoin isangcoin birdcoin withis=thagcoin eftatecoin tlfecoin xochicksonideutunaperetunadowelseptaterpardottercoin 242150coin padsomcoin isepolistcoin celecoincoin checoin reversitecoin weakcoin xtccoin carinheacoin skulacoin fracoin cluncoin avowlcoin < 1398565756 599755 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: you should write a bitcoin miner for DOS < 1398565796 701327 :Vamadeus!~quassel@unaffiliated/vegabondsx QUIT :Ping timeout: 252 seconds < 1398565960 818943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dos runs so badly on asics < 1398565979 179074 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :depends which kind < 1398566049 528170 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But not all ASICs are designed to run all computer programs. < 1398566250 982431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :psst, i'm making a joke on the fact that bitcoin mining on cpus isn't profitable hth < 1398566405 941116 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :there should be a computer made of superconducting materials so you never have to power it < 1398566457 977291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it isn't on gpus, either < 1398566492 535359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: needs to do reversible computing by landauer's principle < 1398566504 898842 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :xactly, i'll just make some fredkin gates and call it good < 1398566514 498433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: which is why i didn't say gpus DUH < 1398566529 833574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i read somewhere that even the asic miners are losing money though) < 1398566552 362292 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i wonder if you could do it so that it only hit resistors on a successful output < 1398566573 787550 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :then all you'd be spending is time. and coolant < 1398566669 96930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, so many global hashes per second < 1398566678 561639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2^64 every ~5 minutes < 1398566719 440842 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :That's a lot. < 1398566722 958699 :Vamadeus!~quassel@c-107-5-16-120.hsd1.mi.comcast.net JOIN :#esoteric < 1398566723 172433 :Vamadeus!~quassel@c-107-5-16-120.hsd1.mi.comcast.net QUIT :Changing host < 1398566723 317405 :Vamadeus!~quassel@unaffiliated/vegabondsx JOIN :#esoteric < 1398566749 819496 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :So all the Bitcoin miners in the world could brute force 56-bit encryption about once per second in total. < 1398566803 247243 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Assuming their ASICs aren't application-specific. < 1398566823 102847 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :So if you had all that computing power at your disposal, then in 600 seconds, you could either break 600 56-bit encryption doodies, or earn $460. < 1398566844 968869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (^.) < 1398566846 169710 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :s -> Getting a s a -> a < 1398566847 507768 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"Application-specific integrated circuit" < 1398566865 102071 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Jafet: your point? < 1398566867 288076 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Night, everyone. < 1398566867 891110 :tswett28!~tswett@c-107-5-152-253.hsd1.mi.comcast.net QUIT :Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/ < 1398566917 17751 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t (4 ^.) < 1398566917 878196 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num s => Getting a s a -> a < 1398566933 138737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (_4 ^.) < 1398566933 937229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Field4 s t a1 b, Functor f) => Getting a ((a1 -> f b) -> s -> f t) a -> a < 1398566962 776214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1398566993 738305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1,3..]^._4 < 1398566995 66643 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Control.Lens.Tuple.Field4 [t0] [t0] a a) < 1398566995 211626 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the ambiguity check for ‘e_1134’ < 1398566995 211712 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Control.Lens.Tuple.Field4 [t] [t] a a, < 1398566995 211750 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : GHC.Num.Num t, < 1398566995 211789 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : GHC.Enum.Enum t) < 1398566998 143927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1398566998 520081 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::i Getting < 1398567020 754581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (1,2,"many",1/0)^._4 < 1398567022 533051 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Infinity < 1398567083 511556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type Getting r s a = (a -> Const r a) -> s -> Const r s hth < 1398567148 987059 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::i Const < 1398567158 596493 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :stupid commands < 1398567159 495325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src Const < 1398567159 640742 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Source not found. Abort, Retry, Panic? < 1398567170 789462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed < 1398567191 78696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :newtype Const a b = Const a or thereabouts < 1398567226 601600 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :makes no sense to me < 1398567275 918553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that Getting type matches a lens if you use Const r as the functor < 1398567317 617695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is what you do to "get" the value of the lens field < 1398567393 631039 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have once independently implemented a very restrictive kind of lenses before I knew what "lens" meant. But, now I know it better. < 1398567481 770439 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Which could not use two types. < 1398567820 359012 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is there any reason I couldn't have pure effectively return a lazy value that gets a real result once the type is known by a different mechanism? < 1398567841 26852 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :'hey, this value is pure of some unknown applicative, when I find out, I'll turn into something useful' < 1398567887 237367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that is how type classes work < 1398567918 652819 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I was hoping to not have to significantly fake type classes < 1398567924 815110 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I didn't have to do much for Functor < 1398568058 469585 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you don't want to have to fake type classes to implement a type class? < 1398568068 976865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sounds like a question for #racket or #rebol or #ada or #sgeolanguage < 1398568147 618501 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: trying to find the balance between translating an idea that works very well in one language and avoiding blind copying that ignores the value that the destination language provides < 1398568177 400756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> imapped %@~ replicate $ ['a'..'z'] < 1398568178 836440 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["","b","cc","ddd","eeee","fffff","gggggg","hhhhhhh","iiiiiiii","jjjjjjjjj",... < 1398568200 60455 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's just, functor only has the one method, so you only need to worry about the one function and don't have to coordinate anything < 1398568217 513259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> imap replicate ['a'..'z'] < 1398568218 879778 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["","b","cc","ddd","eeee","fffff","gggggg","hhhhhhh","iiiiiiii","jjjjjjjjj",... < 1398568238 771355 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: exactly < 1398568254 699274 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so... of course that won't be adequate for applicative, which has two. < 1398568272 843643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imap is a v. popular email protocol < 1398568296 900622 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's not so much a matter of Applicative having two methods, as to the fact that one of those methods puts an applicative value in a positive position without having one in a negative position < 1398568297 45750 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t imap < 1398568297 45808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: NOT INSCRUTABLE ENOUGH HTH < 1398568297 903136 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :FunctorWithIndex i f => (i -> a -> b) -> f a -> f b < 1398568304 527079 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(is that the right terminology)? < 1398568313 618704 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh fuck off, i have enough problems with signs in electrochemistry < 1398568313 763878 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I like to think of Applicative as being just one method, lift < 1398568315 72566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: imo that type is fairly legible, isn't it? < 1398568324 487262 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm not the guy to ask. < 1398568329 994156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: adjunctions are the worst btw < 1398568348 266996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and/or category theory in general < 1398568352 861065 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: Applicative's pure can create an (Applicative f) => f a without access to an f anything < 1398568357 397808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's like someone invented a math whose whole purpose was to make it as easy as possible to make sign errors < 1398568360 670224 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, i figured that out < 1398568370 213926 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"positive" and "negative" is a weird way to put it < 1398568390 235760 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(lift somefunc a1 a2 a3) is fine, (lift somefunc a1) fine, (lift somefunc) err < 1398568395 334941 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :but i remember i used to not understand those sorts of types. thankfully, i'm a haskell god now < 1398568397 430959 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: I could swear I've seen it somewhere < 1398568434 761510 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it seems to me that values like that are only easy to deal with because of type inference, so... < 1398568452 206046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tinference < 1398568477 460347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you should join #-lens < 1398568523 111206 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think positive/negative makes sense... ((a -> b) -> c), the a is in negative position relative to the (a -> b), the (a -> b) is in negative position relative to the whole function, so - * - = +, a is in positive position relative to the whole function, which needs to produce an a at some point < 1398568531 197556 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Or, maybe not 'needs' < 1398568537 760552 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But it doesn't consume an aa < 1398568544 243747 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no, look, fuck you, cathode/anode is already too much < 1398568574 541040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you know how (a -> b) is like (¬a | b)? < 1398568577 164956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except in haskell < 1398568646 506710 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I can't tell if that's interesting or a joke < 1398568682 710605 :maurer!~maurer@MIMUNG.ECE.CMU.EDU QUIT :Read error: Operation timed out < 1398568692 101016 :maurer!~maurer@MIMUNG.ECE.CMU.EDU JOIN :#esoteric < 1398568723 299405 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :math is all about acting like stupid jokes are interesting. umbral calculus < 1398569693 941874 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :umbral calculus leave you in the dark :P < 1398569697 943967 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :*leaves < 1398571372 601274 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :shachaf: But Haskell types are intuitionistic logic rather than being classical logic (but, you can use continuation transform to make classical logic out of intuitionistic logic, too) < 1398571395 228689 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: hence "except in haskell" < 1398572211 612831 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But Haskell isn't the only thing that it is < 1398572307 341972 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Intuitionistic logic is still a kind of a logical system, and so is linear logic, and classical logic. < 1398572365 990935 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :is Tetra Master a logical system < 1398572492 179934 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :\f -> either (Left . f) Right <$> lemCC < 1398572542 634283 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm not sure that answers my question < 1398572552 957652 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :For f in Kleisli category: \f -> fmap (f >=>) <$> lemCC < 1398572575 759123 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: I am not answering your question I am answering shachaf's question. < 1398572588 330241 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Bike, yes, tetris logic < 1398572594 672469 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :turn the blocks < 1398572706 710338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i asked a question? < 1398572758 917651 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :shachaf: I mean, I answered your answer. < 1398572920 925929 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In case you don't know what lemCC means, then I can tell you: lemCC = callCC (return . Right . (<=< return . Left)); or lemCC = ContT $ \c -> c $ Right (\a -> ContT $ \_ -> c (Left a)); or callCC x = lemCC >>= either return x; < 1398572979 113491 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In other words, "except in Haskell" isn't quite right, because if you are using continuations then it is right. < 1398572980 335094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the real question is what Stanisław Lem thinks of continuations < 1398573040 646269 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know, but in this case "lem" is short for "law of excluded middle". < 1398573042 56937 :kronion_!~kronion@195.64.206.231 JOIN :#esoteric < 1398573043 702043 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :pirx continuated pretty far < 1398573069 177287 :kronion_!~kronion@195.64.206.231 QUIT :Max SendQ exceeded < 1398573072 459153 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(I also don't know who Stanislaw Len is) < 1398573105 560503 :kronion_!~kronion@195.64.206.231 JOIN :#esoteric < 1398573192 473235 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Law of excluded middle continuations might be a bit easier than call/cc for some people, possibly. < 1398573223 92769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike is an expert̵ < 1398573237 832684 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :damn right < 1398573307 176710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: famous polish scifi author < 1398573323 188918 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :O, that's who it is. < 1398573346 438467 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :damn right̵ < 1398573360 52285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode t̵ < 1398573360 771462 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0074 LATIN SMALL LETTER T] [U+0335 COMBINING SHORT STROKE OVERLAY] < 1398573437 767632 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm having some difficulty with figuring out how to use LastPass < 1398573897 529047 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Quincunx14]]4 M10 02http://esolangs.org/w/index.php?diff=39425&oldid=39405 5* 03Oerjan 5* (+0) 10/* Circuit Diagram 10 */ sp. < 1398574013 638531 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Trainscript14]]4 M10 02http://esolangs.org/w/index.php?diff=39426&oldid=39404 5* 03Oerjan 5* (+5) 10sp link < 1398574101 890047 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1398574188 382973 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398574622 913147 :kallisti_!~adam@h131.12.90.75.dynamic.ip.windstream.net JOIN :#esoteric < 1398574795 971374 :kallisti!~adam@h29.17.40.69.dynamic.ip.windstream.net QUIT :Ping timeout: 252 seconds < 1398574935 554601 :Vamadeus!~quassel@unaffiliated/vegabondsx QUIT :Remote host closed the connection < 1398575042 826572 :tswett!~tswett@unaffiliated/tswett QUIT :Ping timeout: 255 seconds < 1398576132 964927 :nooodl__!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1398576314 322520 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1398576350 514123 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398576599 917794 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1398578514 678794 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1398579120 342722 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1398579186 406365 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1398580006 911940 :kallisti!~adam@h234.12.90.75.dynamic.ip.windstream.net JOIN :#esoteric < 1398580185 980967 :kallisti_!~adam@h131.12.90.75.dynamic.ip.windstream.net QUIT :Ping timeout: 252 seconds < 1398580816 537721 :kallisti_!~adam@h98.24.40.69.dynamic.ip.windstream.net JOIN :#esoteric < 1398581000 34069 :kallisti!~adam@h234.12.90.75.dynamic.ip.windstream.net QUIT :Ping timeout: 252 seconds < 1398581109 915083 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1398582269 986651 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1398582782 607020 :kallisti!~adam@h62.182.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1398582995 523754 :kallisti_!~adam@h98.24.40.69.dynamic.ip.windstream.net QUIT :Ping timeout: 265 seconds < 1398584401 837627 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :What again was the criteria for using Chans vs. MVar? < 1398585214 245139 :kallisti_!~adam@h128.3.90.75.dynamic.ip.windstream.net JOIN :#esoteric < 1398585356 469644 :kallisti!~adam@h62.182.18.98.dynamic.ip.windstream.net QUIT :Ping timeout: 255 seconds < 1398587057 309273 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1398587386 298515 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1398588564 370910 :MoALTz!~no@user-109-243-247-192.play-internet.pl JOIN :#esoteric < 1398588993 461641 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398589204 930519 :augur!~augur@pool-71-178-142-135.washdc.east.verizon.net JOIN :#esoteric < 1398589265 286035 :augur__!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1398589417 7363 :augur_!~augur@pool-71-178-142-135.washdc.east.verizon.net QUIT :Ping timeout: 276 seconds < 1398589533 902811 :augur!~augur@pool-71-178-142-135.washdc.east.verizon.net QUIT :Ping timeout: 276 seconds < 1398590401 531806 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Quincunx14]]4 10 02http://esolangs.org/w/index.php?diff=39427&oldid=39425 5* 03Quincunx 5* (+1307) 10/* Roguelike */ < 1398590891 125477 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1398590898 876746 :augur__!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com NICK :augur < 1398592137 92016 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1398593505 452622 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398593580 591008 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au NICK :Patashu- < 1398593582 107917 :Patashu-!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au NICK :Patashu_ < 1398593684 903453 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Client Quit < 1398594181 436506 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr NICK :Slereah < 1398594249 460957 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1398594564 932402 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398595596 791090 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1398596157 659216 :KingOfKarlsruhe!~king@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1398599872 397593 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1398599879 596447 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398600517 87734 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1398601008 550378 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 240 seconds < 1398601840 707382 :nucular!~MOO@p4FF91C6D.dip0.t-ipconnect.de JOIN :#esoteric < 1398601840 964984 :nucular!~MOO@p4FF91C6D.dip0.t-ipconnect.de QUIT :Changing host < 1398601841 113074 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1398601850 539429 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, can you quickly put lambdabot in #cs-york again? < 1398602372 831813 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :this keeps comingup. do you want to have it there permanently? < 1398602690 468779 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No, it's a controversial bot in the channel < 1398603178 354128 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1398603219 585783 :Vamadeus!~quassel@c-107-5-16-120.hsd1.mi.comcast.net JOIN :#esoteric < 1398603219 840779 :Vamadeus!~quassel@c-107-5-16-120.hsd1.mi.comcast.net QUIT :Changing host < 1398603219 988155 :Vamadeus!~quassel@unaffiliated/vegabondsx JOIN :#esoteric < 1398603661 205725 :kronion_!~kronion@195.64.206.231 QUIT :Remote host closed the connection < 1398603701 46362 :kronion!~kronion@195.64.206.231 JOIN :#esoteric < 1398603723 600422 :kronion!~kronion@195.64.206.231 QUIT :Remote host closed the connection < 1398603735 42773 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Pah. x86_64 has tagged TLBs but they are being wasted on hypervisor support. Boring. < 1398603851 640498 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Presumably they added tags because otherwise nested page tables would become ridiculously expensive.) < 1398604330 274036 :kronion!~kronion@195.64.206.231 JOIN :#esoteric < 1398605718 994882 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr QUIT :Ping timeout: 276 seconds < 1398605962 229852 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1398608260 756037 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398608799 919705 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 276 seconds < 1398609616 733682 :boily!alexandre@nat/northsec/x-bewbsnbzapmgedfx JOIN :#esoteric < 1398609679 564047 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Is it possible to program lambdabot so that it can be invited and kicked? So that, you don't have to keep asking them < 1398611368 697878 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1398612345 921986 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't have op in that channel < 1398613627 910908 :kronion!~kronion@195.64.206.231 QUIT :Quit: Textual IRC Client: www.textualapp.com < 1398614042 322583 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I tried to make an experimental bot of mine do that once: when you invite it, it joins. there doesn't need to be much special handling for kicking though. < 1398614188 218839 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: do you know of something like a balanced search tree automatically maintained by sql triggers? like, if I add a row to a particular table, triggers will add a node to the search tree representing that row, and that search tree is stored in the same database. < 1398614200 540260 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I asked here earlier and someone's referred me to you. < 1398614350 282229 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :b_jonas: I don't know of any such thing, although it may be possible. If you want to search in a SQL database, though, you should probably create an index for that purpose. (Creating a search tree may be useful if you want to convert the data into other formats, possibly, though) < 1398614430 928773 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What is it you are trying to make, though? < 1398614433 849999 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: sure, normally you'd use an sql index, which is part of why I'm asking on this channel, < 1398614448 533991 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :OK < 1398614456 252415 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I was wondering about something that could be implemented by the database as a sort of index but I haven't yet seen any database engine implement it yet < 1398614522 81659 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :even then, a search tree (I was thinking a treap might be the easiest) maintained using triggers might not be the best way. < 1398614530 157640 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I myself use SQLite, which now supports recursive WITH clauses. A statement in a trigger is not allowed to start with a WITH clause, though (it can still be used in subqueries and so on). < 1398614544 303565 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But still, I don't know what it is you are trying to make. < 1398614564 669313 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Yes, I was thinking about this, and I think it's probably possible to implement in sqlite, but it's very difficult. < 1398614588 848458 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I'm not sure whether it's possible without a recursive WITH clause.) < 1398614621 505327 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I mean, it probably is if you use complicated recursive triggers with arbitrarily deep recursion to simulate function calls, but that'd be crazy.) < 1398614704 651203 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It might be possible to do it without recursion if you cheat by using ordinary indexes on the tables storing the tree to find nodes. < 1398614712 766902 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't know if it is. < 1398614746 889213 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :O, I always use recursive triggers with deep recursion to simulate function calls (and similar things which do not correspond quite with function calls of most programming languages). < 1398614748 399734 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, if you don't want a balanced search tree, just a search tree, then you can have an index on the tree table to find the node you have to insert under rightaway. < 1398614792 421897 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: just triggers calling each other to simulate function calls is ok, what I would like to avoid is arbitrarily deep (log tree size deep) recursion that way. < 1398614827 420579 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :OK < 1398614865 46413 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Why do you need a balanced search tree though? < 1398614912 473092 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't really need it, mind you, just wondering on it. < 1398614952 886702 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I was thinking of an index that can optimize queries like SELECT min(t.w) FROM t WHERE t.k BETWEEN ? AND ?; < 1398614998 991185 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :where min could be any aggregate that is a fold of an associative operation, such as count, min, max, total, sum (ignoring integer overflows) < 1398615013 892017 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :SQLite has extensions to do that already, including multidimensional search. < 1398615030 945675 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :by building a search tree that stores in each node min(t.w) of all descendants of that node < 1398615084 630193 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so if you had a hypotehtical index on t.k covering min(t.w), you could execute such a query in log(count of all rows) time < 1398615119 276258 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because you would just have to add the stored min(w) values in O(log(count of all rows)) nodes in the index < 1398615137 769966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the index could be maintained quickly too, as quickly as any search tree based index < 1398615230 193699 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :true, a multi-dimensional tree could implement SELECT min(t.w) FROM t WHERE t.k BETWEEN ? AND ?; quickly, < 1398615259 662693 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so maybe SELECT sum(t.w) FROM t WHERE t.k BETWEEN ? AND ?; would be a better example < 1398615327 488120 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :imagine that t is changing between queries, otherwise this could be solved easier < 1398615422 629079 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mind you, I don't really have an application for such queries on a dynamically changing table either < 1398615544 693220 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net JOIN :#esoteric < 1398615544 908350 :tswett!~tswett@c-107-5-152-253.hsd1.mi.comcast.net QUIT :Changing host < 1398615545 55882 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1398615658 230741 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It doesn't seem to useful to me to make a search tree like that unless you need to convert data into another format. Normally I would think you would just use an ordinary index, or if necessary to do so, use a R*Tree index. < 1398615730 797770 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But you can try to implement a balance search tree in SQL if you want to! < 1398615769 542953 :kronion!~kronion@195.64.206.231 JOIN :#esoteric < 1398615792 500460 :kronion!~kronion@195.64.206.231 QUIT :Max SendQ exceeded < 1398616778 275826 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Remote host closed the connection < 1398616834 310989 :JLG!5d137f1d@gateway/web/freenode/ip.93.19.127.29 JOIN :#esoteric < 1398616900 13795 :JLG!5d137f1d@gateway/web/freenode/ip.93.19.127.29 QUIT :Client Quit < 1398616933 437833 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Circute14]]4 M10 02http://esolangs.org/w/index.php?diff=39428&oldid=20063 5* 03Smjg 5* (-4) 10/* External resources */ upd8 link < 1398621152 248885 :Slereah!~jackal@176.222.51.233 QUIT : < 1398621603 549561 :kronion_!~kronion@195.64.206.231 JOIN :#esoteric < 1398621991 55579 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cmhmijipdybzsbiu JOIN :#esoteric < 1398622096 367404 :kronion_!~kronion@195.64.206.231 QUIT :Quit: Textual IRC Client: www.textualapp.com < 1398622135 898800 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1398622169 480645 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398622427 475234 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1398622683 907694 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1398622778 560445 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PART #esoteric :"Leaving" < 1398622786 979911 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398623053 819716 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1398623952 13491 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Switching to phone < 1398624264 21711 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How did this website end up so badly done that the images are links to the images? http://logicoin.info/ < 1398624756 896422 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Is it "Hey, I make my own coin" time? < 1398624770 765991 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`coins # yes < 1398624772 204675 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Argument "#" isn't numeric in int at /hackenv/bin/words line 148. \ coin < 1398624774 614813 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh no < 1398624775 947181 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`coins < 1398624777 364551 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :purecoin festiconcoin gularioplincoin thulzacoin discoin limcoin thumamcoin wingcoin mulacoin xingcoin praocoin udatempovacifucoin haibocoin mumothcoin divzcoin partreacoin unbartrelcoin whenservicoin stackcoin kipcoin < 1398624808 140206 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`coins < 1398624809 519472 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :advendocoin ammcoin rincoin gechtcoin pancoin bjectdispcoin nasscoin consomskjcoin modecoin folercoin exjcoin twelcoin memporcoin wpbroketlancoin triicoin prorrelucoin olutecoin subicoin aggedcoin oorcoin < 1398624831 513530 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :wpbroketlancoin sounds good < 1398624897 384548 :KingOfKarlsruhe1!~king@p4FDCC780.dip0.t-ipconnect.de JOIN :#esoteric < 1398624936 511032 :KingOfKarlsruhe!~king@unaffiliated/kingofkarlsruhe QUIT :Ping timeout: 240 seconds < 1398624959 121556 :KingOfKarlsruhe1!~king@p4FDCC780.dip0.t-ipconnect.de NICK :KingOfKarlsruhe < 1398624967 899117 :KingOfKarlsruhe!~king@p4FDCC780.dip0.t-ipconnect.de QUIT :Changing host < 1398624968 46192 :KingOfKarlsruhe!~king@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1398625022 580171 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :gigabitcoin < 1398625033 19119 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :because who want's a bit when you can have a gigabit < 1398625044 669788 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why not tb then? < 1398625078 482386 :impomatic!~digital_w@87.112.106.218 JOIN :#esoteric < 1398625315 104271 :boily!alexandre@nat/northsec/x-bewbsnbzapmgedfx QUIT :Quit: WeeChat 0.4.2 < 1398625318 215555 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :scotland's post-independence currency: oorcoin < 1398625393 581225 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am perpetually tempted to make a gold-backed cryptocurrency < 1398625422 303676 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Symbols14]]4 10 02http://esolangs.org/w/index.php?diff=39429&oldid=37964 5* 0350.166.86.223 5* (-49) 10 < 1398625437 967998 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Taneb : I think that might be complicated legally < 1398625449 946861 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :and technically < 1398625463 218434 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, for a start I do not own all that much gold < 1398625464 291414 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Well legally it's pretty easy < 1398625468 73893 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :The sumerians did it! < 1398625472 498375 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :They didn't have fancy things < 1398625484 380744 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :to buy this cocaine you just need to give me a hash of the atomic microstate of your bullion < 1398625501 388533 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :But it will change if you heat it :o < 1398625510 866231 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Or leave it alone for a nanosecond, really < 1398625546 112400 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wealth is fleeting, son < 1398626006 963317 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1398626312 891016 :Sorella!~queen@oftn/member/Sorella QUIT :Remote host closed the connection < 1398626652 687930 :^v!~notnot^v@64.134.221.131 JOIN :#esoteric < 1398626892 85438 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1398627836 710860 :^v!~notnot^v@64.134.221.131 QUIT :Ping timeout: 252 seconds < 1398628650 870908 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398628698 397111 :KingOfKarlsruhe!~king@unaffiliated/kingofkarlsruhe PART :#esoteric < 1398631463 556958 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be QUIT :Remote host closed the connection < 1398631568 379261 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398631958 597384 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :+ < 1398631998 760249 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :- < 1398632023 902180 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :~ < 1398632091 494556 :ion!ion@heh.fi PRIVMSG #esoteric :− < 1398632181 88816 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :⋅ < 1398632482 483261 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398632646 789701 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :⨳ < 1398633154 947871 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398633230 154711 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1398633230 301948 :Tod-Autojoined!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1398633264 203169 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :– < 1398633286 371455 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :% < 1398633425 923155 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1398633445 376397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :—⸺⸻ < 1398633454 976203 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In other words, the em dash, the two-em dash and the three-em dash. < 1398633478 915862 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No four-em dash in Unicode. :/ < 1398633578 110675 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :but there is a snowman and a pile of poo < 1398633593 464891 :kwertii!~kwertii@unaffiliated/kwertii JOIN :#esoteric < 1398633597 6112 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the LEFTWARDS TWO-HEADED TRIPLE DASH ARROW. < 1398633603 550052 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I was looking at things with "DASH" in the name.) < 1398633690 997940 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unidecode ⸻ < 1398633691 904230 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+2E3B THREE-EM DASH \ UTF-8: e2 b8 bb UTF-16BE: 2e3b Decimal: ⸻ \ ⸻ \ Category: Pd (Punctuation, Dash) \ Bidi: ON (Other Neutrals) < 1398633700 743771 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode INVISIBLE TIMES < 1398633701 337917 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⁢ < 1398633718 727423 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unidecode ⁢ < 1398633719 343177 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2062 INVISIBLE TIMES] < 1398633728 738838 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :INVISIBLE D: < 1398633745 994333 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's also btoh the WAVE DASH (〜) and the WAVY DASH (〰). < 1398633798 449118 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :There is a symbol for k and for the k of kelvins < 1398633848 521135 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 255 seconds < 1398633931 930164 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a FACE SAVOURING DELICIOUS FOOD (U+1F60B), it probably goes well with POT OF FOOD (U+1F372). < 1398633951 923860 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently delicious food is the only thing you can savour. < 1398634008 573487 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I think savouring implies enjoying, so deliciousness may also be implied < 1398634142 39402 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode FACE SAVOURING DELICIOUS FOOD < 1398634142 917078 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1F60B FACE SAVOURING DELICIOUS FOOD \ UTF-8: f0 9f 98 8b UTF-16BE: d83dde0b Decimal: 😋 \ 😋 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) < 1398634880 461910 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :wow, my font actually renders that < 1398635244 580018 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For me it "works" (it's not terribly savour-y) in browser but not in terminal. < 1398635978 670936 :impomatic!~digital_w@87.112.106.218 QUIT :Ping timeout: 265 seconds < 1398636415 422967 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398636472 158347 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1398637655 532283 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1398638007 126254 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1398638122 913018 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://www.beige-box.com/libressl/ project is going well < 1398638566 83663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What again was the criteria for using Chans vs. MVar? <-- an MVar contains just one value, a Chan a FIFO queue of them... < 1398638583 391319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman What again was the criteria for using Chans vs. MVar? <-- an MVar contains just one value, a Chan a FIFO queue of them... < 1398638583 565404 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1398638597 795621 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :aww, the embed doesn't work < 1398638604 299263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i need to do something about this race condition between @tell'ing and /whois'ing < 1398638605 580099 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's playing ... either the mp3 or ogg, I think < 1398638649 675330 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The mp3, based on that's what my browser decided to download < 1398639213 120329 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, i don't understand < 1398639217 299308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ⨳ < 1398639218 24878 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2A33 SMASH PRODUCT] < 1398639485 724316 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`unidecode \0 < 1398639486 276862 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+005C REVERSE SOLIDUS] [U+0030 DIGIT ZERO] < 1398639804 429371 :MoALTz!~no@user-109-243-247-192.play-internet.pl QUIT :Quit: bbl < 1398640736 402944 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398640868 464196 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1398641021 333280 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1398641083 659195 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1398641280 439466 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1398641361 343727 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Lost terminal < 1398641391 485353 :kwertii!~kwertii@unaffiliated/kwertii QUIT :Quit: kwertii < 1398641955 585202 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398642069 84297 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1398642325 687752 :^v!~notnot^v@rrcs-24-199-21-99.west.biz.rr.com JOIN :#esoteric < 1398642918 351053 :nooodl!~nooodl@18.169-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Leaving < 1398642993 749509 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric