< 1362873608 689168 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :olsner: the point being you need something to start it off, a compiler for L when there is no compiler for L presently. < 1362873696 606718 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I _know_ some Smalltalker has done something imminently relevant to this discussion and to Feather < 1362873699 93416 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Argh < 1362873722 820834 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :know as in you are guessing so, or know as in you remember somebody doing so? < 1362873740 884988 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also: if on this path you happen to find a good model of code serialization (not compilation) you should let me know about it < 1362873796 275002 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Know as in I remember someone doing so, although I guess the actual relevance of the project is questionable < 1362873807 972660 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I saw source code that started out in one language and turned into another < 1362873820 340684 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :isn't that just a compiler. < 1362873835 635143 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Oh, you mean like within a source? < 1362873837 728014 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes < 1362873843 456687 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I guess that seems a bit like Forth < 1362873847 279415 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But it wasn't Forth < 1362873865 878124 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I suppose it depends on what you mean by "language". < 1362873881 579968 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I mean if you write enough functions is that a language, if you write macros does that make it a language, if you alter the parser... < 1362873909 803253 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :At the very least the parser changed, but I think it was more fundamental than that < 1362873925 170173 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that sounds ugly and gross < 1362874034 888882 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I guess you could also incrementally alter the way the compiler works. < 1362874039 737144 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Found it < 1362874040 228760 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://piumarta.com/software/maru/maru-2.4/test-pepsi.l < 1362874063 631556 :tromp_!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :you can change binary lambda calculus into binary combinatory logic within 125 bits, but it all looks like 0s and 1s:-( < 1362874071 430705 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :'course it's piumarta < 1362874079 844734 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :piumarta? < 1362874086 795501 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.dynamic-languages-symposium.org/dls-06/program/media/IanPiumarta_2006_OpenExtensibleDynamicProgrammingSystems_Dls.pdf < 1362874096 527323 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yeah one of his papers < 1362874105 114811 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't get the "'course it's piumarta" < 1362874114 618972 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because piumarta does all this stuff < 1362874119 177410 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(piumarta is great) < 1362874121 933137 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :uhhhhh basically one of his papers had apply and eval as functions with definable multimethods < 1362874125 304671 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :and yeah that < 1362874143 432352 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you should look up maru if you haven't < 1362874147 456970 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the vpri stuff he does does things like < 1362874153 472576 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pasting in the diagram of a tcp packet from the rfc directly < 1362874160 59842 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and it gives you a parser for them < 1362874166 213474 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok that's awesome. < 1362874166 819081 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and that's how they define the packet structure < 1362874181 469858 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Going to go read this presentation < 1362874406 709191 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :http://piumarta.com/software/cola/ welp < 1362874420 784315 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :pepsi and cola? < 1362874426 467379 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there a theme here < 1362874429 714813 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :guess he's thirsty < 1362874439 409034 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :maru is named after some cat though < 1362874569 548435 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Pepsi -- not quite The Real Thing < 1362874571 80814 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :" < 1362874624 971879 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"(a white-paper advocating widespread, unreasonable behaviour) < 1362874625 122094 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :" < 1362874678 653503 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think ais523 would like this < 1362874680 965265 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe? < 1362874727 702280 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe < 1362874823 245020 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe I'll understand this COLA stuff if I read the whitepaper < 1362874824 998173 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Reading it now < 1362874835 830391 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :and lo was sgeo drowned in sodas < 1362875083 165456 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl PRIVMSG #esoteric :i feel like writing a lightweight graph-oriented p2p distributed database < 1362875100 973458 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :go 4 it < 1362875114 747398 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl PRIVMSG #esoteric :but then i think about network programming and I'm like NO < 1362875169 963935 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"(Readers under the age of 35, or those never significantly exposed < 1362875170 113750 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :to an anglo-saxon culture, might have trouble figuring this one out.)" < 1362875182 585190 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Was there some sort of ad campaign where Pepsi was called fake? < 1362875187 997134 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A fake Coke? < 1362875217 736428 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :new coke I think < 1362875221 350617 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :New Coke. < 1362875230 603699 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :scandal of the century < 1362875237 836258 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Personally I prefer Fentimans < 1362875243 166384 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :The cola of Hexham < 1362875259 258153 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I have a dire warning: If anyone here ever considers setting up WPA2 Enterprise at home, think again. The radius server configuration almost broke my mind. < 1362875303 872778 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :And don't talk to me about connecting windows clients to it. < 1362875306 432259 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal Enterprises Inc LLC GmbH is foiled once again. < 1362875318 882835 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, you forgot A/S and AB < 1362875332 562765 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :HHI superiority remains unsurpassed < 1362875333 650570 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh and Ltd < 1362875365 173411 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: LLC means the same as Ltd < 1362875369 108644 :Gregor!codu@codu.org PRIVMSG #esoteric :Of course, so does GmbH... < 1362875375 669840 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :well yes < 1362875384 37568 :Gregor!codu@codu.org PRIVMSG #esoteric :But LLC more literally does since they're in the same language X-D < 1362875390 580695 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Whoa < 1362875390 969738 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1362875396 827297 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, didn't know that, hm < 1362875405 978334 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :also SSL/TLS certificate infrastructure is weird < 1362875407 209190 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :My various nicks spell out the first three letters of my real name < 1362875427 9431 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Taneb, oh? < 1362875435 748219 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Taneb atriq Ngevd < 1362875438 101228 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :NaT < 1362875442 191449 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :NaThAn < 1362875450 650410 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :right < 1362875464 372606 :Taneb!~nathan@host-2-99-90-97.as13285.net NICK :hendiadys < 1362875486 402211 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, also I discovered two amusing bugs with this premium segment netgear router/AP < 1362875487 407080 :hendiadys!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Surprised this isn't taken < 1362875515 433934 :Gregor!codu@codu.org PRIVMSG #esoteric :hendiadys: Also free: Surprised < 1362875533 331901 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, both are related to not having the IP 192.168.1.1. Stuff breaks. For a start, RADIUS breaks, since it sends that IP hard coded in the RADIUS requests. Also it doesn't listen to telnet if that IP is not used. < 1362875546 389664 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This is going to give me a headache, isn't it? < 1362875547 510049 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Messaging is therefore self-describing (the semantics of sending messages to objects are < 1362875547 659931 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :described and implemented by sending messages to objects)." < 1362875548 511685 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: Is there a REASON you wanted Enterprise at home? < 1362875591 518887 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Sgeo: just call it "metacircularity" and you'll sound smart without having to get it < 1362875594 880962 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, because I could? And I'm paranoid and like the idea of using certificates to limit who can connect, after all I use keys-only for ssh < 1362875718 619557 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION gives up
< 1362875723 568688 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe I'll try reading it another day < 1362875728 89379 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, also hm, think of the possibilities with granting temporary access to guests, (using EAP-TTLS-MSCHAPv2 or PEAP obviously, using EAP-TLS would be far too annoying for that). Hey I could design a web interface for that < 1362875752 720625 :Gregor!codu@codu.org PRIVMSG #esoteric :“Because I could” → nope < 1362875755 750875 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl PRIVMSG #esoteric :IRN BRU < 1362875774 854549 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, well, a lot of the stuff that happens in this channel is "because I could" < 1362875788 780237 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: No, I mean, you clearly couldN'T ;) < 1362875804 846581 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, well I did manage in the end, I just suggest it wasn't worth the effort < 1362875815 846149 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh! < 1362875816 293442 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and probably will result in a lot of frustration < 1362875821 450813 :Gregor!codu@codu.org PRIVMSG #esoteric :OK, I thought you'd tried and given up. < 1362875827 256236 :Gregor!codu@codu.org PRIVMSG #esoteric :I don't think you said you got it working X-D < 1362875831 634244 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, I said it *almost* broke my mind < 1362875847 458791 :Gregor!codu@codu.org PRIVMSG #esoteric :In no way does that suggest whether you made it work or not. < 1362875855 333386 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, also it is an axiom that I do not give up until my mind is broken < 1362875865 75507 :Gregor!codu@codu.org PRIVMSG #esoteric :Right, that I didn't know X-D < 1362875876 324890 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, because I consider giving up as my mind breaking < 1362875900 762893 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :unless I can prove it impossible of course, which it clearly isn't in this case, since it is being used all over the place < 1362875911 606150 :Gregor!codu@codu.org PRIVMSG #esoteric :I try to keep my mind unbroken. < 1362875914 342352 :Gregor!codu@codu.org PRIVMSG #esoteric :So I give up before that point. < 1362875919 452232 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah okay < 1362876013 70011 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, anyway, the most annoying thing was probably how well Microsoft hid the checkbox for "do not prepend the computer name to the user name you enter in a totally different part of the property-dialog box tree thingy" < 1362876066 462326 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :at least OS X didn't really hide the configuration, it was in a logical place, just not shown on initial connection attempt < 1362876103 386339 :Gregor!codu@codu.org PRIVMSG #esoteric :So, you can have temporary guests so long as they go through some insanely complicated configuration process first? < 1362876157 214719 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, it isn't very complicated on the client side on linux or android though < 1362876161 589857 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net JOIN :#esoteric < 1362876166 537397 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :really simple there really < 1362876187 59555 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, but I have no idea why microsoft wanted to make it more complex than required < 1362876282 522474 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, actually, unless you use pattern lock or higher (that is, pin code or password), you can't seem to import the CA certificate of the RADIUS server on Android into the certificate store. < 1362876293 784771 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so I guess that could potentially count as complicated on Android < 1362876310 95786 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :not sure what sort of person wouldn't use at least pattern lock though < 1362876341 320333 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(nor can I imagine someone using password to unlock the screen of their phone, since the screen timeout is so short on a phone) < 1362876374 258330 :Gregor!codu@codu.org PRIVMSG #esoteric :I don't use a pattern lock. < 1362876379 439290 :Gregor!codu@codu.org PRIVMSG #esoteric :My phone doesn't lock. < 1362876382 38166 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh? < 1362876386 32614 :Gregor!codu@codu.org PRIVMSG #esoteric :Just swipe-to-go. < 1362876388 733989 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1362876399 517776 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :well I guess I found such an user then < 1362876412 949961 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I personally use pattern lock < 1362876695 629106 :hendiadys!~nathan@host-2-99-90-97.as13285.net QUIT :Quit: bedtime for hendiadys < 1362877326 403346 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 276 seconds < 1362877836 823731 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1362877868 831750 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1362878004 928855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : How much cheating would be acceptable in a Feather-like language? <-- i would think it is his unwillingness to cheat that makes ais523 crazy thinking about feather. otoh i doubt he would care about cheating that had no _observable_ effect. < 1362878115 610411 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does "results in the language actually being able to run on a computer" count as an observable effect? < 1362878173 690117 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :You mean the cheat is that it exists? < 1362878176 999424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :feather is runnable < 1362878191 703111 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you think it is inherently not you don't understand it... < 1362878252 566146 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :' I don't think a) is solvable, while remaining computable, but you can fake it using retroactive changes < 1362878252 716290 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :' < 1362878285 475379 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well, there you go, he's obviously fine with faking it! as long as it doesn't result in a parade of dumb jokes < 1362878341 838213 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dont forget the 2% community service. parade of dumb jokes is inevitable haven't you seen them < 1362878440 117849 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :`quote Bike.*joke < 1362878444 938275 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yeah whatever < 1362878447 732206 :HackEgo!codu@codu.org PRIVMSG #esoteric :888) i don't even know anything about feather and i'm getting sick of the time travel jokes < 1362878456 685047 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wait is that really the command < 1362878556 689545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which command < 1362879170 865449 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't like daylight saving time. How many other people in here hate daylight saving time? < 1362879340 608952 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :time sucks < 1362879373 752284 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you mean spacetime? < 1362879411 356698 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :no, i mean time < 1362879531 939281 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Space sucks too < 1362879607 249029 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i hate time in general but especially daylight savings time. the worst time. < 1362879908 21174 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net QUIT :Quit: hagb4rd < 1362879942 582054 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net JOIN :#esoteric < 1362880100 373815 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Are the papers mentioned in hoogle's readme interesting? < 1362880330 636659 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362880336 217775 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362881460 509526 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 264 seconds < 1362881749 41429 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm going to go watch some Farscape per Phantom_Hoover's suggestion. < 1362881850 102712 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yesssss oh shit does this mean i have to watch that thing < 1362881857 742369 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes. < 1362881868 869813 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :On the other hand, "that thing" is only 12 30-minute episodes. < 1362881870 609100 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :total < 1362881906 99363 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's that thing < 1362881909 425817 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also, even if it seems not interesting for the first few episodes, keep with it. Telling you how long to keep with it would be spoily < 1362881914 685077 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Puella Magi Madoka Magica < 1362881920 384192 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that was my guess < 1362881992 249056 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think Fiora already spoiled ~the twist~ but also i have since forgotten what it is < 1362882038 207344 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey Farscape's on Hulu :D < 1362882089 308719 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I wonder if the calculus of constructions with the axiom of choice would be equivalent to ZFC. < 1362882106 258642 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, fuck you americans < 1362882117 751450 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the tribulations i had to go through < 1362882121 125722 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :to torrent it < 1362882170 564922 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :How far could you get in defining V in the CoC? Start by defining a well-ordering. < 1362882180 666450 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i nearly gave up when the resolution inexplicably dropped to the size of a postage stamp in season 3 < 1362882204 491492 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's this "farscape" thing is it good < 1362882222 132688 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Mahō Shōjo Madoka Magika is actually fairly good, though it's very not-obvious at the start. < 1362882224 676698 :ion!ion@heh.fi PRIVMSG #esoteric :yes < 1362882227 116290 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Then, for each well-ordering n, say that V_n is any set of elements of V_m, where m < n, and if m and m' are isomorphic, then it contains the same elements of V_m as of V_m'. < 1362882260 23941 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :
ACTION blinks at the macrons. hoighty-toighty
< 1362882264 583763 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I doubt you can actually write that definition in CoC. < 1362882266 281645 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Sgeo: It's only slightly spoilery to say that it's a deconstruction. < 1362882274 321446 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hiss < 1362882279 852050 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Bike: I romanize stuff right. :P < 1362882289 186632 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: are you aware of any realistic fantastical anime? < 1362882290 560713 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, it's the SG-1 guy! < 1362882294 181619 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :mahou shoujou madouka magika < 1362882302 353138 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1362882303 399565 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: more realistic than the Fullmetal Alchemists, but it's allowed to be more fantastical as well. Or less. < 1362882314 708902 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I only watched one episode of FMA < 1362882324 205688 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :damned actor-stealers < 1362882325 280786 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :realistic how < 1362882327 950861 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Bike: Uh, only the first two "o"s are long. < 1362882328 145608 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I hope it was of the 03 and not the 09. < 1362882335 303223 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Bike: "Mahou Shoujo Madoka Magika" < 1362882336 444818 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tswett, I don't know < 1362882340 254671 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :pikhq: you doun't say < 1362882342 946939 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : what's this "farscape" thing is it good < 1362882343 715127 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :y < 1362882372 732622 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Realistic in the sense that there aren't very many things that obviously wouldn't have happened if it weren't necessary for the story. < 1362882384 607658 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :realistic/down-to-earth fantasy..? hmm < 1362882385 382664 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :realistic is the wrong word for that < 1362882395 257232 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :there is probably a right one but i dunno what it is < 1362882395 944970 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what a definition. < 1362882398 936046 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :naturalistic maybe < 1362882410 218714 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Yeah, I dunno what the best word would be. < 1362882420 529674 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :You should watch Haibane Renmei. (Hauiubauneu Reunmeuiu) < 1362882423 906981 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I watched two episodes of Smallville; it seems to be a good antiexample of what I'm talking about. < 1362882449 139592 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's this "Hauiubauneu Reunmeuiu" thing is it good < 1362882454 660488 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess when I think of "realistic" anime with fantastical elements I think of things like patlabor < 1362882459 219582 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's pretty good < 1362882462 853817 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :A tornado strikes, and four people are almost killed. It just so happens that all four people are major characters in the story. < 1362882468 117658 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also it's by yoshitoshi abe if you like that guy < 1362882478 826171 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats anime < 1362882486 968672 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :who knows < 1362882489 439637 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Chinese cartoons. < 1362882500 204429 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Clark Kent's space ship takes off and crash lands itself in a corn field. I guess it's designed so that if there's no pilot inside, it just flies randomly. < 1362882503 921076 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, "Commander Kryten" < 1362882504 769290 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :wat < 1362882509 552070 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :monqy: Anime is short for animation < 1362882512 607770 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :crichton, you idiot < 1362882518 96962 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :zzo38: ah, that makes sense < 1362882519 1320 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :like michael crichton < 1362882531 266624 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :That little chip thingy is essential to the ship's functioning. So they put it on the exterior of the ship with nothing holding it down. < 1362882532 553575 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :tswett: that would be pretty entertaining in the real world, you must admit < 1362882539 69520 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Farscape is a combination of every single SF show ever, isnt it? < 1362882559 67735 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Is it a combination of Ultraviolet and Aeon whatever too < 1362882569 798555 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is farscape an anime < 1362882570 178392 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't think so < 1362882572 375540 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Flux apparently < 1362882575 136408 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Actors from SG-1, a name from Red Dwarf < 1362882580 535005 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :It's apparently every anime, monqy. < 1362882588 416698 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hm, is that good or bad < 1362882589 91288 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :probably would save us all a lot of time to watch it really < 1362882590 16862 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(yes I know the actors went from Farscape -> SG-1) < 1362882595 532978 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It still feels weird < 1362882595 683102 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i've heard some weird things about anime < 1362882608 662737 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :4things you wouldn't want to tell a child to know < 1362882611 437307 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i like how the name Sgeo is having trouble with is that of the ordinary american human < 1362882630 196774 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I've heard that if you call yourself kawaii in a mirror three times it becomes true, horribly true. < 1362882664 302228 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I've heard that most anime is made in Japan. < 1362882744 253820 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i've heard it's made by cuttlefish as part of a top-secret experiment to teach them a trade skill < 1362882758 838543 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :That would explain Ika Musume < 1362882781 389509 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=gUwQwtDpdE4 animes < 1362882842 678562 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hahaha Bike do you think we're stupid < 1362882850 949898 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :everyone knows it's vietnamese < 1362882938 106754 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I've never seen any Vietnamese TV. Maybe it's good. < 1362884001 176589 :nooodl!~nooodl@91.177.50.217 QUIT :Ping timeout: 248 seconds < 1362884131 592436 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Will ISE WebPACK run on a VM running CentOS and which is not connected to the internet? < 1362884294 713370 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, I'll re-watch tomorrow. Kind of annoying trying to watch with TV in background, can't hear what aliens are saying < 1362884325 177928 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362884346 734178 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362884346 922204 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362884580 754315 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :All right, I'm watching Ha-Re. < 1362885844 805114 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Ping timeout: 248 seconds < 1362885846 281926 :ineiros!~itniemin@bayesianconspiracy.org QUIT :Ping timeout: 264 seconds < 1362885851 881286 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1362885872 328287 :ineiros!~itniemin@bayesianconspiracy.org JOIN :#esoteric < 1362886322 204311 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362886440 58074 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1362886515 829335 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think the TOGA computer could be implemented using only two 7400 series ICs. < 1362886544 193943 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(This is not including the ROM, RAM, and clock, but those aren't a part of the CPU) < 1362886611 220128 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1362886862 678685 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: I like this attitude to impurity < 1362886872 453871 :ion!ion@heh.fi PRIVMSG #esoteric :hehe < 1362886875 634479 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :racial? < 1362886887 800547 :ion!ion@heh.fi PRIVMSG #esoteric :bike: Even worse < 1362886909 307009 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Is this a red cow thing < 1362887137 192319 :sebbu2!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362887137 498761 :sebbu2!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362887137 648950 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362887265 179636 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362887467 491969 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362887473 175880 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362887798 109826 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1362888072 617647 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Specifically 74175 and 74161 < 1362888281 839006 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: you could use a 555 (and a few passive linear components) for the clock, which isn't 7400 series but is carried by the same sort of distributors < 1362888401 725750 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: OK, I suppose it can. < 1362888870 173995 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 264 seconds < 1362889200 588145 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362889796 325147 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1362890370 162685 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1362890736 311167 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1362890916 250416 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What's the difference between maru and cola? < 1362891545 2292 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t (a -> b) -> (b -> a) -> IORef a -> IORef b < 1362891546 438457 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :parse error on input `->' < 1362891555 636750 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :derp < 1362891560 495544 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle (a -> b) -> (b -> a) -> IORef a -> IORef b < 1362891561 90561 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Prelude until :: (a -> Bool) -> (a -> a) -> a -> a < 1362891561 304144 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Prelude (.) :: (b -> c) -> (a -> b) -> a -> c < 1362891561 454333 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Function (.) :: (b -> c) -> (a -> b) -> a -> c < 1362892344 673424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :IORef isn't Invariant < 1362892413 986713 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Invariant? < 1362892420 518989 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@hackage invariant < 1362892420 869858 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :http://hackage.haskell.org/package/invariant < 1362892509 6870 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If there was a way to get notified when an IORef changed, could IORef be made invariant? < 1362892516 442489 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wow, the hackage page on IO is huge < 1362892524 844008 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: that shouldn't really be surprising < 1362892544 564567 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's not, but it's still the biggest page i've seen on hackage < 1362892546 622012 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically because anything that interacts with system calls has to be in IO, and there are a lot of system calls < 1362892557 595417 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and a lot of sugar-around-system-calls, too < 1362892562 912185 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :"File and directory names are values of type String, whose precise meaning is operating system dependen" oh boy < 1362892599 223822 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle () < 1362892599 761796 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :System.FilePath.Windows () :: FilePath -> FilePath -> FilePath < 1362892599 912091 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :System.FilePath.Posix () :: FilePath -> FilePath -> FilePath < 1362892614 931991 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm… Cyrillic is a lot easier to read if your default interpretation of letters is as Greek < 1362892620 394375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rather than as English < 1362892626 429146 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :seems to be a lot of inspiration from there < 1362892633 902581 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :cyrillic developed out of greek and english developed out of latin < 1362892640 556294 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: for aimake2 I invented an OS-independent filename format < 1362892662 400327 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: FilePath is broke as hell :( < 1362892687 97556 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for relative paths, it's dir/dir/dir/dir/filename, for absolute paths, it's root/dir/dir/dir/dir/dir/filename, there's a boolean saying whether it's relative or absolute, and any slashes, colons, and backslashes in the components are escaped with backslashes < 1362892697 398883 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, did you look at cola and maru? < 1362892700 377146 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(colons are escaped so that colon can be used as an end-of-string marker when embedding them in longer strings) < 1362892701 877558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: no < 1362892708 965030 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cola is a sort of soft drink, isn't it? < 1362892711 869839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I don't know what maru is < 1362892715 428396 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :a cat < 1362892719 138678 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@google maru cat < 1362892721 88418 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :http://www.youtube.com/watch?v=8uDuls5TyNE < 1362892724 738 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :perfect < 1362892742 201627 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, Cola: http://piumarta.com/software/cola/ < 1362892757 358256 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maru: http://piumarta.com/software/maru/ < 1362892776 508376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: it's sort-of like you're doing that thing zzo38 does where you talk about something out of context, without indications of what it is and why other people should be interested in it < 1362892787 231041 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and tend to not get a response for that reason < 1362892832 359981 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, it vaguely reminds me of your motivations for Feather. Cola is supposed to be completely self-describing < 1362892842 940408 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"is completely self-describing (from the metal, or even FPGA gates, up) exposing all aspects of its implementation for inspection and incremental modification;" < 1362892857 279172 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :btw i think i'm far enough along in lyah to write a monad tutorial < 1362892932 610898 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: that wasn't really the motivation for Feather, directly, or at least it's only half of it < 1362892949 510703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the point of Feather is that it has to not require a huge amount of complex structure to accomplish that < 1362892965 228489 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh, maru is tiny < 1362892970 387416 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. all the complexity should be added on lata < 1362892976 372239 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's like what, a few pages of C and then three of itself? < 1362892978 543910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*later < 1362892989 856979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, the pages of C disappoint me < 1362893027 178247 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Anyway Another Haskell Question: Why does, say, digitToInt throw an exception instead of return a Maybe Int or what have you? < 1362893064 78150 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, whenever you have questions of that sort, where a different meaning of a function or whatever would make more sense, it's probably "idiotic historical reason" < 1362893073 218696 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, maru just looks to me like yet another lisp < 1362893078 428717 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if it isn't lisp < 1362893085 450135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the interest seems to be the fact that it has a self-hosted compiler < 1362893094 962124 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is true of basically every functional language in existence < 1362893099 966660 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Sgeo: I try not to assume sad things. < 1362893123 569263 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even brainfuck has a self-hosted compiler < 1362893133 598527 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Plus there could be other reasons. < 1362893152 156056 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Like, should there be an Error monad you can stuff whatever information into? Where would you use that and not Maybe? Bla bla. < 1362893166 153575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: there's Either < 1362893181 396897 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: btw, is EitherT possible as a monad transformer, or doesn't it make sense? < 1362893221 48978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I still don't have a good intuitive model of what a monad transformer actually is/does < 1362893291 140350 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A monad transformer makes a new monad from some other monad, by homomorphism, I think, isn't it? < 1362893305 406767 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There is EitherT monad transformer, in some package < 1362893328 607684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, so I guess it does make sense < 1362893339 670688 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: Maybe is a monad < 1362893345 142305 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: EitherT exists, sure < 1362893355 208459 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :does that answer my question in a way i don't see < 1362893358 103637 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: oh I guess not < 1362893370 575428 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: anyway as a common lisper you should be accustomed to things being stupid because people were idiots once < 1362893375 892987 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :your whole language is an example < 1362893377 746597 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :quite < 1362893402 239486 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh yeah, EitherT makes sense because it's equivalent to (and likely implemented as) manually packing and unpacking an either at every >>= and return < 1362893405 36116 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :did lisp kill your parents or something, also < 1362893409 989123 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1362893413 576660 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how did you discover my secret < 1362893413 954443 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe can be like Either () < 1362893421 275566 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :a doodyheaded orphan < 1362893425 341136 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you're truly a scoundrel, sir < 1362893438 700885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: btw is it wrong that in OCaml, I use List as Maybe for nicer syntax and better library support? < 1362893450 909708 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what's wrong is ocaml < 1362893454 868455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(ocaml also killed my parents) < 1362893466 521739 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There ought to be Alternative and MonadPlus for Either x, too, if x is Monoid; but, there isn't. < 1362893508 351724 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I've heard that mp4 or is it mp5 is nice? < 1362893516 28689 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or.. whatever the macro-y thing for OCaml is < 1362893520 899495 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :mp4 < 1362893569 975370 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mp3 < 1362893586 187691 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :camlp4, i guess < 1362893587 650829 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :catchy! < 1362893604 255410 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :http://www.podval.org/~sds/ocaml-sucks.html i really shouldn't google things < 1362893656 609877 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i should just live in a box, in connecticut. < 1362893660 336424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i read that page once and thought it was silly and went up to the enclosing directory and saw a link to esr's "Anti-Idiotarian Manifesto" and then I decided to ignore everything they say forever < 1362893664 779524 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :true story! < 1362893676 390023 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nice. < 1362893678 161452 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well half silly and half obviously dumb things < 1362893682 844484 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er as in obviously dumb about ocaml < 1362893685 622351 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(this is because ocaml is dumb) < 1362893687 370378 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :btw esr came by #lisp the other day < 1362893699 978057 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :he was convinced to use python instead < 1362893704 982786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: by #lisp? < 1362893716 827808 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :the channel < 1362893719 116130 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and were they trying to convince him to use lisp, or to not use lisp? < 1362893744 534822 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh, he wanted to make some python thingamajig faster and he said something about liking lisp back when he was an undergrad bla bla bla < 1362893780 925120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: Haskell is the Java of functional programming languages, it lives too many levels of abstractions up despite that being technically correct < 1362893780 925306 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :"Additionally, functions take a fixed number of arguments, so, to multiply three numbers, you have to call Int64.mul twice." < 1362893812 780258 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :varargs are nice, but I wouldn't really use * as a crowning example < 1362893816 439690 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I would use lift. < 1362893816 752268 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: random FUD nonsense is the IRC statements of ais523? < 1362893817 423594 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: and to multiply an arbitrary number of numbers, you use fold < 1362893832 320947 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I'm just trying to be as inflammatory as you, but I'm not very good at it :( < 1362893835 321180 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like this "No Polymorphism" section which amounts to "the compiler can't infer rank-2 types" < 1362893843 483018 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: well the trick is you just say things suck < 1362893846 485443 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :people can figure out why for themselves < 1362893862 119128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1362893872 973210 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i just like the horror i'm hearing in the voice < 1362893877 944600 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you have to call the function TWICE < 1362893908 555756 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in practice it's hard to implement a varargs multiplication that doesn't operate internally via splitting it into separate multiplications < 1362893936 283202 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"higher order functions taking higher order functions as arguments": couldn't he just say "third order functions"? < 1362893958 286537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's like saying "numbers greater than 1, and by more than 1!" < 1362893968 366331 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :peano haskell < 1362894006 609756 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Pattern matching < 1362894006 759974 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :This is a very powerful tool, should be easily implemented as a Lisp macro using DESTRUCTURING-BIND. < 1362894012 337730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is the most smug lisp weenie page ever < 1362894058 34200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some of the things he lists as disadvantages, such as inability to redefine the internals of a module out underneath it, are probably not actually disadvantages < 1362894108 238468 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION would consider that a disadvantage...
< 1362894126 4293 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you can't definedly do it in cl anyway `-` < 1362894130 489432 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or... hmm, maybe allow modules to define points at which internals are allowed to be redefined? < 1362894171 897337 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Perhaps it would be good, to allow modules to define the point at which internals are allowed to be redefined, possibly. < 1362894182 443193 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It might help a few things, possibly? < 1362894204 548863 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, why is "Assembly" written in a fixed-width font? I can sort-of see that for the names of other languages < 1362894212 482366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but "Assembly"? < 1362894217 324221 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :or just define defineable things you can piggy back your own behavior on, like typeclasses or generics < 1362894217 854624 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Consistency? < 1362894222 804568 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362894246 171443 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362894596 412965 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, apparently IO (IORef a) is a monad < 1362894657 701075 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION goes to read http://blog.ezyang.com/2011/06/the-iva-monad/
< 1362894852 60036 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But fmap runs I/O actions so it doesn't seem a functor? < 1362894901 481195 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually, perhaps that is OK, because it only does readIORef and newIORef < 1362894911 971252 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It never writes them, so it is OK, I guess < 1362895009 261567 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362895027 796259 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually, no, I don't think so, since other things could still access the IORef < 1362895071 670094 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And to compare them < 1362895098 912316 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Meaning that fmap id = id doesn't hold because it is a different IORef, so won't be equal < 1362895157 554660 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Therefore it isn't a monad < 1362895203 851661 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The value inside the IORef would be the same though < 1362895207 99680 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh... hm < 1362895250 848292 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But other things can still write to IORef and check if one is equal to another < 1362895292 916339 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I am talking about the "R" monad which they defined) < 1362895911 528112 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :do { a <- runR r; b <- runR (id <$> r); print (a == b); } won't be equal even if do { a <- runR r; b <- runR r; print (a == b); } is (although that too might be unequal, but it might be equal, too; but the first one is unequal regardless of if the second one is equal or unequal) < 1362895980 172277 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But there is read-only IORef types, specifically (CoYoneda IORef) < 1362896138 974184 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have no idea waht CoYoneda is < 1362896156 450101 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@hoogle CoYoneda < 1362896156 618705 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :No results found < 1362896176 241346 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :good name though < 1362896187 575753 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :let's just name everything after that guy. < 1362896224 514618 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is the left Yoneda lemma < 1362896267 806925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Anyway Another Haskell Question: Why does, say, digitToInt throw an exception instead of return a Maybe Int or what have you? <-- digitToInt is mainly intended to use with readInt, which takes a separate function to test whether the digit is in range. < 1362896325 402548 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :CoYoneda :: forall f x y. (x -> y) -> f x -> CoYoneda f y; is I think, its definition < 1362896359 258517 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :edwardk has called it Yoneda, but he also called the right Yoneda lemma also Yoneda, which causes confusion. < 1362896543 928783 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You cannot write to the IORef in CoYoneda IORef because the type which it stores cannot be known. < 1362896574 581250 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 252 seconds < 1362896623 734254 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But you can read it by readCoYonedaIORef (CoYoneda x y) = x <$> readIORef y; < 1362896776 519102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fetch http://oerjan.nvg.org/esoteric/emmental/ul.emm < 1362896821 983550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats HackEgo -----###
< 1362896840 503791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ping < 1362896854 621371 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-03-10 06:27:33 URL:http://oerjan.nvg.org/esoteric/emmental/ul.emm [16417/16417] -> "ul.emm" [1] < 1362896856 794495 :HackEgo!codu@codu.org PRIVMSG #esoteric :pong < 1362896861 380299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whew < 1362896926 67981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`emmental -f ul.emm -e ((Ho hum)!:aSS)(Ho hum)!:aSS < 1362896927 735953 :HackEgo!codu@codu.org PRIVMSG #esoteric :emmental: emmental.hs:42:1-56: Non-exhaustive patterns in function pop < 1362896937 663848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :funny guy < 1362896996 129435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh duh < 1362897037 302398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e '((Ho hum)!:aSS)(Ho hum)!:aSS' < 1362897040 775168 :HackEgo!codu@codu.org PRIVMSG #esoteric :​((Ho hum)!:aSS)(Ho hum)!:aSS < 1362897045 214165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go! < 1362897182 149855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e '(0)S((0)(1))(~:^:S*a~^~*a*~:^):^' < 1362897206 998088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's a possibility it's too slow for that. < 1362897213 942363 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362897257 603913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e '(0)S((0)('"\n"'))(~:^:S*a~^~*a*~:^):^' < 1362897288 785829 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362897294 611760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1362897308 384484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo -f ul.emm -e '(0)S((0)('"\n"'))(~:^:S*a~^~*a*~:^):^' < 1362897309 585471 :HackEgo!codu@codu.org PRIVMSG #esoteric :​-f ul.emm -e (0)S((0)(\n))(~:^:S*a~^~*a*~:^):^ < 1362897319 314004 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it's not an actual newline < 1362897394 273707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo -f ul.emm -e $(echo '(()(*))(~:^:S*a~^a~!~*~:('; echo '/)S^):^') < 1362897395 944253 :HackEgo!codu@codu.org PRIVMSG #esoteric :​-f ul.emm -e (()(*))(~:^:S*a~^a~!~*~:( /)S^):^ < 1362897407 833674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo -f ul.emm -e "$(echo '(()(*))(~:^:S*a~^a~!~*~:('; echo '/)S^):^')" < 1362897409 504084 :HackEgo!codu@codu.org PRIVMSG #esoteric :​-f ul.emm -e (()(*))(~:^:S*a~^a~!~*~:( \ /)S^):^ < 1362897419 150637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e "$(echo '(()(*))(~:^:S*a~^a~!~*~:('; echo '/)S^):^')" < 1362897450 533654 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362897461 552834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e "$(echo '(()(*))(~:^:S*a~^a~!~*~:('; echo '/)S^):^')" | head -5 < 1362897492 860259 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362897499 312273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it worked on my computer :( < 1362897572 24424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e "$(echo '((y'; echo ')S:^):^')" | head -5 < 1362897603 421011 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362897627 748536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e '(:aSS):aSS' # This worked a moment ago < 1362897631 457954 :HackEgo!codu@codu.org PRIVMSG #esoteric :​(:aSS):aSS < 1362897673 313173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e "$(echo '((y'; echo '):*:*:*S')" < 1362897676 908062 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362897682 565212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1362897688 140171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo -f ul.emm -e "$(echo '((y'; echo '):*:*:*S')" < 1362897689 908783 :HackEgo!codu@codu.org PRIVMSG #esoteric :​-f ul.emm -e ((y \ ):*:*:*S < 1362897695 932637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh duh < 1362897699 802845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo -f ul.emm -e "$(echo '(y'; echo '):*:*:*S')" < 1362897701 295514 :HackEgo!codu@codu.org PRIVMSG #esoteric :​-f ul.emm -e (y \ ):*:*:*S < 1362897708 891260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run emmental -f ul.emm -e "$(echo '(y'; echo '):*:*:*S')" < 1362897712 370925 :HackEgo!codu@codu.org PRIVMSG #esoteric :y \ y \ y \ y \ y \ y \ y \ y < 1362897719 997015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1362897751 245429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well no use trying anything bigger :P < 1362897817 996998 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1362897826 118333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hello! < 1362897838 324542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my underload implementation in emmental is slow! < 1362897885 963483 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Is it being too fast < 1362897889 93127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is expected, really - it optimizes for minimal number of instructions and reserved symbols, not speed. < 1362897911 672319 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`cat ul.emm < 1362897913 672177 :HackEgo!codu@codu.org PRIVMSG #esoteric :​###1-1111-1#11#1-! \ ###1-1111-1#11##1##1--1--! \ ###1-1111-1 #1#11-11 # ! \ ###1-1111-1 ####1-11-11- #1 ! \ ###1-1111-1 ##1##1--11- #11 ! \ ###1-1111-1 #1#1##1--11- #11##1-1- ! \ ###1-1111-1 #1##1--111 #1##1-- ! \ ###1-1111-1 ###1#11-1-1- #111111 ! \ # \ ###1-1111-1 \ ######1###1###1###1##1###1###1##1 ###1##1####1##1#1##1##1#1 \ ####1## < 1362897922 407046 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Err < 1362897924 449552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and i suspect the emmental interpreter isn't optimal either.) < 1362897931 513054 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I just read some blatantly false documentation on Hackag < 1362897933 504808 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hackage < 1362897938 980772 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`file bin/emmental < 1362897941 317156 :HackEgo!codu@codu.org PRIVMSG #esoteric :bin/emmental: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, not stripped < 1362897958 264694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh "minimal number of instructions" is "minimal number of _different_ instructions". < 1362897958 463633 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(And by blatantly false I mean it says it returns a True or False when neither is in sight in the type) < 1362897965 658800 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :can I see, sgeo? < 1362897968 638693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's not golfed. < 1362897979 936409 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/IfElse/0.85/doc/html/Control-Monad-IfElse.html < 1362897981 748701 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :awhen < 1362897996 787529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`file src/emmental.hs < 1362897998 419606 :HackEgo!codu@codu.org PRIVMSG #esoteric :src/emmental.hs: UTF-8 Unicode English text < 1362898006 484901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: you might try that. < 1362898013 867942 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :these docs seem just kind of bad < 1362898021 210839 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1362898037 831669 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :(also isn't cond just guards or) < 1362898054 977134 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh, a list, duh < 1362898059 51025 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :fuck < 1362898078 836782 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`url src/emmental.hs < 1362898082 106376 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/emmental.hs < 1362898156 272968 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Authored by Ørjan Johansen. < 1362898172 898838 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://github.com/mmirman/ImperativeHaskell/blob/master/Main.hs < 1362898250 933670 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://kormacode.blogspot.com/2011/11/c-style-haskell_10.html < 1362898294 367669 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t (=<<) < 1362898296 139818 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Monad m => (a -> m b) -> m a -> m b < 1362898310 2491 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :... < 1362898428 348465 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: its flip (>>=) < 1362898495 554778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: um the Emmental interpreter is cpressey's, i just modified it a little to make it useable on HackEgo. < 1362898511 536934 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :elliott: yes the "..." was the lack of sound of me imagining slapping my forehead. < 1362898530 841611 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/simple-observer/0.0.1/doc/html/src/Control-Observer-Synchronous.html < 1362898533 327406 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :but: is there a point to that behind syntactic convenience < 1362898541 801983 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well it e.g. matches the order of ($), (<$>) < 1362898546 875186 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why does this use MVar instead of... TVars or IORefs? < 1362898558 988429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you may find more at http://esolangs.org/wiki/Emmental#Computability_class < 1362898561 456541 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you just going to go through random packages on haskell and ask us why they're wrong all day.... < 1362898564 458531 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*hackage < 1362898591 627139 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :sgeo could become a masked haskell vigilante < 1362898619 500724 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: "Haskell program" is a 404 HTH HAND < 1362898629 717529 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :a shuriken strikes above my head. "you don't need a lambda there!" it is the Mask < 1362898641 395746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1362898643 967117 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :maskell? work with me sgeo < 1362898671 942573 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: "By the necessities of this kind of Emmental programming, 10 byte values have been reserved for the interpreter's internal use. These are all non-printable control codes." pfft, you should have taken the opportunity to use []<> < 1362898672 928074 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :The masked raskell < 1362898704 646114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: try now, i somehow switche Unl and Emm in the filename :P < 1362898711 985242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*switched < 1362898727 795124 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yep that works < 1362898734 775635 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :has an encoding problem, though < 1362898738 931626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what < 1362898750 901791 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : - By Ørjan Johansen, February-March 2013. < 1362898759 180684 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :possibly IE manages to guess the right encoding there. < 1362898768 735061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um it's UTF-8 < 1362898776 259833 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but your server is not transmitting that fat < 1362898777 299537 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*fact < 1362898786 314155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*sigh* < 1362898786 476486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and hence it's failing to display the non-ascii utf-8 in my browser) < 1362898787 545699 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I do not understand OI at all < 1362898807 724275 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also: lens and a license that actually exists? and type signatures??? the enterprisey age of oerjan begins < 1362898810 54990 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that is a fantastic name, assuming it's some kind of opposite of IO < 1362898826 817992 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/oi/0.2.1.0/doc/html/Data-OI.html < 1362898837 295615 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :and by fantastic i mean laughing for a few minuts straight followed by ramming my head into a wall in pained desperation < 1362898845 332652 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it hurts sgeo. it really hurts < 1362898867 836767 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :as I understand it OI doesn't work. < 1362898886 194537 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :«Datatype for intermediating interaction: OI has two states (programmer cannot distinguish), non-expressed and exressed. `Non-expressed' indicates that no computation is assigned. In other words, it's value is never denotated by any expression. » is it wrong to judge a library by its docs grammatical errors < 1362898897 177596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i even imported all modules either qualified or with import lists < 1362898899 379868 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :(if it is i want to be right. sorry) < 1362898908 252033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(even lens, it was shorter than i feared) < 1362898932 567640 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: there is Control.Lens.Operators for when you want to import Lens qualified but still use the infix, btw < 1362898972 944469 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though I view explicit import lists for "standard" packages like base and containers as insanity-inducing. and then add lens to that list to avoid additional insanity. < 1362899068 577664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: the thing is that other people view packages missing explicit import lists a insanity-inducing when they break on the slightest upgrade < 1362899085 675087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*as < 1362899115 451969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly i only added the list for lens at the last minute. < 1362899133 114486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well the point is that base etc. are standard. and that the time you spend maintaining those import lists is longer than the time it takes to fix stuff on upgrades, especially when versioned dependencies mitigate the problem. (ghc has policy not to use them for this reason btw) < 1362899145 919787 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and then you add lens even though it isn't stable at all because every rule needs an exception :P < 1362899167 218398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: the insanity is when someone _else's_ package breaks and you cannot get hold of them to fix it. < 1362899173 911591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or so i hear. < 1362899182 266202 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ah. so you believe your coding style has an influence on the world :P < 1362899190 305057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nah. < 1362899199 915196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just felt like being enterprisy. < 1362899202 273878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ey. < 1362899245 692868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like, i commented almost everything, added type signatures to just about everything, used the prettyprint module... < 1362899254 172261 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and lens. < 1362899272 776208 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm proud of you, son < 1362899294 432627 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :should there be a book like Real World Haskell, except Enterprise Haskell instead of that thing i just named < 1362899299 718330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and did a couple of refactorings. < 1362899320 152232 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: should there be something like jazz, but more like a banana < 1362899324 714692 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :instead of jazz < 1362899331 542877 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thinking.... yes < 1362899336 642726 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :fuck bananas, though < 1362899345 259482 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also that already exists: free jazz. < 1362900040 242546 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I try to install one simple package, and it feels like it's compiling half of Hackage < 1362900138 641173 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :What does it feel like to compile half of Hackage? < 1362900163 368412 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It feels like I should go to sleep instead of waiting up for this thing to finish < 1362900176 840266 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Well you did lose a whole hour. < 1362900228 703509 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :asjdfhklasjdfhlaksjdfh < 1362900247 89374 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The actual package that I wanted failed to compile because of lack of FlexibleContexts < 1362900674 318675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: FEATURED LANGUAGE BLURB NOW INACCURATE, HTH < 1362900693 158047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( damn you) < 1362900900 92186 :Garuda!~Garuda@117.203.225.45 JOIN :#esoteric < 1362900918 829790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: its ais523's job < 1362900927 441161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1362900999 432672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fixed < 1362901004 130195 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ofc, it's a wiki, you could fix it yourself :) < 1362901016 722315 :Garuda!~Garuda@117.203.225.45 PART #esoteric :"Leaving..." < 1362901018 939376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OH < 1362901039 922052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wasn't sure how to formulate, he claims
< 1362901095 533975 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also people aren't used to just casually editing the main page < 1362901127 147432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a black hole of templates < 1362901193 624617 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rip garuda < 1362901207 873462 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: for what it's worth, I'd rather they don't get into the habit. because do you remember NSQX. < 1362901232 2430 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it's OK if they're oerjan < 1362901238 820337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YAY < 1362901241 704958 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nsqx? < 1362901248 56103 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, I should just make oerjan an admin. that way he'd be obligated to fix this kind of stuff < 1362901249 935607 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :don't ask < 1362901251 57832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: um... < 1362901252 832107 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote NSQX < 1362901257 591971 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362901260 111034 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what. < 1362901260 781136 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Oh. < 1362901261 704308 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote NSQX < 1362901262 774641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`pastlog < 1362901263 774689 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362901265 873374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I don't think there are any < 1362901268 280095 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no, what, there was an NSQX quote < 1362901273 104669 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe it got penta`quoted < 1362901274 663932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote Well.*day < 1362901277 429239 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362901279 148861 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I'll wait here. < 1362901279 391212 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :HELP < 1362901280 694295 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`help < 1362901281 804184 :HackEgo!codu@codu.org PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1362901291 151774 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if someone removed it I will slay them < 1362901294 592753 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362901302 810571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: this is all your fault for getting people into the habit of deleting quotes hth < 1362901307 311176 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: here you go: < 1362901309 760164 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/rev/df5488147554 < 1362901310 818738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/rev/9673f347ec4d < 1362901319 160893 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the first one especially. < 1362901342 992696 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: those don't really get across how NSQX behaved < 1362901344 249158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so far he is the only person to have ever evaded a block on the esolang wiki < 1362901352 596281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: not counting spambots? < 1362901358 267556 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :those aren't people, ais523 < 1362901363 296519 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and possibly whoever it was who was impersonating lament? < 1362901363 544999 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :A very enthusiastic day. < 1362901390 423790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: this may also help http://esolangs.org/wiki/User_talk:NSQX < 1362901397 20724 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that was kind of boring though did y- oh < 1362901412 943382 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pictured: my skill at diplomacy gradually weakening < 1362901420 821306 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :btw enthusiasm isn't usually a quality that i would ascribe to units of time < 1362901455 232214 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh another good nsqx quote (nsquote) < 1362901456 61095 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :This seems like a good idea, and I support it, but I suspect NSQX will manage to mess it up somehow. —Maharba 05:45, 22 April 2012 (UTC) < 1362901466 758323 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nsqxote? < 1362901489 231690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :don nsqxote < 1362901495 163493 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wow it's weird seeing you like, write actual sentences < 1362901508 491164 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah i try to avoid doing it < 1362901512 432403 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :in the past < 1362901518 527581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, nsqx was less than a year ago < 1362901521 32764 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well < 1362901521 728406 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i guess that makes it ok, just don't do it again < 1362901524 13079 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought it was further back, somehow < 1362901532 682123 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :or in another place i can see it, retroactively speaking < 1362901536 779790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you should have seen my on-channel outburst when i woke up and the main page was totally fucked and recent changes had like 500 changes by one guy in it < 1362901545 875176 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it involved a lot of allcaps yelling asking what the fuck is going on < 1362901552 876949 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :that's what nsqx did? < 1362901576 953236 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/w/index.php?title=Main_Page&oldid=31480 < 1362901578 721937 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nsqx's main page < 1362901586 181103 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :except the template he used got deleted < 1362901596 571126 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also http://esolangs.org/wiki/Nonsense_Query_List. < 1362901633 376358 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :man, i've seen sql worse than that. < 1362901654 318252 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: are you sure about that being nsqx's main page? apart from the formatting error, it looks like the current one < 1362901664 249790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: oh right he also started botting < 1362901665 136187 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :14:11, 30 March 2012 (diff | hist) . . (0)‎ . . m UniCode ‎ (Wikipedia python library) < 1362901668 255101 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :14:11, 30 March 2012 (diff | hist) . . (0)‎ . . m UniCode ‎ (Wikipedia python library) < 1362901671 258617 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :14:11, 30 March 2012 (diff | hist) . . (0)‎ . . m UniCode ‎ (Wikipedia python library) < 1362901674 263584 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :14:11, 30 March 2012 (diff | hist) . . (+57)‎ . . m UniCode ‎ (Wikipedia python library) < 1362901678 83769 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yes he introduced a formatting error and the "most recent languages" thing < 1362901681 539382 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it took him about 50 revisions < 1362901684 268534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: right < 1362901694 464948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also how did the most recent languages work? manual updating? < 1362901699 621680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1362901702 562734 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :templated < 1362901705 732652 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :containing his language ofc :P < 1362901709 482049 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ofc < 1362901720 940801 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think Special:Newpages is transcludable < 1362901724 965 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you might be able to do it that way < 1362901737 612245 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :so elliott what's an example of a thing that doesn't fill you with rage? like let's say, an esolang < 1362901742 478795 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i like underload < 1362901753 226804 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and /// < 1362901759 308267 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think /// is my favourite or second-favourite esolang maybe < 1362901775 29969 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :fuck, everybody likes underload. < 1362901808 919378 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :who wouldn't like a language whose article's first section describes a specific aspect of the language and then goes on to admit nothing ever implemented it < 1362901821 494335 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :granted < 1362901821 644675 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :even i like underload…yikes! < 1362901854 44819 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :terrifying < 1362901855 919604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also as a rule we like things oerjan has a hard time programming in. < 1362901867 747303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what < 1362901872 435912 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well for instance, ///. < 1362901881 841599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well a language has to be at least moderately good (or dupdog) for people to seriously try programming it < 1362901886 92806 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you found underload a bit too easy so you had to make it terrible and remove 90% of it for it to appeal < 1362901887 178529 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Wait, what's the point of the reserved characters? < 1362901892 392887 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: there isn't one < 1362901900 165706 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they were meant to be for overload, the language underload is a tarpit of < 1362901900 315822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1362901904 287461 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: so you can output unmatched parens, etc < 1362901905 300706 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but overload doesn't exist < 1362901911 52204 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what the hell is - oh < 1362901913 618955 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: err, they don't let you do that < 1362901929 649467 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :at least not according to [[Underload]] < 1362901929 799545 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I have a few unfinished Overload interps lying around, which may or may not implement the same language < 1362901932 181718 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1362901944 678812 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I could try to dig them out? < 1362901953 860809 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also isnt underload a tarpit of like, joy < 1362901956 386240 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unfinished because I never manged to work out Overload's specs < 1362901960 5393 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: it's a tarpit of Overload < 1362901961 648620 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :or... i don't remember < 1362901966 716613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Overload has some similarities to Joy, but not that many < 1362901973 279205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i followed the same approach for emmental, btw < 1362901975 257859 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Underload removed most of the complexity that other languages don't have < 1362901982 298188 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Overload has pointers, for instance < 1362901986 525834 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: heh < 1362902005 735 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: do you like /// btw < 1362902009 733635 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i feel it's important for people to like /// < 1362902018 133146 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :man i feel like i should be compiling a fucking #esoteric talmud here < 1362902025 68241 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :there's just so much history and subtlety < 1362902043 26047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and if you're wondering how pointers work in a concatenative language < 1362902047 945806 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's, umm, interesting < 1362902067 221465 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well i wasn't wondering but now i sort of am < 1362902080 59541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :concatenative languages are pointless, duh < 1362902109 172166 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :you can still have a thing that points it's just that the points themselves are gone! < 1362902121 88477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1362902133 308591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh it also had goto < 1362902141 630446 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :um what < 1362902147 807791 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :23:53:25 monqy: do you like /// btw < 1362902148 45351 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :23:53:29 i feel it's important for people to like /// < 1362902148 507545 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362902160 455343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it encountered a literal pointer in source code < 1362902163 673617 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it interpreted it as a goto < 1362902176 820286 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and ^ was actually implemented by putting a pointer to the next statement at the end of the top stack element < 1362902184 270106 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then detaching and jumping to that stack element < 1362902194 376220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, ^ wasn't a primitive, you could implement it in the rest of the language < 1362902214 444582 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it is a primitive in Underload) < 1362902220 863636 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: here's the #esoteric history: hey guys remember those good days. no. no we don't. every day before now is complete shit and everyone in the past was awful < 1362902263 274173 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :elliott: no that's generalized history. what happens is that you go over all the complete shit with a fine toothed comb to find the little nuggets of digested shit and then you compile those into a book and let it rot for like a thousand years or so and then it's canon. < 1362902278 706268 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I dunno < 1362902292 6749 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there used to be more esolang discussion, but the offtopic discussion used to be more awful, too < 1362902300 231207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nowadays we have less esolang discussion, but more interesting offtopic dicussion < 1362903270 986176 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know if it is possible for a Verilog simulation to import and export MIDI files? < 1362903318 665359 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: I don't, although at least output seems likely < 1362903329 384898 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: as long as the book says that Bike sucks i'm ok < 1362903330 102781 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it would be easy if you had a preprocessor/postprocessor < 1362903381 818992 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :;_; < 1362903595 55224 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I am trying to think of how to do some specific kind of ordering of records having the same primary order (such as a timestamp), such that you can insert stuff before or after or in between any of them, move stuff, delete stuff, while still working. Does SQL even support such things? < 1362903735 658348 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: couldn't you just use a secondary ordering as a tiebreak? < 1362903756 932266 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: That is what I thought, but then it isn't "everywhere dense" < 1362903842 463917 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :SQL has no surreal number type, fraction type, or accurate real number type. < 1362903901 165836 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1362904153 631596 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1362904156 982492 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Possibly a custom collation might work, but I don't know of the speed or size of such things < 1362904348 335173 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What do you think is best? < 1362904393 757384 :Taneb!~nathan@host-2-99-90-97.as13285.net JOIN :#esoteric < 1362904486 280260 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :I did not expect this snow < 1362904492 241903 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :elliott, can you confirm snow? < 1362904507 734700 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :confirmed < 1362904642 959811 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my laptop said it was rainsnowing earlier, but I didn't look out of the window to check < 1362904645 944889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently it's now snowing < 1362904650 835511 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps I'll see if there's snow on the ground < 1362904677 709657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :observation results: I can't see snow on the ground < 1362904715 464316 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Yeah, but you're stupidly far midlands < 1362905017 92365 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there any better way than what I suggested? It could be made the index of these fields together, and then make a view which orders them and adds fields for before and after, so that you can make insert in between. < 1362905232 434026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*apparently it's now sunny with clouds < 1362905238 529511 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :weird typo < 1362905251 65227 :ais523!~ais523@unaffiliated/ais523 PART #esoteric :" fizzie: it makes demons fly out of my window, washing the windows api" < 1362906086 472412 :Yonkie!~Yonkie@ip.82.144.202.167.stat.volia.net JOIN :#esoteric < 1362906833 161245 :Bike!~Glossina@71-34-78-123.ptld.qwest.net QUIT :Quit: leaving < 1362906867 178450 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362909622 445387 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1362909996 658735 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :moin ihr stricher < 1362910070 853962 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :*wrongchan* < 1362910085 805264 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :scusi < 1362910771 772411 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ja < 1362910785 132337 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :die wenigsten hier sprechen überhaupt Deutsch vermutlich. < 1362910810 131823 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : I did not expect this snow <-- is it unusual at this time of year over there? < 1362910812 669992 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :ich dachte schon ich wäre der einzige < 1362910825 384630 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Mid march? Not unheard of, but yes unusual < 1362910829 143814 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :good morning together < 1362910837 899719 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Taneb, it is -10 C or so today here, was like +2 a couple of days ago though < 1362910958 785484 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Taneb, hm or is "here today" more idiomatic? < 1362910963 68766 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :rather than "today here"' < 1362910968 289002 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :s/'$// < 1362910973 986642 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Yes, I think it would be < 1362910979 640357 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah, good to know < 1362912025 801797 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Vorpal: https://en.wikipedia.org/wiki/Place%E2%80%93manner%E2%80%93time (and https://en.wikipedia.org/wiki/Adjective#Adjective_order for adjectives) < 1362912058 685474 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :.oO( senor vorpal kickasso? 9 < 1362912060 23786 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :) < 1362912133 847380 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362912223 781256 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Vorpal: you should be ready for random snow at least until may < 1362912492 989362 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :olsner, well yes < 1362912503 87037 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :why wouldn't you be < 1362912566 482747 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ah, I read the message the wrong way, I thought you were the one who didn't expect the snow < 1362912594 368409 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, interesting < 1362912612 749585 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :olsner, though i have to say, it is really rare in may < 1362912630 23226 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :at least in these parts of Sweden < 1362912635 173174 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :probably not rare up north < 1362913105 299676 :Taneb!~nathan@host-2-99-90-97.as13285.net QUIT :Ping timeout: 256 seconds < 1362914230 485629 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does vi or vim or emacs have a mode to ring the bell once a specified column is reached? < 1362914402 357760 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i hope not < 1362914417 121905 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what if i accidentally enable it? i do not want the bell < 1362914436 749127 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :is that what type writers had? < 1362914737 603874 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Some typewriters had such thing. < 1362914867 522922 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1362915067 370387 :nooodl!~nooodl@91.177.50.217 JOIN :#esoteric < 1362915900 179080 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362915900 366449 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362915908 190127 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Client Quit < 1362916111 247686 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Why does reactive-banana have filterJust when Data.Maybe has catMaybes < 1362916119 434411 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t filterJust < 1362916121 345302 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `filterJust' < 1362916123 94310 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t catMaybes < 1362916124 838122 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[Maybe a] -> [a] < 1362916169 709513 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :because bananas hate cats and maybes < 1362916233 293056 :ion!ion@heh.fi PRIVMSG #esoteric :simianMaybes < 1362916331 567776 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :catMaybes also seems that can be written in many ways, such as: catMaybes = (>>= toList); or catMaybes x = do { Just y <- x; [y]; }; or in other ways too, I guess. < 1362916400 431216 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t toList < 1362916402 96639 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `toList' < 1362916402 257900 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these: < 1362916402 408206 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `Data.Foldable.toList' (imported from Data.Foldable), < 1362916448 757238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: because it works on Behaviors instead iirc? < 1362916452 238741 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: I personally would have written it as a fold, but the monadic version might be better < 1362916471 440993 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: Rather than lists? < 1362916506 466938 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1362916544 99482 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Fair enough < 1362916552 75135 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: You could fold too, but toList is foldable, anyways. < 1362916600 284823 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You can do (Foldable f) -> f (Maybe a) -> f a < 1362916605 93978 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Which is more general < 1362916623 19776 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: ...no you can't. < 1362916629 323573 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and Behavior can't be an instance of Foldable) < 1362916644 917077 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: Oh right, you'd need to know the constructor < 1362916678 381817 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Foldable does not imply Functor; Foldable just means it can be converted to a list. < 1362916722 224140 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well you can't do it for Functors < 1362916732 964665 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :At least not without additional restraints too < 1362916735 582009 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, you can't do it for Functors either. < 1362916771 592795 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You could do it for Alternative. < 1362916824 94884 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Or for Functor+Plus. < 1362916949 709979 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually, I don't think so. < 1362916958 538055 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But you could with MonadPlus. < 1362916964 880109 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Alternative is not enough. < 1362916987 903733 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How do some and many work anyway < 1362917021 744338 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :catMaybes = (>>= maybe mzero return); < 1362917046 438782 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :FreeFull: badly < 1362917052 766207 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :FreeFull: alt. they don't < 1362917065 310240 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I seem to get bottom for anything but Nothing < 1362917068 992857 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :FreeFull: alt. they only make sense for things like parser combinators < 1362917088 503516 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t \x -> do { Just y < x; return x; } < 1362917090 169862 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `m0 a0' with actual type `Bool' < 1362917090 320108 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : In a stmt of a 'do' block: Just y < x < 1362917090 320295 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : In the expression: < 1362917091 231540 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but if you think of them in terms of applicative parsers they make perfect sense < 1362917097 944787 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, some and many can do other things too, but mostly for parsers. < 1362917098 655665 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t \x -> do { Just y <- x; return x; } < 1362917100 363339 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Monad m => m (Maybe t) -> m (m (Maybe t)) < 1362917107 493752 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, right < 1362917110 287509 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :other things too "but not much" < 1362917154 364528 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t \x -> do { Just y <- x; return x; } [Just 3] < 1362917156 28486 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :parse error on input `[' < 1362917162 87873 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (\x -> do { Just y <- x; return x; } $ [Just 3]) < 1362917163 943137 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => ([Maybe a] -> Maybe t) -> [Maybe a] -> Maybe t < 1362917170 874862 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you have a instance Alternative IO, then you could automatically stop reading on error, for example. < 1362917219 962483 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Control.Applicative seems to only come with [] and Maybe instances < 1362917240 439742 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Any monad on (->) is also applicative, though. < 1362917283 59242 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362917289 786255 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Haskell only does monads on (->) anyway, right? < 1362917378 232798 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes. < 1362917417 865969 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: http://hackage.haskell.org/packages/archive/base/4.6.0.1/doc/html/Control-Applicative.html#control.i:Applicative < 1362917431 404355 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and all the standard monad transformers etc. are instances < 1362917455 412578 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Haskell cannot automatically define the instances, though) < 1362917465 428995 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: What about Alternative? < 1362917490 971180 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, you meant Alternative < 1362917506 443329 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the docs still list more than that there < 1362917520 821799 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(ReadP, ReadPrec, STM, arguably: ArrowMonad/WrappedMonad/WrappedArrow) < 1362917559 439419 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :return = pure; >>= = ???????? < 1362917564 771707 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In other categories though, it is not necessarily the case that all monads are applicative. < 1362917585 468983 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh wait, other way around < 1362917614 701101 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes. < 1362917625 97568 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :pure = return; (<*>) = ap; < 1362917702 478032 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :pure = return; (<*>) f a = f >>= \f -> return (f a) < 1362917712 320994 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I prefer using fmap/pure/liftPair instead of <*> but that can work too; liftPair is workable with any tensor category, though. < 1362917714 946947 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I am always tempted to abuse Haskell's scoping < 1362917733 656000 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that definition is... not quite right < 1362917752 485108 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: Oh right < 1362917757 951263 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :pure = return; (<*>) f a = f >>= \f -> return (f <$> a) < 1362917766 693614 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :still no :P < 1362917770 351883 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Damn =P < 1362917780 234110 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :@src ap < 1362917780 802046 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :ap = liftM2 id < 1362917791 402406 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"there you have it" < 1362917821 660494 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The return is unnecessary < 1362917834 803418 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :have you considered thinking it through < 1362917844 464994 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No < 1362917866 642820 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dropping the return doesn't work either < 1362917887 642105 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hm < 1362917897 49941 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::t \p q -> p >>= \f -> fmap p q < 1362917898 894347 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(a -> b) -> (a -> a) -> a -> b < 1362917900 60994 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1362917901 35621 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::t \p q -> p >>= \f -> fmap f q < 1362917902 677264 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Monad m, Functor m) => m (a -> b) -> m a -> m b < 1362917904 758573 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right that works. < 1362917908 60582 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :=P < 1362917951 720636 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :of course liftM2 id is better < 1362918089 393518 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :imo liftM2 ($) is better than liftM2 id because it makes it more clear even though it's the same thing < 1362918164 616015 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :imo clarity is overrated < 1362918180 585193 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: um liftM2 id is shorter < 1362918231 625443 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :liftM2($) < 1362918249 112433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :help < 1362918314 911867 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :liftM2$id < 1362918330 297551 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :liftM2 is also same as liftA2, specifically because all monads in Haskell are applicative, that it can do that, I think is the reason. < 1362918401 204510 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 248 seconds < 1362918401 700949 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :All categories have monads (at least an identity monad, and if it has final objects, also a Finalize monad). < 1362918406 96760 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You are right, except not all monads are applicatives. So, well, you weren't right. < 1362918444 376692 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They are (in Haskell, not in general), but the instance is not necessarily defined. < 1362918511 189902 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362918539 380356 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A category with final objects has a Finalize monad for each final object of that category, actually. < 1362918572 812232 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric ::t let f :: Monad m => ((a -> b -> c) -> m a -> m b -> m c) -> d; f = undefined in f liftM2 < 1362918574 620542 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `m0' in the constraint: < 1362918574 770821 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (Monad m0) arising from a use of `f' < 1362918574 771014 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Probable fix: add a type signature that fixes these type variable(s) < 1362918590 616383 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric ::t let f :: Monad m => ((a -> b -> c) -> m a -> m b -> m c) -> d; f _ = undefined in f liftM2 < 1362918592 133752 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `m0' in the constraint: < 1362918592 303843 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (Monad m0) arising from a use of `f' < 1362918592 453971 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Probable fix: add a type signature that fixes these type variable(s) < 1362918631 270147 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric ::t let f :: (Monad m => (a -> b -> c) -> m a -> m b -> m c) -> d; f _ = undefined in f liftM2 < 1362918632 889317 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :d < 1362918635 28312 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric ::t let f :: (Monad m => (a -> b -> c) -> m a -> m b -> m c) -> d; f _ = undefined in f liftA2 < 1362918636 775571 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous type variable `m0' in the constraint: < 1362918636 925836 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (Applicative m0) arising from a use of `liftA2' < 1362918636 926015 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Probable fix: add a type signature that fixes these type variable(s) < 1362918976 887330 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1362919241 649272 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1362919958 245707 :Taneb!~nathan@host-78-148-13-114.as13285.net JOIN :#esoteric < 1362920935 221837 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1362921044 213058 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Client Quit < 1362921060 774960 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1362921176 526008 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@tell Oerjan "In any case I believe this proves Emmental Turing-complete. However it may happen to do so in a way which I have previously disagreed with Chris Pressey on whether it counts or not. :P " what does that mean? < 1362921176 973351 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362921236 308912 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@tell Oerjan also my attempt to use qdeql was so close, but you didn't use it at all :( < 1362921236 765482 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362921251 163580 :kallisti1!~eris@h242.58.18.98.dynamic.ip.windstream.net NICK :kallisti < 1362921309 54913 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I wonder if lambdabot treats nicks case sensitively or not < 1362921382 46314 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :you couldn't have wondered that three minutes earlier could you :( < 1362921599 557971 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 255 seconds < 1362921986 978515 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it wasn't a pertinent question back then < 1362922320 148 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell Olsner hello < 1362922320 566834 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362922382 54676 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@tell ARC_KOEN I don't even remember if I tried talking to myself yet < 1362922382 676276 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :You can tell yourself! < 1362922386 438494 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok < 1362922419 130389 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :elliott: hi < 1362922419 291713 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :olsner: You have 1 new message. '/msg lambdabot @messages' to read it. < 1362922596 426929 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :omg it worked ! < 1362923795 680182 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1362923828 235439 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1362924172 847104 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 246 seconds < 1362924622 981572 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1362925048 542121 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Bbl < 1362926657 146802 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362927127 847088 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wait... < 1362927134 371384 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :@tell ELLIOTT hmm < 1362927134 776798 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362927155 238007 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh, right < 1362927183 131275 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: wait since when are you here < 1362927183 738650 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :elliott: You have 1 new message. '/msg lambdabot @messages' to read it. < 1362927212 667324 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i've been here for 3 hours... < 1362927223 207685 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fuck you < 1362927254 348105 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(HOW THE FUCK IS IT SNOWING IN MARCH) < 1362927301 438920 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :magickque < 1362927307 984169 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Phantom_Hoover: basically snow is like rain but when it's cold enough to freeze it'll come down as "snow" instead < 1362927327 113020 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why does england get all the damn sno < 1362927328 440986 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :w < 1362927360 775124 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362927361 202380 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362927361 352455 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362927428 165677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think you've got quite all of it. < 1362927451 222938 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Finnish Meteorological Institute says there's a 49 cm snow cover here, for example. < 1362927452 631701 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how dare you lump me in with the english < 1362927468 614616 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :we haven't had much snow here for a long time, maybe that's the snow that you're getting < 1362927560 61396 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 NICK :carado < 1362927657 473731 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1362928228 352916 :wareya_!~wareya@cpe-67-248-121-45.nycap.res.rr.com QUIT :Read error: Connection reset by peer < 1362928262 134324 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com JOIN :#esoteric < 1362928865 183573 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362930795 746823 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Got FreeGame to work < 1362930800 739009 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Needed a newer version < 1362930944 716096 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it bad that I don't entirely understand FlexibleContexts UndecidableInstances etc., and plan on letting GHC tell me if I ever need them? < 1362931101 891909 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Functions of type a->a are monoids, right? < 1362931113 75337 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mempty = id; mappend = . < 1362931114 180223 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erm < 1362931117 324319 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mappend = (.) < 1362931125 418025 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or would it be flip (.)? < 1362931125 568286 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :we call them "Endo" here < 1362931132 888433 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and "Dual Endo" ;) < 1362931138 817245 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :er < 1362931142 207794 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(Endo a) < 1362931146 206721 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Dual (Endo a) < 1362931148 791905 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"something like THat < 1362931190 842275 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Sgeo, yes, but as newtype Endo a = Endo {appEndo :: a -> a} < 1362931207 318839 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Because "instance Monoid m => Monoid (a -> m)" exists < 1362931249 615732 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :And they'd overlap if you want mempty :: String -> String, for example < 1362931257 347099 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :(is it id or const ""?) < 1362931339 124191 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :const "" < 1362931341 599423 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1362931341 870246 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nm < 1362931481 882767 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: const "" is a -> String though < 1362931494 314663 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Basically, I'm imaginging how one would write "plugins" for SimpleIRC bots. Each plugin would have a function IrcConfig->IrcConfig that adds its own event handlers to the config < 1362931496 181040 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :FreeFull, and why can't a be String? < 1362931508 718404 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It could be < 1362931511 964515 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It could be anything < 1362931536 252860 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :So, const "" is a valid mappend fo String -> String, yeah? < 1362931538 297122 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :mempty, rather < 1362931552 833654 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Sgeo, Endo IrcConfig < 1362931564 565694 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also, SimpleIRC still sucks for being not as typesafe as it should be < 1362931619 330075 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's only one type of event handler, and every message (except for one) gets the same type of message passed to it, and the types in that record tend to have Maybes < 1362931659 326592 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So rather than "Ok, the event handler for this message will always receive XYZ", it's "the event handler for this message must be capable of dealing with parts of the message not being there" < 1362932345 132333 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle runMaybeT < 1362932345 696312 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Control.Monad.Trans.Maybe runMaybeT :: MaybeT m a -> m (Maybe a) < 1362932928 967494 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric ::t MaybeT [Nothing, Nothing, Just 1] < 1362932930 656137 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: data constructor `MaybeT' < 1362932967 165207 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :MaybeT [] Integer < 1362933012 777799 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362933236 770360 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362933252 936310 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t runMaybeT $ do { x <- [3..10]; return x; } < 1362933254 406354 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `runMaybeT' < 1362933417 270472 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :How can I express ap in terms of fmap, return, and join? < 1362933526 409326 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :first express (>>=) < 1362933552 353937 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :f <*> x = join (fmap (uncurry fmap . flip (,) x) f) < 1362933585 725232 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Actually, I can make that nicer... < 1362933614 26696 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :no i can't < 1362933660 341153 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :join (fmap (flip fmap x) f) < 1362933723 127460 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362933723 530438 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362933723 680527 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362934015 130258 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Thanks, Deewiant < 1362934037 644811 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :No need to make a tuple just so that you can uncurry... < 1362934051 5339 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Of course < 1362934338 168247 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Ping timeout: 264 seconds < 1362934587 903437 :Taneb!~nathan@host-78-148-13-114.as13285.net JOIN :#esoteric < 1362935033 228558 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1362935334 953318 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :This is very weird:http://stackoverflow.com/questions/15268229/ebnf-whitespacing-in-meta-identifiers/15324944 < 1362935368 6875 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I've sort of tried to answer the question. Although I actually find it hard to believe that the standard would have missed something that obvious < 1362935545 568695 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric < 1362936205 527660 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :The Gall-Peters projection makes me uncomfortable < 1362936284 909598 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :why < 1362936304 332933 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Maybe I'm just too used to Mercator < 1362936347 209073 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Mercator looks better < 1362936553 587147 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Great, I found a bug in iceweasel < 1362937123 582042 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Ping timeout: 260 seconds < 1362937167 68897 :Taneb!~nathan@host-78-148-13-114.as13285.net JOIN :#esoteric < 1362937666 178 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :^list < 1362937666 149921 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1362937670 463307 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Thanks < 1362937682 834742 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :thankies < 1362937756 512737 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :yw < 1362937773 330477 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The bot in MSPA that I made is so... early that we sometimes think it's a false alarm when it isn't < 1362937787 467056 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh gosh the pun < 1362937811 886974 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(john: still totally adorkable) < 1362937816 113831 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Trivia: I know someone who actually answered an exam question along the lines of "Nuclear power plants work by nuclear fish" < 1362937831 920058 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :The options were Nuclear Fission, Nuclear Fusion, and Nuclear Fish < 1362937878 555631 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that sounds like a debaitable answer < 1362937880 710651 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :were they shore? < 1362937905 40915 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I am afraid they were a few kippers short of a shoal < 1362937907 420221 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it sounds pretty outraygeous to me < 1362937950 482231 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :`pastelogs Trivia: < 1362937982 414681 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29785 < 1362937999 635960 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :... < 1362938004 980172 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Thanks, HackEgo. < 1362938050 534189 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Anyway, now I shall leave. < 1362938070 509871 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what's a nuclear fish? < 1362938083 164743 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :It's a joke answer to an easy exam question < 1362938113 609109 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so not a fish with glowing eyes and lethal touch? < 1362938157 29968 :ogrom!~del@gprs-inet-65-147.elisa.ee JOIN :#esoteric < 1362940729 751060 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1362940746 378017 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362940862 827942 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Client Quit < 1362940876 134275 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362941128 187037 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1362941131 627483 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Quit: Leaving < 1362941169 628464 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 NICK :carado < 1362942758 382480 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : so not a fish with glowing eyes and lethal touch? <-- it could be < 1362943359 600321 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1362944750 886256 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1362945475 620026 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Quit: ragequit < 1362945582 711286 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :You know what the world doesn't need? < 1362945588 668216 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Harlem shake (gangnam style) < 1362945650 58950 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Harlem shake (gangnam style) (dubstep remix) < 1362945658 553379 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :psy dancing the actual harlem shake would be kinda fun < 1362945826 993233 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Also, I quite like the occasional dubstep < 1362945844 838832 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :burial's pretty nice < 1362945868 13320 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I'm not "into it", but I find it pleasant to listen to < 1362945876 325378 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :In the same way I enjoy classical music < 1362945942 346810 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : Harlem shake (gangnam style) (dubstep remix) <-- oh my god < 1362945954 912466 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Please say it exists < 1362946003 753126 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I don't think so < 1362946008 406502 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Aww < 1362946019 583298 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Saying that, I've never actually heard Harlem Shake < 1362946020 827529 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :"Psy Does the 'Harlem Shake' + Announces 'Gangnam Style' Followup < 1362946020 978011 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :PopCrush ‎- 5 hours ago" < 1362946022 888705 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh my god < 1362946033 393125 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I'm scared to click that link < 1362946033 544117 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :"Gangnam Shake" < 1362946081 528848 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Bike, looks like your wish has come true (before you made it?) < 1362946104 320435 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :cool < 1362946115 154048 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :just google harlem shake gangnam style < 1362946117 312723 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :first hit < 1362946125 669252 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I'm not going to click it < 1362946143 547151 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Retroactive wish granting < 1362946159 94583 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I wish that Czechoslovakia was two countries < 1362946178 680126 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Slovakia, and... something like Czechia but that sounds stupid so not that < 1362946401 634612 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::/ < 1362946406 871358 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What's wrong with Czech Republic < 1362946419 700118 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i dunno, i think "czechia" sounds better < 1362946428 602720 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :That's a much better name than Czechia, FreeFull < 1362946430 159823 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Thanks < 1362946431 414606 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's the endonym in common use < 1362946433 136413 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :In Polish, it's just called Czechy < 1362946520 412854 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :kmc, "Czech", if an endonym is what I think it is < 1362946578 17248 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think you are mixing up endonyms and demonyms < 1362946590 62844 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm asking what people in czech republic call the country in their native language < 1362946593 914977 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in common use < 1362946628 838134 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :bbl < 1362946628 988148 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :czechworld < 1362946652 515549 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Česká republika < 1362946673 118278 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or just Česko < 1362946845 870662 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Ping timeout: 276 seconds < 1362946900 810321 :Taneb!~nathan@host-78-148-13-114.as13285.net JOIN :#esoteric < 1362946918 878653 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1362947265 181269 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 248 seconds < 1362948190 253041 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1362948475 236258 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1362948630 472472 :ogrom!~del@gprs-inet-65-147.elisa.ee QUIT :Ping timeout: 256 seconds < 1362948714 610143 :ogrom!~del@gprs-inet-65-120.elisa.ee JOIN :#esoteric < 1362949185 230308 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 248 seconds < 1362949311 401678 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Aaaaaargh < 1362949400 873855 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1362949460 773991 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 248 seconds < 1362949532 201509 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362949629 337290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the universe vs. Taneb: 25-3 < 1362949629 506452 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :oerjan: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1362949634 716684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1362949635 57795 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Arc_Koen said 7h 54m 19s ago: "In any case I believe this proves Emmental Turing-complete. However it may happen to do so in a way which I have previously disagreed with Chris Pressey on whether it < 1362949635 207961 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :counts or not. :P " what does that mean? < 1362949635 208137 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Arc_Koen said 7h 53m 19s ago: also my attempt to use qdeql was so close, but you didn't use it at all :( < 1362949656 963486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: aww < 1362949662 453333 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I'm doing substantially worse than Scott Pilgrim < 1362949726 736320 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Alas, this is Taneb's brain vs Taneb < 1362949782 709101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: chris pressey has quandaries about whether it is TC unless it can do TC computation on data given through the language's official input method - which i don't use at all :P < 1362949795 915136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or that's my impresssion anyway. < 1362949820 539237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen chris pressey has quandaries about whether it is TC unless it can do TC computation on data given through the language's official input method - which i don't use at all :P < 1362949820 690740 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362949838 56516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen s/it/a language/ < 1362949838 233852 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362949974 987567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen aww. well you can do an implementation that actually handles input, then. < 1362949975 152566 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362950107 666385 :Bike!~Glossina@71-34-78-123.ptld.qwest.net QUIT :Quit: leaving < 1362950204 896441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen Hey, maybe you can make an implementation that doesn't use the _stack_. or only the top element, that is. < 1362950205 56539 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362950363 141192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen hm wait you need the stack to use ! :( < 1362950363 299293 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1362950484 755050 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: we seem to have a persistent spambot who's got around the captcha somehow, I've set abusefilter to recognise its edits and disallow them (no blocks yet); there might theoretically be false positives but we haven't had any all year < 1362950506 867201 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :specifically, it looks for ".
" and a capital letter, but no newlines, in a new user's first edit, and only if it's to a user page < 1362950563 921695 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :I wish I had the drive to actually do things < 1362950569 32029 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :That'd be cool < 1362950576 130166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: you too, eh? < 1362950631 894466 :abumirqaan!uid2969@gateway/web/irccloud.com/x-khshaiulxxlyrpac QUIT :Read error: Operation timed out < 1362950657 558910 :abumirqaan!uid2969@gateway/web/irccloud.com/x-mzfoydicklvnutxs JOIN :#esoteric < 1362950669 214077 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is a trivially easy restriction for a spambot author to modify their spambot to get around, but unless they're targetting Esolang specifically they won't < 1362950765 700729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they could use a genetical algorithm to tweak things trivially until they pass, and keep site-specific data without actually doing anything manually. in theory. < 1362950772 688627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*genetic < 1362950804 636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but if they cared that much, they wouldn't use
in the first place. < 1362950990 16996 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362951092 223733 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :oerjan, you are a criminal mastermind < 1362951103 129408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :THANK YOU < 1362951282 442383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : How do some and many work anyway < 1362951316 361701 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Who knows < 1362951321 447536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some and many only make sense in alternatives where the same action can either succeed or fail at different times. < 1362951357 91823 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Digging up old conversations < 1362951359 122247 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Like bones < 1362951360 955885 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :most simple monads do not have that property. < 1362951373 948107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's called "logreading" < 1362951426 726760 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So they are useless for the Alternative instances that come with Control.Applicative < 1362951428 482407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :State(T) and IO can do it, but neither Maybe, Reader or Writer give that property. < 1362951493 734801 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Reader doesn't allow you to modify the values you read, and Writer doesn't allow you to read them < 1362951520 544662 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Maybe doesn't have any "side-values" < 1362951523 590496 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Neither does [] < 1362951620 66485 :mroman!~roman2@fmnssun.ibone.ch PART :#esoteric < 1362951661 758124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> runState (many $ do x <- get; guard (x < 10); put (x+1); return x) 0 < 1362951663 68878 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (Control.Monad.MonadPlus < 1362951663 226748 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Data.Functor.I... < 1362951686 477306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1362951731 551483 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> runStateT (many $ do x <- get; guard (x < 10); put (x+1); lift $ Just x) 0 < 1362951733 22731 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Just ([0,1,2,3,4,5,6,7,8,9],10) < 1362951737 733552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1362951741 508816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: ^ < 1362951810 545157 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :State alone doesn't have the Alternative part. < 1362951865 145751 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is this StateT Int Maybe < 1362951877 410507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably Integer, by defaulting < 1362951945 732846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> runStateT (many $ do x <- get; guard (x < 3); put (x+1); lift $ [x]) 0 -- seeing what happens with lists < 1362951947 323084 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [([0,1,2],3),([0,1],2),([0],1),([],0)] < 1362951981 789235 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1362952050 986401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> evalStateT (many $ do x <- get; guard (x < 3); put (x+1); lift $ [x]) 0 < 1362952052 649794 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [[0,1,2],[0,1],[0],[]] < 1362952141 135986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right, with lists the failure case is _always_ included after the success, so you get an automatic branch at each iteration that doesn't completely fail < 1362952164 194945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sure that could be used for _something_ :P < 1362952197 312836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sadly it's in the wrong order to give an infinite list. hm... < 1362952202 699315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Backward < 1362952204 373359 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: type constructor or class `Backward' < 1362952205 882370 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :^list < 1362952206 31804 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1362952206 689045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Backwards < 1362952208 14035 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: type constructor or class `Backwards' < 1362952213 297532 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :What, again? < 1362952242 950371 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Bah, I can't watch sound ATM < 1362952257 839512 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :...I really need to fix my graphics card driver thingy on my computer < 1362952258 17466 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :hussie is incredibly silly < 1362952279 10647 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: buuuuuuuut nobody will know that < 1362952279 539693 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Arc_Koen: You have 5 new messages. '/msg lambdabot @messages' to read them. < 1362952288 969951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t forwards < 1362952290 430707 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `forwards' < 1362952291 348508 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric ::k Backwards < 1362952292 735943 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: type constructor or class `Backwards' < 1362952292 940542 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's the problem when we just say "I just proved this language is TC" < 1362952312 49597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats lambdabot for not having Backwards -----###
< 1362952312 208378 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :We need a time machine and ask Alan Turing < 1362952319 643088 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :And Alonzo Church < 1362952325 924059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: :/ < 1362952342 25184 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sure, considering the list to have success/failure is one possible way to look at it, and is a reasonable way to do so in some circumstances. < 1362952345 229946 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@messages < 1362952345 605956 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :oerjan said 42m 5s ago: chris pressey has quandaries about whether it is TC unless it can do TC computation on data given through the language's official input method - which i don't use at all : < 1362952345 807704 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :P < 1362952345 972931 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :oerjan said 41m 47s ago: s/it/a language/ < 1362952345 973104 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :oerjan said 39m 30s ago: aww. well you can do an implementation that actually handles input, then. < 1362952345 973289 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :oerjan said 35m 41s ago: Hey, maybe you can make an implementation that doesn't use the _stack_. or only the top element, that is. < 1362952347 648104 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :oerjan said 33m 2s ago: hm wait you need the stack to use ! :( < 1362952370 91418 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh I just watched this fun time travel series pilot < 1362952387 307712 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :apparently the pilot wasn't a success because they didn't make the series < 1362952406 309032 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :why do they keep canceling all my favourite time travel series :( < 1362952413 288545 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Fiora, what's the music to the update so I can hum it while it's muted? < 1362952431 10427 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Arc_Koen, did you hear the time travel Irregular Podcasts? < 1362952435 775107 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :nope < 1362952442 962435 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm npt really into podcasts < 1362952457 404730 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :http://irregularwebcomic.net/podcasts/ numbers 14, 17, and 18 < 1362952461 714822 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :They're more like radio plays < 1362952482 831659 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Taneb, if it helps, the song is Elevatorstuck < 1362952493 487426 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok I'll listen to them right now < 1362952531 276291 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Thanks < 1362952546 97181 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but you know deep down I feel no time travel series can be truly realistic < 1362952557 57079 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :This one goes for silliness < 1362952561 199496 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: it's like, the elevator music < 1362952565 639692 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :because what you could do if you had a time machine is SO HUGE < 1362952582 761639 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :Arc_Koen, Primer is about as realistic it gets < 1362952587 600797 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so any use of a time machine shown in a series is *nothing* compared to its actual potential < 1362952594 708206 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Primer, hmm < 1362952598 921536 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'll look into it < 1362952622 408912 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :What a silly Homestuck update < 1362952625 682290 :Taneb!~nathan@host-78-148-13-114.as13285.net PRIVMSG #esoteric :And goodnight, folks < 1362952626 589887 :Taneb!~nathan@host-78-148-13-114.as13285.net QUIT :Quit: Leaving < 1362952661 941997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait Backwards won't help for this < 1362952663 90399 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Taneb: #14 is really weird < 1362952674 849111 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I think he's listing all bacteria he knows < 1362952808 778047 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric < 1362952993 626716 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362953582 368092 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 250 seconds < 1362953892 407216 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this idea of the INI for describing preferred input and so on of NES/Famicom game? http://forums.nesdev.com/viewtopic.php?p=108450#p108450 < 1362953964 939131 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1362954017 532132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Is it bad that I don't entirely understand FlexibleContexts UndecidableInstances etc., and plan on letting GHC tell me if I ever need them? < 1362954041 231832 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :note that if you follow ghc's advice like that, you might end up getting redundant options. < 1362954093 203107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in my last program, it suggested several things before FlexibleInstances, all of which are implied by it < 1362954121 710944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i think FlexibleContexts was one) < 1362954664 691897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run paste Trivia: < 1362954737 770199 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21731 < 1362954760 635845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh he left. < 1362955165 150435 :ogrom!~del@gprs-inet-65-120.elisa.ee QUIT :Quit: Left < 1362956048 375874 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1362956048 976734 :nooodl!~nooodl@91.177.50.217 QUIT :Ping timeout: 248 seconds < 1362956051 975929 :nooodl_!~nooodl@91.177.50.217 JOIN :#esoteric < 1362956052 277863 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1362957060 555780 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hey, who wants to buy one ten thousandth of my post-tax income for all time? < 1362957066 306379 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Only $750. This is not an offer. < 1362957339 914640 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :on ten thousandth? < 1362957341 89611 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hmm < 1362957343 926158 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1362957426 59347 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :How long do you intend to be alive? < 1362958162 264242 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362958177 589364 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362958433 431330 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362958441 262509 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362958715 532409 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1362958830 230581 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362958851 191532 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362959018 934212 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, that translates to more than $7.5 million lifetime earnings = a good deal < 1362959030 169570 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems likely, I guess < 1362959033 313206 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :given inflation < 1362959042 59345 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, you need to take into account alternative investments < 1362959047 632181 :Bike!~Glossina@71-34-78-123.ptld.qwest.net QUIT :Ping timeout: 260 seconds < 1362959050 331620 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :D&D multiplication is weird < 1362959056 711376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also there's a potential loophole; if you do the deal with 10 thousand different people < 1362959074 509308 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then you get $7.5 million, which is enough to live off, and so never have to make any money at all and so don't have to pay them back < 1362959084 744768 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: think of it as added percentages < 1362959091 345706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not ×2, it's +100% < 1362959214 996436 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :o.O, and that works out identically? < 1362959216 166646 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hm < 1362959237 162048 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric < 1362959305 174448 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, D&D multiplication does work like that, although the DM which I play with always uses actual multiplication. I too think they write it like that wrongly; in Icosahedral RPG rules they should be written what is meant instead, whether it is x2 or +100% or whatever!! < 1362959528 837271 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Dungeons & Dragons, the original roll-playing game. < 1362959675 134 :Bike!~Glossina@71-34-78-123.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1362959692 413350 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :ais523: you'd have to make the deals simultaneously though < 1362959699 802070 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Receiving $750 is income < 1362959737 618427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1362959772 288624 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah but you'd still end up with quite a lot, after rounding errors < 1362959777 102193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :around half, I think, maybe a bit more < 1362959793 219171 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric < 1362959959 310513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> sum [ x*0.075 | x <- [0..9999] ] < 1362959960 766590 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 3749624.9999999995 < 1362959992 593294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> sum [ x*0.075 | x <- [0..9999] ] / 7500000 < 1362959994 70680 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 0.49994999999999995