< 1375920002 104746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, "Word" is like "Int" except unsigned. < 1375920018 458749 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :oh, I didn't know that. in that case, weird. < 1375920050 592842 :ion!ion@heh.fi PRIVMSG #esoteric :λ> unsafeCoerce (256 :: Word16) :: Word8 < 1375920052 227036 :ion!ion@heh.fi PRIVMSG #esoteric :256 < 1375920094 933543 :ion!ion@heh.fi PRIVMSG #esoteric :It’s almost as if unsafeCoerce is somehow unsafe. < 1375920102 602935 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=SVoI3hB4IiM the way everything is recorded now is really weird O_o < 1375920123 633062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it using the wrong instance dictionary or something? < 1375920190 252758 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :> -5 :: Word8 < 1375920191 172922 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 251 < 1375920197 972752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: That one is a bit less surprising. < 1375920201 303775 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: @_@ are those like, compressed gas canisters? < 1375920201 855169 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :ok. < 1375920208 663368 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: I see what you did there. < 1375920208 863492 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :Fiora: yep < 1375920224 308812 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :Fiora: tagged 'lab safety' < 1375920241 753348 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: there's a thing where russian cars all have recorders in them for insurance stuff or something? < 1375920249 847427 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :Bike: it's nice how it's going "oooeeeoooeoeo" while everything is blowing up < 1375920254 113254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :at least that's what I keep hearing when people ask why there are so many videos of russian traffic accidents < 1375920262 740709 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :elliott: I think it's called dashcam and yes that is the case < 1375920269 803205 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :elliott: yeah < 1375920275 983797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: is that "insurance" by the youtube mafia < 1375920293 34520 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :yorick: personally i like how the second half of the video is the driver backing up their car as far as they can < 1375920307 182783 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh god russian dashcams < 1375920307 383191 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :Bike: while the actual gas tanker is parking in front of it :P < 1375920311 523471 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you know why this is a thing? < 1375920311 893460 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :love the soundtrack < 1375920315 593225 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :kmc: fraud < 1375920320 934051 :|_!~ddd@115.254.89.117 QUIT :Remote host closed the connection < 1375920325 523553 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, insurance fraud / scams < 1375920333 604263 :ion!ion@heh.fi PRIVMSG #esoteric :elliott: There are claims i haven’t verified that you don’t get insurance moneyz if you didn’t get a police officer to make a report about the accident, and which participant’s bribe is greater determines the content of the report if you don’t have evidence. < 1375920343 914284 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :elliott: stop drop and DANCE < 1375920367 23053 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: http://www.youtube.com/watch?v=hkIZR-CE3iY summary of the last half of the video < 1375920375 713296 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :this is now my second favorite russian crash video < 1375920380 803923 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :second? < 1375920394 981414 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :the favorite being the one where the truck falls over, releasing a bunch of cows, which stand up and moo at everything and wander around < 1375920423 563390 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=n7CNR2bAh3Y < 1375920439 94749 :|_!~ddd@115.254.89.117 JOIN :#esoteric < 1375920469 400105 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :Bike: it's weird how they're all pretty much fine < 1375920475 321843 :yorick!~yorick@oftn/member/yorick PRIVMSG #esoteric :I mean they slide across the road quite a bit < 1375920487 203498 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :well they are cows. < 1375920516 310077 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :it's hard to hurt a cow. they're really quite solid. < 1375920546 364408 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 264 seconds < 1375920556 605054 :ion!ion@heh.fi PRIVMSG #esoteric :They’re partially gas, though. < 1375920568 324635 :madbr!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1375920571 532282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: is it a thing about ss(ssss......ssss)sss? <-- how should i know < 1375920597 714654 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: geez < 1375920627 781733 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how the cows only seem bothered for a second < 1375920632 413155 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and then they're just like welp time to start walking < 1375920636 864140 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hmm, I think I figured out how to do a cpu that does 1 opcode per cycle but has complex opcodes like add d2, [a0 + d0] < 1375920683 823648 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(provided you have at least an instruction cache, even a really simple one like the 68020's 256 byte cache) < 1375920747 824746 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :separate address registers from data registers like on the 68000, and have address calculations use address registers only, or optionally an address register plus d0 (first data register) < 1375920763 773540 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or possibly a choice of d0 or d1 < 1375920770 473775 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: holy fuck < 1375920784 273811 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :at which one < 1375920787 754234 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cows < 1375920790 895500 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :cows. < 1375920798 384093 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :don't fuck with cows man < 1375920807 484076 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i learned that the hard way < 1375920812 894395 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :used to be that every year or so the neighbors' cows would get out and wander all over my neighborhood < 1375920818 953880 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :i got memories man. memories. bad memories < 1375920821 996292 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net JOIN :#esoteric < 1375921122 484280 :|_!~ddd@115.254.89.117 QUIT :Remote host closed the connection < 1375921137 825110 :|_!~ddd@115.254.89.117 JOIN :#esoteric < 1375921364 924456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"It can be argued that the term ‘categorification’ should be reserved for vertical categorification, since we can use ‘oidification’ for the horizontal concept." < 1375921480 974399 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :categorifornication < 1375921489 217956 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1375921627 785547 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net PRIVMSG #esoteric :shachaf: :| < 1375921630 196957 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net PRIVMSG #esoteric :where is that from < 1375921693 265543 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's the first time in my life that I've seen the term "oidification" < 1375921748 397591 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :madbr: It's what you do when you go from "group" to "groupoid". h < 1375921750 245546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :th < 1375921978 37576 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: NihilistDandy < 1375922157 887699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which one of these is the monoid -> monad thing < 1375922184 325946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monoids are misnamed :( < 1375922195 575815 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they should be called cats, and categories should be called catoids. < 1375922200 315880 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :shachaf : what happens when your categories are not really vertical or horizontal? < 1375922210 326111 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :alternatively mons, and categories would be monoids < 1375922226 815893 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :what's the etymology of "monoid" again < 1375922246 386109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mon, oi dunno < 1375922254 485659 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :forced < 1375922256 215659 :ion!ion@heh.fi PRIVMSG #esoteric :bravo < 1375922283 396760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: the mon is jamaican hth < 1375922316 537033 :ion!ion@heh.fi PRIVMSG #esoteric :and the oi is british hth hand < 1375922412 236643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bravoid < 1375922431 796006 :ion!ion@heh.fi PRIVMSG #esoteric :bravod < 1375922437 415599 :ion!ion@heh.fi PRIVMSG #esoteric :bravad < 1375922932 645869 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: http://math.stackexchange.com/questions/156952/why-the-terminology-monoid < 1375922935 456277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(nobody knows) < 1375923009 814981 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :fuck < 1375923022 667484 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :`pastelogs 156952 < 1375923024 466390 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No. < 1375923028 517004 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :ok < 1375923034 434083 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :(what) < 1375923039 406569 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`cat bin/pastelogs < 1375923040 576959 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​#!/bin/bash \ cd /var/irclogs/_esoteric \ \ pasterandom() { \ if [ "$1" -gt 150 ]; then \ echo "No." \ exit \ fi \ for i in $(seq "$1"); do \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(shuf -n 1 $file)" \ done | paste \ } \ \ if [ "$1" ]; then \ if expr "$1" + 0 >/dev/null 2>&1; then \ < 1375923050 497461 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :try ()ing the number < 1375923060 717601 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :`pastelogs (156952) < 1375923073 356721 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14019 < 1375923114 926933 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :knew i'd seen it before < 1375923157 997999 :Bike!~Glossina@71-214-80-127.ptld.qwest.net PRIVMSG #esoteric :http://retractionwatch.wordpress.com/2013/08/02/thats-not-plagiarism-its-an-administrative-error/ retractionwatch is so ridic < 1375923729 960085 :nooodl^!~nooodl@78-20-118-11.access.telenet.be PRIVMSG #esoteric :good hackego < 1375923951 727899 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1375924062 470580 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1375924180 939650 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net JOIN :#esoteric < 1375925440 600516 :|_!~ddd@115.254.89.117 QUIT : < 1375925660 80563 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1375925916 101638 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: http://retractionwatch.wordpress.com/category/by-author/diederik-stapel/ oh gosh, they always use th same picture < 1375925984 851761 :Bike_!~Glossina@75-175-73-102.ptld.qwest.net JOIN :#esoteric < 1375925986 920564 :Bike!~Glossina@71-214-80-127.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1375926207 890575 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :18:38 < Fiora> Bike: < 1375926208 90984 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://retractionwatch.wordpress.com/category/by-author/diederik-stapel/ oh gosh, they always use th same picture < 1375926241 280644 :Bike_!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :well this is the guy who nearly got his phd taken away, which is apparently a thing that can be conceived of < 1375926244 281256 :Bike_!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :Serious Business < 1375926245 493050 :Bike_!~Glossina@75-175-73-102.ptld.qwest.net NICK :Bike < 1375926307 760458 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :gosh it's like he's smirking at me < 1375926417 211350 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :http://beheco.oxfordjournals.org/content/24/4/819 evopsych is one hell of a drug < 1375927078 342861 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :I should try to coauther with him < 1375927606 628239 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :http://bogost.com/blog/oauth_of_fealty.shtml one of the more colorful "fuck your api" posts i've seen < 1375928504 920013 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :the api deserves < 1375928506 363682 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :it < 1375928599 765312 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1375929081 718051 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rocking the eee pc 900 crapbook < 1375929124 190512 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the kbd is small enuf that i can hold the sides and type with my thumbs < 1375929177 74060 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :hey is anyone in #python < 1375929203 446065 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :or is it logged somewhere < 1375929264 75589 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nobody is in #python < 1375929269 576198 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :python does not exist < 1375929273 38204 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :k < 1375929277 305082 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you imagined it during one of your episodes < 1375929284 352815 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but also, why? < 1375929318 740337 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :because i'm curious if someone is spamming #python in the same way they're doing in #lisp < 1375929341 557230 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo quotes < 1375929355 15251 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also I just bit my tongue aaaaaaaaaaaaaargh < 1375929356 837022 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what are they spamming < 1375929360 696654 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: D: < 1375929381 476562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not even on a manageable spot like the front or something it's right at the back to the side ow ow ow < 1375929387 181833 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :it's not funny or anything, they just came in and linked their super cool new web thing nobody cares about, and claimed it was in lisp when somebody pointed out this was dumb < 1375929399 390180 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :link < 1375929403 715993 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :said it's based on the implementation from the 80s when pressed < 1375929405 888797 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :what, to the thing? < 1375929408 285078 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1375929415 660736 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I have a ~hunch~ < 1375929424 592993 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :wow am i like second-order spamming here. < 1375929428 848055 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :http://www.leapfm.com/ < 1375929443 288963 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hunch was wrong < 1375929452 616539 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this uh < 1375929456 734840 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like the hacker news software < 1375929467 294564 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :yeah weird right < 1375929468 536932 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :" Sure, I chose CMUCL because it works well with cloud development and various unix systems that I work with. Has a good native code compiler but most importantly it's freely redistributable with full source code" < 1375929472 963493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok but the html source doesn't < 1375929475 794412 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :vaguest description possible < 1375929476 277431 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so I guess it's not actually Arc < 1375929521 804313 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does Bike have arcpinions < 1375929553 294521 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :i stopped paying attention to arc when graham said about it that he was glad to have finally gotten rid of the "extra parentheses" in cond < 1375929564 464770 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :because that's the most banal thing i can imagine. < 1375929596 609653 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :itt Lisp doesn't have syntax < 1375929603 574842 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :getting rid of those parentheses was a deep semantic change < 1375929620 106160 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :like god CL is a fucking heap but you're not going to fix it if you seriously think that's important < 1375929637 332557 :Bike!~Glossina@75-175-73-102.ptld.qwest.net PRIVMSG #esoteric :basically imagine me saying "imo uuuuuuugh" for two minutes straight. < 1375929779 282438 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net JOIN :#esoteric < 1375929902 830858 :Bike!~Glossina@75-175-73-102.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1375929921 936759 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :so unrelated < 1375929930 121021 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :i tried to print some medical records < 1375929938 800243 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :and an #esoteric log came out? is coming out < 1375929939 897653 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :help. < 1375929950 965446 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we'er you're family now, Bike_ < 1375930045 444684 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :oh god they're still coming < 1375930053 300173 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://twitter.com/zanu_pf/status/363977016086765568 stupid future < 1375930057 718934 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :what the FUCK did i do < 1375930069 581384 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we want you to know EVERYTHING, Bike_ < 1375930084 378545 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ten years of #esoteric. they're all yours now < 1375930089 585710 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :oh man i got a vintage MEANWHILE IN R/BITCOIN here < 1375930092 766560 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :gonna frame this < 1375930110 480891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: marriage between people who want babies, like, to collect them. baby enthusiasts < 1375930123 217832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does Mugabe still exist < 1375930128 284750 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :yeah < 1375930131 107810 :Bike_!~Glossina@67-5-244-237.ptld.qwest.net NICK :Bike < 1375930140 743819 :Bike!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :why the fuck is this happening. < 1375930161 262238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what I like now is that you have to shred them < 1375930167 775764 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because otherwise what if someone finds your printed #esoteric logs < 1375930170 815466 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how the hell do you explain that?? < 1375930192 847763 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1375930202 346076 :Bike!~Glossina@67-5-244-237.ptld.qwest.net PRIVMSG #esoteric :i think i'll put them in a binder and donate them to the local library < 1375930473 27467 :Bike_!~Glossina@67-5-250-231.ptld.qwest.net JOIN :#esoteric < 1375930482 418024 :Bike!~Glossina@67-5-244-237.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1375930560 635705 :Bike_!~Glossina@67-5-250-231.ptld.qwest.net NICK :Bike < 1375930603 55558 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :kmc: getting rid of those parenthesis is basically the difference between an alist and a plist < 1375930606 255711 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :http://24.media.tumblr.com/26c6ef77e28f105a837df9a3af56d7af/tumblr_mr6ysuGwKn1r7tprao1_1280.jpg < 1375930615 595490 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :i'm seriously, i can't even comprehend what just happened to me < 1375930645 175212 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you printed out a log? < 1375930668 200905 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no wait < 1375930672 608013 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's actually irssi < 1375930673 216108 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :lol < 1375930675 176432 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like < 1375930675 736858 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1375930678 685978 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :an actual terminal screencap < 1375930693 146943 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :from like, weeks ago though < 1375930694 255611 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: please frame this < 1375930698 625780 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :of course < 1375930710 534337 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :a friend once attempted to print something < 1375930715 586725 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the printer decided to turn off postscript < 1375930720 895857 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and just printed the raw source as a text file < 1375930757 886414 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: did you maybe press a weird key at 17:42 weeks ago < 1375930793 846082 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :the other logs end at different times < 1375930820 256059 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :but uh is there some way i can destroy my print history easily to make it stop < 1375931059 348687 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1375931252 195968 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :shhh don't let CADD know we're here < 1375931342 206284 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :??? < 1375931413 55168 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is some horror movie shit < 1375931438 27739 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wait until it starts printing logs from the future talking about vaguely specified catastrophe < 1375931563 22417 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is horror movie stuff < 1375931568 196774 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :< elliott> wait < elliott> what happened to shachaf < FreeFull> idris........... < elliott> FUCK[log cuts off] < 1375931588 436345 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : I AM BECOME DEATH, THE DESTROYER OF WORLDS < 1375931610 637215 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :actually the conventional translation is time rather than death < 1375931623 258525 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but not the famous one < 1375931625 407286 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :at the end of the channel is elliott, alone < 1375931629 126944 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :trapped in his matrix of solidity < 1375931631 218068 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :with real dimensions < 1375931675 471097 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Bubblewrap matrix < 1375931729 587002 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :I thought it was pi dimesions < 1375931812 186970 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :pi is real. pi is all around us. < 1375931993 317369 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: help < 1375932017 576750 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :sorry shachaf i future logged it < 1375932021 64742 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :in the future you're already dead < 1375932043 997304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure this channel has a no future logging policy < 1375932063 328234 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :if it did that would have to be indicated in the topic < 1375932065 97369 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :freenode rules < 1375932102 799085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: it sure does < 1375932117 909924 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :yes < 1375932142 737668 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :Bike: interesting about pi, it was almost legislated to be a finite fraction at one point.. imagine what would have happened to math if it passed? < 1375932171 37786 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :nothing, because everyone would ignore a dumbassed state law in the same way botanists don't give a fuck what the SCOTUS said tomatos were < 1375932199 268138 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :cant find the reference, but it was something like 237/74 < 1375932247 998846 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :> 237/74 :: Float < 1375932248 971144 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 3.2027028 < 1375932270 228372 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :im pretty sure its not exacty that fraction. but it was something close < 1375932274 707434 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :exactly* < 1375932286 667630 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :i'm pretty sure that pi is exactly that fraction < 1375932298 87769 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :exactly < 1375932308 41466 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :well, i was just reading the wiki article on pi < 1375932317 987769 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :this reminds me that i don't actually have an intuitive idea of why pi is irrational < 1375932320 906052 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :sucks imo < 1375932323 647990 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :newton came up with an infinite sum of fractions that approaches pi < 1375932340 48224 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :im pretty sure the wiki article could shed some light on that < 1375932383 151675 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :irrationals are crazy < 1375932388 797869 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :ikr? < 1375932398 469319 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :transcentenals even more so < 1375932400 368616 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :ew, pun < 1375932404 457523 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :yup < 1375932404 740424 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :oh, you were serious < 1375932405 849049 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :lol < 1375932414 387652 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :i didnt even see that as a pun < 1375932414 588189 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh heh < 1375932417 906412 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :nice catch Bike < 1375932477 180243 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :between every two numbers there's an infinity of transcendentals that are uncalculatable < 1375932493 127712 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :yup < 1375932499 607442 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :surreal numbers are amazing < 1375932500 987882 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :even if you could do any infinite series or solve anything < 1375932503 527612 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :Between any two reals there is an infinite number of rationals. < 1375932534 60436 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :bike: yes but that's a countable infinite < 1375932539 298588 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :unless you include infinitesimals < 1375932572 368560 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :even the infinitesimals are infinitely small compared to the reals < 1375932589 538209 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh wait < 1375932591 558210 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :nevermind < 1375932641 958019 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :most numbers you will never ever be able to reach < 1375932688 100477 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :Can you think of an uncomputable number that isn't the limit of a sequence of computable numbers? < 1375932720 867714 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :yes w < 1375932742 548011 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :and w^2 < 1375932771 228346 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :BB(1000)? < 1375932804 78167 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :bike: has to exist < 1375932820 960732 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :sequences of computable numbers are countable < 1375932857 461703 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :fiora: wouldn't any busy beaver be just as uncomputable any other? < 1375932859 358361 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so numbers that you can reach by sequence are only an infinitely small part of the reals < 1375932868 178032 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :doesthiswork: BB(4) is computed, though, I think? < 1375932897 138297 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like, the halting problem only says "some programs can't be proven to halt", not "all programs can't be proven to halt" < 1375932903 930938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can Bike think of a number that even he could not compute? < 1375932912 657734 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :I meant an example. < 1375932915 420450 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :fiora: got it < 1375932925 411780 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and like, the small busy beaver ones are pretty easy or something < 1375932941 338872 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :It's pretty easy to construct a computable sequence that has a busy beaver number as its limit. < 1375932958 323532 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :also they're all, like. natural numbers. < 1375933002 629949 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but what if BB(1000) is uncomputable? < 1375933012 328169 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like, if you don't know what it is, howcould you converge to it? < 1375933032 728796 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :Dovetail running every relevant Turing machine < 1375933035 3467 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :bike: smallest number that is part of a nonterminating collatz sequence < 1375933056 400449 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :What makes you think that? < 1375933078 368830 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but like.... dovetailing turing machines can only find you a lower bound, right? < 1375933095 259035 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :A sequence of lower bounds. < 1375933126 290278 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1375933139 78363 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that makes sense... I guess... < 1375933151 77413 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :untill you have proved that every one of those machines that hasn't halted, will not halt it isn't computed < 1375933164 849121 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :I asked for a sequence. < 1375933172 650978 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hmm < 1375933179 278335 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :I thought you asked for a number < 1375933196 962119 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :I asked for a number not the limit of a sequence. < 1375933198 178431 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :a number that can't be reached through sequence < 1375933200 639063 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: but taking you the limit gets you a perfect lower bound < 1375933205 788382 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :since the lower bounds are constantly improving < 1375933216 335288 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's vague but. anyway. < 1375933225 48361 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I bet Bike would explain it better. < 1375933232 742672 :CADD!~CADD@12.227.104.109 NICK :CADD|away < 1375933238 599954 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :not sure I can think of any < 1375933242 9850 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's pretty hard < 1375933310 712084 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :busy beaver is pretty much the prototype of uncomputable < 1375933311 422299 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :infinite sums are out ofc, same for solutions to anything (since you can infinite-newton-raphson it) < 1375933320 688916 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Specker_sequence Another nonexample. < 1375933350 592372 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(though maybe a solution to something discontinuous and nonconverging) < 1375933410 741633 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :transcendental numbers? < 1375933418 430140 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: wow, that's an evil sequence < 1375933422 938951 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :It is. < 1375933457 688919 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :It also means the computable reals aren't compact, so, that kinda blows. < 1375933527 770086 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :bike: woa this is remarkably hard < 1375933546 48988 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :Isn't it? < 1375933563 301891 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :How about another question: An uncomputable function that is continuous. < 1375933586 179145 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hm < 1375933595 679395 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: trivial. < 1375933602 190939 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :coppro: Yeah? < 1375933605 78877 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :busy beaver with linear interpolation < 1375933606 279435 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: take the busy beaver function, connect the dots < 1375933611 40499 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :maybe just the fourier transform of an uncomputable series < 1375933646 384643 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :incidentally, the best proof I've been taught in a class was < 1375933655 170464 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :"Proof. Draw the graph on sufficiently fine grid paper." < 1375933689 969604 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :any 3 points make a straight line give a wide enough pen < 1375933697 492251 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :How about differentiable? < 1375933711 154 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :the integral of the previous answer < 1375933723 849503 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :boring. < 1375933774 319186 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :doesthiswork: this was a serious proof < 1375933782 346080 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'll let you puzzle over what theorem < 1375933855 411169 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net PRIVMSG #esoteric :coppro: yes, I can imagine things that would be proven by that < 1375935657 39962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"We write α ∶ F ≅ G, if α is a natural isomorphism. As an example, the identity is a natural isomorphism of type F ≅ F." < 1375935667 271139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is this the worst example < 1375935692 962606 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :Maybe. < 1375936679 972441 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :http://arxiv.org/abs/1303.0371 So like, searching in constant time. < 1375936681 983480 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :What the fuck? < 1375936847 786290 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :in the classical algorithm? < 1375936855 182411 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :ah, quantum one. < 1375936883 87621 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :Not that i understand what "nonlinear quantum model" means here in a nontrivial way, but < 1375936891 692429 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Bike: and it's not the constant time, it's rather like O(n^(1/4)). < 1375936931 76374 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :i read that but wikipedia summarized it as "constant" so i dunno < 1375936962 298057 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :it is a long known fact that the quantum computer can do unstructured searching in sublinear time (Grover's algorithm, O(n^(1/2))) so it is not that crazy one < 1375936976 506053 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :though I'm not aware of details < 1375936992 718189 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :well grover's is also crazy. < 1375937007 407092 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :every quantum algorithm is crazy ;) < 1375937012 677132 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :they figured how to make some part of it constant < 1375937042 125429 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but some other part has grown in requirements so the overall growth is O(n^(1/4)) < 1375937042 942096 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :it seems that Grover's algorithm is the optimal one of that kind though < 1375937052 873003 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's what I can read from what they're saying < 1375937085 832695 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(the optimality of the number of unitary operators U_\omega?) < 1375937101 523850 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :the number of applications of unitary operator* < 1375937116 940468 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1375937150 136394 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :lifthrasiir: yeah grover's is the fastest "linear" < 1375937162 266874 :Bike!~Glossina@67-5-250-231.ptld.qwest.net PRIVMSG #esoteric :again i have no real idea what this means < 1375937948 701515 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1375938583 488579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: do you find that you check super mega less now that it has a regular update schedule < 1375938623 914588 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i actually probably check it the same amount < 1375938634 844024 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what if it updates out of schedule! what then < 1375938641 515332 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i have to be on top of things like this < 1375938726 844311 :Bike_!~Glossina@67-5-237-111.ptld.qwest.net JOIN :#esoteric < 1375938736 38370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: JohnnySmash wouldn't do that would he < 1375938753 752725 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but what if he did........... < 1375938791 708035 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what if someone held johnnysmash at gunpoint to make comics on wednesdays too without telling anyone about it < 1375938809 949842 :Bike!~Glossina@67-5-250-231.ptld.qwest.net QUIT :Disconnected by services < 1375938811 826416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hang on that could actually happen < 1375938817 626298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i better check on wednesdays too < 1375938821 435399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and on weekends < 1375938823 60229 :Bike_!~Glossina@67-5-237-111.ptld.qwest.net NICK :Bike < 1375938833 204299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and even mondays < 1375938842 301835 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :I assume johnnysmash is an intelligence agent, and Super Mega is coded messages. < 1375939133 158969 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1375939156 839650 :CADD|away!~CADD@12.227.104.109 QUIT :Read error: Connection reset by peer < 1375939330 824044 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" Can you think of an uncomputable number that isn't the limit of a sequence of computable numbers?" even the rationals (which are computable) are dense among reals, so there are no such numbers < 1375939410 1667 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" BB(1000)?" BB(1000) is a computable number, as it is an integer. this particular representation of it might be impossible to evaluate, but that is irrelevant. < 1375939456 375199 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :take all my fun why doncha < 1375939470 281035 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oklopol : "dense" ? < 1375939508 546141 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Dense_set doot < 1375939555 100584 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :so just pack BB(n) in order into a real < 1375939557 606459 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :Since any real has a rational of any distance you want by it. < 1375939598 831550 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :mhm < 1375939608 147465 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :So for any real we can construct a sequence etc etc converges to etc etc etc and so on etc < 1375939629 382705 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :which means that... yeah if you can get an approximation < 1375939649 827230 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :computables are also dense, so, bla bla analogy etc left as an exercise etc bla blatc < 1375939650 735587 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but that's a contradiction < 1375939655 820043 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :What? < 1375939672 510645 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hmm < 1375939679 386751 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or I might be wrong < 1375939703 201722 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but I have this intuition that sequences approaching a given limit are countable < 1375939717 853806 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1375939722 15393 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :That the set of all sequences approaching a given limit is countable < 1375939723 127110 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :*? < 1375939746 160369 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1375939762 625268 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hm < 1375939779 842752 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the set of all countable sequences approaching a given limit < 1375939784 285693 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :uh < 1375939789 677028 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :Because that's not the case. Take any sequence approaching the limit that isn't bla bla, multiply it elementwise by some real, you get another sequence < 1375939791 248221 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the set of all computable sequences approaching a given limit sorry < 1375939851 971707 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody said the sequence had to be computable itself, though. < 1375939866 979082 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :admittedly i did intend that, but yeah. < 1375939977 148070 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :by definition, they usually are < 1375939984 427834 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh okay i was scrolled up < 1375939992 472680 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :oh, duh < 1375940033 364234 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :because rationals are dense over reals, that meach every real must be reachable by successive iteration < 1375940082 415693 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except for numbers involving non-computable parts, this means this successive iteration can be defined by a computer program < 1375940102 20566 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :computer programs are countable < 1375940139 378749 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :Computable numbers are countable, yes, but (countably) infinite sequences of members of a countable set are well, not. < 1375940174 425113 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1375940196 459453 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :my proof: real numbers are iso to digit sequences, then think a lil < 1375940204 728895 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :why did you say that the specker sequence is a nonexample? < 1375940220 440538 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well < 1375940229 165405 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :Because it's a sequence of computable numbers with an uncomputable limit? < 1375940262 155800 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i may have changed your question < 1375940279 12707 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :It wasn't a very good question. < 1375940342 294180 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :are there numbers that can't be computably successively approximated? < 1375940387 3672 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :well like oklopol said there's always a sequence of rationals or computables or whatever the hell. < 1375940414 347309 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh I see < 1375940414 969507 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :there are like, functions that aren't semicomputable, though? probably < 1375940418 225075 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if a single program needs to output the sequence though, this is more interesting < 1375940430 110610 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :yeah. < 1375940435 435089 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I reread the specker sequence thing < 1375940479 850379 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :essentially some digits of the maximum of the sequence are uncomputable < 1375940504 779739 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so the maximum of the sequence can't be successively approximated < 1375940509 368556 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :clever < 1375940954 814809 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if you do specker with a subset X of naturals, and you have a program that outputs a sequence of rationals that converges to it, then X is necessarily recursively enumerable, presumably by the proof in the specker article < 1375940997 486205 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so if you do specker with a set that is not recursively enumerable, then that number cannot be approximated by a computable sequence of rationals, in a somewhat interesting sense < 1375941120 136893 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :you sorta can't force it to converge < 1375941138 761446 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :interesting < 1375941162 202430 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well not sure i get your intuition there < 1375941194 564768 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well, if you have a rule that you must always converge to at least distance N of the real number < 1375941206 586072 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :with N being divided by 2 on each step < 1375941221 797838 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :then a given step might loop infinitely of course < 1375941264 65149 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :here, the property of a real a we are interested in is "is there a turing machine that, given n, outputs a rational r_n, such that r_1, r_2, ... converges to a" < 1375941313 830192 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :right < 1375941366 633813 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :hmm < 1375941417 677982 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay actually perhaps "is there a turing machine that, given n, outputs a rational r_n, such that r_1, r_2, ... converges to a, and |r_i - a| is decreasing" < 1375941437 999301 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :because otherwise i don't know if X needs to be r.e. < 1375941469 151129 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I was thinking of having the difference exponentially decreasing < 1375941510 339354 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well isn't the number computable then < 1375941523 7139 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hm yes < 1375941562 693819 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i think mine is a weaker notion < 1375941630 653297 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :there's a lot of literature on this stuff, but i haven't read any of it < 1375941704 944998 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :actually on second thought i'm not sure even my latter definition works < 1375941727 146030 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :or is that a third thought < 1375941828 294163 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :on nth thought, for some unknown n < 1375942026 539739 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ah okay i think r_i itself needs to be increasing: then you can tell n \in X when the nth digit flips to a 4, so X is r.e. < 1375942119 170100 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: the definition I know is just forall m n, |r_m - r_n| <= m + n < 1375942124 490413 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or am I talking nonsense < 1375942141 133292 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :are you sure about the m+n? < 1375942148 752313 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you know less and less about the numbers? < 1375942164 39578 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 256 seconds < 1375942166 131711 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well I looked it up in the paper I remember reading so as to look slightly less stupid. < 1375942183 727186 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :it's ok elliott, i'm here for you, to look stupidest. < 1375942189 651912 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok wait that wasn't the exact paper < 1375942191 692863 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :elliott: i'm not trying to define computable numbers, i'm trying to define a larger class < 1375942195 769775 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh. < 1375942205 205583 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks, now I know I'm talking nonsense < 1375942223 456005 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :The important question is, are these numbers Lyapunov stable < 1375942242 632413 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if in yours, you replace m+n by 1/(m+n), then that's computable numbers, since the nth approximation is at most 2/n away from the real < 1375942272 426134 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :or i guess even 1/n away < 1375942295 488649 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :For example, I will represent the real numbers (see Definition 9.16 and < 1375942295 760110 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Definition 11.1) by the type < 1375942296 112772 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :∃f: Q+ ⇒ Q.∀ε1 ε2.|f(ε1) − f(ε2)| ≤ ε1 + ε2. < 1375942323 250895 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it's possible that roconnor made the exact same mistake in the definition in both his Ph.D. thesis and this other paper < 1375942335 552247 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :rookie mistake < 1375942353 168504 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :are those epsilons natural numbers though? < 1375942354 847788 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :wait should i even ask how that's a type < 1375942356 511210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: did someone castle agaain < 1375942361 588375 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it copied kind of badly < 1375942364 433167 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :yes < 1375942366 198225 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: oh, I guess they're Q+ there. < 1375942369 114555 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :what's a castle < 1375942370 244433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so, sure. < 1375942375 926743 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :looking at the type, that seems to work < 1375942390 930354 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :idea is that given epsilon, f computes an epsilon approximation < 1375942398 617527 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for positive rational epsilon < 1375942402 278427 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: it's (f : Q+ -> Q, prf : forall e1 e2, abs (f e1 - f e2) <= e1 + e2) < 1375942414 569216 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that ∃ is meant to be an \exists < 1375942424 159403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh. < 1375942425 98896 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it is. < 1375942429 565006 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Windows just sucks. < 1375942515 357777 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i see them just fine < 1375942639 374683 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I see... < 1375942646 626293 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so it's like... < 1375942716 771273 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :can i see the paper? < 1375942728 194749 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :- any real can be reached by the limit of an infinite series or rationals, since rationals are dense over reals < 1375942730 806187 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :because i'm also wondering how that's a type < 1375942763 445677 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :- however that series can't converger exponentially or else the number would be computable (and thus, countable) < 1375942800 185601 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :i mean it's a type in that it defines a set of stuff but < 1375942831 113234 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: http://r6.ca/thesis.rev.fluorine.pdf < 1375942832 403855 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it doesn't really define anything though, it's just a true statement about functions :P < 1375942837 339473 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I mean it's pretty standard? < 1375942840 709570 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but there might be something implicit going on < 1375942843 658999 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a dependent tuple with a function and a proof object < 1375942847 800124 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :- which means that 'most' reals must be approached by a series that you can't determine if it converges or not < 1375942855 808133 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :where the proof object is a dependent function from two Q+s to a proof obejct that blah blah blah. < 1375942876 409294 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(or at least doesn't converge exponentially) < 1375942908 585529 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :madbr: the second one is slightly wrong, the series can converge as fast as you like... it's the enumerability by a turing machine that's important < 1375942939 62091 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hm, true < 1375942965 608844 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so it can't... converge exponentially in an enumerable way < 1375943001 56214 :Bike_!~Glossina@67-5-237-111.ptld.qwest.net JOIN :#esoteric < 1375943017 234174 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes, or otherwise the number is computable (and thus, belongs to the countable set of computable numbers) < 1375943064 650121 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so either it must converge exponentially in a non computable/enumerable way < 1375943078 843392 :Bike!~Glossina@67-5-237-111.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1375943120 408383 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or if you force your successive steps to be computable/enumerable, then it can't converge exponentially anymore? < 1375943130 159951 :Bike_!~Glossina@67-5-237-111.ptld.qwest.net NICK :Bike < 1375943131 81420 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ah okay if you have an existentially quantified formula, then it's the type of values the existential quantifier can take < 1375943200 259469 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1375943222 320331 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :madbr: something like that i guess. < 1375943308 962248 :CADD!~CADD@12.227.104.109 PRIVMSG #esoteric :sooo... why arent there more people talking about egison?: http://egison.pira.jp/ < 1375943315 661022 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: well uh, you have to bundle the proof object. < 1375943337 169128 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a value of the type would look like (f, \e1 e2 -> ...proof of the <=...) < 1375943343 464184 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah but i consider that part of the logic we're working in < 1375943344 307831 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :given appropriate constructors for <= or whatever on Q. < 1375943350 679150 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, sure < 1375943350 922247 :madbr!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Radiateur < 1375943370 790328 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it isn't really like that in type theory, which is the point of the thesis. < 1375943377 699594 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay < 1375943381 889522 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like, proofs of (m <= n) aren't necessarily unique depending on how you define <=. < 1375943387 319297 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so the proof term can be relevant. < 1375943408 693184 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :Algorithms are expressed intuitively and will be auto-parallelized with Egison!! < 1375943525 996005 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oklotalk-- did pattern matching of objects without normals forms too < 1375943544 908103 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Egison is the world's first programming language that makes pattern-matching with unfree data types practical. < 1375943560 392015 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay perhaps that's different < 1375943563 499642 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :so, we can conclude that oklotalk-- wasn't real and youjust hallucinated < 1375943579 333837 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I remember oklotalk-- < 1375943583 650322 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i wonder what's "practical" < 1375943585 492555 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :no you don't < 1375943600 965062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: remind me how oklotalk-- was great. I remember it being great < 1375943602 624135 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@karma oklotalk < 1375943602 866537 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :oklotalk has a karma of -4 < 1375943615 734823 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well it was great for example because it mixed static and dynamic scoping < 1375943628 421228 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :wow great. < 1375943635 179894 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :every variable was first checked in the static scope, then the dynamic scope < 1375943641 391176 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :how great is that? very. < 1375943682 56362 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :also pattern matching was pretty advanced < 1375943686 850105 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :dunno if there was anything else :P < 1375943710 727631 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :gotta go see a doctor now. < 1375943718 135436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: don't die :( < 1375943739 212197 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :advanced and practical < 1375943747 564953 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'll try my best < 1375944309 991912 :Bike!~Glossina@67-5-237-111.ptld.qwest.net QUIT :Quit: leaving < 1375944920 823561 :btiffin!~btiffin@CPE002369b7648c-CM0014e88ec3b0.cpe.net.cable.rogers.com JOIN :#esoteric < 1375947298 1194 :epicmonkey!~epicmonke@188.134.41.114 JOIN :#esoteric < 1375947435 529971 :Taneb!~nathan@host-92-30-134-171.as13285.net JOIN :#esoteric < 1375947484 425010 :MindlessDrone!~MindlessD@HSI-KBW-134-3-130-100.hsi14.kabel-badenwuerttemberg.de JOIN :#esoteric < 1375948416 7209 :Taneb!~nathan@host-92-30-134-171.as13285.net PRIVMSG #esoteric :Aaaaaaaaaaaaaah < 1375948423 37907 :Taneb!~nathan@host-92-30-134-171.as13285.net PRIVMSG #esoteric :I can watch Airplane WHENEVER I WANT TO < 1375948637 71914 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Read error: Operation timed out < 1375948657 749529 :Taneb!~nathan@host-92-30-134-171.as13285.net PRIVMSG #esoteric :No I can't < 1375949466 814443 :epicmonkey!~epicmonke@188.134.41.114 JOIN :#esoteric < 1375949765 836152 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Ping timeout: 248 seconds < 1375949766 125418 :Taneb!~nathan@host-92-30-134-171.as13285.net PRIVMSG #esoteric :In other news, my copy of To Be Or Not To Be: That Is The Adventure has shipped! < 1375949788 846850 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net QUIT :Quit: Leaving. < 1375951852 474001 :Taneb!~nathan@host-92-30-134-171.as13285.net QUIT :Ping timeout: 264 seconds < 1375952678 988170 :btiffin!~btiffin@CPE002369b7648c-CM0014e88ec3b0.cpe.net.cable.rogers.com PART :#esoteric < 1375952820 28113 :Taneb!~nathan@host-92-30-157-233.as13285.net JOIN :#esoteric < 1375953483 425978 :katla!~katla@unaffiliated/katla JOIN :#esoteric < 1375954007 424637 :epicmonkey!~epicmonke@host-224-51.dataart.net JOIN :#esoteric < 1375954450 323772 :Guest18414!uid11324@gateway/web/irccloud.com/x-wmpgzonmugbgjqkq QUIT :Ping timeout: 245 seconds < 1375954468 662037 :Guest18414!uid11324@gateway/web/irccloud.com/x-nirqeeyjbjsyczlq JOIN :#esoteric < 1375954552 504709 :epicmonkey!~epicmonke@host-224-51.dataart.net QUIT :Ping timeout: 264 seconds < 1375955270 126782 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1375956300 259280 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 245 seconds < 1375956375 709599 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1375956470 307135 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1375957096 657795 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1375960932 419368 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Well, that's the best I've ever done at Brogue < 1375961047 528530 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yay you're playing brogue < 1375961053 66444 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you playing the latest version? it is kind of bad < 1375961056 373335 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you mightw ant to try the previous one < 1375961135 719357 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I think I am playing the latest version < 1375961137 145096 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :It's a different version to that which I was previously playing < 1375961151 747236 :CADD!~CADD@12.227.104.109 QUIT :Quit: Lost terminal < 1375961163 754217 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it has a kind of terrible food clock with some serious issues (food basically only ever spawns on certain fixed levels due to some bad design and food is really tight so it's easy to starve because of this) < 1375961168 676041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you do starve maybe roll back a version :p < 1375961175 832178 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I haven't been starving < 1375961188 319285 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :So maybe I am not on that version < 1375961382 86448 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Huh, I am on the latest version < 1375961397 184539 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Maybe I just suck so much that it hasn't became an issue < 1375961406 32041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what did you die to? < 1375961408 756037 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Centaur < 1375961411 349731 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Level 19 < 1375961416 464822 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ahh centaurs < 1375961419 756399 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :were you a melee dude < 1375961423 448421 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Yeah < 1375961425 809247 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :okay well < 1375961428 95608 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :here is my centaur tip < 1375961435 789235 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :walk through a door and wait for it to come for you < 1375961444 270161 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is like the only way to kill centaurs as a melee character without wanting to kill yourself < 1375961456 198123 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's kind of silly that you have to use bad AI in this way but it's so intolerable doing anything else < 1375961460 926792 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I had a +11 rapier of multiplicity and it was awesome < 1375961466 145862 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow +11 < 1375961470 186484 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :did you just sink every enchant into it < 1375961477 46077 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :p. much < 1375961484 605961 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :When I found it it was +4 < 1375961514 86804 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I would hit something and I'd have an army of floaty blades < 1375962016 925274 :nooodl!~nooodl@78.20.118.11 JOIN :#esoteric < 1375962062 18440 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Enchantments go to 11? < 1375962353 635107 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :At the very least! < 1375962400 574606 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That sounds almost as unbalanced as nethack < 1375962452 657389 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1375962460 874363 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Scrolls of enchantments aren't that easy to come across < 1375962473 239030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Enchantments go to +127, presumably. < 1375962522 903089 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Not 2147483647? < 1375962557 748547 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :in nethack it's +127 < 1375962591 186965 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :however this also applies to your to-hit bonus, which is also a signed char, or something, and it'll overflow and you'll have -118 to-hit < 1375962607 590306 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :brogue is roughly infinitely more balanced than nethack < 1375962616 451087 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But think of all the sexy foocubi you'll get by showing off your +127 whatever. < 1375962627 46811 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :`? foocubi < 1375962629 216762 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :foocubi? ¯\(°_o)/¯ < 1375962629 478904 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69              | < 1375962629 756368 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69            º¯`\o < 1375962635 413684 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^style nethack < 1375962635 671896 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal) < 1375962639 464160 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Tell me about foocubi. < 1375962639 726256 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: tiger: 1. a check of my attire showed no obvious holes or damage. i once saw a hacker named beaver. weak and ailing, they have eight legs and filling his lungs with air. < 1375962640 72240 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You cannot enchant meat sticks < 1375962642 466587 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I have a +127 whatever, if you know what I etc. etc. etc. < 1375962655 870260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: That doesn't sound terribly sexy. < 1375962655 870363 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: pyrolisk: at first. he appreciated the priceless wine that much that he is not surprisingly, are large, elephantlike mammal of the damned to hell. < 1375962661 777644 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I should try nethack sometime < 1375962668 426936 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :
ACTION dodges the dirty looks
< 1375962685 719530 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Anything I should know? < 1375962693 313837 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Before I download it and start? < 1375962708 913847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Play it on one of the servers instead, they're fancy. < 1375962710 100047 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :"play brogue instead" < 1375962713 401979 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :And die horribly from a goblin with a wand of death or some other stuff? < 1375962727 411294 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Nethack... servers? < 1375962727 936924 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Play a game that has been developed in the last decade < 1375962735 181006 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You get your embarrassing deaths typically announced on an IRC channel. < 1375962760 946403 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Doesn't nethack have like 1000 ways to die or something < 1375962771 175942 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :Roujo: `telnet nethack.alt.org` < 1375962790 514221 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: NAO's "top types of death" list has 16697 unique entries. < 1375962797 647869 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :Taneb: killed by a goblin called A, killed by a goblin called B, killed by a goblin called... < 1375962847 162828 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric ::P < 1375962855 615673 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Granted, it's probably kind of a Zipfian distribution. But even the rank-1000 entry ("killed by a fire ant, while frozen by a monster's gaze") has happened 55 times, so it's not quite unique. < 1375962869 129332 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I think I'll stick with Pokemon Mystery Dungeon Red Rescue Team < 1375962873 213908 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://alt.org/nethack/player-endings.php?player=DeathRobin < 1375962877 196742 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Entries 6048..16697 all have a count of 1, though. < 1375962901 750203 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, there have been 101 trickeries. < 1375962928 513710 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"killed by a gnome lord called 104" thanks, saiph. < 1375962934 25771 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Jafet: Well, the goal here is to actually play nethack, so playing something else instead doesn't quite fit the bill =P < 1375962943 961063 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :nooodl: Alright, I'll telnet there. < 1375962948 527979 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I'll telnet SO HARD < 1375962959 775934 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's quite a few entries where people have been frustrated. < 1375962963 165202 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :Roujo: if you really wanna play nethack maybe play acehack instead < 1375962966 38217 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :E.g. "killed by a pony called KILL ME I FAIL AT ILLITERACY". < 1375962967 121126 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :which is like < 1375962973 167291 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :nethack without the terrible terrible ui < 1375962978 747925 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :That might be nice < 1375962984 321842 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :"Was killed by an Oddish using Tackle while paralyzed" < 1375962989 655489 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I tried to play DF without a graphics pack < 1375962991 689792 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or "killed by a rock troll called OH FUCK YOU TROLL SERIOUSLY". < 1375962994 718672 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Didn't really work out < 1375962999 566901 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Roujo, I've never played DF with a graphics pack < 1375963008 453712 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net QUIT :Ping timeout: 245 seconds < 1375963012 247491 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Taneb: Then you are a greater person than I am < 1375963013 910235 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :
ACTION bows
< 1375963023 538537 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Nah, I'm just lazy and stubborn < 1375963034 684524 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :There's the Lazy Newb Pack for that =P < 1375963035 96690 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :
ACTION wants to make an ascii pokemon roguelike based on actual pokedex data
< 1375963063 859858 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :nooodl, with the whole Alakazam has an IQ of over 3000 crap? < 1375963067 318496 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :that'd be rad. it'd be like mystery dungeon except not rguhhghggg and with more stuff i guess < 1375963075 313239 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Roujo, well it's too late now, I'm not a newb < 1375963076 69779 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :oh no, i just mean, accurate movesets etc. < 1375963083 352313 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Oh < 1375963093 85260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/eGWP NetHack players have dirty mouths. < 1375963095 895059 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :So, basing it on one of the main series games? < 1375963119 773706 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :elliott: 9877 1 0.000 killed by a djinni called Where's my fucking wish? < 1375963123 539110 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :guess who :') < 1375963139 570584 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :Taneb: yeah < 1375963166 659497 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"housecat called Kitty with a huge gaping jaw the size of a fucking hallway" has killed two people, I see. < 1375963173 159991 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :Roujo: well acehack still has the text graphics < 1375963183 982437 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :they're not as 100% insane as dwarf fortress's though < 1375963198 22822 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://www.rarecandytreatment.com/comics/1019152/brink-of-mentality/ < 1375963208 836023 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :fizzie: must be someone's petname < 1375963241 121011 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I'm watching a game right now < 1375963254 977577 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :And I'm having trouble following =P < 1375963341 82263 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/gSiR "it keeps happening" < 1375963435 975706 :nooodl!~nooodl@78.20.118.11 PRIVMSG #esoteric :fizzie: poetic < 1375963607 393048 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Do not call watch captains shitty minetown bones. < 1375963865 364375 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net JOIN :#esoteric < 1375963945 153382 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1375964530 299665 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1375964748 544250 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :graphical DF is impossible to play I think < 1375964900 755888 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You mean the one where an opengl program pretends to be a terminal emulator < 1375964908 627082 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That was weird yes < 1375964955 363343 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean the one where you have to keep track of >100 tiny little smudgy pictures instead of simple geometric shapes you already know < 1375965693 14757 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: whoa, tilaa have SSDs now. < 1375965755 918573 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"A lot of our competitors who offer SSD VPS actually only do SSD caching. That means that on the backend your data is still stored on "spinning rust" and the SSD's are used to offload the HDD's somewhat." I love the "spinning rust" expression, it's so disparaging. < 1375965828 139449 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do I want 1 gigabyte of RAM and 20 GB of SSD or do I want 2 gigabytes of RAM and 30 GB of spinning rust? < 1375965832 741613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess the latter also has like twice the CPU. < 1375965845 242625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :these prices were so much better when I thought 20 dollars was 20 pounds instead. < 1375965847 422401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Bike Can you think of an uncomputable number that isn't the limit of a sequence of computable numbers? <-- not if the sequence itself can be uncomputable. after all every real number is a limit of a sequence of rationals. < 1375965847 671114 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1375965861 37041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: we went over thiiiiiiiiiiiiiiiiiiiiiiiiiis < 1375965865 202424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1375965901 80954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm, in fact you can even define explicitly a unique sequence... < 1375965926 89436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :alternatively do I want 32 gigabytes of RAM, 19.2 GHz (???) of CPU, and 1280 gigabytes of hard disk (241.40 EUR/mo), or the same but with 240 gigabytes of SSD (243.80 EUR/mo)? < 1375965936 297688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just take your favorite ... oh wait, just take the continued fraction cutoffs. < 1375965955 588609 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wait, that's pretty incredibly cheap. < 1375965980 284465 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :32 gigabytes of RAM and eight cores and a terabyte of disk for two hundred pounds a month? < 1375965991 883014 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :would anyone like to give me some money. < 1375966030 277025 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I can give my two cents < 1375966031 799722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw, the SSD slider doesn't go above 240 gigs. < 1375966061 864948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: here's a nickel, boy. buy yourself a better computer. < 1375966087 104004 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: yes. that was my one disappointment from accidentally hitting "end" on the storage meter and then seeing what would happen if I did it to all the other sliders too. < 1375966099 142821 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The funny thing is that you can actually get a computer for a nickel these days < 1375966101 711346 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think the 19.2 GHz is like 8*2.4 GHz. < 1375966111 171455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right. < 1375966114 925836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: something embedded stuff? < 1375966115 316492 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Jafet: Well, you can get anything for a nickel, really < 1375966124 274427 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :It just depends on the nickle < 1375966166 473828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you ask for 32 gigs of RAM, the CPU slider also doesn't go below 9.6 GHz. < 1375966200 346012 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :That's a lot of hertz o0 < 1375966221 170993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably that's sum of cores? < 1375966226 552920 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. Sadly. < 1375966243 174597 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Could you imagine? < 1375966257 824031 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess I have a... 13.6 GHz computer, according to their math. < 1375966260 992005 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :A single-core processor SO FAST that it makes parallel computing irrelevant < 1375966282 726277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Roujo: that's what people imagined until about 2003 hth < 1375966289 332168 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :http://valid.canardpc.com/show_oc.php?id=2587625 < 1375966316 914522 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :8.7 GHz on an AMD FX-8350 < 1375966334 123692 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is memory faster than 133 MHz yet < 1375966338 596291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :283.69 is quite precise < 1375966361 62329 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1375966387 424954 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :oerjan: My guess is that the last time he went to 283.70, the universe SEGFAULTed or something < 1375966394 898540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1375966404 531341 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :So we're actually a restored-from-backup copy < 1375966416 485899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1/283.69 < 1375966419 383688 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 3.5249744439352815e-3 < 1375966428 850759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that doesn't help < 1375966447 755607 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://totl.net/Eunuch/ < 1375966452 857112 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(obligatory) < 1375966460 708540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wondered if that was simply the result of two other numbers divided with unreasonable precision or something < 1375966488 358491 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: PS4 has (will have) eight gigs of GDDR5 (clock speed 1.375 GHz, data rate of 5.5Gbps) as its unified CPU/GPU RAM. < 1375966500 734185 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> approxRational 0.01 (1/283.69) < 1375966501 911964 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 1 % 74 < 1375966576 951967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1/74 - 1/283.69 -- i don't think that's a very good use of approxRational < 1375966578 117735 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 9.988539069578233e-3 < 1375966607 355431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> approxRational 0.000001 (1/283.69) < 1375966608 478507 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 0 % 1 < 1375966616 216448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1375966618 46215 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh. < 1375966623 378938 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> flip approxRational 0.01 (1/283.69) < 1375966624 589124 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 0 % 1 < 1375966643 798883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t approxRational < 1375966645 943825 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :RealFrac a => a -> a -> Rational < 1375966648 26204 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> flip approxRational 0.000001 (1/283.69) < 1375966649 246742 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 3 % 851 < 1375966683 303505 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How about, you know, just changing the arguments instead of flipping the function? < 1375966684 736034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip approxRational 0.00001 (1/283.69) < 1375966685 965660 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 1 % 283 < 1375966686 440007 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: hmm, why don't computers do RAM like that? < 1375966695 664158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: now that's crazy talk < 1375966704 197901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> flip approxRational 0.0000001 (1/283.69) < 1375966705 465866 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 13 % 3688 < 1375966716 226715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i guess not. < 1375966743 104950 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Because it costs money, I suppose. (If you mean "why not use GDDR5 also for system RAM instead of GPU only", and not "why not unified memory architectures".) < 1375966762 555879 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I think I mean both, though I can think of reasons for the latter quicker. < 1375966775 166587 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :surely there are lots of people willing to pay money for computers. < 1375966779 685179 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :We should just put the processor in the cloud, really < 1375966786 591305 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Outsource your motherboard < 1375966811 939270 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1375966814 892937 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1375966830 398554 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I think you need something different in the memory controller for that, and Intel et al. might not be willing to cater for the presumably-not-too-large market willing to pay for GDDR5 RAM. (Or I could be talking out of my ass; I don't know about hardware.) < 1375966835 247500 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Although I guess the cloud would be too mainstream < 1375966837 249112 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Roujo: they call that OnLive. < 1375966852 259980 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I store all my files in the water table < 1375966853 779230 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: isn't that market, like, all gamery and overclocky type weirdos. < 1375966859 376362 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :those people have lots of money. < 1375966862 170076 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :fizzie: GDDR5 has worse latency < 1375966866 333451 :ais523!93bcc208@gateway/web/freenode/ip.147.188.194.8 JOIN :#esoteric < 1375966870 400805 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank you Deewiant, that sounds like a much more realistic reason. < 1375966871 779502 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :It's like the clound, only more underground < 1375966878 277957 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :cloud* < 1375966879 634415 :ais523!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :whoops, wrong nick < 1375966882 78 :ais523!93bcc208@gateway/web/freenode/ip.147.188.194.8 NICK :ais523_ < 1375966887 845449 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hi #esoteric, btw < 1375966891 388420 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Heya ais523_ < 1375966895 408148 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Your Linode, solidity, has exceeded the notification threshold (1000) for disk io rate by averaging 1243.39 for the last 2 hours. The dashboard for this specific Linode is located at: < 1375966901 630309 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :linode email me every time I do an upgrade < 1375966921 109992 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :`relcome ais523_ < 1375966923 889754 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​09ais523_: W10e10l05come to th05e11 i02n05ternational hub for02 eso14teri03c 05programmin14g langu14age design and dep04loyment! Fo04r m09ore info09rmat08io05n, c06heck out08 our w12iki04: h06ttp:11//esolangs.org11/wiki/Main_P14age. (For10 the othe02r kind of esoterica, try #esoteric13 on irc.dal.net.) < 1375966925 717857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: I like your thesis. < 1375966925 969426 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :And DDR4 is coming out anyway so if you want better/more expensive desktop RAM you'll get it < 1375966931 324150 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :something else came up when I was writing my research, which is incredibly minor and probably not worth mentioning in the research < 1375966942 839864 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :but it's arguably an esoprogramming problem, and I'm having trouble seeing the trick needed to get the answer < 1375966999 277535 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :let's see... it's very easy to write a regular expression (I'm talking mathematical regular expression here, not regexp) to match strings of the form "ababababababab" and so on < 1375967010 981015 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and likewise, it's very easy to write one for "cdcdcdcdcdcdcd" and so on < 1375967019 914749 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :but I'm trying to write one that matches any interleaving of those strings < 1375967029 406951 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :as in, if you look at just the a's and b's, the a's and b's alternate < 1375967036 829476 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and if you look at just the c's and d's, the c's and d's alternate < 1375967048 479603 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :but there's no restriction on how the a's and c's can line up against each other, for instance < 1375967052 780802 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ais523_: long time no see! < 1375967060 399443 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :so something like abacabdc is fine < 1375967088 96461 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :in theory, it should be possible, because it's clearly quite easy to write an FSM to do that < 1375967094 925674 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and regular expressions and FSMs are equally powerful < 1375967096 763142 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I just can't see how < 1375967112 123218 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Alternatives, lots of alternatives < 1375967113 795645 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Just write the FSM and convert it to a regex < 1375967201 372916 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hmm... the FSM is {from, input, to} {0,a,1},{0,c,2},{2,a,3},{1,c,3},{3,b,1},{3,d,2},{1,b,0},{2,c,0} < 1375967218 338312 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I'm not familiar with methods of regexifying those, though < 1375967246 689956 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :http://cs.stackexchange.com/questions/2016/how-to-convert-finite-automata-to-regular-expressions < 1375967259 360112 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :thanks for the link < 1375967292 803693 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(I'm currently writing about models of hardware, and have concluded that delay-insensitive asynchronous circuits are regular expressions and synchronous circuits are recurrence relations) < 1375967321 8411 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Sounds fun < 1375967353 663759 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I remember a FSM-to-regular-expression conversion routine from the "intro to theoretical computer science" course. < 1375967365 490288 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was all about merging edges and whatnot. < 1375967407 712442 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Presumably the same as the "state removal method" mentioned in Deewiant's link. < 1375967449 374534 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :It looks familiar so they're probably the same, yes. < 1375967530 304107 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :so let's see... if I remove 3, we get {0,a,1},{0,c,2},{1,b,0},{2,c,0},{2,ab,2},{2,ad,1},{1,cb,2},{1,cd,1} < 1375967579 144414 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :not quite, there are typos there, but I'll mentally correct them < 1375967580 399596 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: Are all your states final, or just the one that has both b and d last? < 1375967590 249322 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: they're all final < 1375967591 308583 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Doing this by hand without drawing it is probably a good way of making mistakes and getting it a bit wrong < 1375967617 742444 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: In that case, I think you need to add epsilon edges from all to a dummy final state, since the algorithm only removes states that aren't final. < 1375967636 639897 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Disclaimer: it might still work out in practice, in your case.) < 1375967642 903048 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: right; it actually doesn't really matter for my application < 1375967656 952428 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :especially because I'm just curious as to what it looks like, more than anything else < 1375967724 825855 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :then removing 2: {0,a,1},{1,b,0},{1,cd,1},{0,c(ab)*d,0},{0,c(ab)*ad,1},{1,cb(ab)*d,0},{1,cb(ab*)ad,1} < 1375967782 669808 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :which is {0,c(ab)*d,0},{0,a+c(ab)*ad,1},{1,b+cb(ab)*d,0},{1,cd+cb(ab*)ad,1} < 1375967823 69942 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: so why is the PS4 using higher-latency RAM then? < 1375967868 241948 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Presumably they believe in caches < 1375967870 770411 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :then finally, removing 0: (c(ab)*d+((a+c(ab)*ad)(cd+cb(ab)*ad)*(b+cb(ab)*d)))* < 1375967877 388123 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: From what I recall about the PS4 seminar, their developers were really hankering for a unified memory architecture. Plus they were focused a lot on doing non-graphics ("compute shaders") stuff on the GPU. < 1375967893 377090 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That regular expression is smaller than I thought < 1375967894 866544 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fair enough < 1375967897 217120 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: (Parallelized GPU work is of course more about throughput than latencies.) < 1375967903 774455 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :that's not in lowest terms, though < 1375967906 552959 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I think I can simplify it < 1375967932 66496 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: that regular expression is basically what I was on the path to writing (very slowly) < 1375967941 658304 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :then finally, removing 0: (c(ab)*d+((a+c(ab)*ad)(c(ba)*d)*(b+cb(ab)*d)))* < 1375967949 241859 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :* (c(ab)*d+((a+c(ab)*ad)(c(ba)*d)*(b+cb(ab)*d)))* < 1375967953 313077 :katla!~katla@unaffiliated/katla PRIVMSG #esoteric :what does it match < 1375967955 317710 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: I just started writing out all the permutations in the knowledge that since {a,b,c,d} is finite, eventually there'll be a synchronisation point where you can just * the whole thing < 1375967959 219254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sort of thing < 1375967965 358994 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but then you found a non-stupid way to do it before I could be bothered < 1375967972 998654 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :katla: strings where a and b alternate (with potential c and d in between) and also c and d alternate (with potential a and b in between) < 1375967978 721424 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Shouldn't the expression be symmetrical < 1375967987 485804 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: that's what I started doing but I ended up failing due to lack of a GOTO :( < 1375967993 176039 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :Jafet: it is < 1375967997 779259 :katla!~katla@unaffiliated/katla PRIVMSG #esoteric :hmm < 1375968000 192021 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :just in a nonobvious way < 1375968010 932523 :katla!~katla@unaffiliated/katla PRIVMSG #esoteric :eyeah you can just write an NFA for it < 1375968023 618795 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :katla: that's what we just did in-channel < 1375968054 751039 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :conclusion: state machines are a better model for asynchronous digital circuits than regular expressions < 1375968137 441389 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :this must be why electronic engineers like them so much < 1375968144 861255 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You need less time to type regular expressions than to draw state machines though < 1375968158 938617 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Think about this as the paper deadline nears < 1375968224 136703 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :On the third hand, you don't get to use a TeX package for drawing state machines. < 1375968245 590653 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :Jafet: yeah, that's actually why I was using regular expressions so far < 1375968369 107739 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The simple regular expressions might also correspond to some interesting subset of circuits < 1375968387 95247 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :does "simple" have a technical meaning here? < 1375968420 200257 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :anyway, the reason why regular expressions are appropriate for this is that not only do these sorts of circuit (like most circuits) not produce certain outputs, they also refuse certain inputs < 1375968425 911374 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :as in, those inputs can't be given to it < 1375968430 383668 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck simple < 1375968430 636748 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :simple definition: free from guile. < 1375968465 260159 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :it's not even in the sense of bottom/fail, either; it's in the sense of undefined behaviour < 1375968476 543569 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :for some reason, I find it reassuring seeing UB come up in formal mathematics < 1375968497 892967 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I thought asynchronous circuits accepted all (appropriately spaced) inputs < 1375968550 50064 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :this is delay-insensitive circuits, so the potential appropriate spacing could be infinite < 1375968555 667658 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and you can only determine it via observing their output < 1375968579 481401 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :e.g. for a simple circuit like XOR, AQ+BQ, once you give A you can't send A again or B until you get the Q < 1375968621 99601 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :or for a circuit like C, ABQ+BAQ, once you've sent A, you have to send B next, you're never allowed to send A twice without a Q in between (and the Q won't be sent until it sees the B) < 1375968639 858118 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :also, something that confuses me a lot is that the person who invented the C element is apparently called Muller, no umlaut < 1375968706 761029 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Pronounce it /mʌlər/ to be safe < 1375968781 780359 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Mahler < 1375968836 798693 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does anyone know what decides what Debian packages are installed as part of a "base system"? < 1375968845 267621 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there doesn't seem to be a metapackage corresponding to something like ubuntu-desktop < 1375968852 418898 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and the packages don't seem to all be marked as automatically installed < 1375968863 486943 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :gnome-desktop-task < 1375968875 462516 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(I'm trying to get a list of all packages I explicitly installed; aptitude search '~i !~M !~E' does okay but includes a lot of stuff that comes with Debian) < 1375968879 590040 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Jafet: but it's a server :p < 1375968892 853065 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, the actual base system. < 1375968925 298784 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: I remember reading something in Debian policy about that < 1375968933 411427 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(what does it say about me that I read Debian policy for fun?) < 1375968973 600034 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You are well-informed about relevant items. < 1375968992 992738 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: "all packages with priority `required' or `important'" < 1375969010 250350 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :so basically anything with a lower priority, you installed yourself < 1375969041 249359 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :that's actually a simpler definition than I was expecting < 1375969157 330373 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fwiw, the breakdown seems to be: "required" = enough functionality to boot the system and install more software; "important" = minimal amount needed to be able to reasonably administer the system without having to install extra packages to do so; "standard" = reasonable defaults for a small character-mode system; "optional" = pretty much everything goes here; "extra" = packages that conflict with more useful packages or are only us < 1375969170 928952 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :a base system is required+important, a default install is required+important+standard < 1375969186 287431 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and required+important+standard+optional is intended to be theoretically possible but you'd have to be mad to actually do ti < 1375969187 463018 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :*it < 1375969213 509051 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :ais523_: Cut off: '"extra" = packages that conflict with more useful packages or are only us' < 1375969223 972056 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :...useful in specialized cases < 1375969232 784652 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Filtering based on priority might help in "list explicit installations". < 1375969234 168645 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :like debug symbols, that sort of thing < 1375969251 520536 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Pretty sure there would be people that test *+optional systems < 1375969259 811698 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :yeah, I think there's at least one < 1375969261 20594 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!~prequired or some-such. < 1375969288 334742 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :well, "required" is pretty much "if this isn't installed, your system is doomed" < 1375969321 508058 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :whereas "essential", a different measurement is "things that are installed so widely that you don't need to bother declaring dependencies on them" < 1375969328 650272 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :*, a different measurement, < 1375969369 772965 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: There seems to be (possibly hardware-detect-related?) things in the default install that don't have those priorities, yet aren't marked with a high priority. < 1375969387 444013 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: hmm < 1375969392 414372 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: E.g. "acpi" has Priority: optional, is not marked as automatically installed, is installed, and I certainly haven't installed it myself. < 1375969404 749870 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: (And this was just a base system with no tasksel tasks, IIRC.) < 1375969407 909811 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :yeah, it seems possible that the installer would add in drivers specific to your hardware config < 1375969421 13860 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :policy doesn't mention that, but OTOH I don't see a reason why it would < 1375969442 428035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Similarly other such things like pciutils, pm-utils seem to be here. < 1375969495 852124 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Okay, pciutils is Priority: standard. But pciutils is optional.) < 1375969505 217036 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Er, pm-utils is optional. < 1375969568 278097 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, how have I ended up with a non-automatic installation of 'libfreeimage3'? < 1375969582 998960 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't even have a single package that'd depend on it. < 1375969584 588130 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: huh, python and perl match even with !~prequired !~pimportant < 1375969589 791346 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do those raelly not come with debian? < 1375969600 458548 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*really < 1375969629 349296 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: there's -minimal versions that are shipped with debian < 1375969642 95389 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: Curiously enough, both python and python-minimal are Priority: standard. < 1375969642 341516 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :IIRC, the full version of Perl is flagged build-essential, but not anything higher than that < 1375969658 690197 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(which means that Perl doesn't have to be specified as a build dependency of anything, and thus needs to be installed to build packages) < 1375969662 892488 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I like how prequired includes awk, sed, perl, and two shells. < 1375969667 586285 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(perl-base is 'required', perl is 'standard'.) < 1375969684 813478 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :Jafet: that's because they're often used in init scripts and the like, I guess < 1375969697 44021 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :also I have a suspicion that apt is written at least partly in Perl < 1375969711 51578 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But apt is pimportant. < 1375969717 852537 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :$ aptitude search '~pimportant !~i' < 1375969718 100535 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :c libboost-iostreams1.46.1 - Boost.Iostreams Library < 1375969721 404945 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :c libboost-iostreams1.48.0 - Boost.Iostreams Library < 1375969721 758035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also called "p. important". < 1375969724 450715 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :p libboost-iostreams1.53.0 - Boost.Iostreams Library < 1375969727 331851 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :p libboost-iostreams1.54.0 - Boost.Iostreams Library < 1375969730 339109 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :c libept1 - High-level library for managing Debian package information < 1375969733 371592 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :c libsysfs2 - interface library to sysfs < 1375969736 402868 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :p nfacct - netfilter accounting object tool < 1375969739 388967 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why are there a bunch of versions of a boost library there < 1375969743 6084 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That dirty ortant. < 1375969749 157410 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Because of aptitude. < 1375969760 133505 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but four versions? < 1375969761 476248 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hmm, what does required use as the package manger? < 1375969765 238509 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: (It depends on libboost-iostreams.) < 1375969765 497986 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :dpkg + wget? < 1375969769 261125 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but four versions? < 1375969775 364549 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe the query is bad < 1375969785 406931 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it showing other versions that could satisfy the requirement for libboost-iostreams and hence are important < 1375969792 429121 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :despite the fact that I'll have some other version of libboost-iostreams installed? < 1375969800 636004 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :yeah, that makes sense, I guess < 1375969812 837504 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :There is no wget. Presumably you need to load debs off a floppy. < 1375969813 90581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Those two "c" entries are some kind of conflicts, I think. < 1375969822 804314 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :debian is hard :( < 1375969832 864917 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hmm, is this a version of debian before or after they invented "breaks"? < 1375969840 114255 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is jessie < 1375969843 647382 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it started as squeeze or something < 1375969848 521608 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe even the one before squeeze < 1375969859 164574 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :probably a new version, then, because I don't recognise that codename < 1375969866 380712 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(except that it comes from toy story) < 1375969872 406382 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :$ aptitude search '~i !~M !~E !~prequired !~pimportant !~Rbuild-essential' | less < 1375969875 384945 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :seems pretty good < 1375969881 151848 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: jessie is testing right now < 1375969882 755548 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: Both gcc-4.7-base and gcc-4.8-base are in priority: required. < 1375969885 582087 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: right < 1375969900 851331 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :btw, is the official Debian package manager apt-get or aptitude this week? < 1375969902 506566 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: that makes sense, I think < 1375969938 612329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also some rather curious things that presumably are dependencies of something; like libtext-charwidth-perl "get display widths of characters on the terminal". < 1375969962 560373 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :heh, I had gcc 4.4 installed < 1375969964 992225 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :libncurses is prequired. < 1375969966 589458 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :now I don't < 1375969975 912624 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like "prequired", it looks like a word < 1375969985 983938 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :huh, I have busybox installed explicitly < 1375969992 662654 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but why would I have installed busybox? < 1375969996 447930 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I think bash is the only program that needs it. < 1375970012 622833 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm... I wonder if there's a way to phrase "not depended on by any other installed packages" < 1375970019 676360 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :to find the leaves < 1375970037 211059 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You mean the roots? < 1375970041 315233 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er. yes. < 1375970041 570537 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1375970045 489867 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm no good at plants. < 1375970056 461451 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the ones that are not depended on are leaves < 1375970069 866199 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the ones with no dependencies are roots < 1375970093 32257 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and those seem like as good names as any for those things < 1375970096 618038 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`words 20 < 1375970100 867613 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :teiwerke ben kiim men khi jan earra tam sacripe dugo maged traft distile elson flama vasci crawa word unho sou < 1375970103 887235 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :dependency leaf/dependency root < 1375970106 275649 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :use those < 1375970125 72695 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Word. < 1375970126 402000 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: util-linux PreDepends on libncurses5 too. < 1375970127 594201 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and why do I have tcpd installed? < 1375970131 787420 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't remember installing half these packages < 1375970149 239570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: (And a couple of pimportant things -- procps, bsdmainutils -- but nothing else prequired.) < 1375970181 132536 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In fact, bash doesn't; just libtinfo5. < 1375970185 144611 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wtf < 1375970189 729635 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why does my server have mplayer installed??? < 1375970191 301908 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1375970192 765730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for mencoder < 1375970204 459361 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :why does my server have mingetty installed... < 1375970235 313684 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the virtual terminal provided by your VPS system's VNC console thingamajick? < 1375970250 171122 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it's explicitly installed and stuff. < 1375970257 394831 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess that just means the VPS installation process might have explicitly installed it. < 1375970273 630449 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a victory: learned that mailman was installed; uninstalled it. < 1375970448 383766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i console-setup - console font and keymap setup program < 1375970452 704362 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :come on, why is this installed < 1375970477 261236 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It gets done real early in the setup, automatically, by the installer. < 1375970489 72474 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what does? < 1375970492 812919 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :console-setup. < 1375970499 962468 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Are you trying to uninstall things until debian stops working < 1375970503 731101 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Jafet: yes < 1375970508 976177 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think everything that's done as a particular step by the installer ends up in your query. < 1375970517 490676 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's annoying < 1375970522 266857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they should mark these things better :( < 1375970531 259826 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :E.g. I've got exim4 there, and I certainly didn't install it explicitly myself, but the installer did to get the default mail system in place. < 1375970552 863512 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I have never attempted to use the automatically-installed indicator manually. < 1375970566 347914 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i eject - ejects CDs and operates CD-Changers under < 1375970579 667212 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :eject's description is misleading < 1375970584 7631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I want to believe that I can cause the CD tray of some physical server sitting in a data centre somewhere to pop out < 1375970589 808690 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that would make my day, I think < 1375970604 767928 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You want to believe that your rack mount server has a CD tray < 1375970609 452042 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a VPS. < 1375970613 23025 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :it unmounts arbitrary removable media, regardless of whether it's a CD or a USB stick or whatever < 1375970614 923542 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :can't I dream? < 1375970626 155557 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh ok, it could be a virtual CD tray. < 1375970629 183620 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(and thus is necessary because umount only works as root) < 1375970643 397183 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: what do you want if you just want a sendmail executable these days on Debian? < 1375970651 525557 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :install exim and just accept that you'll have a daemon running? < 1375970689 643432 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I've used 'scmail' for a thing where I just wanted a sendmail-binary-compatible replacement that always sends everything to a SMTP server. < 1375970728 72166 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is that ssmtp? < 1375970743 66271 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, that wants a proper mail server < 1375970753 501868 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :my use-case is "MediaWiki wants to be able to send emails" < 1375970774 331757 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, do you want people to be able to receive the emails it wants to send? < 1375970783 333513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in a perfect world < 1375970818 338707 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ii g++ 4:4.7.2-1 i386 GNU C++ compiler < 1375970821 412574 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ii g++-4.7 4.7.3-4 i386 GNU C++ compiler < 1375970824 333165 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ii gcc 4:4.7.2-1 i386 GNU C compiler < 1375970827 424614 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ii gcc-4.7 4.7.3-4 i386 GNU C compiler < 1375970830 430277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ii gcc-4.7-base:i386 4.7.3-4 i386 GCC, the GNU Compiler Collection (base package) < 1375970833 440002 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ii gcc-4.8-base:i386 4.8.1-2 i386 GCC, the GNU Compiler Collection (base package) < 1375970836 377631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I do wonder why gcc-4.8-base is all on its own there. < 1375970836 988677 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You're running mediawiki, and you don't like the exim daemon? < 1375970846 752345 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :4.8 is the hipster version < 1375970850 467202 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :scmail, ssmtp and one-other-I-forget-which are reasonable replacements for the case where you have a nearby real (SMTP-accessible) mail server and you want to use that for all outgoing mail. < 1375970880 361613 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :doesn't sending mail require a daemon, in general, for the case where there's a temporary fault on the next server in the chain? < 1375970901 260698 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Jafet: I don't mind exim. < 1375970905 535626 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: Not if you can live with the fact that the 'sendmail' binary just returns an error in that case. < 1375970906 672755 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Jafet: it has postfix right now and I don't know why. < 1375970917 286344 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ideally I'd just install the simplest "Debian Way"(tm) thing for it. maybe that is just exim < 1375970936 783428 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I thought the typical mail chain is of length 2 these days < 1375970940 397979 :coppro!~scshunt@taurine.csclub.uwaterloo.ca QUIT :Remote host closed the connection < 1375970942 797777 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: (If you want to talk directly to other people's mail servers, then.) < 1375970956 975810 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder if there is a way to install mencoder that doesn't hurt me by having packages named e.g. libgl1-mesa-glx and libxinerama1 on my server. < 1375970976 345443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: My most recent message in the inbox has 11 Received: headers. < 1375971002 997225 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: mailing list? < 1375971024 573165 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: Well, yes. Let's see a most recent non-list post. < 1375971044 401821 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :7 Received:-headers. < 1375971065 753294 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ais523_: it's very often the case that a closure property of regular languages has a natural implementation by FSA, but there is really no way to do it with regular expressions < 1375971074 870871 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Heh, mencoder depends on mplayer. < 1375971075 293870 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i think < 1375971100 378957 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :oklopol: yeah, that makes sense < 1375971104 228303 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :also vice versa < 1375971114 876079 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :can you give an example of the vice versa < 1375971118 890328 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i can't < 1375971144 304568 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :trivial things like reversal & homomorphisms are slightly easier with regexps, but they are also trivial for FSA. < 1375971150 429773 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think I need ghostscript for mediawiki < 1375971161 918304 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :there's one on the Wikipedia page: (a+b)*a(a+b)(a+b)(a+b)(a+b)(a+b) < 1375971162 532802 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which is annoying beacuse it also wants me to have libxinerama1 < 1375971163 281824 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well maybe there are such examples, dunno < 1375971175 603319 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :should just install ubuntu < 1375971177 563736 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and forget I have packages < 1375971177 846986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :scia-ca-demic.org (first source), smtp-in-02.aalto.fi (ingress SMTP here), "localhost (Email Security Appliance)", marconi.ics.hut.fi (departmental SMTP inside the local network), localhost (amavisd), marconi.ics.hut.fi (again), marconi.ics.hut.fi (Cyrus LMTP). < 1375971187 833162 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :you get an exponential blowup of state because you need to remember which of the most recent 6 characters have been a < 1375971213 4640 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :fizzie: is "again" a hostname, there? < 1375971213 999043 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay NFA < 1375971229 507360 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :yeah, you can't get a combinatorial explosion converting a regex to an NFA < 1375971235 44550 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: No, it was a description. < 1375971260 520775 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I almost want to call a computer "again", now, but it'd violate my naming convention < 1375971266 415044 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :where all my computers are named after biomes < 1375971280 622499 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does ais523_ have a computer named "nether" yet < 1375971301 452831 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fizzie: but isn't all of .fi just one host or something < 1375971308 646615 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: no, also I don't think that's a real biome < 1375971321 690205 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it is fsvo real < 1375971336 578072 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :there should be one machine named "disco", for the new 1.6 cañons. < 1375971355 314143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Checked another chain for the personal email; that one went: mailsend.netposti.fi - mailsend.netposti.fi - ikiaikainen.iki.fi - jatkuu.iki.fi - fe23.mail.saunalahti.fi - be18.mail.saunalahti.fi - "tmail-2006i.2007-sau", whatever that means. < 1375971372 598552 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I should just pay ais523_ to run my server for me < 1375971377 246852 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: how much do you want < 1375971378 257237 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So the chains aren't quite of length 2 yet. < 1375971383 899339 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :but that'd mean having to administer MediaWiki < 1375971390 510177 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: no, it's OK < 1375971392 828629 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't do that either < 1375971406 188109 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I just ignore it until the version number gets sufficiently far behind that I feel really guilty < 1375971407 879086 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ooh, a DKIM signature, so fancy. < 1375971411 120222 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: fwiw, I've sometimes taken days to notice that the nethackd on nethack4.org is down < 1375971417 186372 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Mail headers are such a joy.) < 1375971434 168237 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: I guess your community is scared of you < 1375971435 593569 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or non-existent < 1375971441 605927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or they'd point it out < 1375971444 970507 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: it's more that the user-visible error message is really misleading < 1375971448 426201 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :"IPv6 error" < 1375971452 411186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1375971453 203336 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :When I installed my computer, I named it test < 1375971459 465030 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :regardless of what protocol they connected via < 1375971461 313824 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Both http://pulseaudio.org/ and http://alsa.opensrc.org/ have been down the last couple of days, right when I was configuring those two things. < 1375971466 749860 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This leads to weird pauses when looking at network logs < 1375971478 795734 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've had to use some sort of freedesktop.org copy of PA documentation and whatnot. < 1375971508 438060 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: it actually really annoys me that I have PHP and MySQL installed just for one abominable program :) < 1375971534 172776 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It annoys me that I have PHP and MySQL installed for just one abominable program (Gallery2). < 1375971535 151686 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :too bad there is not really any viable alternative I could get away with < 1375971536 90761 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I think MySQL is a dependency of something important in Ubuntu. Somehow. < 1375971552 625384 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's if you consider anything in ubuntu important < 1375971553 200275 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :is mariadb ubuntu-ready? < 1375971560 947175 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it might be MariaDB I have < 1375971571 618392 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I assume it is still just horrific < 1375971608 985007 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Qt4 brings in the MySQL client, but at least not the server. < 1375971657 962897 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: oh, the worst thing about MW is that Debian's package is really old < 1375971662 632943 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's a real pain to upgrade < 1375971671 182689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Via libqtgui4 -> libqt4-declarative -> libqt4-sql -> libqt4-sql-mysql -> libmysqlclient18.) < 1375972383 711519 :Bike!~Glossina@67-5-237-111.ptld.qwest.net JOIN :#esoteric < 1375972908 734447 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~yi < 1375972909 25291 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Your divination: "Obstruction" to "Obstruction" < 1375973010 528060 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :uh oh < 1375973105 82150 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I think elliott is in a serious pinch. < 1375973286 129764 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :~yi Hats < 1375973286 379857 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Your divination: "Retiring" to "Radiance" < 1375973423 826210 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Roujo: ~yi ignores its parameters. you have to think about the question with your mind (or soul, if you prefer. in an emergency, you can also use a rental soul, but results aren't as good usually. ymmv. hth.) hth. < 1375973443 572125 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I guess you could also tag your yises to remember what were the questions asked. < 1375973629 286218 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1375973681 960288 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Phantom_Helloover. < 1375973715 770684 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Thanks, boily, I'll keep that in mind =) < 1375973716 897728 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Also < 1375973720 389473 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :`relcome Phantom_Hoover < 1375973722 634520 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​03P05h13antom_Hoove06r: Welcome to the intern12ational 10hub09 for eso04te05ric programming language design and deployment!06 For more i06nfo13rma06tion, check03 ou02t ou06r 14wiki: ht05tp://es02olangs.org/wik10i/Main03_Pa05ge.12 (For09 03th07e other09 kind of es06oterica, try #esoteric on irc.dal.net02.) < 1375973747 644182 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :rello < 1375973865 947617 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hmm, I never knew what relcome looked like, until I viewed it in a webclient < 1375973869 624320 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(I filter colors on my usual client) < 1375973917 333680 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :http://leonarnott.neocities.org/ awesome < 1375973922 868195 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :oh hey, it'a ais. hais < 1375973925 828272 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :"neocities"? < 1375973930 101270 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :is that like geocities and reocities? < 1375973931 166443 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :beats me < 1375973946 359402 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :hm, looks like it < 1375973956 924141 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :sorry I was missing for a while, I was trying to track down a copy of a specific paper book < 1375973960 585838 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :" Designed as a 21st century reincarnation of GeoCities, NeoCities lets you make your own site for free. And it just might spark a renaissance of creativity online. " < 1375973967 269499 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :what book < 1375973972 810630 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :because it seems that everyone has been copying citations of it without looking at the actual book itself < 1375973987 163438 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Bike: why. why did you link to that. < 1375973989 959987 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :turns out the library here has a copy but it's buried in some secret vault somewhere that takes a while to open, or something < 1375974003 706302 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :"Switching theory. Vol. 2, Sequential circuits and machines", fwiw < 1375974016 640844 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :it's what everyone cites as the source of the Muller C-element < 1375974024 381178 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :invigorating < 1375974033 814393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hey Bike, want a job < 1375974040 129137 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :(interestingly, Muller appears to be Muller not Müller, and yet the book is by... Miller) < 1375974060 119157 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :anyway, I'm wondering if it really is the original source, or if there's an older one < 1375974067 303979 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :elliott: sure what is it < 1375974099 321882 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: write a mediawiki replacement in any language other than PHP with any storage mechanism other than MySQL. < 1375974105 969361 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I'll give you $300. < 1375974114 163877 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :there used to be an experimental postgresql branch of mediawiki < 1375974125 948732 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it supports postgres < 1375974141 694513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I don't see much point converting the database to only get (a) worse support, (b) still have to use PHP, (c) etc. < 1375974142 831953 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :so that's half of the problem solved :) < 1375974147 788763 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :and yeah < 1375974155 481352 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I wonder if you could compile the PHP into something else < 1375974171 675668 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, sure. < 1375974181 695390 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it'd still have the architecture of a PHP application < 1375974183 884032 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :i'll use http://esolangs.org/wiki/Cbrain < 1375974219 978765 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're the one missing out on $300 here < 1375974347 324330 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :i don't think $300 is enough to justify learning web programming < 1375974414 742071 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I'm a professional developer. I could do that for you, starting rate at 100 CAD/hour, negociable. < 1375974443 14536 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: that is okay as long as you do it in three hours. < 1375974512 67526 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :wait is it just "300 dollars" independent of currency < 1375974519 270141 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sure. < 1375974525 457575 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :as long as they're dollars < 1375974590 986333 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what's the highest-valued dollar < 1375974592 953621 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Dollar#Economies_that_use_a_dollar hm < 1375974594 643936 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I'll go with NZD, then :D < 1375974596 951146 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :need some exchange rates here < 1375974624 486739 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i like how for antigua and barbuda it's just XCD < 1375974638 253820 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"fuck if i know what letter to use" < 1375974727 232083 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Highest-valued_currency_unit < 1375974763 194844 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cayman islands dollar looks like the best < 1375974824 232683 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :so you'd get like $360 USD, nice < 1375975409 836049 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh fucking hell < 1375975454 61606 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :warwick have decided to replace their outdated student management webpage thing with an absolutely horrible one < 1375975481 62514 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :is it based on Banner? < 1375975511 658341 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't know < 1375975515 598155 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't want to know < 1375975564 913883 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :yes you do. http://www.ellucian.com/Solutions/Banner-Student/ < 1375975601 438727 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :that thing is pure absolute certified crap. we had a undemocratic totalitarian forced transition pushed on us when I was at university. < 1375975756 813917 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Roujo: si quelqu'un de louche avec un trenchcoat dans la rue te propose d'aller à l'université laval, dit non. < 1375975805 377817 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :boily: Considérant que c'est à 3h d'ici et que je dois prendre le train pour 16h00... Okay =P < 1375975955 354705 :coppro!~scshunt@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1375976086 653738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: ooh, maybe Esolang could run on ikiwiki instead < 1375976115 523438 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :I'm not sure wiki migrations from one codebase to another are massively easy or successful < 1375976121 722639 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :boily, I DIDN'T WANT TO KNOW < 1375976130 286508 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: yes, but MediaWiki is just that awful... < 1375976137 981979 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :How is it awful? < 1375976141 436416 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :elliott: imagine how difficult migrating from it will be, then! < 1375976146 753003 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: ideally I would write something with the exact same markup/template/etc. stuff as MediaWiki < 1375976164 718164 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :Roujo: the most obvious reason for a server admin is that it uses up mindbogglingly high server resources for no obvious reason < 1375976172 692465 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :ais523_: Alright. =P < 1375976185 301476 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I use MediaWiki and never noticed anything wrong, so I was curious < 1375976195 921887 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :it's quite nice from a user's point of view < 1375976203 639729 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the server resources are OK < 1375976205 754279 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :it doesn't fall into the trap of trying to use markdown for markup, for instance < 1375976206 389455 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I mean that I admin a MediaWiki site < 1375976207 311355 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :except like, MySQL itself takes up a ton < 1375976215 520153 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :assuming you use caching etc. < 1375976221 287663 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but if you don't then you're really crazy of course < 1375976233 228502 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Depends on the number of hits you get, I'd guess < 1375976235 783328 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :well it depends on how often the site is accessed < 1375976244 113608 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I'd be surprised if I got more then 5/day =P < 1375976265 188962 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well it also takes something like three lines of configuration to set up caching < 1375976277 836956 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :yeah but what if you get slashdotted? or reddited? or linked from the home page of Google? < 1375976308 462645 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Considering that all that's on the Wiki is the ruleset for a Nomic game that's in a coma and some docs for a Super Mario World ROM Conversion that my brother is doing < 1375976332 751341 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Then this happens: http://wiki.psychose.ca/ < 1375976338 188945 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :(The wiki isn't public =P) < 1375976355 161054 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Heck, I was supposed to put in a $wgLogo, but never did < 1375976532 61819 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, ikiwki has templates < 1375976561 772374 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1375976620 255343 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :hmm, I think I'll stick to the plan of joining #esoteric if and only if I have something esoprogramming-related to say < 1375976625 349307 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :time to go home, anyway < 1375976627 943766 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 PRIVMSG #esoteric :night! < 1375976661 612078 :ais523_!93bcc208@gateway/web/freenode/ip.147.188.194.8 QUIT :Quit: Page closed < 1375976662 128228 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Why is markdown a trap < 1375976669 836171 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we will never know < 1375976681 948509 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I've got to stop these damnded naps < 1375976913 546281 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :stay alert at all times < 1375976930 292346 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you never know when the six pigs will begin their forage < 1375977044 625828 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Yup < 1375977048 855589 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Darn pigs these days < 1375977053 698270 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Foraging and < 1375977054 362777 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :and < 1375977055 276829 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :stuff < 1375977516 922774 :ka7la!~katla@amcant.demon.co.uk JOIN :#esoteric < 1375977517 547860 :coppro!~scshunt@taurine.csclub.uwaterloo.ca QUIT :Quit: Lost terminal < 1375977568 325374 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh, i forgot the capitals < 1375977581 941957 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you never know when the Six Pigs will begin their Forage < 1375977589 641007 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :or `Dread Forage' as it is oft known < 1375977678 365855 :katla!~katla@unaffiliated/katla QUIT :Ping timeout: 264 seconds < 1375979339 185799 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Phantom_Hoover, we don't talk about the Dread Forage, lest we invoke Its Happening < 1375979365 907240 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :don't go overboard with the capitals < 1375979792 668616 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I am the Gate < 1375979794 398459 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :I am the Key < 1375980180 651588 :Administrator1!~Administr@c-69-245-112-54.hsd1.mi.comcast.net JOIN :#esoteric < 1375980198 963860 :Administrator1!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :sup < 1375980297 508673 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`relcome Administrator1 < 1375980299 820760 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​07Ad14ministrator1: Welc08ome t14o07 the inter08nat10i10ona13l05 hub 04for12 esot08eric programming language design and d04epl09oymen03t! For more inf04o05rma13tion, che03ck out our wiki: ht12tp://esolangs.or09g/wiki/Mai09n_05P02age. (For the other kin10d o08f esoterica, try #esoteri07c on irc.08dal.ne04t.) < 1375980499 243395 :Administrator1!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :hi elliott < 1375980507 203402 :Administrator1!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :shoot how do I change my name in here? < 1375980512 993599 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :/nick < 1375980529 375740 :Administrator1!~Administr@c-69-245-112-54.hsd1.mi.comcast.net NICK :fox___ < 1375980531 36679 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :woot < 1375980532 844441 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :ty < 1375980596 933451 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :sup phantom_hoover < 1375980626 542995 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i dunno < 1375980631 879996 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i only deal with what's left < 1375980641 473094 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :what's left? < 1375980650 470567 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :lamp < 1375980708 230983 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :lol < 1375980709 612876 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :moving? < 1375980725 228783 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :there's no such thing as a moving lamp < 1375980737 720912 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric ::P < 1375980748 759472 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :so what do you guys talk about on here? < 1375980789 607888 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :post-structural marxism < 1375980818 120491 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :really? < 1375980826 314366 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :weird < 1375980827 548589 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1375980833 523512 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :what is that btw < 1375980833 523625 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so elliott < 1375980838 975070 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :post structural I mean < 1375980844 966997 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what's your opinion on the dielectric < 1375980857 473879 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a bit too electric < 1375980862 106472 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not too keen on the dying, either < 1375980946 166481 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :very true < 1375980958 487178 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :dying? < 1375980999 905610 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :whatcha talking about? < 1375981003 896625 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fox___, (we did tell you what the channel was about in rainbow colours) < 1375981016 235511 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :? < 1375981032 881388 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :I know not much of political theory but was confused by the mention of electric-dielectric < 1375981101 404738 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :there's a marxist dialectic, and i live in constant hope that i will one day be able to make a decent pun on it with dielectric < 1375981115 80917 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :lol < 1375981210 513865 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(this channel is actually about esolangs, which mostly manifests in the form of the offtopic tangents averaging out to being centred on esolangs) < 1375981251 495547 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :right..reading about them now < 1375981275 186520 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :so church of the subgenius applied to extra cryptic programming...nice < 1375981403 317132 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net PRIVMSG #esoteric :http://www.subgenius.com/bigfist/pics13/devivals/2007/Balto-07poster-legume.jpg < 1375981440 101224 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :doesn't work as well in high-res, loading from the top-down < 1375981460 793775 :ka7la!~katla@amcant.demon.co.uk PRIVMSG #esoteric :so is ICFP competition out yet? < 1375981542 269154 :ka7la!~katla@amcant.demon.co.uk QUIT :Quit: Leaving < 1375981686 68455 :iamfishhead!~jgoldste@192.147.44.15 JOIN :#esoteric < 1375982129 786254 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1375983067 362124 :Taneb!~nathan@host-92-30-157-233.as13285.net QUIT :Quit: Leaving < 1375983107 41811 :ineiros!~itniemin@bayesianconspiracy.org JOIN :#esoteric < 1375983720 936792 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1375984073 450005 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1375984280 108990 :Administrator1_!Administra@c-69-245-112-54.hsd1.mi.comcast.net JOIN :#esoteric < 1375984357 800846 :jconn!~username@la-pinta.la.net.ua QUIT :Ping timeout: 248 seconds < 1375984488 47725 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net QUIT :Ping timeout: 260 seconds < 1375984603 989610 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1375984860 57070 :Administrator1_!Administra@c-69-245-112-54.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1375984868 33119 :Administrator1_!~Administr@c-69-245-112-54.hsd1.mi.comcast.net JOIN :#esoteric < 1375984871 114248 :Administrator1_!~Administr@c-69-245-112-54.hsd1.mi.comcast.net NICK :fox___ < 1375985272 128262 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 276 seconds < 1375985312 781564 :Administrator1_!Administra@c-69-245-112-54.hsd1.mi.comcast.net JOIN :#esoteric < 1375985328 68789 :fox___!~Administr@c-69-245-112-54.hsd1.mi.comcast.net QUIT :Ping timeout: 260 seconds < 1375985761 205764 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Welp, I "fixed" that USB audio stick issue by the ludicrously low-tech manner of just writing a fixed default.pa config that doesn't use the usual approach (module-udev-detect loading module-alsa-card*N) but just configures module-alsa-sinks and module-alsa-sources in a predefined manner; that way it doesn't seem to really touch mixer controls. < 1375985894 242733 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION stands far, far away from fizzie's PA aura
< 1375985894 809740 :Taneb!~nathan@host-92-30-157-233.as13285.net JOIN :#esoteric < 1375985924 596100 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I tried out the JACK thing, and it... worked, but it wasn't really the best fit for a desktop audio config like this. < 1375986121 679866 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :jack is good. jack is your friend. < 1375986178 215708 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't really know. I need volume control for my headphones, and I don't have any proper audio hardware with knobs and such. < 1375986182 354202 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :besides, if you eventually manage to get PA correctly running with multiple audio devices (and some USB ones), ping me please. < 1375986200 57031 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wiring things through jack-mixer "worked", but was very clunky. < 1375986200 722531 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh. well. then maybe JACK is perhaps a little bit maybe too overkill. < 1375986222 751117 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :apart from the pretty splines you get from that, it can get nightmarish enough quickly. < 1375986326 284352 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This PA setup seems okay now that I convinced it to not really do too much. When it tried to manage "cards" it was kind of crummy, but now it just has a list of ALSA PCM playback devices as sinks, and capture devices as sources, and that's about it. < 1375986354 899707 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though without the udev autoloading thingie in place, I need to run a pa script after plugging in the stick; perhaps not a great chore. < 1375986388 784892 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :why not just use plain alsa instead of pulseaudio? < 1375986394 427279 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Curiously enough, the onboard audio actually has passable quality in this system. On the previous one, with headphones, there was horrible amounts of noise e.g. when moving the mouse around, or esp. windows. < 1375986422 669433 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1375986513 92699 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Because it's so awkward when I want to move some audio stream from USB-stick headphones to soapbox mini-speakers to S/PDIF out to the big speakers. Every app does its configuration differently; and changes to .asoundrc take place only when they feel like it. < 1375986569 865932 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1375986575 201838 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 245 seconds < 1375986638 71305 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1375986652 449213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'd probably go with Alsa and dmix if I just had that one audio device that'd have all these modalities. < 1375986675 25595 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :sounds like you've found an actual usecase for pulseaudio then, congratulations < 1375986722 655393 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1375986764 981593 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's some sort of a thing on the onboard sound chip that it can make a copy of the "Default PCM" stream into the S/PDIF hole, so that sort of merges two of the three, but there's still the headphones. (Unless I switch to using the headphone port on the onboard sound, which wasn't an alternative before.) < 1375986875 993317 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :or, you could, you know, use a windows machine :P < 1375986887 297217 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(sez the linux guys who works for a FOSS company...) < 1375986966 117183 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This machine does in fact have a Windows nowadays, since I had some leftover disks. < 1375986970 208420 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Use the designated audio output on the sound card; that ought to work better than using USB, because then you don't get the noise when moving the mouse and whatever. < 1375987013 432854 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :zzo38: In the old system I had, it was exactly the other way around. The USB device had very good audio quality, while the onboard audio out was noisy as anything, especially when something happened on-screen. < 1375987035 700326 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(In this new setup, both seem fine.) < 1375987130 511341 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, I have actually heard of both ways in different computers, but maybe the onboard audio was a defective sound card? It would seem that if it is implemented properly, the analog output of the sound card should work. (The operating system might not be designed for any of this, though, necessarily. But I think there is a variant of Linux which is designed for this?) < 1375987557 122836 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :boily: who do you work for? < 1375987569 994598 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :streaming audio over the network is another actual use case for pulseaudio < 1375987644 355466 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I've enjoyed using this (or another audio daemon? i forgot) to have video playing from the media server on the big projection screen, with audio sent to my headphones via laptop (so I don't disturb housemates) < 1375987665 566431 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :still I think it's absurd that Pulse is the default even for people with the common case of one audio device < 1375987850 37645 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :huh < 1375987862 710712 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :In Scandinavia and the World, Finland's shirt is a lot more centred than I thought < 1375987881 441601 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :hi somebody tell me something interesting that has nothing to do with dawkins < 1375987933 261051 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Bike, in Scandinavia and the World, characters who would have Nordic crosses on their shirts have them way too centred < 1375987983 621303 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :For reference, http://satwcomic.com/poster < 1375988006 853143 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :that is weird. < 1375988027 770411 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :what's the black catlooking thing < 1375988067 996634 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I kind of like the idea of switching to plain ALSA, and the sound quality seems fine... but the computer's headphone port is pretty much on the floor, while the USB stick is in a hub on the desk, and the cable's more comfortable that way. < 1375988127 223422 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Bike, an Icelandic Hellspawn < 1375988138 1755 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Because Iceland is right next to hell, don'tchaknow < 1375988148 731223 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :sensible < 1375988190 217852 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :The thing on Denmark's head is a beer-drinking ghost < 1375988191 223771 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://satwcomic.com/worthless < 1375988204 749087 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you can't assemble the royal seal from 1p coins alone, idiot < 1375988232 941133 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :stop ruining my immersion, comic < 1375988236 280362 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Phantom_Hoover, it's written by a Dane. The author slapped the Brit who was explaining it to her then ran away < 1375988272 380837 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :she even says she played around with them when she was in the uk! this is just sloppy work < 1375988325 943574 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Rust kind of has the same problem as C++ where you write everything twice, in a mutable version and an immutable version < 1375988339 732562 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :except that in C++ you can avoid this just by ignoring const correctness < 1375988431 305576 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 276 seconds < 1375988440 492911 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:New_British_Coinage_2008.jpg < 1375988442 34953 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :see! < 1375988449 801208 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :also wow those coins look really shiny < 1375988454 697188 :Bike!~Glossina@67-5-237-111.ptld.qwest.net PRIVMSG #esoteric :wow phantom i didn't know you were a HUGE NERD < 1375988459 813628 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1375988468 838498 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: savoirfairelinux.com. < 1375988473 291870 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :look this is just basic knowledge < 1375988483 226310 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION slaps Bike with a very nerdish penguin.
< 1375988497 935079 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :boily: well you are a Microsoft Certified Partner too < 1375988541 667660 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I like how I can kind of read French for no clear reason < 1375988546 745735 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe due to knowing some Spanish < 1375988564 190451 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and the fact that it's a romance language, i mean come on < 1375988577 184784 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or maybe because computer shit is the same in every language < 1375988589 935962 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :drupal est un blog de GPL en PHP < 1375988599 951506 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that also < 1375988605 373869 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :PHP est merde < 1375988645 547485 :Bike_!~Glossina@67-5-227-24.ptld.qwest.net JOIN :#esoteric < 1375988647 269373 :Bike_!~Glossina@67-5-227-24.ptld.qwest.net QUIT :Client Quit < 1375988660 628356 :Bike_!~Glossina@67-5-227-24.ptld.qwest.net JOIN :#esoteric < 1375988678 684523 :Bike_!~Glossina@67-5-227-24.ptld.qwest.net PRIVMSG #esoteric :kmc: from practice reading "segfault" in every language < 1375988681 238997 :Bike!~Glossina@67-5-237-111.ptld.qwest.net QUIT :Disconnected by services < 1375988682 473714 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oui < 1375988686 209946 :Bike_!~Glossina@67-5-227-24.ptld.qwest.net NICK :Bike < 1375988826 809817 :Bike_!~Glossina@67-5-232-215.ptld.qwest.net JOIN :#esoteric < 1375988982 482817 :Bike!~Glossina@67-5-227-24.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1375989029 713911 :Bike_!~Glossina@67-5-232-215.ptld.qwest.net NICK :Bike < 1375989154 676989 :MindlessDrone!~MindlessD@HSI-KBW-134-3-130-100.hsi14.kabel-badenwuerttemberg.de QUIT :Quit: MindlessDrone < 1375989254 645320 :|_!~ddd@115.254.89.117 JOIN :#esoteric < 1375989347 484409 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: d'accord pour le php. la certification microsoft est un détail technique. < 1375989492 589489 :clog!~nef@bespin.org QUIT :Ping timeout: 256 seconds < 1375989517 208416 :clog!~nef@bespin.org JOIN :#esoteric < 1375989587 344974 :epicmonkey!~epicmonke@188.134.41.114 JOIN :#esoteric < 1375989950 128348 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1375990138 506330 :clog!~nef@bespin.org QUIT :Ping timeout: 256 seconds < 1375990194 188896 :apex!~apex@94-225-204-7.access.telenet.be JOIN :#esoteric < 1375990375 534639 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I wonder if I have enough coins to do the coiny thing < 1375990495 804678 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Haha I can < 1375990507 263278 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :[S] Taneb: do the coiny thing < 1375990538 813897 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric ::P < 1375990551 488509 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :IDGI. A keybinding to spawn "scrot -z ..." for a full-screen screenshot works fine; a keybinding to spawn "scrot -s -z ..." just results in "giblib error: couldn't grab keyboard:Resource temporarily unavailable" in .xsession-errors; "scrot -s -z ..." from the command line works just fine and lets me select a rectangle. < 1375990597 522049 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: If you can make the mutable and immutable version in Rust, is there some kind of way to use macros to make it do that automatically in some cases? < 1375990617 456443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And running scrot -z -s from a spawn "dmenu_run" also works.) < 1375990640 357946 :clog!~nef@bespin.org JOIN :#esoteric < 1375990685 783754 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Phantom_Hoover, would that make me the Heir of Cash < 1375990702 330247 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1375990744 66134 :Bike!~Glossina@67-5-232-215.ptld.qwest.net PRIVMSG #esoteric :deep < 1375990758 282970 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1375990762 903651 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :aaaargh i can't handle all this bureaucracy < 1375990786 774638 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I told you dog. I warned you about the bureaucracy. < 1375990790 813596 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's stupid; apparently spawn "sleep 0.1; scrot -s -z ..." works; the select-a-rectangle mode just doesn't like working if it's started when the hotkey is still down. < 1375990883 273429 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :at least i know my national insurance number this time < 1375991010 136989 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: sometimes < 1375991077 747706 :clog!~nef@bespin.org QUIT :Ping timeout: 248 seconds < 1375991221 907840 :clog!~nef@bespin.org JOIN :#esoteric < 1375991265 696096 :apex!~apex@94-225-204-7.access.telenet.be QUIT :Quit: Leaving < 1375991384 371141 :ap3x!~apex@94-225-204-7.access.telenet.be JOIN :#esoteric < 1375991814 5135 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :my emergency contacts list somehow has my father listed in both slots, in one of them as my daughter < 1375991915 796407 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :... < 1375991937 706009 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Time travel and future technology gender reassignment surgery?# < 1375991952 405454 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Phantom_Hoover, you're your own grandfather# < 1375991962 96275 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Why do I keep hitting hash before enter# < 1375991986 507659 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :apparently < 1375992037 284293 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :your keyboard are weird. < 1375992053 388835 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, 'widefingeritis' < 1375992069 867179 :katla!~katla@unaffiliated/katla JOIN :#esoteric < 1375992079 188348 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :I think it's inaccurateandslippyfingeritis < 1375992081 123556 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh shit, they want to know where i'm living next year < 1375992128 624333 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Hexham < 1375992130 435270 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :CA < 1375992132 119101 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Finland < 1375992134 136562 :Taneb!~nathan@host-92-30-157-233.as13285.net PRIVMSG #esoteric :Aaaah < 1375992156 775962 :katla!~katla@unaffiliated/katla PRIVMSG #esoteric :is ICFP out yet < 1375992222 285604 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Phantom_Hoover: don't worry, I want to know where you live this year. < 1375992232 675370 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :katla: when the Infamous Interview will be out too. < 1375992249 246287 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :boily, so do I < 1375992260 735444 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote FN35EM < 1375992262 365722 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1375992275 633002 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hm. looks like I had never mentioned where in montreal I live. < 1375992277 559629 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`pastelogs FN35EM < 1375992298 246732 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION can hear HackEgo churning and grinding...
< 1375992298 447102 :katla!~katla@unaffiliated/katla PRIVMSG #esoteric :what? < 1375992323 586299 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.7170 < 1375992344 397317 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh. I did. < 1375994017 169429 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1375994132 726091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : you never know when the six pigs will begin their forage <-- wat < 1375994154 425213 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shh! do not speak of the porcine ones too loud < 1375994199 604915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are they related to these http://www.girlgeniusonline.com/comic.php?date=20130805 < 1375994255 444319 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no < 1375994264 817824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1375994270 755894 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hint: where does Taneb live < 1375994281 906376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1375994306 738671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the hexham apocalypse, i take? < 1375994433 328680 :Bike!~Glossina@67-5-232-215.ptld.qwest.net PRIVMSG #esoteric :six pigs < 1375994457 244405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also by wikipedia forage is either plant material or fish, so i think we should be safe. < 1375994943 480155 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, the "really" thing (of postgresql 9.3+142really9.1+146) seems to be a full-blown Debian-testing/unstable convention; here's yafaray 0.1.2+really0.1.2~beta5-5+b1. < 1375995027 640699 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, to Them Of Whom The Jews Do Not Eat we are but fish < 1375995091 242782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose i _do_ recall some stories of pigs eating people. < 1375995194 348824 :Administrator1_!Administra@c-69-245-112-54.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1375995485 154464 :Bike_!~Glossina@71-222-34-38.ptld.qwest.net JOIN :#esoteric < 1375995494 836023 :Bike!~Glossina@67-5-232-215.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1375995683 930780 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote my emergency contacts list somehow has my father listed in both slots, in one of them as my daughter < 1375995687 107762 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1084) my emergency contacts list somehow has my father listed in both slots, in one of them as my daughter < 1375995691 868607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a moment in #esoteric. < 1375995698 705651 :Bike_!~Glossina@71-222-34-38.ptld.qwest.net NICK :Bike < 1375996169 509989 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1375996174 478167 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1375998619 22334 :katla!~katla@unaffiliated/katla QUIT :Quit: Leaving < 1375999207 164029 :|_!~ddd@115.254.89.117 QUIT : < 1375999433 64025 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :http://betabeat.com/2013/08/app-will-ping-you-when-its-time-to-bang/ cool < 1375999494 231810 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Ping timeout: 264 seconds < 1375999618 203540 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :kill earth < 1375999654 672900 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why? How? < 1375999677 553580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mnoqy is angry because he bumped his toe on it hth < 1375999702 204047 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Then you have to be more careful next time. < 1375999761 342483 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: wow < 1376000537 940549 :Taneb!~nathan@host-92-30-157-233.as13285.net QUIT :Quit: Leaving < 1376000635 513325 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net JOIN :#esoteric < 1376000871 463440 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1376001173 356419 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1376001391 720929 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 240 seconds < 1376001925 846440 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1376001962 58201 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376002238 807803 :nooodl!~nooodl@78.20.118.11 QUIT :Ping timeout: 240 seconds < 1376002848 67754 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1376003116 316870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: exciting new rust runtime < 1376003170 478384 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes! < 1376003175 733113 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as of today, Rust's runtime is written in Rust < 1376003180 178254 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not many languages can do that < 1376003189 112745 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :oh that is nice. < 1376003189 398015 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Except most compiled languages < 1376003190 986970 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is gcc's runtime written in C? < 1376003197 58466 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :libc is in C, yes < 1376003204 526277 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :well, probably < 1376003204 996949 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Most actually usable compiled languages at least. < 1376003205 576678 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Lumpio-: I don't know about that. Not Haskell or OCaml, for sure < 1376003223 846181 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I wouldn't call libc the "runtime", that would be like crt*.o and libgcc.a < 1376003227 546483 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and C++ is in C++ and I guess java is written in java? < 1376003244 157887 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Java isn't compiled to native code so I doubt the JVM is written in Java < 1376003245 553444 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i... actually don't know what jvms are written in usually < 1376003247 848435 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can build a C program without libc and ~all of the "language features" still work < 1376003249 317191 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :It's possible if you JIT it in advance but < 1376003251 147376 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Doubtful. < 1376003258 404175 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :kmc: i don't even know what libgcc is < 1376003262 307375 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sometimes Java is compiled to native code < 1376003263 697162 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but not usually < 1376003279 547519 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :What's libgcc do anyways < 1376003281 536816 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: well for example, if you use uint64_t on a 32-bit machine, it needs to call some function to add double-size integers < 1376003286 998287 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :oh. that stuff. < 1376003293 195107 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so there are things like that which look like primitives but actually call into functions < 1376003293 478252 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :__udivdi3 and friends < 1376003294 727710 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :the not-in-libc-but-needs-software-support-stuff. < 1376003310 37004 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Such as? < 1376003312 96925 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what counts as the "runtime" is a bit of a definitions game < 1376003317 7681 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :such as what kmc just said? < 1376003336 775101 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :But what primitives are there if you don't use libc nor the magic builtins < 1376003350 327219 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :To make it simpler, say you only call functions you wrote yourself. < 1376003352 628944 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :64-bit ints < 1376003356 186685 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :oh < 1376003357 581165 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net QUIT :Quit: Leaving. < 1376003358 345820 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :hum. < 1376003359 696319 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :on a 32-bit machine < 1376003362 640352 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :like kmc said < 1376003376 797179 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: that's an implementation detail though, I guess? like, gcc could inline it if it wanted, right? < 1376003377 125343 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :I guess that's a point < 1376003386 837226 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :It could and it probably does < 1376003426 453269 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :it could, there are other routines though sometimes < 1376003438 945137 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it does sometimes < 1376003445 687273 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :complex number support, right? < 1376003456 296937 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :plus inlining can lead to code bloat bla bla bla < 1376003458 766232 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :on some machines floating point will be a library call < 1376003461 276658 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or integer multiply even < 1376003461 989038 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :On an actual computer is it the job of the operating system to zero out .bss and whatnot < 1376003470 246863 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1376003476 786909 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :softfp~ < 1376003481 717333 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :I've only looked at full disassemblies of executables for microcontrollers < 1376003482 908285 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or rather, anonymous mappings are zeroed by default < 1376003493 176518 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Where GCC emits a small piece of code to do that because there's no OS. < 1376003497 456980 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for security -- you can't allow leftover data from some other program < 1376003498 166030 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :...or I guess that could come from some sort of library. < 1376003523 943480 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How does it zero out the BSS? Is there hardware support for doing that? < 1376003535 950890 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :memset() ¬u¬ < 1376003536 151344 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Or does it have to write every byte to zero individually? < 1376003543 726517 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :doesn't it just map a pre-zeroed page if possible, or whatever < 1376003550 987643 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :memset() and friends are usually optimized to ridiculous levels < 1376003560 987004 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1376003565 396715 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :There's probably an assembly implementation for all popular platforms. < 1376003577 720222 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1376003579 381463 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :It rarely goes byte by byte, on a 64-bit machine you can do at least 8 bytes at a time < 1376003593 196547 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :And I wouldn't be surprised if x86 had some sort of block fill extension. < 1376003610 48304 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1376003611 627624 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Lumpio-: you'll find various unrolled SSE memsets and such < 1376003618 237633 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :yes < 1376003620 494496 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there hardware support for the entire RAM at once in something outside of the CPU? < 1376003630 99161 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Entire RAM at once? < 1376003632 78418 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :That would be suicidal < 1376003632 278594 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :why would you want to zero all of ram at once < 1376003632 278778 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I think Ivy Bridge has a special optimization such that the lowly REP STOSB is actually really fast < 1376003644 106884 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I know they have it for memcpy() / REP MOVSB, but with some wacky restrictions < 1376003648 807983 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Lumpio-: Yes, or a very large block such as 1GB, or something like that < 1376003661 327425 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: yeah, you can map a copy-on-write zeroed page < 1376003680 869352 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then if processes reserve lots of .bss and never use it, they don't take up physical memory < 1376003683 846082 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I think that's typically done < 1376003688 16726 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :right < 1376003703 818714 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :For example, if the loader is in ROM and the data it keeps track of is stored in registers, then you might want to clear the entire RAM at once before the program is loaded. < 1376003720 435423 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :zzo38: On what kind of 1980 single-tasking computer? < 1376003720 823346 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(well, you could do that anyway, but this way they can allocate a lot of .bss and read zeroes from it and still not take up physical memory) < 1376003827 668881 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :Lumpio-: are you not used to zzo < 1376003839 502906 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Lumpio-: I am not really thinking of a specific kind of computer, but rather if there is a DRAM or something that has a pin for such a function, so that a computer can be made having a BIOS that can do this. < 1376003867 927685 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1376003967 198176 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Bike: But I like talking with him! < 1376003979 846867 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :zzo38: Yes, I'm sure it's possible to do. < 1376003996 365151 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :well sure < 1376003998 317043 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know which ones have such things? < 1376004001 648150 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :you just occasionally get this < 1376004008 747747 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :I didn't say I knew of any implementation < 1376004015 278133 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Just that it's possible. < 1376004195 592308 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I would like to know which RAM chips do this so that I can make something using this. < 1376004233 937725 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Not sure if any existing chips have this feature. < 1376004246 180247 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :All you really need is a thing to pull all select lines high at once < 1376004280 263581 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Usually there's no direct access to the select lines. < 1376004401 348120 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Hmm, although is the DRAM controller itself on the motherboard on modern computers < 1376004407 579736 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Instead of the chips themselves < 1376004417 524514 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :If that's so all you need is a soldering iron and a steady hand! < 1376004428 59390 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i feel like zzo should get a few fpgas to mess with < 1376004432 587970 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :...and probably magic wire that doesn't introduce extra inductance/capacitance to the really high frequency bus < 1376004493 136293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (909) < 1376004494 608578 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olist (909): shachaf oerjan Sgeo FireFly < 1376004573 142850 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think RAM controllers have been on cpus for a while now? < 1376004751 827909 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah for a long time < 1376004796 526445 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Lumpio-: The RAM bus is not high frequency. < 1376004805 642276 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :It's 200 MHz. < 1376004852 463267 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :(or less) < 1376004869 940464 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :oh right < 1376004872 647345 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :It's parallel < 1376004887 369836 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Fiora: Well, outside the RAM modules themselves at any rate. < 1376004939 841931 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1376004982 490325 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :"PC3-6400" is a mere 100 MHz, it just has the bandwidth of a hypothetical PC-100 module clocked at 6.4 GHz. < 1376004996 745232 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`olist 909 < 1376004998 124127 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olist 909: shachaf oerjan Sgeo FireFly < 1376005049 659733 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Oh, sorry, the RAM *bus* is at 400MHz. < 1376005062 859173 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :But that's feeding into 100MHz chips. < 1376005088 178545 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Still, not the highest frequency bus. < 1376005162 490854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo.......................................... < 1376005193 648538 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :hey, he tried, shachaf. < 1376005198 952901 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :I think in terms of clock rate USB 2.0 is higher freq? < 1376005249 219151 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :At least I indicated which one so you didn't think there were two updates within 8 minutes of each other < 1376005599 830172 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :humble bundle: now dropping the pay what you want component < 1376005664 274910 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :or... apparently not < 1376005667 630761 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :so we only pay what we don't want? < 1376005887 646113 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: true < 1376005895 814821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION feels thoroughly `olisted
< 1376005897 370098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: true < 1376005932 903193 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i will pay what Phantom_Hoover wants < 1376006013 607366 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :$300 (you choose the dollar) < 1376006019 419522 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :the elliott system < 1376006026 71872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is wondering what they'll do when the protection spell runs out (and the spare in the staff)
< 1376006030 29793 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :also: it's weird to realize that horse_ebooks is actually a very successful spam marketer < 1376006047 325089 :doesthiswork!~Adium@174-31-178-247.tukw.qwest.net JOIN :#esoteric < 1376006047 980179 :iamfishhead!~jgoldste@192.147.44.15 QUIT :Ping timeout: 260 seconds < 1376006066 409499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo someone should make nlab_ebooks < 1376006102 52241 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :kmc: http://24.media.tumblr.com/tumblr_m92seuPm161r9hh3yo1_400.jpg update re: gay cuttlefish < 1376006120 550471 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :those aren't cuttlefish < 1376006142 974666 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1376006144 830932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: do you happen to know when super mega updates usually happen < 1376006149 583871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :when is the evening < 1376006155 503989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what time zone is johnny smash in < 1376006161 331964 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :about nine pounds < 1376006165 551233 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i think he lives in arizona? < 1376006178 211316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats Bike, disturbingly gently -----###
< 1376006195 474287 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :hi