contains "xxxxx: yyyyyyy" and I want to remove the "xxxxx:" without any extra markup. < 1400267067 887483 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :If I ask in #css they'll just tell me css isn't for content < 1400267177 676204 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :impomatic: do you happen to have control over the styling but not the content, for some reason? < 1400267181 243234 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :there is definitely a way to add content < 1400267188 411624 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but I'm not sure about removing it < 1400267258 543588 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :impomatic: I do not think that is possible, but I don't know for sure. < 1400267395 449496 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :I can hide the original and add replacement content using h1::after (content: ); < 1400267465 121192 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you could do something like add an element before it, place the prefix after that new element, in the same font and styling < 1400267469 956189 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but set the foreground equal to the background < 1400267472 328574 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :The problem is I want the replacement content to be a substring of the original. (It's for a print style sheet) < 1400267474 408371 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :thus overwriting it < 1400267499 806737 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that sounds like the sort of thing that could easily go wrong, though < 1400267529 987288 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :impomatic: I would think you should then make that text another part and then make the CSS to hide it if it is a printout? < 1400267545 370215 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :If I knew the exact width of the characters, I could probably do margin: -100px or something. < 1400267673 97929 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :zzo38: enclose the "xxxxx:" in a ? I was hoping to avoid that, otherwise I'll have to edit 500+ files by hand! < 1400267704 126203 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sed?! < 1400267717 620601 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Don't do it by hand; use another program such as AWK or sed. < 1400267752 617347 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :I suppose I ought to install AWK :-) < 1400267802 165726 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :sed/awk/perl are all designed for that sort of job < 1400267806 897770 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :in increasing order of complexity < 1400267810 515987 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although perl does lots of other things too < 1400267870 306566 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :beautiful. "Earlier today, a virus signature from the virus "DOS/STONED" was uploaded into the Bitcoin blockchain, which allows small snippets of text to accompany user transactions with bitcoin." < 1400267889 463684 :ion!ion@heh.fi PRIVMSG #esoteric ::-D < 1400267895 752702 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://answers.microsoft.com/en-us/protect/forum/mse-protect_updating/microsoft-security-essentials-reporting-false/0240ed8e-5a27-4843-a939-0279c8110e1c?tm=1400189799602 < 1400267897 212310 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and now all the antivirus programs think it's a virus? < 1400267918 459805 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that's really clever, whoever thought of it, although highly antisocial < 1400267946 250603 :ion!ion@heh.fi PRIVMSG #esoteric :Nice URL < 1400268086 720307 :AnotherTest!~turingcom@d51a42986.access.telenet.be QUIT :Ping timeout: 276 seconds < 1400268111 570238 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, put random shellcode into the blockchain, then your client exploits will have something to jump to < 1400268131 758628 :ion!ion@heh.fi PRIVMSG #esoteric ::-) < 1400268167 720565 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Have they decided what to do with the illegal erotica yet < 1400268292 651145 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1400268307 705237 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I suppose if you put whatever you want into the blockchain, in order to cause backups of the data to exist for whoever makes backups of Bitcoin blockchains. < 1400268377 845533 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :zzo38: it probably wouldn't be cost-effective because of the transaction fees < 1400268509 925389 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523_: Yes, I suppose so, but if you want to pay for such a thing then maybe it can help, especially if you are already making a payment due to some other reason too, I suppose (for example, to the backup service). < 1400268645 692391 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, the blockchain porn was only links. < 1400269278 136477 :Slereah_!~jackal@176.222.51.233 NICK :Slereah < 1400269789 249330 :nucular_!~MOO@p4FC7E31C.dip0.t-ipconnect.de JOIN :#esoteric < 1400269798 232457 :nucular!~MOO@unaffiliated/nucular QUIT :Ping timeout: 245 seconds < 1400269803 134941 :nucular_!~MOO@p4FC7E31C.dip0.t-ipconnect.de NICK :nucular < 1400269811 615886 :nucular!~MOO@p4FC7E31C.dip0.t-ipconnect.de QUIT :Changing host < 1400269811 763545 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1400270593 418930 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 252 seconds < 1400270648 370938 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gentzen14]]4 10 02http://esolangs.org/w/index.php?diff=39540&oldid=39539 5* 03Zzo38 5* (+2448) 10 < 1400270711 614230 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :'↪ A start tag whose tag name is "image": Parse error. Change the token's tag name to "img" and reprocess it. (Don't ask.)' < 1400270851 196488 :MoALTz!~no@user-5-173-28-196.play-internet.pl QUIT :Quit: bbl < 1400270962 625436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the parser SHALL NOT ask < 1400271020 37354 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the parser SHALL NOT even < 1400271029 350387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that too < 1400271047 828929 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so it SHOULD odd?! < 1400271055 354905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, html5 is great < 1400271292 268591 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gentzen14]]4 10 02http://esolangs.org/w/index.php?diff=39541&oldid=39540 5* 03Zzo38 5* (+509) 10 < 1400271331 619014 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :everytim i see something from zzo i ask myself "do i REALLY want to read it?" < 1400271391 717120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: it's like $90 in transaction fees for a 1 megabyte transaction right now I think < 1400271396 915313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which isn't thaaaaat bad? < 1400271409 519037 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :myname: Why? < 1400271425 586594 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :$90 to back up 1MB? that's not really that good a deal < 1400271447 302933 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :zzo38: on one side, you have really great ideas, but on the other side, you have really strange ideas < 1400271465 34275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: it buys you an /awful lot/ of backups of your data < 1400271479 312044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: and many people have a strong financial incentive to keep those backups < 1400271512 452242 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :yes, it's a very reliable backup, assuming that the blockchain doesn't collapse, and that people don't come up with some way to purge text from it (say, to get rid of virus signatures) < 1400271534 586774 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :changing the past of the blockchain is kind of difficult... < 1400271547 912340 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Insane people have the best ideas. Sometimes. < 1400271557 623720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :afaik, the hashes are chained, a la git < 1400271586 581014 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you can get everyone to agree that a particular hash was part of the blockchain < 1400271593 898779 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and record the state of everything at that moment < 1400271601 344546 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and then just work from that new, truncated-behind blockchain < 1400271608 990635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, of course < 1400271611 250368 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it'd be awkward, but perhaps necessary if the blockchain grows faster than disks do < 1400271621 4512 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :zzo38: i think that's what i was trying to say < 1400271634 403159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"end-users" aren't going to store the blockchain, anyway < 1400271648 836423 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :unless they need to know how many bitcoins someone has < 1400271659 422000 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :or whether a transaction was confirmed < 1400271662 261243 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :both of which are kind-of important < 1400271678 987213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :people are going to use light-weight clients or delegate their trust to another entity which has the blockchain < 1400271682 664562 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in fact, they already do. < 1400271705 390516 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the blockchain is already huge; nobody who gets into bitcoin today who isn't really paranoid is using the "official" client < 1400272054 925970 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :impomatic: you can do that @css < 1400272106 131554 :Bike!~Glossina@67-5-224-143.ptld.qwest.net JOIN :#esoteric < 1400272195 592123 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you could for example use a font that doesn't have an x < 1400272200 72598 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if it realy is xxx: yyy ;) < 1400272221 97164 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :otherwise... the CSS content property can probably just add content, but not remove it < 1400272258 496806 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :impomatic: what also might work is setting text-indent to a negative value < 1400272486 623542 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :mroman: all of my headers are

Core War: blah blah blah blah

- I want to hide "Core War:" when it's printed. I considered negative text-indent, negative margin, etc but the exact size may vary depending on the font. < 1400272544 326548 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you could use a visibility:hidden element in order to assess the text size < 1400272623 898969 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :It's possible to position "Core War:" in a white font exactly over the bit I want to hide, but unfortunately white prints as light grey. < 1400272659 75417 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :put it in a < 1400272665 176941 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you really can't change the markup? < 1400272674 448866 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1400272680 403209 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :oh that changes things < 1400272727 608697 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :13:10 < shachaf> whoa, html5 is great < 1400272729 814971 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how do ya figure < 1400272777 106111 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :it facilitates an attack called "billion laughs", how could it not be great < 1400272791 444034 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1400272799 48183 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: does it? that looks like an XML thing < 1400272799 875950 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :impomatic: you might wanna use sed then ;) < 1400272864 945692 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :kmc: i think you can still use < 1400272895 71972 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nope < 1400272907 485842 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :weak < 1400272909 654143 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :well fuck html5 then < 1400272949 315199 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that is my general opinion, but not for this reason < 1400272980 531569 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :imo reshuffle ur priorities < 1400273063 67217 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe you can inside MathML or SVG inside HTML < 1400273123 559645 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think you're not allowed to do that, either, but some user-agents might allow it < 1400273134 602795 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :since those are more like proper XML syntaxes that are awkwardly embedded inside HTML5 < 1400273202 372481 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am going to have a fun June < 1400273208 455668 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm waiting for Web 3.0 - the emotional web < 1400273219 227555 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :with tags like and and < 1400273235 603889 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :@google emotionml < 1400273236 911613 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.w3.org/TR/emotionml/ < 1400273237 60495 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Emotion Markup Language (EmotionML) 1.0 < 1400273246 118081 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :welcome to the future, mroman < 1400273256 498893 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :'↪ An end tag whose tag name is "sarcasm": Take a deep breath, then act as described in the "any other end tag" entry below.' < 1400273261 40654 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wtf < 1400273268 561568 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :somebody seriously did that already < 1400273280 89028 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :ur welcome < 1400273282 423584 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: oh? < 1400273292 479366 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good kind of fun or bad kind? < 1400273297 90499 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Busy kind. < 1400273334 486198 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what the hell < 1400273340 500423 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Last exam is on the 3rd. Dad's birthday on the 4th, going home for that. 13th I'm going down to London for the day. 21st-22nd I'm at an anime con < 1400273346 480022 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric : < 1400273413 870441 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :All the meanwhile I should be working on GSoC < 1400273427 81469 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's your GSoC project? < 1400273434 829802 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Debugger for GHCJS < 1400273439 223676 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1400273451 448105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: so complicated < 1400273476 9376 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric : < 1400273634 841789 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : < 1400273667 703633 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whoops just poured salt all over my sofa < 1400273705 876209 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's not EmitionML recommendation conform < 1400273719 168080 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it clearly says value must be within 0..1 < 1400273726 738809 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Do you know whether anyone applied for a GSoC to do work on/with Rust? < 1400273935 570998 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i think so, but I'm not positive < 1400273948 176257 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mozilla has a lot of interns working on Rust and Servo, as well < 1400273987 705870 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Rust is a systems programming language that runs blazingly fast, prevents almost all crashes*, and eliminates data races. < 1400274049 653932 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"* In theory. Rust is a work-in-progress and may do anything it likes up to and including eating your laundry." < 1400274053 292902 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How exactly will you be able to use the terminal to change the POWER setting if it is not already set? (Refering to VT100 terminal) < 1400274057 444607 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Would you rather recommend Rust or Go? < 1400274070 748591 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Rust < 1400274071 653420 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: they're really very different languages < 1400274080 725228 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm looking for a new "awesome" language and so far Go is pretty high up the list < 1400274090 64506 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Go and Clojures < 1400274090 932251 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Go has shared-memory concurrency with garbage collection; it's designed for writing high throughput network servers < 1400274094 26934 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but yeah, they're not really competing except in as much as they're new systems programming languages made by web browser manufacturers < 1400274095 375256 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :go's runtime generics are disgusting < 1400274096 658115 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but not anything realtime or low latency < 1400274109 480099 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust has a far more interesting memory management story < 1400274113 119321 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which enables GC-less operation < 1400274117 214692 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :mroman, nimrod < 1400274124 242899 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :New "awesome" language isn't good enough, I would think? You should need other criteria to know what you want? < 1400274128 899416 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's designed for writing low-latency software like web browsers, kernels, games, high-frequency trading strategies, etc. < 1400274143 823096 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :can run on bare metal, etc < 1400274157 840228 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Rust's basically an attempt to make a crash-free C, whereas Go is an attempt to make a lower-level Erlang < 1400274167 622858 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's also designed by people who actually know programming languages theory and don't consider it a bad thing < 1400274194 982981 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I happen to like C and BLISS, although BLISS is hardly ever used anymore and there is no GNU BLISS compiler that I know of. < 1400274254 240977 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I ought to write more Rust < 1400274257 246081 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1400274281 763534 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Write down the kind of thing you intend to have, and then see what program language has it, whether it is C, BLISS, Rust, Go, SQL, Perl, or QBASIC. < 1400274304 386192 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: if you're asking which language is more interesting, it's Rust for sure < 1400274310 241108 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but Go might be better for writing certain kinds of software < 1400274312 640720 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and is more mature < 1400274329 616290 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you'd be a bit mad to run a production system on Rust right now, although I think there are some (small) examples of people doing that < 1400274340 971673 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :GC-less? < 1400274345 693481 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You mean like... < 1400274356 21868 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"We've got destructors" < 1400274360 511809 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1400274363 718737 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which clean up as soon as you leave scope < 1400274381 112244 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust is based on unique ownership of objects + safe borrowing of references to them < 1400274388 571663 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but you can also do reference counting or GC if you want < 1400274419 513827 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's a lot like a vastly cleaned-up C++ < 1400274426 324055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is there a cycle collector or something for rust yet < 1400274445 129468 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :there's a reference counter and a non-reference-counting-based garbage collector, IIRC < 1400274454 101543 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :neither of which is used unless you ask for them < 1400274459 307507 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :RAII, smart pointers, non-homogenous data, objects by value, monomorphizing generics, etc. < 1400274475 812255 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's not actually a garbage collector as part of Rust yet < 1400274490 246786 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it'll happen after 1.0 maybe < 1400274501 508661 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the std lib does have refcounted boxes, both thread-local and shareable versions < 1400274504 224330 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although i'm not really familar with C++ < 1400274514 322199 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :some of Servo's Rust objects are now managed by the SpiderMonkey garbage collector, which is pretty cool < 1400274526 876710 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and this is integrated with Rust smart pointers in a way that mostly prevents you from fucking it up < 1400274532 565347 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think my colleage and I are going to write a blog post about that < 1400274539 871769 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :colleague* < 1400274540 579813 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :mroman: don't worry, neither is anyone else < 1400274580 106895 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1400274580 974481 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I assume something like { int* a = malloc(..); } doesn't get cleaned-up in Rust? < 1400274617 269113 :nooodl!~nooodl@d54C432ED.access.telenet.be JOIN :#esoteric < 1400274620 260934 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :let int a = box 6; or whatever definitely does get cleaned up < 1400274621 24580 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it depends what you mean by translating that to Rust < 1400274632 600992 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :or rather, the program will fail to compile if it can't figure out where the data's meant to get freed < 1400274639 501832 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :err < 1400274643 788804 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :let int &a = box 6; < 1400274651 347223 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :still wrong < 1400274654 253559 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :let int ~a = box 6 < 1400274655 634281 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I think < 1400274658 509973 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :haven't rusted in ages < 1400274661 715128 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I'll let kmc correct me < 1400274663 325853 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: there's an "unsafe dialect" of Rust which will let you call the actual libc malloc and get a raw pointer back and dereference it and segfault and do whatever you want < 1400274707 22803 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :kmc: Is it possible to combine it with safe codes in the same file (by specifying if you want unsafe, on one block, or something like that)? < 1400274710 408034 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1400274716 64662 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can only do that in a function that's marked unsafe, or within an unsafe { ... } block < 1400274780 399363 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the latter is an unchecked assertion that you have proven that none of these behaviors can occur: http://static.rust-lang.org/doc/master/rust.html#behavior-considered-unsafe < 1400274791 374331 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's the way you wrap a safe interface around unsafe internals < 1400274805 1845 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :fuckyouiknowwhatimdoing { ... } < 1400274808 268324 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(and you can only call an unsafe function from another unsafe function or an unsafe { ... } block, naturally) < 1400274814 572447 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :iwannabec#{} < 1400274834 465148 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :rust has disgusting "macro"s < 1400274841 379850 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :( :t believe_me < 1400274841 527538 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :09believe_me : 13a -> 13b < 1400274846 435761 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :Bike: ↑ < 1400274857 202762 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: so the more idiomatic translation of that would be like ais523_ said, let a: Box = box 3; < 1400274860 620226 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :unsafeCoerce i assume < 1400274862 758110 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :used to be spelled let a: ~int = ~3; < 1400274875 16692 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :( :t String < 1400274875 163895 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :12String : 12Type < 1400274878 154441 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :Bike: Effectively, but “believe_me” is the actual name. < 1400274883 92362 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :( believe_me 17 :: String < 1400274886 886645 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1400274887 33405 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric : Can't disambiguate name: Effects.Env.::, Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1400274895 576904 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :uh? < 1400274900 587876 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :( (believe_me 17) :: String < 1400274900 734993 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1400274900 735150 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric : Can't disambiguate name: Effects.Env.::, Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1400274901 993170 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that gives you a pointer to a box in the heap; the pointer "owns" the box and when the pointer's destructor is called, the box will be freed < 1400274910 376124 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :well, whatever. < 1400274911 181453 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :like C++'s std::unique_ptr < 1400274911 903146 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Bike: it can't figure out which 17 you mean < 1400274914 91474 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :or possibly which string < 1400274918 803993 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :Bike: (::) is the cons operator. < 1400274924 887686 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :oh. durr yes. < 1400274927 846177 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :oh, that too < 1400274929 151646 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :kmc: Why did you chage it from let a: ~int = ~3 into let a: Box = box 3; ? < 1400274930 878966 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :( (believe_me 17) : String < 1400274931 26268 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:17: error: expected: "$", < 1400274931 26339 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1400274931 26377 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1400274931 26413 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", ":-", "::", ":::", < 1400274931 26447 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric : ":=", "<", "<$", "<$>", "<*>",14↵… < 1400274935 713944 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but you can take a "borrowed" reference to that box (of type &int or &mut int) and pass it around < 1400274939 957867 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and the safety of that is statically checked < 1400274943 711950 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :okay, what. < 1400274947 604344 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :Bike: You can’t do a type annotation with colon. < 1400274949 838860 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :"clearly i'm too used to haskell" < 1400274951 705375 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :( :t the < 1400274951 853448 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.the : (13a : 12Type) -> 13a -> 13a < 1400274962 323074 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :( the String (believe_me 17) < 1400274962 470445 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :0417 : 12String < 1400274969 391209 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :very nice. < 1400274981 703322 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :( the String 17 < 1400274981 850950 :idris-bot!~ircslave@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Num 12String < 1400274995 777489 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I hate the way every super-massively-type-safe language has a coerce-anything-to-anything-else function < 1400274996 535121 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the type system includes "lifetime variables" for preventing dangling references http://static.rust-lang.org/doc/master/guide-lifetimes.html#returning-references < 1400275012 522842 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :coerce crap to bullshit < 1400275014 164960 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fowl: what's your problem with Rust's macros? < 1400275014 515797 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523_: Are you sure they would all have such a one? < 1400275018 926001 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :zzo38: no < 1400275024 910802 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :Bike: If you compiled that believe_me bit it would probably segfault. < 1400275027 786102 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that would actually mean it's weakly and not strongly typed? < 1400275030 485219 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Even then, in Haskell there is a safe mode, which avoid such unsafeCoerce and so on. < 1400275039 510753 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :Melvar: that's what i was hoping to see :p < 1400275045 473498 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ais523_: it's really necessary in Rust, because you build the safe parts out of unsafe parts < 1400275050 350279 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :most of the Rust runtime system is written in Rust < 1400275055 161829 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I recall the definition of "weak" is "you can circumvent the type system with a (void*) cast" < 1400275055 986333 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(also, most of the Rust runtime system is optional) < 1400275059 339377 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :kmc: yes, I understand that < 1400275065 95415 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: nobody actually agrees on what these terms mean < 1400275071 992277 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :3>2011 >words having means < 1400275074 180936 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :meanings < 1400275074 424779 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :mroman: I've seen that defined as "unsound" < 1400275090 67175 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Except that as they said, in Rust if you want a unsafe code you have to specify "unsafe" block. In Haskell they are called "unsafe". < 1400275113 835634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523_: I think people would call e.g. Haskell unsound because of undefined. < 1400275116 555562 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :have you considered becoming a non cognitivist?? < 1400275122 797974 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I think the only type-related definition that's generally agreed on is static versus dynamic < 1400275129 145270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unsafeCoerce is more of an operational thing. < 1400275133 225433 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I would say that the type system is an unsound logic, but not that the type system itself is unsound < 1400275139 279935 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :kmc, they're filthy unreadable $$$enough$already$$$ < 1400275149 238905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Ah, I suppose you could say that. < 1400275167 48030 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :typically an unsound type system means one which allows programs to "go wrong", whatever exactly that means for the goals of your type system < 1400275168 986702 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Melvar: could you get idris-bot to not line-wrap its error messages? < 1400275176 558125 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: What is a non cognitivist? < 1400275182 304247 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :one 300-char line is less disruptive in IRC than five 60-char lines < 1400275184 267125 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :most type systems try to provide memory safety, so "going wrong" would include use-after-free, memory leaks, etc. < 1400275186 712989 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :not a big deal, just something to think aobut < 1400275187 903416 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :*about < 1400275193 776815 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust also tries to prevent data races < 1400275207 653307 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :how many kinds of pointers are there in rust? still 4? < 1400275211 916671 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :kmc: I was reading that post about replacing "mut" with "uniq" < 1400275219 639145 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I didn't read that yet < 1400275225 255516 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it's interesting < 1400275229 731154 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and reminded me a bunch of my own research < 1400275233 52231 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fowl: ~ and @ have both turned into library types < 1400275235 65346 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What is this "mut" and "uniq"? < 1400275246 951091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fowl: so there's *, *mut, &, and &mut < 1400275253 26139 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but also many library types that act like pointers < 1400275253 173276 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :zzo38: "mut" means "the data can be changed via this pointer", and "this is the only mutable pointer to the data" < 1400275265 560930 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :ais523_: Seems to be a bug in Idris, since the normal REPL does the same thing, regardless of the consolewidth setting (which the bot sets to 200) < 1400275270 10240 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :"uniq" is a proposal for "this is the only pointer to the data", with mutability not being specific < 1400275270 197550 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :every big C++ project has like a dozen custom smart pointer classes < 1400275294 464885 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"mut" currently means the only pointer, not just the only mutable pointer < 1400275311 957673 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ah right < 1400275323 295509 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :kmc: Really? I don't know much about C++ project, and why they have a dozen custom smart pointer classes. < 1400275346 661876 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :ick < 1400275363 438632 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :fowl: No output. < 1400275376 323400 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :(you have to specify an INTERCAL program if you want ick to produce output, or --help/--version) < 1400275378 224597 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Couldn't you add both a "mut" and "uniq" types, then? < 1400275387 724726 :Melvar!~melvar@dslb-178-006-161-035.pools.arcor-ip.net PRIVMSG #esoteric :ais523_: Also I should look if I can’t find how that operator-listing parse error comes about, since that’s annoying in any case. < 1400275391 255491 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :zzo38: that was one suggestion in the blog post < 1400275403 166064 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The mean of a word is just the character corresponding to the (rounded) sum of its code points divided by the length of the word. < 1400275405 576839 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but the author preferred getting rid of mut altogether < 1400275408 874987 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :which is massively controversial < 1400275427 776557 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :why? i thought immutability was the tits < 1400275434 487644 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :immutability solves all problems, doesnt it < 1400275446 315591 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it is an essential part of the way Rust provides memory safety < 1400275454 936823 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I guess you could sum the argument up as, uniq lets you do everything that's new in terms of memory safety in Rust < 1400275456 413033 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so I'm not sure what you'd do in its place, but I didn't read the blog post yet < 1400275460 546945 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hmm < 1400275462 816119 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but it doesn't let you do the stuff that const does in C < 1400275463 994635 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I guess that's so < 1400275478 962354 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :or in other words, the post is about capturing the rustiness of immutability < 1400275484 742360 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust doesn't have a way to create immutable objects, anyway -- the mutability of an object depends on how you're accessing it < 1400275487 322871 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but loses the non-rust-related benefits < 1400275490 826824 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so there are mut/immut local variables, and mut/immut pointers < 1400275498 656863 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but if you own an immut thing you can always make it mut < 1400275527 880305 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(except for global variables declared with 'static', which are basically constants) < 1400275604 697057 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can effectively make an immutable object, though, by putting it in a private struct field and only exposing an accessor that returns an immutable reference < 1400275605 761589 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is there a >>= equivalent for Rust's option? < 1400275612 668964 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think it's .chain() < 1400275618 300170 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are a bunch of HOFs on Option < 1400275631 317305 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://static.rust-lang.org/doc/master/core/option/type.Option.html < 1400275668 763381 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust doesn't have higher-kinded polymorphism :/ so you can't make these generic as in Applicative, Monad, etc. < 1400275796 236645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want higher-kinded polymorphism :'( < 1400275798 813877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :me too < 1400275819 877985 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the other day I wanted to write a trait with kind (Lifetime -> Type) -> Constraint < 1400275901 933449 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what the use of freezing a const literal? < 1400275911 82093 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :let foo = &20;? < 1400275927 702125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by the way did you see that paper i linked here a while ago about rank-n types in languages that try not to box things < 1400275947 522231 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: no! sounds interesting < 1400275957 319101 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: you can pass it to a function that expects &int < 1400275962 240159 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :f(&20) < 1400275969 258217 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :doesn't have to be a constant either, you can do f(&g()) < 1400275990 125475 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it creates an unnamed temporary variable in the current scope < 1400275998 8356 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :whats the rationale for using a bunch of operators instead of words? < 1400275999 339540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`echo bin/*log* < 1400276000 64239 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/*log* < 1400276003 329640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run echo bin/*log* < 1400276003 814364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/anonlog bin/etymology bin/log bin/logurl bin/pastalog bin/pastelog bin/pastelogs bin/pastlog bin/randomanonlog bin/searchlog < 1400276013 267828 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :mroman: same use as (struct foo){.bar = 1}; in C < 1400276014 248853 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look all i want is to search logs for something i said recently < 1400276016 179574 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :actually I think it only lasts for the current statement < 1400276030 511187 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :shachaf: that's on `log < 1400276037 107913 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lifetime inference is an example of type inference with subtyping, which means that it's not perfect < 1400276038 249870 :nucular!~MOO@unaffiliated/nucular QUIT :Ping timeout: 240 seconds < 1400276041 367444 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :`log .*paper i linked here < 1400276041 913856 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/log: 2: cd: can't cd to /var/irclogs/_esoteric \ grep: ????-??-??.txt: No such file or directory < 1400276053 591524 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :shachaf: except that it doesn't work because HackEgo no longer has a copy of the logs < 1400276093 120341 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :http://i.imgur.com/4VaHgh1.jpg?1 attn < 1400276112 802495 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1400276129 159145 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :jesus < 1400276129 673042 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1400276150 257082 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :no, you're allowed to talk about jesus < 1400276160 845434 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nuh uh < 1400276166 469274 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"words or phrases with biblical connotation" < 1400276181 336438 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think I have made a mistake < 1400276200 283643 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"Primes.rs:16:19: 16:32 error: borrowed value does not live long enough" < 1400276229 632975 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :aw < 1400276254 368330 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Taneb: use-after-free < 1400276259 232109 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :nice when the compiler catches it for you :-) < 1400276308 590199 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I can't tell where it's being freed < 1400276339 349523 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :when the place where it was declared goes out of scope < 1400276390 223260 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 QUIT :Quit: Page closed < 1400276404 337309 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :grr, I have an enum with 6 variants and I want a type which is restricted to 4 of them < 1400276418 610080 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :subtyping........................ < 1400276423 239478 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i wish that kind of thing didn't suck in most langs < 1400276426 829487 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :refinement types could do it < 1400276431 58722 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and yeah < 1400276433 698115 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i don't like subtyping < 1400276435 658842 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but it's convenient < 1400276448 969974 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in this case < 1400276459 702915 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I could at least write a macro which automates declaration and conversion for the "subtype" enum < 1400276483 172215 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust supports defining macros using arbitrary Rust code, although it's not pretty < 1400276635 399236 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Right, I got it to work < 1400276666 572798 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :By not naming the thing that didn't have enough lifetime? < 1400276672 207044 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It was only used once anyway < 1400276893 11414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523_-ghost: oh, that explains it < 1400276897 899103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: why don't you like subtyping < 1400276935 740748 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Can I get a code review for main()? http://hastebin.com/eduvawahub.rs < 1400276959 876871 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Rust can't figure out the type < 1400276989 405714 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Other than adding more useful comments < 1400276991 347179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: looks like it was http://flint.cs.yale.edu/flint/publications/flex.pdf < 1400277003 261616 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Taneb, isnt there a constructor you can use there instead < 1400277024 781259 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How d'you mean? < 1400277039 332263 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Taneb, just Some(..) to construct option < 1400277102 554649 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't understand < 1400277155 901917 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :you dont? < 1400277161 126158 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No, sorry < 1400277164 612187 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Some(4) #=> Option value of 4 < 1400277178 47415 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :you know what a constructor is, stop pulling my chain < 1400277187 930558 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes, but I don't understand how that helps < 1400277198 272373 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm getting the Option from from_str() < 1400277213 73857 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :and you can't omit that? < 1400277214 924007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i'd suspect that rust cares about runtime representation a bit too much for that kind of trickery < 1400277241 325670 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fowl, no, because it can't tell that it's a uint < 1400277258 181901 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :from_str? < 1400277341 517148 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think I've got it < 1400277380 445790 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1400277405 496572 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: one day you will be able to write from_str::(...) or so, but that's not much better < 1400277461 274621 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've got from_str::(...) < 1400277468 243744 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*uint < 1400277477 593840 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gentzen14]]4 10 02http://esolangs.org/w/index.php?diff=39542&oldid=39541 5* 03Zzo38 5* (+1196) 10 < 1400277483 12722 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: instead of long else/if chains I like to do something like match () { _ if x > 49 => ..., _ if is_prime1(x) => ..., } < 1400277488 982505 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: oh, does it work now? < 1400277503 315641 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How do I get rid of the message at the top of the MediaWiki page that says your edit is saved? < 1400277512 503293 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :that seems like an awkard cond :/ < 1400277521 389566 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :"maybe you could write a macro" < 1400277522 27100 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's not the best < 1400277526 221360 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Haskell has the same basic issue < 1400277530 646072 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :kmc, and I didn't know that guards existed like that < 1400277564 603346 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :oh my < 1400277568 809399 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :from_str:: -_- < 1400277578 270594 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :they should have called rust "line noise" < 1400277591 109672 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :https://twitter.com/ibogost/status/467423954328883200/photo/1/large meanwhile in the ACM < 1400277631 597923 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fowl: nice one < 1400277659 993735 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :maybe you should jokingly name the language after some kind of corrosion, to emphasize how ugly it is, < 1400277690 998109 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I'm starting to think the real value of fancy movement commands in Vim is for macros < 1400277718 715440 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Bike, lol < 1400277724 992566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imagine if all programming was like writing vim macros < 1400277809 991308 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :shachaf: It is why there is many different kind of programming languages, which is so that, it doesn't have to be all programming like writing vim macros. < 1400277847 213062 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1400277903 197877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: should I feel bad about f(match a { b => return c, d => e }) < 1400277958 505134 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :kmc, does that return c/e to the call to f or to the function enclosing it < 1400278010 928401 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :i would hope that it works by either passing e to f, or returning c to the lexically enclosing block without calling f. < 1400278026 202256 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :yea thats what it looks like < 1400278044 893779 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's right < 1400278060 319716 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well, the lexically enclosing function body < 1400278065 393597 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not necessarily the closest block < 1400278081 672943 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :yes kmc you should feel bad < 1400278085 282643 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :return acts like calling a continuation captured at entry to the function < 1400278089 529590 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the type of (return x) unifies with anything < 1400278105 291551 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :well i don't know what a "block" is in rust, i'm just using lisp terms because lol. < 1400278110 627812 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Programming languages are weird < 1400278111 92042 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1400278118 263446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: imo kind of bad but also kind of good?? < 1400278118 463983 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :unifies? meaning what < 1400278130 105560 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :error: cannot bind by-move into a pattern guard < 1400278136 361324 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's an interesting one < 1400278141 238168 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :kmc, what do you gain from having the match inside the func call? internet points? < 1400278161 4091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are so many tricky cases that come up with uniqueness / move semantics < 1400278161 472470 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :fowl: type unification < 1400278187 907597 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :fowl: like in pseudo-C since i don't know how rust decls work, "foo x = return bar;" is valid for any type foo. < 1400278204 408898 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think it should be safe as long as the bound-by-move variables don't appear in the guard < 1400278207 280443 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but i'm not sure < 1400278218 985358 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :alright < 1400278221 419581 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :i've done what kmc's doing before. it's kind of super ugly so i'd feel a bit bad but not enough to change it if that's what i meant < 1400278251 706331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: do you know what happens in ruby when you write something like def foo(); return proc { return 5 }; end < 1400278253 61936 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :buzzwords :rolleyes: < 1400278269 558532 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :buzzwords?? < 1400278272 31945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(where the "return" in the proc means "return from foo".) < 1400278278 542465 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/\.// < 1400278289 254308 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you capture a continuation? < 1400278291 311907 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :"ugly" is a buzzword < 1400278299 904884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you'd hope for that but it's just an error :'( < 1400278303 600341 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1400278341 834802 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :i can understand not wanting to introduce undelimited continuations :V < 1400278352 555352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you wouldn't know when to capture a continuation anyway since everything is all dynamic < 1400278356 226647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo eval "return 5" < 1400278360 583357 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :noooooo < 1400278405 561332 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'll say it again. < 1400278410 96618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: shamir's secret sharing is so simple btw < 1400278412 41749 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Programming languages are weird. < 1400278423 342281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for some reason i thought it was complicated but it's not < 1400278596 420528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :another thing i thought was complicated but isn't: crontab syntax < 1400278632 303457 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :\rainbow{polynomials} < 1400278666 246077 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :hell yeah polynomials < 1400278672 257752 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :does anyone here know about gröbner bases? < 1400279195 500081 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1400279222 400782 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :is anyone here goign to tell me about them < 1400279281 190831 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It isn't something I know < 1400279302 350595 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: i give that about 50/50 < 1400279346 753004 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400279504 470299 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1400279535 455537 :ion!ion@heh.fi PRIVMSG #esoteric :http://arstechnica.com/tech-policy/2014/05/photos-of-an-nsa-upgrade-factory-show-cisco-router-getting-implant/ < 1400279722 320466 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1400279722 467709 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fppcluongbjfgepe QUIT :*.net *.split < 1400279724 56300 :skarn!skarn@unaffiliated/skarn QUIT :*.net *.split < 1400279724 778687 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1400279724 998835 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :*.net *.split < 1400279725 300932 :rodgort!~rodgort@192.241.198.49 QUIT :*.net *.split < 1400279725 448277 :erdic!erdic@unaffiliated/motley QUIT :*.net *.split < 1400279726 158337 :myname!~myname@84.200.43.57 QUIT :*.net *.split < 1400279743 436873 :monotone!~monotone@room208.org QUIT :*.net *.split < 1400279743 584109 :pdxleif!~pdxleif@ec2-50-112-124-255.us-west-2.compute.amazonaws.com QUIT :*.net *.split < 1400279743 732429 :jconn!~va@1-130.ipswich.cc.colocall.com QUIT :*.net *.split < 1400279744 118264 :jix!~jix@jixco.de QUIT :*.net *.split < 1400279744 265561 :trout!root@freebsd/developer/variable QUIT :*.net *.split < 1400279744 847633 :Speed`!~Speed@evile.thrash.im QUIT :*.net *.split < 1400279745 71881 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :*.net *.split < 1400279745 219342 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com QUIT :*.net *.split < 1400279760 952786 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1400279761 100360 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fppcluongbjfgepe JOIN :#esoteric < 1400279761 100479 :skarn!skarn@unaffiliated/skarn JOIN :#esoteric < 1400279761 100545 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1400279761 100610 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1400279761 100672 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1400279761 100735 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1400279761 100850 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1400279779 71030 :monotone!~monotone@room208.org JOIN :#esoteric < 1400279779 219319 :pdxleif!~pdxleif@ec2-50-112-124-255.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1400279779 219384 :jconn!~va@1-130.ipswich.cc.colocall.com JOIN :#esoteric < 1400279779 219412 :jix!~jix@jixco.de JOIN :#esoteric < 1400279779 219439 :trout!root@freebsd/developer/variable JOIN :#esoteric < 1400279779 219464 :Speed`!~Speed@evile.thrash.im JOIN :#esoteric < 1400279779 219490 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1400279779 219515 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com JOIN :#esoteric < 1400279985 661436 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1400280487 810011 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1400280696 231139 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :someone tell me why i can't find a proof of the poincare bendixson theorem not based on way too many symbols < 1400280721 925744 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1400280842 533046 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Because math has a lot of symbols < 1400281018 346997 :ion!ion@heh.fi PRIVMSG #esoteric :Too bad nobody told mathematicians they can use multi-letter words as names. < 1400281049 761665 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :help "error: binary operation `*` cannot be applied to type `&&uint`" < 1400281051 320405 :ion!ion@heh.fi PRIVMSG #esoteric :For some reason they ended up using “sin”, “cos”, “lim” etc. though. < 1400281074 207967 :monotone!~monotone@room208.org PRIVMSG #esoteric :But then how would we know that "dim" isn't d*i*m???? Panic would reign! < 1400281110 143977 :ion!ion@heh.fi PRIVMSG #esoteric :We have this technology called “whitespace” < 1400281127 643951 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode INVISIBLE TIMES < 1400281128 172882 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⁢ < 1400281141 238359 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :See, there's even a unicode character to represent multiplication that style! < 1400281147 147375 :ion!ion@heh.fi PRIVMSG #esoteric :Not to be confused with < 1400281150 326277 :ion!ion@heh.fi PRIVMSG #esoteric :`unicode INVISIBLE PLUS < 1400281150 848406 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⁤ < 1400281152 259337 :ion!ion@heh.fi PRIVMSG #esoteric :of course < 1400281153 632528 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unidecode ​⁢ < 1400281154 175607 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+200B ZERO WIDTH SPACE] [U+2062 INVISIBLE TIMES] < 1400281158 406173 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :invisible plus is visible for me < 1400281160 573787 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :They ended up using "sin", "cos", "lim" because when Feynman used various strange symbols to mean them instead, everyone else got confused and didn't understand it. < 1400281180 501825 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :i'm uh, pretty sure those symbols predate feynman < 1400281194 166869 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which symbols are those? < 1400281195 803294 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :There's plenty of multisymbol math words : http://us.metamath.org/mpeuni/mmdefinitions.html < 1400281198 600178 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :and no i'm pretty sure nobody will ever be confused if iuse psi to indicate orbits and phi to indicate the transition function, what could possibly go wrong < 1400281202 902750 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Did you know that the "=" symbol was invented in Wales? < 1400281214 410812 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :⊢ RingOps = {<.g, h>. ∣ ((g ∈ AbelOp ∧ h:(ran g × ran g)–→ran g) ∧ (∀x ∈ ran g∀y ∈ ran g∀z ∈ ran g(((xhy)hz) = (xh(yhz)) ∧ (xh(ygz)) = ((xhy)g(xhz)) ∧ ((xgy)hz) = ((xhz)g(yhz))) ∧ ∃x ∈ ran g∀y ∈ ran g((xhy) = y ∧ (yhx) = y)))} < 1400281219 700665 :ion!ion@heh.fi PRIVMSG #esoteric :taneb: Yeah, by Feynman himself! < 1400281221 3181 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :IS IT CLEAR < 1400281221 564398 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :this is sick, Slereah < 1400281224 361401 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :sick < 1400281227 23306 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :One thing is you can affect italic and roman text, so that variables are in italics and keywords in roman type. < 1400281227 832563 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ion, in 1557! < 1400281232 326170 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :and not east coast sick. < 1400281237 873946 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :douglass1 has a story about a textbook that used v, ν, and script ν to mean different things < 1400281260 944209 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :ugh is that the greek thingie < 1400281262 595415 :maurer!~maurer@MIMUNG.ECE.CMU.EDU PRIVMSG #esoteric :...I think I might have taken that class, but don't remember hwat it was < 1400281263 738715 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Textbooks commonly use bold to mean vectors < 1400281265 461624 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :i will destroy greek < 1400281266 61081 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :\nu < 1400281279 187426 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :Greeks can use it, I guess < 1400281280 164404 :ion!ion@heh.fi PRIVMSG #esoteric :kmc: nice < 1400281281 770158 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :right out for everyone else < 1400281285 367625 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :⊢ DIsoH = (k ∈ V ↦ (w ∈ (LHyp ‘k) ↦ (x ∈ (Base ‘k) ↦ if(x(le ‘k)w, (((DIsoB ‘k) ‘w) ‘x), (℩ u ∈ (LSubSp ‘((DVecH ‘k) ‘w))∀q ∈ (Atoms ‘k)((¬ q(le ‘k)w ∧ (q(join ‘k)(x(meet ‘k)w)) = x) → u = ((((DIsoC ‘k) ‘w) ‘q)(LSSum ‘((DVecH ‘k) ‘w))(((DIsoB ‘k) ‘w) ‘(x(meet ‘k)w))))))))) < 1400281286 222202 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :wat < 1400281296 835361 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :cool story bro < 1400281306 306367 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool theorem bro < 1400281326 182572 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Apparently that is the definition of an isomorphism H < 1400281336 889867 :ion!ion@heh.fi PRIVMSG #esoteric :cool bro bro < 1400281530 985441 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1400281821 414461 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ugh lifetimes < 1400281852 997509 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :man if the annoying rust error is lifetime failure rather than segfaults i'm fucking sold < 1400281974 812247 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have some pinball game in computer, which has seven holes for the ball to drain, instead of just one. One is worth nothing, Two are worth fifth points each, two are worth one hundred points, and two of them cause instantly game over even if you have more balls to play. < 1400282155 103011 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1400282411 286166 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1400282507 278299 :douglass1!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :actually it's not that much of a story. I did drop a class when they did basically the same thing on the board, with three kinds of epsilon in the same equation, distinguished by slightly different levels of curliness < 1400282522 417117 :douglass1!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :confusion at nu was too common to even remark on < 1400282577 556564 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :douglass1, oh god, if I was leading that class... < 1400282587 67916 :douglass1!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :it was q-chem < 1400282589 2361 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I have the worst handwriting when I'm not thinking about it) < 1400282605 115220 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I used to write my ns and as really similar < 1400282605 729278 :douglass1!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :they let me take the actual physics version instead for the same major requirement. SO MUCH BETTER. < 1400282656 336976 :douglass1!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :whereas nu you're kind of stuck with anywhere you're doing spectroscopy and it's not just that the particular lecturer or text sucks < 1400282691 24794 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i'd a lecturer this year who wrote his rs like an n, his ns like an m, and his m like some kind of weird mutant letter < 1400282698 59740 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have the suspicion I'm trying to do something horrible with this code < 1400282720 46391 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Servo does segfault sometimes :/ < 1400282722 458193 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :less often than it used to < 1400282727 317227 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :is q qauantitative or quantum < 1400282727 771374 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it contains a fair amount of unsafe code, for various reasons < 1400282737 67523 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :last year we had one who wrote beta the same way as b (he was greek, too) and labelled a series of vectors v1,v2,...wn < 1400282775 159840 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :suddenly mysteriously glad i haven't taken a math(y) class in years < 1400282860 560292 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :in a similar vein the geometry lecturer just used the board as a substitute for his short-term memory, writing disjointed fragments hither and thither with no actual structure < 1400282890 891807 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How horrible is in Rust having a function that returns a closure that's captured an (otherwise inaccessible) vector? < 1400282902 618253 :douglass1!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :quantum < 1400282928 393956 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And then mutates the vector potentially each time it's called < 1400282951 844637 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :how do you have a quantum chemistry class without actual physics... < 1400282959 819391 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :is this like how everybody is afraid to tell me what a d orbital looks like < 1400282974 91242 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Actually, I could make it a lot less horrible... but a lot less safe? < 1400282981 184283 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Aaah < 1400282991 42240 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :the knowledge could quite possibly DRIVE YOU INSANE < 1400283031 967533 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it's the one with a bunch of 6-fold symmetry isn't it < 1400283052 232125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :wait that's the f < 1400283057 676226 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Does Wikipedia have any description/diagram to tell you what a d orbital looks like? < 1400283063 218799 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the d is easy, i remember learning that at school < 1400283067 451172 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :zzo38: yeah. < 1400283077 921605 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:D_orbitals.svg < 1400283082 444395 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Actually I think I remember seeing all of the orbitals in some book. < 1400283126 583659 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :it has pictures of the f orbitals, too, ones in actually existent atoms anyway < 1400283333 621565 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :i asked my orgo prof where i could learn quantum and she basically said not to, so, i don't know what chemistry's deal is < 1400283354 165925 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1400283593 438482 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1400283605 195036 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1400283718 261586 :nooodl!~nooodl@d54C432ED.access.telenet.be QUIT :Quit: Ik ga weg < 1400283734 649723 :nooodl!~nooodl@d54C432ED.access.telenet.be JOIN :#esoteric < 1400283887 809483 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Can I make infinite loops out of continuations and avoid a infinite loop operator? < 1400283923 156250 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :presumably you'd need a continuation that continuates to itself? sounds like fix < 1400283945 169720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :((call/cc call/cc) (call/cc call/cc)) < 1400283954 247886 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :or that. < 1400283996 78053 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Assume you have law of excluded middle continuations < 1400284004 424709 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But, I suppose you may be correct < 1400284016 429956 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1400284016 579194 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400284032 310388 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can't do it with haskell-style callCC, of course < 1400284042 8677 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: IEUAAAAAAAAAAAAAAAAAAAH! < 1400284114 52433 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can do it with this handy operator, though: < 1400284121 11480 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let getCC = callCC (return . fix) < 1400284122 148841 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:158:9: < 1400284122 296224 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (MonadCont m0) arising from a use of ‘callCC’ < 1400284122 296308 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘m0’ is ambiguous < 1400284122 296347 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Relevant bindings include getCC :: m0 (m0 b) (bound at .L.hs:158:1) < 1400284122 296382 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1400284130 283874 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if I optimize something to the point where Rust's benchmarker reports "0 ns/iter", what % improvement do I report < 1400284143 99013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let getCC :: MonadCont m => m (m a); getCC = callCC (return . fix) < 1400284145 264408 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric :infinity duh < 1400284145 648178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1400284161 646246 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :∞ < 1400284162 448737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: The monomorphism restriction is turned on for lambdabot? < 1400284190 412077 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot is turned on by the monomorphism restriction? < 1400284194 131529 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric ::t return . fix < 1400284195 58886 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (b -> b) -> m b < 1400284266 552665 :Bike!~Glossina@67-5-224-143.ptld.qwest.net PRIVMSG #esoteric ::t callCC < 1400284267 472123 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadCont m => ((a -> m b) -> m a) -> m a < 1400284669 210339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: isn't it the best < 1400284762 322294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let getCC = callCC (return . fix) in getCC < 1400284763 753972 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show (m0 (m0 b0))) < 1400284763 900665 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M108163792579395769929310.show_M1081637925793957699... < 1400284763 900751 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variables ‘m0’, ‘b0’ are ambiguous < 1400284763 900789 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1400284763 900825 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance [safe] GHC.Show.Show a => < 1400284797 575635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let getCC = callCC (return . fix) in "hi" < 1400284798 812428 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hi"