< 1393804936 40542 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION would probably look for frotz' source code. < 1393804956 314147 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Frotz isn't a compiler (nor is it accurate). < 1393804965 574015 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I am using this for compiler optimizations. < 1393805261 676282 :nooodl!~nooodl@91.177.108.54 QUIT :Quit: Ik ga weg < 1393805485 47171 :atslash!~atslash@46.72.83.247 QUIT :Quit: This computer has gone to sleep < 1393805529 326567 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :https://twitter.com/neilyourself/status/440277640533278720/photo/1/large < 1393805533 424629 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: Are you writing a game? < 1393805580 540110 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I am writing a compiler. < 1393805616 443909 :mauris!~nooodl@91.177.108.54 JOIN :#esoteric < 1393805908 28908 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And then I write a game. < 1393805974 802326 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: Sorry, I think you've shown us the tip of an iceberg, but the question goes deeper. < 1393805993 268960 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I believe you < 1393806312 537166 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Can you explain if I missed some information, that you would require to make an answer? < 1393806941 906514 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I was reading a bit on the Z-machine instruction format. So essentially you have some sort of assembly code (namely, Z-machine), with branches (which may go to arbitrary places in principle) and want to figure out parts that resemble well know loops? < 1393806954 267492 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Not quite. < 1393806972 822007 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Although, that is part of it, and I have partially figure it out. < 1393806988 379497 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Anyway, since it's a compiler, source language, target language and implementation language would be good information. < 1393807032 410420 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Specifically, because of the 'branch target' pseudo instruction, you can tell that a block is internally not jumping into/out of from externally, and I have figured out that much already. < 1393807040 231591 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Implementation language is C and SQL. < 1393807069 380088 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The source language is custom and target is Z-machine executables. < 1393807284 724006 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Is that what you wanted? < 1393807463 154780 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. I'm resolving other mysteries in the meantime, for example why I could not find IGRTR. "The opcode names used in this document were agreed between 1994 and 1995 as a standard set by Mark Howell, author of the disassembler Txd (part of the Ztools suite of utility programs), and Graham Nelson, author of the assembly level of Inform. They do not correspond to Infocom's unpublished opcode names." says... < 1393807469 132180 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...http://www.gnelson.demon.co.uk/zspec/preface.html < 1393807492 341498 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have Infocom's opcode names and that is what I am using. < 1393807516 739869 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Also, the question mark is part of the name. < 1393807546 33309 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(That document also contains some errors. Actually, so does Infocom's document.) < 1393807571 761251 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I was using google. It would ignore the question mark anyway. :P < 1393807586 770544 :itsy!~john_metc@37.152.198.84 QUIT :Read error: Connection reset by peer < 1393807587 388037 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Ah, OK < 1393807588 56521 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Increment, GReaTeR? < 1393807592 9526 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes < 1393807601 928710 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It means, increment and check if the new value is greater < 1393807732 551438 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: what is your favorite game < 1393807738 15774 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I happen to think Infocom's names are better, although it is a matter of opinion. < 1393807745 192219 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :quintopia: I don't know. < 1393807769 224601 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: do you have a top 5? < 1393807773 120784 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :No. < 1393807853 155814 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Infocom's documentation (for an unknown typesetting system) is found at: http://zzo38computer.org/backup/zspec/zip.txt for EZIP and XZIP. I also have the YZIP documentation, as well as Graham Nelson's document, and the ZIP documentation. (They all contain a few errors, unfortunately, and there are some things which none of them mention at all.) < 1393807939 57004 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I may later be able to implement a subset of that typesetting system (without knowing precisely if it is correct), in order to typeset that document. < 1393807968 524783 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :quintopia: Which games do you mean? Can you be specific? < 1393808008 247609 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: i mean board games, card games, video games. not sports though. < 1393808021 136142 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Ah, OK, that is what I was asking. < 1393808030 980449 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I still do not know the answer. < 1393808061 369722 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then what is the first game that you think of when i ask the question? < 1393808074 862154 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :doesn't have to be actual favorite < 1393808075 47171 :realzies!~pinky@unaffiliated/realazthat QUIT :Remote host closed the connection < 1393808077 604760 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I didn't actually think of any one specific, really. < 1393808109 366047 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Probably chess, just because I wanted to think of whether or not it counts for what you are trying to mean. < 1393808118 754449 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1393808133 873743 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sure does < 1393808138 306417 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: by the branch target pseudo-instruction, you mean something to the effect " All branches must be to such a label within the same routine. (The Inform assembler imposes the same-routine restriction.)"? < 1393808190 471442 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Actually, I mean an instruction which has as operands, all addresses of instructions which can jump to it. < 1393808240 515462 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The instruction itself does nothing. < 1393808261 80148 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is that a real thing in the assembly language? < 1393808297 565119 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is a feature in my compiler. It compiles directly to binary code, deleting all such branch target instructions when writing the output. < 1393808343 828047 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It doesn't use assembly language. < 1393808347 361114 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah, so it's like an assertion < 1393808361 442315 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :"cause a compiler error if anything else would try to branch to here"? < 1393808382 551132 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Kind of. < 1393808392 536472 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :However, it is also an error to branch to anything that isn't a branch target instruction. < 1393808407 10358 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sounds like a much safer way to GOTO < 1393808465 970976 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: so looking for such an instruction in the z-machine specification will fail? I misunderstood you once again. < 1393808467 543310 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Such feature is provided only for optimization, and is removed during the final compiling step (so are all other pseudo instructions, except for FSTACK which is replaced by ICALL to routine 0 taking its argument from the stack). < 1393808480 830284 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Yes, there is no branch target instruction in the Z-machine. < 1393808504 820853 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: how do you use it for optimization < 1393808531 955707 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In order to skip past an "inner block", all branch target instructions and all branches must point to within the block. < 1393808542 254684 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Otherwise it is not a complete "inner block". < 1393808560 374149 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so ... i: [come from a: b: c:] ... a: [branch i:] ... b: [branch i:] ... c: [branch i:] would be something like a basic loop. < 1393808573 341541 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Yes. < 1393808577 792140 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(where I write "come from" for the branch target thing) < 1393808585 760442 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes. < 1393808614 472115 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and ... does not contain branches or branch targets. < 1393808623 734483 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes. < 1393808624 180922 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, ... can be composed of more such "inner" blocks. < 1393808637 276161 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, it can be. < 1393808750 347831 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In reality it's a bit more fun. This looks reasonable: i: [come from a,b]. [branch skip] a: [branch i] skip: b: [branch i] < 1393808793 917424 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so i ... b spans an inner block where branches to i, a, b are allowed anywhere. < 1393808798 629268 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Internally the program has a table of flags for instructions, and the branches are any instruction with the "IF_predicate" flag set ("IF" means "Instruction Flag"). There are various other flags too, mainly used for optimization although they have other purposes too. < 1393808831 58551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Ah, I had IF = interactive fiction) < 1393808859 985017 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Well, that isn't how it works; to simplify it I am not doing things like that; "skip:" then also needs a branch target from "i:" to do like that. < 1393808907 189510 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: right, I forgot the come from for the skip label. < 1393808938 144783 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that wasn't the point, the point was that some code could jump over the a: label. < 1393808989 926763 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, it is possible for code to jump over other labels. < 1393808999 97750 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :There isn't anything against that. < 1393809022 59102 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The code between them then won't constitute an "inner block", but that is OK. < 1393809253 241830 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So here's you inner block then, formally: Each branch a: [branch b:] defines a *branch interval* from labels a (inclusive) to label b (exclusive) if it's a forward jump; from labels b to a, both inclusive, if it's a backward jump. An inner block is an interval I that for each branch interval B, I fully contains B, B fully contains I, or B and I are disjoint. < 1393809289 482 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The idea is I am trying to pattern match one or more instructions which are specified in the pattern, followed by an inner block (which may have further restrictions placed, depending on the pattern), and then the rest of the pattern specifies what instructions come after that block, and then to replace it using another pattern. < 1393809362 405172 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :[Oh I need some additional care there, at the interval boundaries. Icky, but it doesn't look *too* horrible.] < 1393809407 880990 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 JOIN :#esoteric < 1393809417 258185 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric :ohai pplz < 1393809441 927524 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric :Anyone here with ears, speak up. < 1393809463 103147 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :JWinslow23: Ears is not enough for speaking up. < 1393809469 777260 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`relcome JWinslow23 < 1393809471 223244 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04JWinslow23: 07Welcome 08to 09the 02international 06hub 13for 04esoteric 07programming 08language 09design 02and 06deployment! 13For 04more 07information, 08check 09out 02our 06wiki: 13. 04(For 07the 08other 09kind 02of 06esoterica, 13try 04#esoteric 07on 08irc.dal.net.) < 1393809486 440355 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric :I meant "Can you hear stuff?". < 1393809488 157198 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric ::p < 1393809489 282881 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ears are astonishingly useless with standard IRC interfaces. < 1393809496 857025 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric :Anyways, here is my voice for you... < 1393809497 499896 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric :http://www.mediafire.com/listen/eo3s4eg2794rack/WinningSongJosiahW.wav < 1393809502 495640 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I don't have a screenreader) < 1393809504 910721 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 PRIVMSG #esoteric :I multitracked myself. < 1393809564 749534 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have figured that I could find an inner block by keeping track of what is the first instruction in the block, and then to keep track of what instruction is mentioned which is closest to the end, and requiring the target to be earlier than the last instruction in the block. Would this work? < 1393809823 190728 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(In addition, depending on what it is doing, it may also have to keep track of stack effect and so on) < 1393809826 26959 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1393809875 659169 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :good randomized evening. < 1393809881 15723 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :One thing I am not sure of is how to encode the additional conditions. < 1393809888 885035 :JWinslow23!18a7c7d4@gateway/web/freenode/ip.24.167.199.212 QUIT :Ping timeout: 245 seconds < 1393810095 80275 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :oh yeah, well good DETERMINIST evening to you, JERK < 1393810129 998664 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: some idea, which in retrospect sounds like what you described, as python pseudo-code: http://sprunge.us/YMHK?python < 1393810207 77155 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh. wrong. end == cur should be end <= cur. < 1393810284 423330 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Yes, this is mainly like what I am doing, actually. What I don't quite know is how to encode all of the additional conditions that are needed, such as local and global variables reading/writing, not doing I/O, and various other things, as parameters to the subroutine which finds it. < 1393810326 797519 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( make it a higher order function. ) < 1393810358 823482 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393810372 770672 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes I suppose that would be one way. < 1393810497 336528 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1393810548 886388 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Bicyclidine: I played mahjong today. I embodied randomness, embraced it, welcomed it in my brain. < 1393810592 988581 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: So I guess I'd start with some regex-like matching language (with basic building blocks that can match instructions), where instructions can be matched in two modes: one that ignores it for 'inner block' tracking, and one where it's taken into account for inner block tracking. < 1393810655 319869 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :ACTION hisses < 1393810739 160199 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION considers sleep, and approves of the idea. < 1393810771 17746 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION throws a green dragon tile at Bicyclidine, misses, hits int-e on the head an puts him in a coma. < 1393810787 492191 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Should I read an Agda tutorial to understand dependent typing? < 1393810792 477879 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I prefer Idris < 1393810795 928595 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I haven't actually played mahjong recently < 1393810800 711103 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Cumulative universes seem like a good idea) < 1393810845 671964 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :boily: Have you ever looked at Washizu mahjong at all? I have a set of pieces for playing Washizu mahjong. < 1393810889 702220 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :zzo38: I know what it is, but never played it. < 1393810907 946121 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION is shopping for a laptop. «Maudit que ça coûte cher avoir de quoi de décent au Canada!» < 1393810978 550418 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Once I played Washizu mahjong at anime convention. < 1393810997 917579 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :We each played two hands and kept score in a separate sheet of paper. < 1393811027 611055 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I have a kilogram of poker chips for mahjong scoring. < 1393811086 795588 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :zzo38: have you ever bought a laptop in Canada? < 1393811090 298742 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't own many poker chips. I do have the sticks for mahjong scoring, but I used the paper for keeping track of hit-points (in normal mahjong, you would still use it, to keep track of match points, instead). < 1393811103 764538 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have never bought a laptop anywhere. < 1393811170 302121 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :we very rarely use the sticks. I find them confusing. < 1393811194 573797 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(except that one time that guy had some brightly coloured sticks. it was better.) < 1393811627 552007 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :holy fungot. I clicked on the confirm order button. < 1393811627 775280 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: snatches of what i have to tell. glancing at these pictures as i took them from the pencil shorthand: < 1393811656 345532 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: the pictures and specs convinced me. plus there was a 30$ sale going on. not much, but it's better than nothing. < 1393811656 548478 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: of unplumbed space. the old tracks crossed river street at grade, and on the clear nights the pole star leered as never before. this time the other odor ahead. paradoxically, it was observed to sink into a well, and some clambering down through networks of limestone caverns in the hollow hills and left the old bed toward the ocean as it blazed in the spectral half-light where the giant trees squirmed and twisted grotesqu < 1393811656 733908 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: Lost terminal < 1393811671 270030 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1393811723 135347 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ouch. a new digit appeared in front of my credit card bill. < 1393811806 318819 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1393812019 160874 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: quinthellopia! < 1393812260 20932 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1393812396 322861 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily!!!! < 1393812428 511701 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm setting up a new computer < 1393812432 352994 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I just bought a laptop! I have to wait! my heart is racing! I'm drinking お酒! < 1393812433 861159 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it comes with windows 8 < 1393812437 669328 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :bleh :P < 1393812460 88347 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :mine comes with ubuntu 13.10! < 1393812462 956196 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i want a windows computer. but i may set it up to be dual boot later < 1393812483 350561 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :meantime, i can play all those windows-only games i've been meaning to play for years < 1393812508 60600 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :let' < 1393812514 840031 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :s see if it's done configuring itself yet... < 1393812535 42685 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nope < 1393812620 195 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I need to find a way to get a pack of 40A-L o-ring dampeners shipped to Canada. my new teammates dislike my new mechanical keyboard. < 1393812834 779217 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :my netbook only had ubuntu 12. oh no. < 1393812848 854550 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :i am... The Inferior Consumer < 1393812887 253972 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I am... the Recenter Consumer. < 1393812968 178515 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(also, there's a strong possibility that I'll just archlinuxify it the moment I can get my mittengraben on it.) < 1393812997 105212 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :do the ubuntu 13 ones have unity too? < 1393813054 539458 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :no idea. I'm a loyal fluxbox user, so all that gnome 3 stuff and suchlike is pretty unknown to me. < 1393813184 923317 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :well i mean, preinstalled. < 1393813209 635084 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :i probably won't totally install a new distro. i'll just flay this one. < 1393813222 675806 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :they say it comes with 13.10. that's as much as I know. < 1393813236 322223 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(btw, it's a galago from system 76 I bought.) < 1393813503 495305 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :...so have you not turned the thing on yet? or did you just put in an arch bootdrive without looking at ubuntu < 1393813548 221677 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it hasn't arrived yet < 1393813552 373976 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :obvi < 1393813560 339362 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :"I have to wait!" < 1393813579 513244 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :okay let's see if chrome is done installing < 1393813581 659866 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1393813595 737446 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh so close < 1393813735 130347 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :can one install firefox on a chromeos machine? < 1393813794 436054 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i don't know! i'll ask boriss! < 1393813832 328383 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Boriss doesn't know! sorry! < 1393813875 347236 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1393813879 208431 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~duck boriss < 1393813880 293550 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :Antonina Georgievna Borissova (19031977) was a Russian botanist, specialising in the flora of the deserts and semi-desert of central Asia. < 1393813894 744437 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: wut? < 1393814175 848472 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boriss works at mozilla < 1393814205 338520 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oh. < 1393814210 446699 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: where do you work? < 1393814210 632781 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: above these apparent hieroglyphics was a figure of evident pictorial intent, though carter well knew that such a sound as their stinking green ichor oozed fnord upon that porous earth with the obscene fungi. < 1393814239 527905 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: ancient socio-microbiology of the fungus? < 1393814239 713000 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: document modified: contrasted views of the outer beings and had later killed himself, but elwood could form no guess; and it cost us a genuine pang to leave this probably crippled old fnord a lone survivor to the peril of recapture and a nameless thing had dropped from an overhanging tree into a fnord sleep from which i thought i had seen the sad remains of their ill-made cottages as i passed them by with the party, open < 1393814242 560176 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i know a dude who works at google also but i doubt he works on chromeos... < 1393814264 769723 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :^style < 1393814264 991299 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft* nethack pa qwantz sms speeches ss wp youtube < 1393814269 943370 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah < 1393814279 171609 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no wonder it seemed so MELODRAMATIC < 1393814296 592049 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :^style qwantz < 1393814296 776979 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) < 1393814303 180142 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :MOAR HUMOR < 1393814309 910779 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :^style oots < 1393814310 95915 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Not found. < 1393814323 962817 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :poor oots < 1393814326 244580 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fizzie: I am sad. your infamous bot doesn't have an oots style. < 1393814330 793706 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we don't have a transcription! < 1393814342 261138 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :someone should do it manually! < 1393814348 873265 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :okay how about you! < 1393814354 478787 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :not me. I have the Wisdom to take care of. < 1393814372 194876 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and not me because i am not an ootser < 1393814388 530755 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fungot: please transcribe oots AUTOMAGICALLY < 1393814388 863086 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :quintopia: oh, that may be a fact; it is impossible to know if my dream, everything had turned into plasticine! do i like it because it's so delicious because i like to keep my own counsel. < 1393814415 211117 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: fungot is eating plasticine. I don't think he'll be of much help there. < 1393814415 395919 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: different ways to say " no, i will definitely not love: not the same: the judge of that!" < 1393814428 962221 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :there is a dinosaur comics about lucy in the sky with diamonds? now i want to go read DC < 1393814672 775937 :mauris!~nooodl@91.177.108.54 QUIT :Ping timeout: 265 seconds < 1393814718 743669 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :okay now i am ircing via chrome < 1393814720 786462 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :on windows < 1393814724 957609 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hurray? < 1393814796 238632 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hurray. < 1393814807 675226 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(murray too, if you happen to like skulls.) < 1393814841 938855 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :http://www.qwantz.com/index.php?comic=272 < 1393814957 948326 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :bill murray? < 1393815006 365146 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :murray, as in that skull from Monkey Island, and as it happens in DCSS too. < 1393815017 848690 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :when you buy an eel pie but the eel bites your eye...that's a moray! < 1393815110 419510 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :... < 1393815122 93600 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION lightly mapoles quintopia < 1393815263 856305 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 QUIT :Ping timeout: 245 seconds < 1393815277 683081 :boily!~boily@96.127.201.149 QUIT :Quit: Payeen to a Twang \\ Derrida \\ Ore-Ida \\ potato. \\ If you dared, \\ I'd ask you \\ to go dig \\ up your ides under brown- \\ tubered skies. \\ where pitchforked \\ you will ask \\ Derrida? < 1393815290 932851 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1393815382 698330 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Wonder if 3dna is a bit like a 3d version of Microsoft Bob < 1393815393 184626 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Which doesn't really stop me from liking 3dna < 1393815606 371524 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1393815643 315004 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1393816100 520549 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why doesn't boily leave metasepia running when he goes to bed :? < 1393816850 749924 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How should a pattern for matching the sequence of instructions be formatted? < 1393816999 417944 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :bah! < 1393817094 668096 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :3-deoxyribonucleic acid < 1393817125 485025 :constant!root@freebsd/developer/variable NICK :variable < 1393817389 787940 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I should totally buy Fitznik and Fitznik 2 < 1393817399 228685 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I remember a friend helping me solve a Fitznik level < 1393817407 348549 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Quit: Leaving < 1393817428 402 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1393817812 204978 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( I can't find where to buy it < 1393817818 547344 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :CNET linked me to dexterity.com < 1393817912 440604 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393817998 478637 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.sodaware.net/games/fitznik/ < 1393818187 786153 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 244 seconds < 1393818410 991367 :Gracenotes!~person@192.241.203.42 QUIT :Changing host < 1393818411 176249 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1393819437 892459 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393819981 631033 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://arxiv.org/abs/1402.7301 < 1393820489 799339 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :The largest TSP instance so far that has been solved optimally has 85,900 vertices. < 1393820508 803549 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :let me break the world record < 1393820610 802817 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :consider the labeled directed graph (\{0,\ldots,85900\},\{(i,i+1) (mod 86901)\},(i \mapsto 1)) < 1393820668 589274 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :its only hamiltonian cycle is (up to a rotation), (0,\ldots,85900,0), by considering the possible continuations from 0 < 1393820697 506200 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the distance traveled is 85901 < 1393820732 351012 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :did i succeed? < 1393820745 318267 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :"Its solution required more than 136 years of total CPU time using the branch-and-cut based Concorde TSP code [1]" < 1393820746 472268 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :silly. < 1393820751 321723 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :sometimes my brain amazes me < 1393820952 379388 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: if you think that's silly, please supply a sensible meaning to their sentence < 1393820959 862941 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :otherwise, i'm claiming my prize < 1393820977 883958 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm calling the nobel dudes as we speak < 1393821029 447639 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ACTION is p excited even < 1393821032 176498 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :gonna go out on a limb here and guess that in tsp studies they imply random or otherwise nontrivial graphs < 1393821067 544794 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :alternately we could assume the authors are fucking stupid < 1393821227 457798 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well i'm sad to say that i'm generally not at all surprised to find a claim that stupid in a research article, although i don't think this was such < 1393821228 143459 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the citation has a pretty cover http://press.princeton.edu/titles/8451.html < 1393821260 894009 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :this is arxiv, not vixra, know what i mean < 1393821650 830203 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the "random" is a bit tricky too, often there are multiple natural distributions. if you take n vertices and choose distances uniformly from [0, 2^n), do you get something hard? it could be that because you have only polynomially many edges in there, the gaps are actually big enough that any greedy algorithm is likely to give you the optimal path < 1393821697 495738 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :wait maybe you should take the distances uniformly from [0, n) < 1393821748 321082 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i guess TSP is hard even then because even hamiltonian is, i guess big numbers are only needed in subset sum problem family < 1393821812 501929 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i meant random like throwing a bunch of needles at a floor or something. < 1393821815 584339 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no need 4 thought < 1393821879 360314 :password2!~password@197.78.166.46 JOIN :#esoteric < 1393821921 406546 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ah, you must be referring to the needle throwing axiom which posits that every set has a natural distribution < 1393821934 62815 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :known to be independent of both AoC and the axiom of determinacy < 1393821970 885036 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :meant to say *inconsistent with < 1393822188 440897 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Needle throwing axiom? < 1393822195 462130 :rambomedic!~rambomedi@108-217-109-227.lightspeed.irvnca.sbcglobal.net JOIN :#esoteric < 1393822241 512671 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah AN, introduced by Kalenius in a seminal irc log some minutes ago < 1393822321 456000 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How is it "known to be independent of both AoC and the axiom of determinacy"? Prove it. < 1393822348 443631 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :if you want me to leave i can do that. < 1393822375 567183 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: i am joking. < 1393822380 522149 :rambomedic!~rambomedi@108-217-109-227.lightspeed.irvnca.sbcglobal.net PRIVMSG #esoteric :wtf is < 1393822381 382553 :rambomedic!~rambomedi@108-217-109-227.lightspeed.irvnca.sbcglobal.net PRIVMSG #esoteric :this < 1393822700 432741 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the needle throwing axiom lets you say "random" without specifying a distribution. it's the wet dream of every mathematician and whatnot. similar to axiom of choice and determinacy, but the dream is even wetter, and unfortunately makes little sense. < 1393822839 576839 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(Bike probably just meant that they have some specific graph in mind which they took "randomly" in some sense and it seemed canonical enough; or something. just for the record, i'm not making fun of him, in case he's getting pissed or something.) < 1393822861 938896 :tertu!~quassel@143.44.65.14 QUIT :Read error: Connection reset by peer < 1393822868 236158 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393823528 713718 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393823589 151967 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Someone wrote: "I am amazed that more computer scientists do not reject evolutionary biology out of hand. A cells CPU, the ribosome, perfectly fits the definition of a Turing Machine, including I/O and memory. Computer science, specifically the Computability Theory, proves that the output of a Turing Machine cannot predict the input to it the results cannot create the programming - yet the "theory of evolution" relies on this happening!" < 1393823601 253219 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That's silly; it isn't Turing complete. < 1393823705 816751 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :"the output of a Turing Machine cannot predict the input to it the results cannot create the programming" < 1393823738 958827 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :what does that mean? < 1393823771 879725 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know. < 1393823790 830957 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I was hoping you know. < 1393823894 623525 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :unfortunately i'm only good at pointing out parsing errors :( < 1393823987 541817 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393824162 335559 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1393824201 543012 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t (Type, [Type]) < 1393824201 728280 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Prelude.List.::, Prelude.Stream.::, Prelude.Vect.:: < 1393824202 451480 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824208 808284 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t with List (Type, [Type]) < 1393824208 993314 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04(12Type04, 04[12Type04]04) : 12(12Type12, 12List 12Type12) < 1393824209 680037 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824221 966167 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm, was hoping for someting more bizzare < 1393824224 697609 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t Type < 1393824224 883169 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :12Type : 12Type 1 < 1393824225 580952 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824241 696876 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Was hoping to get something like (Type 1, List Type) < 1393824256 126488 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think Type 1, Type 2, etc. is normally hidden by Idris < 1393824268 424796 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well not as good as lambdabot < 1393824403 571029 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t the (so (2 == 2)) oh < 1393824403 756764 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09the (12so (09fromInteger 042 09== (09fromInteger 042))) 04oh : 12so (09fromInteger 042 09== (09fromInteger 042)) < 1393824404 577312 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824424 585797 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t the (so (2 == 3)) oh < 1393824424 771152 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1393824424 956506 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : 12so 04True < 1393824425 141777 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :with < 1393824425 141933 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : 12so (09fromInteger 042 09== (09fromInteger 043)) < 1393824425 142022 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1393824425 469760 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824446 367505 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How does Idris know to ... keep holding onto that function, as is, in the type? < 1393824451 714994 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Once it checks unification < 1393824455 892696 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is that what it's doing? < 1393824477 153976 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1393824500 970178 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t the (so (1 + 1 == 2)) (the (so (2 == 1 + 1)) oh) < 1393824501 877681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824502 353675 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09the (12so (09fromInteger 041 09+ (09fromInteger 041) 09== (09fromInteger 042))) (09the (12so (09fromInteger 042 09== (09fromInteger 041 09+ (09fromInteger 041)))) 04oh) : 12so (09fromInteger 041 09+ (09fromInteger 041) 09== (09fromInteger 042)) < 1393824509 818489 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393824524 601226 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what are the, so, and oh < 1393824530 789420 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t the < 1393824531 14956 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.the : (13a : 12Type) -> 13a -> 13a < 1393824531 631418 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824548 393178 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> :t oh < 1393824548 601459 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Bool.oh : 12so 04True < 1393824549 400612 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824550 50248 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :the takes a type and gives id for that type, basically, coercing something to the type < 1393824562 808859 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(If it typechecks) < 1393824572 493485 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, it's like :: on an expression in Haskell, except as a function < 1393824593 567563 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> :t so < 1393824593 791414 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :12Prelude.Bool.so : 12Bool -> 12Type < 1393824594 428124 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824607 395025 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> so True < 1393824607 601850 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :12so 04True : 12Type < 1393824608 451236 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `so' < 1393824608 639332 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1393824608 639485 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `s' (imported from Debug.SimpleReflect), < 1393824608 639597 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `o' (imported from Debug.SimpleReflect), < 1393824608 639688 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `iso' (imported from Control.Lens) < 1393824619 909079 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ok, this one i don't get. < 1393824676 75730 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :They're poorly named, because someone thought oh so True sounded funny < 1393824684 349106 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :somehow i expected that. < 1393824689 144910 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> oh so True < 1393824689 331291 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:4:04oh does not have a function type (12so 04True) < 1393824690 110132 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `oh' < 1393824690 295186 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1393824690 295323 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `or' (imported from Data.List), < 1393824690 295412 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `F.or' (imported from Data.Foldable), < 1393824690 295500 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `h' (imported from Debug.SimpleReflect)Not in scope: `so' < 1393824701 402614 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shrug < 1393824710 890282 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :so (some boolean expression) is a type that requires a proof that the boolean expression is true < 1393824725 636590 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Because there's a way to construct a so True, but no way to construct a so False < 1393824737 552284 :rambomedic!~rambomedi@108-217-109-227.lightspeed.irvnca.sbcglobal.net PART #esoteric :"Leaving" < 1393824759 784552 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1393824773 213616 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t choose < 1393824773 399179 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Either.choose : (13b : 12Bool) -> 12Either (12so 13b) (12so (09not 13b)) < 1393824774 124609 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393824798 678880 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :You can construct so's with choose, which takes a boolean and gives Either the proof that it's true or the proof that it's not true < 1393824806 252951 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :As in Left prf or Right prf < 1393824839 402218 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Which you can then pass to a function expecting a proof of that boolean < 1393824991 844046 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Best explanation I see (this is where I got my understanding from) < 1393824992 171720 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :https://groups.google.com/d/msg/idris-lang/eLn2vfQofoc/drn6fq3cilcJ < 1393825157 692792 :newsham_!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :colorized lambdabot? < 1393825171 99100 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 265 seconds < 1393825342 571783 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it does idris rather than haskell. < 1393825357 596342 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i must say the colors seemed a lot less annoying in webchat. < 1393825425 123604 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think there's a purpose to them, I'm not sure what it is < 1393825550 164594 :ion!ion@heh.fi PRIVMSG #esoteric :That usage of Left/Right seems flipped compared to Haskell. < 1393825566 9430 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Yeah :( < 1393825598 925730 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well, type variables are pink and type constructors are blue, for a start < 1393825622 808476 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Constructors are red < 1393825637 332183 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :um... data constructors? < 1393825676 455854 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :and functions are green. except i don't know what's going on with choose because i'm not a type person ololol < 1393826022 841807 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What about, things other than type variables, type constructors, data constructors, functions, etc? Such as comments? < 1393826048 325194 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :how would you go about getting the bot to display a comment < 1393826186 330248 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know, but probably it would need to know what color to use, in case you typed in the comment yourself, for example. < 1393826238 607399 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's a bot, not an editor. < 1393826266 685319 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, but you still need to know the color in case you are syntax highlighting code you have written by yourself (it doesn't have to be an editor). < 1393826342 196207 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why would idris do that < 1393826348 67716 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :idris-ircslave i mean < 1393827358 182721 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :So that you can use the same colors in other programs, mainly. < 1393828141 253694 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 264 seconds < 1393828357 745601 :ion!ion@heh.fi PRIVMSG #esoteric :`coins < 1393828360 191932 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lrrcoin selfcoin bfficasmilcoin chneuroncoin gammascoin unlamcoin minimamcoin chamcoin taxicoin neurcoin piecescoin armocoin spircoin bfmcoin befannationcoin browcoin hoshcoin sallercoin x+coin waideaucoin < 1393828389 393144 :ion!ion@heh.fi PRIVMSG #esoteric :Which hosh algorithm does your cryptocoin use? < 1393828496 577066 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know! < 1393828583 949679 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :triple des - seven times, for security < 1393828609 119047 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: You should use uncorrelated keys with each one. < 1393828641 686266 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have read report of quantum psychokinesis ("The strange properties of psychokinesis" by H. Schmidt, 1987). It look to me these experiements are inconclusive because they are insufficient, and I can think of many ways to improve the experiments. However, RPKP now lists many more reports of other experiments, much of which are the improvments I have thought of. < 1393828905 171467 :password2!~password@197.78.166.46 QUIT :Read error: No route to host < 1393828958 590429 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you agree with me the experiments mentioned in the report named there seems to be a bit insufficient? < 1393829124 981776 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :8i would not be surprised < 1393829175 777072 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: Can you please be more specific? < 1393829190 639211 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :unlikely < 1393829242 540577 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1393829313 196374 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It has been claimed that quamtum mechanics permits psychic phenomena. According to my opinion, that is like claiming that Einstein's relativity permits time travel. Do you agree/disagree? < 1393829478 397817 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1393829559 648161 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Sure, why not < 1393829708 382546 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Slereah_: Can you explain more specific what you mean by that? I don't quite understand, why not what, to be specific? < 1393829725 5349 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I found a 404 error page that lists error message in many languages, including semaphore flags. < 1393829858 260701 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393829886 109921 :atslash!~atslash@46.72.83.247 JOIN :#esoteric < 1393829948 649838 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(It is the ibiblio error message) < 1393829981 322412 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I'm just kidding~ < 1393829987 984482 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Although relativity does permit time travel < 1393829997 841350 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :General relativity is lousy with time travelling solutions < 1393830010 724574 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Whether they're physical is another matter though < 1393830064 180529 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :OK < 1393830152 983166 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Even pretty common solutions like the Kerr solution < 1393830189 25655 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Though it's not really physical because the closed timelike curves are very unstable in the Kerr solution < 1393830317 474601 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes I have read about those things < 1393830332 983127 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Which is why I say what I did < 1393830368 339331 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :...but that's not at all like saying QM permits magic? < 1393830535 45782 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :While time travel is a bit marginal because of the probable non-physicality, it is a legitimate field of research of relativity < 1393830535 601043 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I didn't say magic; I said, some kinds of psychic phenomena, not necessarily all kinds. < 1393830543 738937 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Well any really < 1393830560 865888 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Whether or not it is possible is unknown, but it is as unstable as those time travel solutions at least. < 1393830580 898283 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :The time travel solutions are mathematically proved to exist < 1393830593 424002 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I don't think there's any hint that QM permits psychic powers < 1393830615 675676 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Really even articles about any link between QM and the human brain raises red flags < 1393830667 797754 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I don't know why but some people are really into the idea that QM is somehow related to consciousness < 1393830670 668999 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :There is link between QM and everything, the human brain included, but really it is just a part of a universe. Dividing them into different physical objects in that way is just one way to do so, and doesn't seem relevant here. < 1393830685 731753 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Even though it's pretty unlikely because of the scales involved < 1393830694 777550 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It isn't specifically to do with consciousness or human thoughts. < 1393830711 709759 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Sure, the human brain does work on QM, but in the classical limit mostly < 1393830754 947755 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, mostly in the classical limit. It too is how I have said before, there is two kind of free will. < 1393830816 483022 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Classical free will, which is illusory and is mostly the effect, and quantum free will, which is more free but has little effect. < 1393830838 334658 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I don't even know why people care about free will < 1393830840 977850 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Clearly the same laws of physics must effect everything, regardless of scale. < 1393830847 957655 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It doesn't really seem like something desirable < 1393830865 192481 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is just that it doesn't have the effect much compared to scale. < 1393830892 827631 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And I mean everything as a whole, rather than as individual parts. < 1393830941 788898 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Whether free will is desirable or not is not the point at all. < 1393830965 996600 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It kinda is. < 1393830973 649828 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Otherwise people wouldn't work so hard on it. < 1393831056 553247 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :zzo38: have you read http://www-tc.pbs.org/wgbh/nova/manyworlds/pdf/dissertation.pdf < 1393831061 789929 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm slowly pretending to read it < 1393831076 556050 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have not looked < 1393831081 343708 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I can try to look now < 1393831121 237362 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Slereah_: Maybe, to those people it is, but I mean it isn't the point to what my philosophies of science to figure out such things, are. < 1393831174 431067 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: Can I buy the book? It is too many pages that I would want to print on my own computer. < 1393831176 930188 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Well free will is kind of a trivial problem if you allow for both non-determinism and reductionism < 1393831263 573625 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't allow for reductionism. There is many ways to split things into parts, none of which is "real". < 1393831283 800441 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :What do you allow for < 1393831287 29902 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Dualism? < 1393831292 688992 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Emergent properties? < 1393831321 779141 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Emergent properties, yes. < 1393831332 337692 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :zzo38: it's a dissertation. they're kind of hard to find hard copies of, at least for sale. maybe a uni library has it. < 1393831333 896752 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't believe in Cartesian dualism. < 1393831348 682580 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :anyway it seems you-ish 'Since the universal validity of the state function description is asserted, one can regard the state functions themselves as the fundamental entities, and one can even consider the state function of the entire universe. In this sense this theory can be called the theory of the "universal wave function," since all of physics is presumed to follow from this function alone' < 1393831363 705299 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :zzo38 : http://www.ditext.com/broad/mpn14.html#t < 1393831369 608872 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Please point to your case! < 1393831387 939622 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :also, it's by an actual physicist instead of a crazy person (hard to distinguish eh) < 1393831436 139853 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Well, they certainly are better if they are by an actual physicist, or at least by someone who understands much of physics. < 1393831468 755002 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Also gotta go < 1393831471 115120 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Exams and all < 1393831499 954527 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the author is hugh everett iii; this is his dissertation, where the many-worlds interpretation came from < 1393831525 789660 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Slereah_: I would have to read that extensively to do so, but then maybe I will. < 1393831625 74215 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: I prefer the "constraint interpretation" which actually I made up. Mathematical equations are possible to have many solutions, one solution, or no solutions, and may or may not be computable. < 1393831741 595123 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :However, I have made up a lot of crazy things, not only this, but also "matrix accounting". < 1393831817 455083 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sounds very relevant to wavefunctions < 1393832166 220627 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@ask boily Well, is the text of the strips available? < 1393832166 405918 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1393832429 168192 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393832455 326429 :password2!~password@197.78.166.46 JOIN :#esoteric < 1393832550 593404 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: What is relevant to wavefunctions? < 1393832567 547280 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :matrix accounting < 1393832597 254694 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393832893 644251 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Not really, although it does use Dirac notation. < 1393832909 494111 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It doesn't have much to do with physics. < 1393832919 646769 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Although it uses similar notations. < 1393832951 330285 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :heyyyyyy folks here's a shitass of books https://archive.org/details/folkscanomy < 1393833443 342788 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1393833779 370961 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 240 seconds < 1393834643 385567 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1393835125 93268 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1393835229 657857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: happy lawful good day < 1393835238 818741 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: indeed < 1393835267 21194 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a good day for it, too, for reasons I don't really want to go into due to lawful goodness < 1393835286 865296 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :happy MJD 56719 day. < 1393835306 644860 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :happy September 7489! < 1393835350 51741 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :happy september 7489 < 1393835367 889484 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Happy ddate: command not found. < 1393835407 777775 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :interesting, especially because ddate's in default installs of Debian because it's in the same package as something really important < 1393835412 138275 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IIRC mount < 1393835427 751477 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In util-linux, yes. < 1393835433 655393 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ubuntu patched it out, and I'm at work now. < 1393835451 336714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah no, it was mkfs I was thinking of < 1393835461 718802 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Actually, Debian patched it out too, and then restored it. It's all there in the util-linux bug lists.) < 1393835468 725012 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`ddate < 1393835469 677504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Today is Boomtime, the 62nd day of Chaos in the YOLD 3180 < 1393835528 389959 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this means of course that ubuntu users will be doomed when CHAOS comes < 1393835554 971514 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric : \renewcommand{\arraystretch}{1.1} < 1393835558 244008 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Argh. < 1393835566 3848 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How did that end up in the selection? < 1393835579 481700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :stretching and renewing with latex < 1393835579 683089 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/cJNd is what I was trying to say. < 1393835694 816439 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"People with more traditional moral values might not appreciate a reference to or advertisement for this movement being present on their system." #149321 < 1393835762 526687 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(#174459, #180737 were actual technical issues with ddate.) < 1393835819 115533 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=149321 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=650321 < 1393835831 637281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :interestingly, both bug numbers end with the same last three digits < 1393835858 429176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is there an islamic date somewhere in the system? i imagine a way to use discrimination issues to raise some hell... < 1393835898 485691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: clearly the work of eris < 1393835959 837806 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :my long-standing belief includes the ban on non-ISO-8601 date formatting (so that `date` alone crashes) < 1393835967 479048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok, you know that series of books about Emil? < 1393835984 297441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :astrid lindgren? < 1393835986 663570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there was a thing with his father and his foot and a mousetrap under the table or something, right? < 1393836001 267580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or am i thinking of something else < 1393836014 79262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was it his father who talked about the value of shoes that last a long time? < 1393836018 353243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno, i don't remember everything emil < 1393836041 649543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo why not < 1393836049 85826 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :the mousetrap thing fits, but I wouldn't remember talk about the value of shoes < 1393836051 95837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i might be thinking of something else < 1393836074 75566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :lifthrasiir: if you have beliefs that contradict POSIX, then it would be quite difficult to persuade operating systems to accommodate for them < 1393836081 405124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(don't think i've read the books, except occasionaly bits) < 1393836104 258083 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :if you do have religious convictions against POSIX, what operating system could you use? < 1393836139 638714 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :ais523: I fully understand POSIX's position though. < 1393836146 253828 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :unfortunate but I can deal with them < 1393836152 509989 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i probably haven't seen all the tv series either, but my memory is strangely vague 35 years back < 1393836170 627862 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :olsner: well Windows isn't POSIX-compatible by default, and many operating systems don't claim POSIX compatibility at all < 1393836173 409713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-y < 1393836285 453730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure TempleOS isn't POSIX < 1393836348 429263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION suddenly wonders if there's a JihadOS somewhere < 1393836392 692745 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :they mostly use windows, like everyone else. < 1393836421 413752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's a jihad os youtube channel, but it seems irrelevant. < 1393837701 233753 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^style sms < 1393837701 455505 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) < 1393837710 12115 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: how u doin < 1393837710 306336 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: today i am in cbe only. but have to seek. hee... i come to get yours. < 1393837744 400048 :ion!ion@heh.fi PRIVMSG #esoteric :Selected style: sms (National Security Agency of USA SMS corpus) < 1393837826 951177 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: You're sounding suspiciously grammatic there. < 1393837827 157362 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: no i am not near so cant come.pls ask ur famly2b there4 novena i wait for u. < 1393837827 417452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: hungot < 1393837827 675910 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: its just decorative askeveryone bah PAT cineleisure. its really no 1 in most of the sites to take u back < 1393840904 271931 :MoALTz!~no@user-31-175-247-158.play-internet.pl JOIN :#esoteric < 1393841051 595558 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: "Get MATLAB Certified" "Enhance your credibility and accelerate your career by earning this credential." < 1393841054 599935 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2. certifiable, certified -- (fit to be certified as insane (and treated accordingly)) < 1393841163 452464 :impomatic!~chatzilla@37.152.198.84 QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 27.0.1/20140212131424] < 1393841462 681729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: i'm not quite sure how [[MOS:CODE]] applies here; should i delete the whole section or leave the python https://en.wikipedia.org/w/index.php?title=Look-and-say_sequence&curid=563980&diff=597851911&oldid=590719332#Computer_program < 1393841488 782284 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: /me looks < 1393841491 548731 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it has been gradually growing, and today someone added php) < 1393841541 416630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in particular, i'm not sure _any_ of the code samples are particularly illustrative < 1393841584 750740 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm not sure who i'm asking exactly, but something i've been wondering lately because i've been pretending to read some quantum computation stuff: so is the many-worlds interpretation of quantum mechanics specific to quantum stuff somehow, in the sense that it's not just a many-worlds interpretation of randomness, but with quantum-type probabilities instead? (by the mw interpretation of randomness i mean we assume physics has random stuff, and branch < 1393841584 975363 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric : world when random happens) < 1393841606 84571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the PHP definitely needs to be deleted, per that section; I'd say delete them all because none of them implement an algorithm described in the article < 1393841614 270240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1393841617 537264 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(maybe i'm asking oerjan because he surely pretends to vaguely recall this stuff) < 1393842176 624210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well much of the weirdness is because the quantum-type probabilites and entanglements prevent you from dividing it up into what i assume you mean by many-worlds interpretation of randomness. so i'd say yes. < 1393843078 432195 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :actually i have no idea what a many-worlds interpretation would even be for qm stuff < 1393843094 946911 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and the way i've heard it described it applies to randomness, but not quantum stuff < 1393843113 39258 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so maybe it's a bit too early for me to ask this kind of question < 1393843139 76313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1393843208 915695 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but i totally grok grover's algorithm < 1393843271 156582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good, because i don't. < 1393843275 48054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shaving -> < 1393844266 739403 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I wonder if fungot shaves < 1393844266 964852 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: there is no. yellow is yes. i tell. stupid hear after i wont talk to you:-. lg so in lv, her class ends. lets u dwn ur dirty. that was very well done! could see lot ofthought put into it. happy to help anytime :) < 1393844417 363903 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I love the way that that look likes a relevant answer, and yet it's totally unclear what it means < 1393844488 356279 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: glad that you're happy but it didn't help < 1393844488 541156 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: k d i vil cum der dude..u dint create to < 1393844556 700078 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I'm reading an article (found via reddit) whose author was actually using numbers so large they broke GMP's deserializer: http://fredrikj.net/blog/2014/03/new-partition-function-record/ < 1393844567 376504 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(that's 2^256 bits) < 1393844977 212521 :password2!~password@197.78.166.46 QUIT :Ping timeout: 240 seconds < 1393844991 170345 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I like the last fun fact about the result < 1393845355 912699 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1393845449 960227 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also links to the nice sequence http://oeis.org/A110375 < 1393845549 280202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"With current technology, the most efficient way to determine p(n) modulo a small integer is to compute the full value p(n) and then reduce it." <-- huh. < 1393845762 791830 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://upload.wikimedia.org/math/3/5/d/35dd2572c02024c6ef2767567c153453.png < 1393845868 864160 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1393846544 849902 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393846737 688572 :ion!ion@heh.fi PRIVMSG #esoteric :http://imgur.com/gallery/18fM5ja < 1393846842 745084 :ion!ion@heh.fi PRIVMSG #esoteric :http://25.media.tumblr.com/65b069ec1d366940e14a407192b163c4/tumblr_n0docrpPEt1qzpsuoo1_1280.jpg < 1393847125 969396 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ggggggg! < 1393847135 9879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aaaaaaaaaaaaaaaa < 1393847328 547442 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@massagas-loud < 1393847328 771325 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :fizzie asked 4h 12m 42s ago: Well, is the text of the strips available? < 1393847342 417518 :ion!ion@heh.fi PRIVMSG #esoteric :@massages-lord < 1393847342 602398 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1393847344 965335 :ion!ion@heh.fi PRIVMSG #esoteric :@massage-lord < 1393847345 156314 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1393847355 727624 :ion!ion@heh.fi PRIVMSG #esoteric :@massages-lard < 1393847355 912654 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1393847390 89803 :ion!ion@heh.fi PRIVMSG #esoteric :@messages-lard < 1393847390 311225 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1393847401 772454 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fizzie: it was a purposefully silly request, but if the text is available one way or another, then it's a plus. < 1393847405 513104 :ion!ion@heh.fi PRIVMSG #esoteric :It matches anything with L. distance ≤ 2? < 1393847412 631869 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: I forgot to @tell that I read a bit more of the backscroll and deduced the answer was "apparently not". < 1393847414 337178 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ion: indeed. < 1393847432 990570 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fizzie: fizziello! < 1393847441 295271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: It might be an amusing diversion to do a bit of speech bubble recognition and OCR. < 1393847461 388986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-l < 1393847461 574067 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1393847470 76348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1393847470 261480 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1393847475 969141 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ion: also, do you happen to have a keyboard shortcut to get «≤»? < 1393847481 662169 :ion!ion@heh.fi PRIVMSG #esoteric :boily: compose < = < 1393847485 608816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ion: also an exact unambiguous prefix < 1393847493 882286 :ion!ion@heh.fi PRIVMSG #esoteric :oerjan: ok < 1393847503 81938 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ion: oh. the mysterious compose key. < 1393847504 409833 :ion!ion@heh.fi PRIVMSG #esoteric :@qessages-loud < 1393847504 594681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1393847510 324967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wait < 1393847513 606306 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@queso < 1393847513 791729 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1393847516 101152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages? < 1393847516 329833 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Sorry, no messages today. < 1393847521 617237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages? < 1393847521 818187 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Sorry, no messages today. < 1393847523 901841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1393847524 96102 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1393847532 937348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok the responses are different < 1393847565 987194 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@messagesX < 1393847566 211241 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: messages? messages < 1393847597 882783 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, right, messages- is one of those unambiguous prefixes. < 1393847612 821429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right, that's what i was testing < 1393847812 549182 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@bg < 1393847812 734101 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: bug bf < 1393847814 316850 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@be < 1393847814 517621 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Done. < 1393847843 484082 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it's enough that the correction with the shortest L. distance is unique. < 1393847862 78655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1393847932 895383 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@be ++++[>++++++++<]>+. < 1393847938 44307 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Done. < 1393847942 40791 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@be ++++[>++++++++<-]>+. < 1393847942 225638 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ! < 1393848289 26470 :boily!~boily@96.127.201.149 QUIT :Quit: COMET CHICKEN < 1393848401 173775 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393848557 689087 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"@be"? wouldn't that be short for befunge? < 1393848712 844508 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If only lambdabot did that. < 1393849560 796624 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it's a strange befunge variant that has a call bracket loops and a call stack of positions < 1393850092 764092 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1393850426 908550 :reynir!~reynir@unaffiliated/reynir PRIVMSG #esoteric :> fromInteger 42 < 1393850427 94107 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :0442 : 12Integer < 1393850428 141468 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 42 < 1393850446 672268 :reynir!~reynir@unaffiliated/reynir PRIVMSG #esoteric :the (Fin 8) 3 < 1393850450 969156 :reynir!~reynir@unaffiliated/reynir PRIVMSG #esoteric :> the (Fin 8) 3 < 1393850451 656390 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04fS (04fS (04fS 04fZ)) : 12Fin 048 < 1393850451 976626 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `the'Not in scope: data constructor `Fin' < 1393850452 161856 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant `Fini' (imported from Lambdabot.Plugin.Haskell.Eval.Trusted) < 1393851321 902809 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393851876 128215 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Assuming no other commands affecting control flow, in a single-line Funge-98 program [abcd] *is*, in fact, a loop, albeit one that bounces around (executes abcd dcba abcd dcba...) and is not conditional at all. And wouldn't be entered in the first place in "++++[>++++++++<-]>+.". < 1393852026 594811 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1393852677 502441 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"Worms developer Team17 revealed at the PlayStation Open Day in Royal Leamington Spa in Warwickshire, Englandthat that a new intellectual property named Flockers is in the works. " < 1393852691 60960 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Who phrases it as 'intellectual property'? < 1393852777 502885 :ion!ion@heh.fi PRIVMSG #esoteric :The kind of people who use a term like “intellectual property”. < 1393853042 735646 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That doesn't sound so out-of-place there. Though I'd've expected the abbreviation IP instead. < 1393853266 574221 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Intellectual real estate < 1393853339 368407 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1393854482 246565 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( http://www.techradar.com/news/software/applications/chrome-rubs-beta-users-the-wrong-way-with-update-1229690 < 1393854584 885852 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :No option to disable? < 1393854600 965305 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Although I certainly see how even that could be abused by malicious persons, but... < 1393854989 866815 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t fZ < 1393854990 240839 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Fin.fZ : 12Fin (04S 13k) < 1393854991 292872 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393855023 153013 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I assume that that basically means {k : Nat} -> Fin (S k) < 1393855023 471346 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :? < 1393855312 875487 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1393855414 442275 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net QUIT :Quit: Terminated < 1393855433 350582 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net JOIN :#esoteric < 1393857275 887242 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1393858370 452050 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1393858549 883265 :itsy!~john_metc@37.152.198.84 QUIT :Ping timeout: 244 seconds < 1393859024 722326 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, firefox.exe is now spinning because it has hit some kind of address space limit in NT. < 1393859137 700082 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"Private bytes: 3 400 164 K" < 1393860876 498070 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1393861680 805719 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 244 seconds < 1393861914 236282 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393862000 458344 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393862147 687325 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393862218 324246 :vravn!~vravn@syn.rook.sx QUIT :Client Quit < 1393862357 312361 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393862360 855166 :vravn!~vravn@syn.rook.sx QUIT :Client Quit < 1393862597 717107 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393863062 785976 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393863069 569046 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 252 seconds < 1393863180 482980 :dawg92!~dawg91@p5B2D0670.dip0.t-ipconnect.de JOIN :#esoteric < 1393863839 230102 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393864337 565321 :dawg92!~dawg91@p5B2D0670.dip0.t-ipconnect.de PART #esoteric :"Verlassend" < 1393864649 95655 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 JOIN :#esoteric < 1393864823 497051 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393866145 177807 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1393866250 298901 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1393866469 191682 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i love credibility < 1393866542 556631 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393866568 652821 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 252 seconds < 1393866669 333611 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1393866734 793130 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393866735 67081 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1393867199 404888 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 240 seconds < 1393868419 947092 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1393869077 388695 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 252 seconds < 1393869332 352257 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1393869597 119501 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1393869742 901459 :Tritonio!~Thunderbi@athedsl-19747.home.otenet.gr JOIN :#esoteric < 1393869785 786877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :y'all realize i'm going to snap and kick idris-ircslave if it keeps requiring lambdabot error messages to operate it, right? < 1393869799 946658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hth < 1393869987 203184 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :I only brought it here on request of Sgeo, him IIUC understanding this problem. I can remove it anytime if you wish. < 1393870043 850822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it would help if there was at least _some_ way of triggering only your bot. with lambdabot i can use @run instead of > < 1393870070 282122 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393870108 306612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with idris being written in haskell i'm surprised the bots haven't been in the same channel before... < 1393870199 136081 :atrapado!~ddd@unaffiliated/atrapado JOIN :#esoteric < 1393870269 531435 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393870278 461915 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393870282 545118 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1393870350 319467 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1393870396 100175 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do the lambdabot errors bother you that much? < 1393870441 60728 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1393870442 291683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_everything_ out of place bothers me that much, quintopia < 1393870469 316300 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so sensitive < 1393870475 811671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, it's awful < 1393870478 118904 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is your room immaculate < 1393870498 743208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. i may have to rephrase that. < 1393870519 699258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :everything out of place that _moves_. < 1393870588 360137 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i see. and thus you can avoid having to keep your car immaculate by eschewing privately-owned vehicles and depending upon public transport < 1393870588 545528 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393870637 103337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep. except i don't take much public transport either these days. < 1393870656 394775 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: idris-ircslave has so far only been in #idris, and #idris doesn’t keep a lambdabot. < 1393870714 103507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is possible i am exaggerating. we'll see. < 1393870783 350135 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: you walk? < 1393870814 403745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: in this suburb, yes. and i rarely get out of it. < 1393870854 840924 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i could theoretically walk to work. but rain. and getting work clothes sweaty. :( < 1393870890 593163 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I could theoretically not walk to work, but it would take more time < 1393870983 83122 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list-channels < 1393870983 307889 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1393870988 483344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what was it again < 1393870999 219367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list channels < 1393870999 404318 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No module "channels" loaded < 1393871001 767292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list channel < 1393871001 952394 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No module "channel" loaded < 1393871014 64044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list *channel* < 1393871014 249019 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No module "*channel*" loaded < 1393871039 163278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you know, a fuzzy command lookup would be great < 1393871053 747392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list admin < 1393871054 12529 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :system provides: listchans listmodules listservers list echo uptime < 1393871057 906689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@listchans < 1393871058 201487 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :##categorytheory ##crypto ##logic ##manatee ##megaharem ##proggit ##villagegreen #agda #arch-haskell #csa_uva #darcs #diagrams #dreamlinux-es #esoteric #fedora-haskell #friendly-coders #functionaljava #gentoo-haskell #gentoo-uy #ghc #happs #haskell #haskell-arcade #haskell-blah #haskell-books #haskell-br #haskell-fr #haskell-freebsd #haskell-game < 1393871058 387284 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :#haskell-gsoc #haskell-in-depth #haskell-infrastructure #haskell-lens #haskell-llvm #haskell-overflow #haskell-pl #haskell-soc #haskell.au #haskell.cz #haskell.de #haskell.dut #haskell.es #haskell.fi #haskell.hr #haskell.it #haskell.jp #haskell.no #haskell.ru #haskell.se #haskell.tw #haskell_ru #hscraft-srv #jhc #jtiger #learnanycomputerlanguage # < 1393871058 387439 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :learnprogramming #ledger #lesswrong #lw-prog #macosx #macosxdev #mainehackerclub #numerical-haskell #rosettacode #scala #scalaz #scannedinavian #simonsolutions #snapframework #tanuki #unicycling #xmonad #yi < 1393871079 994312 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1393871100 646744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: as i thought, #agda is in there. so i thought surely #idris would have been. < 1393871123 826414 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :listchans looks great for spamming < 1393871177 754593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I DON'T KNOW WHAT YOU'RE TALKING ABOUT < 1393871178 329108 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1393871197 394690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are some interesting channels in there. < 1393871215 127947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as in, not entirely expected. < 1393871308 827534 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :#haskell-infrastructure sounds related to #cslounge-trains, but it's probably not < 1393871544 879169 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :good old megaharem < 1393872007 438229 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 265 seconds < 1393872197 706454 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1393872951 905191 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393873039 240151 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393873177 152545 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1393873184 621191 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Those of you who know more about cooking than me (most of you): < 1393873204 511792 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am going to be making like a large Yorkshire Pudding with mushrooms cooked in < 1393873212 162804 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Would I need to fry the mushroom first? < 1393873384 494379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay, i have no idea < 1393873423 235551 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :based on my research, yorkshire pudding does not contain mushrooms < 1393873425 700386 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, seeing as mushrooms are edible raw I think I should at least be safe not cooking them < 1393873434 816979 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :olsner, I am mixing things up < 1393873438 862621 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(so it's clearly a trick question) < 1393873440 599936 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm also adding chilli powder < 1393873480 306721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is clearly not the Queen's yorkshire pudding < 1393873498 200041 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, nothing's been the same in York since the Vikings attacked < 1393873514 430852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think they brought chilli. < 1393873541 981010 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ARE YOU SURE < 1393873544 666910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they may have brought mushrooms, although i'd suggest not eating those. < 1393873591 98249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, not all mushrooms are edible raw even if they're edible cooked. < 1393873604 998663 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I bought these in a supermarket < 1393873611 460685 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like, 10 minutes ago < 1393873615 225525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some need heat treatment to break down poisons, or something. < 1393873667 451519 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, they'll get at least tome heat in the cooking of the Yorkshire batter < 1393873675 770290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1393873683 135926 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :some also need to be boiled and the water discarded for a few cycles to get the poisons out of the mushrooms < 1393873714 660182 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :you probably shouldn't try to eat things that require so much processing to be safe to eat though < 1393873726 214946 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also advice: do not down a litre of milk. It will make it essentially useless to have bought milk in the first place and you will have to buy more milk. < 1393873741 952505 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :good point < 1393873765 309544 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(this actually happened to me today) < 1393873777 570306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i solve that problem by not buying milk. < 1393873804 704103 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But then how do you eat cornflakes < 1393873809 116672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't. < 1393873816 493226 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :HOW DO YOU EAT WEETOFLAKES < 1393873828 102332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ditto(flakes) < 1393873836 889562 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::C < 1393874160 799196 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1393874218 607784 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also, could I through some tomatoes in the batter too? < 1393874256 698649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. it is simply not spelt that weigh. < 1393874303 151978 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan, on the other hand, spells all words correctly. < 1393874305 662963 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*throw :P < 1393874341 78118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(though honestly, "weight" does not make much sense in that context.) < 1393874361 230168 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :gah. < 1393874380 889469 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"weigh". I cannot copy words correctly, I should cut&paste. < 1393874800 78567 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1393875281 202320 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Remote host closed the connection < 1393877112 791110 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1393877186 370168 :nooodl^!~nooodl@94-227-89-137.access.telenet.be JOIN :#esoteric < 1393877309 636720 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393877478 739409 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393877778 515259 :impomatic!~john_metc@89.206.243.204 QUIT :Ping timeout: 265 seconds < 1393878038 327754 :nooodl^!~nooodl@94-227-89-137.access.telenet.be QUIT :Ping timeout: 240 seconds < 1393878060 595715 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1393878177 328848 :nooodl^!~nooodl@94-227-89-137.access.telenet.be JOIN :#esoteric < 1393878918 327092 :nooodl^!~nooodl@94-227-89-137.access.telenet.be QUIT :Ping timeout: 240 seconds < 1393878973 264170 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1393878996 326763 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1393879092 715841 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1393879273 47738 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1393879945 637819 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1393880998 781693 :MoALTz!~no@user-31-175-247-158.play-internet.pl QUIT :Read error: Connection reset by peer < 1393881032 36686 :MoALTz!~no@user-31-175-247-158.play-internet.pl JOIN :#esoteric < 1393882508 649882 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1393882698 361952 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1393883434 286283 :atrapado!~ddd@unaffiliated/atrapado QUIT :Quit: Leaving < 1393883601 760987 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1393883762 101699 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393884874 412472 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1393884942 831122 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393885318 653168 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I am looking at a code thing < 1393885320 933219 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :And it's like < 1393885321 877248 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric : push 0xb800 < 1393885322 62130 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric : pop es < 1393885325 952171 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :and I'm like < 1393885327 227221 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :what? < 1393885332 937956 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Why would you do such a thing < 1393885349 969280 :atslash!~atslash@46.72.83.247 QUIT :Quit: This computer has gone to sleep < 1393885354 847371 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Wouldn't using a register be faster? < 1393885378 337266 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1393885507 312183 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Slereah_: is this compiler-generated? < 1393885525 215597 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It is from Kolibri OS, which brags about being "entirely written in x86" < 1393885773 337861 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Ooooh, it uses lodsb followed by stosw < 1393885783 681262 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :That's a neat trick to move things in the memory < 1393885798 495529 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :probably some x86 weirdness then < 1393885832 316114 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Maybe because it's shorter? < 1393885840 173972 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It's in the bootloader so size might be an issue < 1393885879 553697 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :to load a segment register with a constant the common alternatives are push/pop or something like mov ax,imm; mov cs,ax, I think they are equivalent (not sure which is shorter) < 1393885905 680275 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :because obviously you can't just mov cs,imm < 1393885910 567450 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I know < 1393885925 77580 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :But aren't memory access usually longer < 1393885949 276879 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :stack instructions are short < 1393885968 754540 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe they don't have free registers to use. < 1393885970 781145 :nooodl!~nooodl@91.177.100.186 JOIN :#esoteric < 1393885977 615062 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Could be < 1393885984 46402 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :iinm pop es is even single-byte while mov es,ax would be two bytes < 1393885984 947660 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Or maybe it doesn't matter too much < 1393886007 430353 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Yeah, might be that < 1393886017 159304 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Bootloaders are limited to 512 bytes, no? < 1393886028 150954 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :They might be tight for space < 1393886038 740902 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :512 - 2 - 64 bytes < 1393886048 85993 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Even tighter < 1393886063 890499 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :2 is for the AA55 thing I suppose, but why 64? < 1393886104 858904 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :for the partition table < 1393886147 516515 :MoALTz_!~no@user-31-175-247-158.play-internet.pl JOIN :#esoteric < 1393886158 735150 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :That's for multiboots, though, no? < 1393886210 945500 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :of course you can put code in the partition table if you don't use it and know that nothing else will try to < 1393886263 72767 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's also only relevant for the MBR of a partitioned device. < 1393886274 688982 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not the boot sector of a floppy, or the boot sector of a particular partition. < 1393886298 568111 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Or a CD or whatevs < 1393886312 905433 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :CD booting is kind of different. < 1393886341 639229 :MoALTz!~no@user-31-175-247-158.play-internet.pl QUIT :Ping timeout: 252 seconds < 1393886372 325578 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1393886373 219325 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :In what way? < 1393886395 495445 :itsy!~digital_w@37.152.198.84 JOIN :#esoteric < 1393886406 265655 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In all ways. You have a boot record as a part of the ISO file system, and it can specify the number of blocks to load, for one thing. < 1393886416 931982 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also there's floppy and hard disk emulation modes.) < 1393886429 955001 :itsy!~digital_w@37.152.198.84 PRIVMSG #esoteric :Just back from the programming games talk in Nottingham :-) < 1393886430 140463 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ISO-9660, that is. < 1393886451 794627 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :So no bootstrap limit? < 1393886469 801852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I'm sure there's some limit. But it's not 512 bytes, I believe. < 1393886521 829802 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Neat < 1393886545 219485 :MoALTz_!~no@user-31-175-247-158.play-internet.pl QUIT :Ping timeout: 240 seconds < 1393886548 405789 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :logical partitions include partition tables in their boot sectors... I guess they might have a boot loader there too (unless the MBR handles booting of logical partitions too) < 1393886564 585307 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :or whatever the name is for the partitions that contain logical partitions < 1393886568 986380 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1393886618 322592 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: "extended partition", I think. < 1393886624 946588 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Something like that, anyway. < 1393886636 659153 :Slereah__!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1393886657 918628 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1393886661 292125 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Oh buns. < 1393886727 755320 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There seems to be no particular limit to the sector count in the El-Torito spec (the most standard bootable CD-ROM format), though it's a two-byte field. < 1393886747 475476 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can also specify a different load segment than 7C0. < 1393886778 560783 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :So... 64 k or so? < 1393886830 379677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :64k sectors of 512 bytes, which would be 32 megabytes, far over what fits in the 20-bit address space. < 1393886921 532265 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's counted in terms of virtual 512-byte sectors, not physical CD sectors which are 2k.) < 1393886979 986539 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :What happens to the boot loaded in the RAM by the way? < 1393886980 171711 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Is it deleted after the booting? < 1393886980 537424 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Computers are so full of things~ < 1393886987 938057 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :You learn something new every day < 1393887003 40117 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :it may or may not be overwritten by something else eventually < 1393887141 396479 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I believe it's common for OSes to completely ignore anything below 1MB and not use it ever (because sometimes firmware uses that memory for e.g. suspending or resuming) < 1393887204 675648 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I am currently trying to discover where the loading of boot occurs in the code, because that bootloader is way too fucking big < 1393887211 195760 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It is no easy task < 1393887249 6331 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1393887252 470192 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393887315 403787 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1393887339 886488 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Re the original thing, "push 0xb800; pop es" does have the side effect of also writing that constant in memory, but it'd have to be p. crafty code to take advantage of that. (The size hypothesis sounds more likely.) < 1393887355 105951 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1393887406 887876 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393887414 165703 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1393887415 892574 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Well fuck < 1393887467 337843 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"Euclidean TSP issues are of course metric, but because of problems with floating point accuracy such instances are usually not considered in practice." hehhhhhh < 1393887472 921551 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1393887504 900434 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1393887511 326483 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1393887518 83056 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Et tu, internet? < 1393887534 876126 :Tritonio!~Thunderbi@athedsl-19747.home.otenet.gr QUIT :Ping timeout: 244 seconds < 1393887542 377285 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :There's a Kolibri version from two years ago, let's see if it's a bit more streamlined < 1393887600 843656 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Like perhaps I don't need the russian version of the boot < 1393887651 426201 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Aaaah I like this one more already < 1393887691 200430 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It starts out clear as hell < 1393887695 91202 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1393887696 359670 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :cld, xor the registers, bam! < 1393887700 482362 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Put some constants in! < 1393887722 282562 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Still has russian though < 1393887811 489017 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Here's a graph question I was wondering about: if you have a complete graph with weighted edges, does the greedy algorithm of "keep taking the lowest-weight edge that does not form a cycle in the selected edges" result in a minimum-weight spanning tree? It sounds reasonable at a glance. < 1393887845 264879 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, isn't that one of the standard algorithms? < 1393887922 697449 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now that you mention it, I guess it's just Kruskal? < 1393887976 527367 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :not sure if it goes by "does not form a cycle" though, I remembered something more like pick the minimum-weight edge to any node that isn't connected < 1393888009 54751 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Hm, there is a boot_read_floppy function < 1393888059 907494 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :in the end everything is just repeated matrix multiplication with different operations < 1393888083 770241 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Wikipedia's description says "connects two different trees", with the initialization being a forst of single-vertex trees. That sounds equivalent to "does not form a cycle (in any tree)". < 1393888108 258677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Prim's algorithm is the one that grows a single tree. < 1393888142 810607 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Select any minimum-weight edge that connects the tree to any node not yet in the tree.) < 1393888164 284200 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1393888193 248563 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Aaaah I see < 1393888199 412227 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It calls the interrupt "Read Sectors From Drive" < 1393888200 657081 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :good visible evening! < 1393888205 689156 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I guess that might be it < 1393888211 578577 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Borůvka's algorithm, known for having a ů in the name. < 1393888307 163606 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's the usual way. I guess you've heard that BIOS initializes dl to the disk number it loaded the MBR from before jumping to your bootloader? < 1393888331 245608 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I guess it does! < 1393888358 723737 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Not quite sure what the interrupt does though < 1393888361 874197 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Let's investigate < 1393888373 724532 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :based on the name maybe it reads sectors from drive? < 1393888380 681522 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Is there a site that describes like all the real mode interrupts? < 1393888383 619910 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1393888385 817960 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Yes, but to do what with! < 1393888391 982795 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.ctyme.com/rbrown.htm < 1393888396 818934 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Thanks. < 1393888406 810729 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's the Definitive List. < 1393888424 91813 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Damn that's one fancy ass interrupt < 1393888424 562819 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :one of the things you might read from a boot loader is an operating system that you want to boot < 1393888434 837458 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1393888436 396375 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Thanks to all the really niche things, it can be a bit hard to browse.) < 1393888515 4514 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :So it takes a bunch of sectors from the device and puts it in the data buffer? < 1393888563 556828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it's not like there's a unique interrupt called "read sectors from drive"; there's a number of them from different time periods. < 1393888597 624335 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Apparently there's a "Extended Read Sectors From Drive" too < 1393888600 296582 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Even fancier < 1393888613 869822 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What with disks getting bigger and dropping the CHS addressing and so on. < 1393888687 329991 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Also boot_read_floppy does not seem to be actually used in this file, dagnabbit < 1393888735 656159 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Or... anywhere? < 1393888834 28673 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :The recent version calls it, though, but apparently fairly late? < 1393888858 185074 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :It seems way past the 512 byte limit so I am wondering < 1393889026 463489 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes there's a multi-stage thing where the first 512 bytes uses a really simple loader to load K sectors from a fixed offset on the disk, and then that code has a fancier loader that can actually parse filesystem formats to figure out what to load. < 1393889081 689008 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Or it may just be that there's a lot of whitespace and comments and metastuff < 1393889088 27848 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :and it really is under 512 < 1393889098 239230 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :But well, at least now I know < 1393889103 78114 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :And knowing is half the battle. < 1393889174 439799 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can ask many assemblers to produce code listings that have offsets, hexdumps of opcodes, and the source code. < 1393889218 616021 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Is there some really nifty assembly IDE? < 1393889232 66218 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Usually they just do syntax highlighting < 1393889237 544237 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Re the concept of "loading data from fixed offsets on the disk", I'll just say "LI" here.) < 1393889263 622623 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :LI? < 1393889279 976220 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a "joke". < 1393889403 777723 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :LILO used to be a popular (the most popular?) boot loader for Linux on x86 before GRUB came along; it had a multi-stage loader like that, and for debugging it printed out the letters "LILO" one at a time at different times of the boot process. If you had moved the data files (or had some CHS/LBA mismatch going on), the most common place for it to get stuck was after priting "LI". < 1393889464 163763 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :heh < 1393889585 545904 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(GRUB, on the other hand, had boot loader stages 1, 2 and because that's not nearly enough, a stage 1.5 in-between.) < 1393889587 319244 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :boot bugs are the worst. i had a whole day of trouble a few weeks back because halfway through boot the usb port with the kernel image suddenly became inaccessible < 1393889643 804755 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Though I guess I don't have to worry too much about that if I use virtualbox < 1393889658 319692 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Should be consistent enough < 1393889670 159614 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION shudders at the thought of virtualbox < 1393889670 715079 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :and i still don't know what causes that ugh < 1393889708 146683 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: My computer won't boot if I have the USB memory card reader and the SD card I use in the camera attached. It just hangs. < 1393889727 529854 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I'm not gonna do bootloading on my own computer man < 1393889735 565823 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I don't want to reboot it a million times < 1393889768 434790 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: (And I don't mean it's trying to boot from the SD card, it hangs long before that, trying to do... something.) < 1393889773 573191 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :great < 1393889795 325133 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1393889826 467191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it's trying to do some sort of an enumeration of devices and getting confused for some reason. < 1393889831 610937 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :while after that it got to actually booting linux but took whole minutes for each stage. irc help decided my drive was faulty, even though it was new and i couldn't find faults with SMART or anything. i think i hate linux tech support < 1393889963 588149 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: Speaking of Linux tech support my DVD drive keeps doing http://sprunge.us/DPHa is that a good sign? < 1393889986 628293 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :uh obviously, it says "succeeded" like nine times < 1393890051 452398 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, i seems to have kept walking down the speeds, actually. < 1393890092 564508 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/ZDOg if at first you don't succeed... < 1393890271 965271 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :configure the shit out of it < 1393890410 552917 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :https://www.iwr.uni-heidelberg.de/groups/comopt/software/TSPLIB95/TSPLOGO.gif nice. < 1393891053 353989 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :man there was this one time when a standard arch update just like renamed grub.cfg to grub.cfg.old and left nothing in its place < 1393891074 624704 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :(the #archlinux response was just 'should've checked the update news you fucking idiot' of course) < 1393891180 688843 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :lol