< 1376094175 34351 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1376094322 962235 :clog!~nef@bespin.org QUIT :Ping timeout: 246 seconds < 1376094474 861198 :clog!~nef@bespin.org JOIN :#esoteric < 1376095322 923393 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know that most Z-machine interpreters are defective? I have tried them and all of them, including Infocom's own interpreters, are defective. < 1376095872 53216 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :How so? < 1376095879 49664 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1376095912 427346 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376097070 419135 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1376097261 786287 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know everything about it, but testing it, they all seem defective, although my own interpreter "Aimfiz" seems to be the most accurate one. < 1376097413 607543 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It seems other interpreters try to cache things they shouldn't cache, make incorrect assumptions, and do other wrong things. Infocom's interpreter seems to be second most accurate, as far as I can tell. < 1376097685 588319 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION wonders if Aimfiz has defects that others don't
< 1376097704 639158 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sgeo: It is possible. < 1376097714 506466 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :See if there are some that I missed; if so then I will fix it. < 1376097761 337838 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't have enough knowledge of either Z-machines or Aimfix < 1376097830 320259 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Unfortunately the documentation for the Z-machine is also defective; I had to look at both Infocom's and Graham's documentation, as well as Infocom's interpreters, and their story files, to figure out the correct way; a few things that have never been used or implemented are still unknown, however. < 1376097907 869399 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :this sure sounds like a fascinating definition of "correct" and "defective" < 1376097933 536611 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :by which i mean, i don't think you're going to get those coherently out of weird docs and implementations. < 1376098513 554170 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What does correct mean? < 1376098725 90214 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sgeo: I don't really know for sure, so I study everything and make the best guess, and it turns out it works; I am highly confident that I did it correctly. < 1376099071 418031 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However what I am somewhat less confident of is that my interpreter lacks defects. < 1376099343 51257 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`slist < 1376099344 572194 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1376099804 919280 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :One thing that is unknown is the MIDI format for Z-machine. All of Infocom's MIDI files play a single note, and their interpreters all implement MIDI in a klugy way, so I don't know what is correct. But I have looked at them and partially figured it out. < 1376100102 660858 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They seem to be a series of ordinary MIDI commands, although 0xFF seems to be some kind of delay; I don't know what units it is in, though. < 1376100160 962494 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 246 seconds < 1376100165 771642 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1376100201 51600 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376100961 864278 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1376101167 201044 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :So is fix totally computable? < 1376101474 444856 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sure < 1376101478 187563 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it spits out _|_ a lot though. < 1376101529 514324 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :> fix (**2) < 1376101533 692306 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1376101540 942709 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :like not that. < 1376101613 12712 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, it's not going to find numeric fixpoints. < 1376101621 913996 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :unless you use a really weird number type or something I guess < 1376101643 118609 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :well i meant fix "the function" not fix "the thing in haskell" i guess. < 1376101649 842254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, that is fix the function < 1376101653 312295 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :_|_**2 = _|_ < 1376101661 963375 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a legitimate fixed point from the perspective of haskell's denotational semantics < 1376101678 473237 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :how about something that returns all fixed points, then. < 1376101716 471962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo equalizers < 1376101721 942398 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :wassat < 1376101730 642797 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :that's turing complete < 1376101732 181717 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :> [undefined, 1, 2] !! 1 -- derp < 1376101733 353532 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 1 < 1376101736 464141 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :k cool. < 1376101852 316617 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i guess "all" is a lot harder semantically to describe < 1376101903 124844 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :fix itself is not computable. < 1376101910 541250 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :\n -> whether a program terminates at the nth step < 1376101915 103050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: the limit of a diagram that looks like •⇉• hth < 1376101946 492659 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :comex: like with 1 = true? < 1376101955 384415 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :i guess n if it terminates, some other value otherwise < 1376101971 593560 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :any algorithm that runs in finite time has the possibility of returning the wrong value < 1376101981 822754 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :(which is the number of steps or _|_) < 1376102037 493672 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fix is computable... < 1376102061 485046 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :oh, except running for an infinite amount of time counts as a return value, right? < 1376102063 563350 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :defining _|_ as wrong as a result is as wrong as defining 123 as wrong as a result :/ < 1376102066 623782 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1376102070 493449 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :_|_ is "first-class" < 1376102083 924946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :f (fix f) = fix f is always obeyed < 1376102087 432961 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :even when (fix f) is _|_ < 1376102095 644019 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :that is not a particularly useful definition of computability < 1376102102 3241 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :every function is computable < 1376102104 803304 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :yeah fix f = undefined is boring. < 1376102115 924833 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :well, that's not it. whatever < 1376102127 312565 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :fix = fix < 1376102143 594948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION sigh...
< 1376102167 116646 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: what? < 1376102168 113306 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :> fix \x -> 1 < 1376102168 845790 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : :1:5: parse error on input `\' < 1376102173 434385 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :> fix (\x -> 1) < 1376102174 386148 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 1 < 1376102204 195313 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :is it not true that allowing _|_ as a "return value", every function is computable? < 1376102225 673041 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :> (\x -> 1) undefined -- right right < 1376102226 722921 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 1 < 1376102258 734852 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :comex: it's not < 1376102287 913965 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fix gives the least ("least" according to definedness, imagine the lattice in your head, etc.) fixed-point of any function < 1376102290 184059 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: did you write a Z-machine fuzzer? < 1376102301 13084 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which is what it's supposed to do, and does < 1376102310 370136 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there's no "gaps" where it gives _|_ but should be giving something else < 1376102326 864954 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :no, i realized that < 1376102360 473576 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :and i guess the other thing isn't true either... I think it might be true for any boolean function < 1376102403 793387 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I mean even if you allow _|_ as a return value generally, I can still insist that you compute a function which doesn't return _|_ ever < 1376102430 211438 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what you said is true if you consider _|_ to be just as good as any particular answer, which makes it useless < 1376102442 834284 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: sure < 1376102455 684497 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but fix doesn't do that, it does exactly what it's supposed to :P < 1376102466 65272 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and that doesn't mean that every function is computable < 1376102482 238946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you made fix arbitrarily give _|_ on one function (ignoring that this breaks RT and everything) it'd be a different function < 1376102524 235193 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i realize i was unclear, but i'm not really concerned with haskell here. < 1376102569 533761 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: i claim that every function with a finite number of possible return values is computable < 1376102594 197394 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :halting oracle? < 1376102619 776286 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :bah, except _|_ isn't *that* first-class < 1376102623 6273 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :ignore me < 1376102629 620658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: but I'm not arguing with you any more!! < 1376102633 583807 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i know < 1376102639 248108 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :new and exciting arguments < 1376102667 237043 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :however, you can represent a halting oracle as a function that returns a finite number of possible return values and is computable < 1376102673 165654 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :namely, return _|_ if it doesn't halt < 1376102714 94475 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 256 seconds < 1376102715 4525 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :so, halts = (flip seq) True? < 1376102741 120829 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :flip :-( < 1376102753 512458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :halts x = x `seq` True -- so much simpler < 1376102761 10540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or halts = (`seq` True) < 1376102769 334072 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1376102770 221043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or, like, anything, man < 1376102819 883891 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :god damn it, i try to write pointlessly one time < 1376102877 303234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo flip is the devil < 1376102884 205865 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :one time < 1376102912 732023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"don't worry, everything you write is pointless" < 1376102940 164720 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :wow rude < 1376102946 261711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no it was in quotes < 1376102952 447871 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :"wow rude" < 1376102956 820761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :better < 1376103281 637064 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :So: is there a total function that, given the encoding of a partial function, returns a recursive set of its fixed points? Or just r.e.? < 1376103284 611273 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :how's that elliott. < 1376103289 175127 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :made me break out the naturals. fuck 'em. < 1376103298 985296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow rude < 1376103319 465448 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i even wrote "r.e.". reducing me to kleene dude. reducing me to kleene. < 1376103328 124885 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the domain and codomain of the function :P < 1376103341 354554 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :N >: < 1376103345 366824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo computability is overrated < 1376103365 544828 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :here's a nickel kid, buy yourself a hypercomputer < 1376103407 386527 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :costs 1 + 1/2 + 1/3 + 1/4 + ... dollars < 1376103407 626233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how much do nickel kids go for < 1376103411 557844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that like a tin soldier < 1376103747 47692 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :Maybe fix fix fucks it up. < 1376103863 814933 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :I guess it could be the empty set indicator, or something. < 1376103906 175928 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :well, no, that wouldn't work. it has to include itself. < 1376103976 585480 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnoyt < 1376104027 944631 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :fix f = let r = f undefined in seq r r < 1376104162 935409 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :@pl fix f = let r = f undefined in seq r r < 1376104165 946984 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :fix = id (fix ((ap seq id .) . (. (const . ($ undefined))))) < 1376104166 147319 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1376104173 596376 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :elegant. < 1376104520 61204 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :I guess returning the empty set is fine... < 1376105704 17853 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 276 seconds < 1376105820 527065 :Guest50012!~sacre@50-81-222-220.client.mchsi.com JOIN :#esoteric < 1376106156 662001 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: NihilistDandy < 1376106213 722405 :Bike!~Glossina@71-222-34-38.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1376106267 603122 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have a list here of Dungeons&Dragons spells I wanted to make up. It is "Light of Gxxyuxihuvxi", "Curse of Gxxyuxihuvxi", "Blessing of Gxxyuxihuvxi", "Eye of Gxxyuxihuvxi", "Mouths of Gxxyuxihuvxi", "Tentacles of Gxxyuxihuvxi", "Random Contintency", "Quantum Entanglement", and "Quantum Teleportation". < 1376106362 860238 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you have some ideas related to this? < 1376106607 923903 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1376106931 333623 :Bike!~Glossina@71-222-34-38.ptld.qwest.net JOIN :#esoteric < 1376107241 861346 :Guest50012!~sacre@50-81-222-220.client.mchsi.com QUIT :Quit: Guest50012 < 1376107512 407328 :ion!ion@heh.fi PRIVMSG #esoteric :Quantum Gxxyuxihuvxi < 1376107661 771982 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :"has no fixed points" is a nontrivial property, so I think the set of partial functions with no fixed points isn't recursive? < 1376107793 512511 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ion: What is that supposed to be? Another aspect of that deity? (These spells aren't supposed to be necessarily all related; they are just a bunch of different ideas, some of which are related.) < 1376108295 487891 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :by rice. < 1376108301 833476 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :which is a hell of a theorem now that i actually look at it. < 1376108400 987655 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rice's theorem <3 < 1376108425 98279 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :imo, dang. < 1376108518 880951 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the simplicity is great. it's not even like "okay well your condition on programs has to have this and that and the other" < 1376108524 207929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just "hi. you can't decide anything" < 1376108532 125825 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :you can tell it's simple because i can understand it < 1376108554 991533 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's like a generalisation of the halting problem < 1376108564 727786 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :yeah, i noticed. very cool. < 1376108603 836262 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :isn't it exactly a generalization of the halting problem? since "defined on x" is obviously nontrivial < 1376108622 878176 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you believe in two kinds of free will? My philosophy is two kinds of free will. < 1376108624 538432 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, right. < 1376108641 81901 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess the proof is even a generalisation of the halting problem proof < 1376108667 460313 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, and you can easily use the halting problem proof to prove it right okay. < 1376108797 248536 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1376109118 831162 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :These proofs are great, they're basically programming < 1376109139 837569 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, I can see Rice's theorem now on Wikipedia < 1376109163 803607 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :[something ignorant about coq] < 1376109474 224055 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The atmosphere at the time must have been something like a hacker meeting < 1376109510 130839 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"Now Kurt is going to talk about how we can break Hilbert's program, no matter how well it is patched" < 1376109571 744107 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"Of course, you can avoid this attack if you keep your system very simple" < 1376109614 217450 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :A proof that a program would be vulnerable no matter how much it was patched would be funny. < 1376109824 278941 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Continuous research since the genesis of the field has produced increasing experimental evidence for this proposition. < 1376109857 662746 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :that it would be funny? < 1376109940 190620 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :On that note, why do hacker talks always sound like comedy acts < 1376109946 548078 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Experimental evidence is not perfect; only mathematics is perfect. < 1376110157 124398 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this laptop fits in my trouser pockets which is rad < 1376110165 194407 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it has a 900 MHz single core processor which is less rad < 1376110176 485103 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Lapside < 1376110181 988135 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: do you know coq < 1376110239 124244 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :haha not even slightly < 1376110256 95892 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :calculus of qonstructions is all i know < 1376110308 348998 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you wanna learn < 1376110318 901517 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :i think i should learn a CAS first < 1376110342 93345 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cause http://www.cis.upenn.edu/~bcpierce/sf/ is super fun < 1376110353 923024 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :plus my "'«interests'»" are more on the end of continous stuff < 1376110370 431302 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a PL theory text in the form of an addictive puzzle game < 1376110371 433256 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :oh, free? well i can't turn that down < 1376110391 45148 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1376110394 984660 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also nice quotation marks < 1376110410 301002 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :gotta keep balanced < 1376110426 662611 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you didn't tho < 1376110453 386298 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :what if my quotation mark is "any permutation of other quotation marks" < 1376110486 813905 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I hear cpdt is better than sf for learning coq < 1376110492 303493 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1376110500 525003 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or at least mnoqy said something like that to me because he doesn't like the messy proofs in sf < 1376110506 323275 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :is cpdt an addictive puzzle game < 1376110525 78407 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :"in-progress textbook" yeah whatever < 1376110527 258288 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :will "written by a guy permabanned from #haskell" substitute < 1376110536 157015 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what isn't in-progress these days < 1376110554 165359 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :well like, at least the hott book looks pretty. < 1376110557 483563 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :some things are important. < 1376110571 300873 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1376110573 97720 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :anyway i can use coq on random shit like the properties of linear recurrences mod a constant, right < 1376110583 842445 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1376110590 902937 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also arent all coq proofs messy < 1376110598 744597 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :on account of the tactics language being a crime againsst humanity < 1376110613 986842 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whos permabanned from #haskell? smerdyakov? < 1376110618 504403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1376110624 482224 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and well, have you seen the proofs in CPDT < 1376110626 753780 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :really not feeling y'all's reviews of this book < 1376110629 999670 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they all look like "crush." < 1376110632 564557 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :or language < 1376110637 266831 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :thingie < 1376110736 907276 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What's criminal about tactics < 1376110878 65009 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i made a shirt for lexande that says "Beweis: klar. \qed" except the \qed is the proper LaTeX box < 1376110886 486341 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so the coq version would be "Proof. crush... Qed." < 1376110897 705415 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :They're a bunch of non-contextual commands arranged in an inscrutable sequence to manipulate hidden state in a manner only obvious to the original writer < 1376110901 825887 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So, just like programming < 1376111008 418138 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :$ ls sf/ \\ $ rmdir sf/ \\ rmdir: failed to remove 'sf/': Directory not empty <-- linux is great < 1376111024 927304 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :alias rmdir='rm -r' < 1376111147 330965 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :"On the Unusual Effectiveness of Logic in Computer Science" oh, this sounds cute < 1376111166 631359 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :kind of hard to imagine it being as true as what it's named after, though < 1376111235 507767 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If you don't like coq, isar has logically structured proof syntax eg. "proof - have ?thesis by metis (...) auto qed" < 1376111258 568289 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ls -a sf/ < 1376111286 784480 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :yeah, i did already. just thought the way that works out is kinda funny. < 1376111313 646757 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :allegedly the dot => hidden file thing was accidental < 1376111320 385542 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like, they wanted to hide . and .. and were lazy < 1376111320 768983 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :so i've heard < 1376111381 614669 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :alias ls='ls -A' < 1376111423 292363 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :alias ls=sl < 1376111557 280850 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well actually, I alias it to l < 1376111578 478591 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :truly what problems can't be solved with enough alias commands < 1376111703 23746 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wonder if you can make an alias for 'command' < 1376111726 819033 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently you can < 1376111728 142079 :Bike!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :alias = < 1376111772 538878 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :alias A=A < 1376112063 177523 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I do not have completely idea of what the Dungeons&Dragons spells I named should do; I only have partially idea. < 1376112137 319309 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what are the names < 1376112243 559565 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I wrote them above, but I can repeat. < 1376112245 373092 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is "Light of Gxxyuxihuvxi", "Curse of Gxxyuxihuvxi", "Blessing of Gxxyuxihuvxi", "Eye of Gxxyuxihuvxi", "Mouths of Gxxyuxihuvxi", "Tentacles of Gxxyuxihuvxi", "Random Contintency", "Quantum Entanglement", and "Quantum Teleportation". < 1376112310 438243 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :those are some good names for spells < 1376112315 616659 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I hope you think of good spells for them < 1376112336 824425 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :who is Gxxyuxihuvxi? < 1376112350 660137 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Some deity. < 1376112472 803455 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The patron deity of my character. < 1376112506 212443 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I was thinking "Quantum Teleportation" would be something like quantum teleportation so you can just tell the signal to make the teleport, somehow < 1376112620 667642 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I also intended "Random Contingency" to be a bit like Contengency spell, you can make other spell contingent to a trigger, but using events you don't have control over and having random effects, but with some control over the casting of the spell, somehow; I am not sure how to make it, though. < 1376113116 431125 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1376113493 800531 :Taneb!~nathan@host-92-30-160-224.as13285.net JOIN :#esoteric < 1376113688 30754 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 241 seconds < 1376113762 258583 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1376114363 747511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Where are all your #esoteric graphs? < 1376114402 134518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or anyone else, if you have a link?) < 1376115604 763581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: http://zem.fi/ircvis/esoteric/ < 1376115620 857395 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Good timing, just woke up.) < 1376115966 426146 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :huh. bike, kmc, and elliott mention me a lot (surppriiise) < 1376115983 834424 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or wait, maybe that's the other way around < 1376115987 270507 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that I mention them a lot. < 1376115989 655949 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm bad at charts < 1376116227 97650 :Bike_!~Glossina@71-222-34-38.ptld.qwest.net JOIN :#esoteric < 1376116230 7486 :Bike_!~Glossina@71-222-34-38.ptld.qwest.net PRIVMSG #esoteric :what if it's both... < 1376116298 349985 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1376116314 303262 :Bike!~Glossina@71-222-34-38.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1376116333 297982 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um. hi < 1376116345 174210 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1376116399 582698 :Bike_!~Glossina@71-222-34-38.ptld.qwest.net NICK :Bike < 1376116413 201049 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry < 1376116465 555795 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The mention chart is hard to read. < 1376116545 484412 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I made a graph version (threshod the matrix with some value that leaves K ones, treat as an adjacency matrix of a digraph, render with graphviz) of it, but it wasn't so nice. < 1376116699 133396 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 264 seconds < 1376116876 794323 :Bike!~Glossina@71-222-34-38.ptld.qwest.net QUIT :Quit: journey!! < 1376117622 378611 :MindlessDrone!~MindlessD@HSI-KBW-134-3-130-100.hsi14.kabel-badenwuerttemberg.de JOIN :#esoteric < 1376117695 321808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: hm, do new episodes show up on netflix straight away, or how does one typically watch them < 1376117793 501479 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :of what < 1376117826 424067 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't have netflix < 1376118127 539247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :of breaking bad < 1376118346 356082 :Taneb!~nathan@host-92-30-160-224.as13285.net QUIT :Remote host closed the connection < 1376118547 39448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`achewoodlist < 1376118550 729856 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: achewoodlist: not found < 1376118552 682852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(thanks kmc) < 1376120484 990205 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 276 seconds < 1376120514 28770 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376122132 532923 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 264 seconds < 1376122510 339562 :epicmonkey!~epicmonke@188.134.41.114 JOIN :#esoteric < 1376122528 429428 :nooodl^!~nooodl@78-20-118-11.access.telenet.be QUIT :Ping timeout: 264 seconds < 1376123679 14733 :katla!~katla@unaffiliated/katla JOIN :#esoteric < 1376124662 788596 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1376124971 848391 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1376125505 943787 :Taneb!~nathan@host-92-30-160-224.as13285.net JOIN :#esoteric < 1376125947 90756 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1376127514 231622 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1376127758 850359 :Taneb!~nathan@host-92-30-160-224.as13285.net QUIT :Ping timeout: 240 seconds < 1376127789 58710 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1376127792 88984 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 260 seconds < 1376127852 871383 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1376128020 660370 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1376128046 915977 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1376128074 565342 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1376128097 778397 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1376128485 481683 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :hjoj < 1376128528 63338 :Taneb!~nathan@host-92-23-132-213.as13285.net JOIN :#esoteric < 1376128910 845154 :nooodl!~nooodl@91.179.154.139 JOIN :#esoteric < 1376128982 644350 :nooodl_!~nooodl@91.179.154.139 JOIN :#esoteric < 1376129036 636970 :nooodl!~nooodl@91.179.154.139 QUIT :Disconnected by services < 1376129040 648378 :nooodl_!~nooodl@91.179.154.139 NICK :nooodl < 1376133326 445278 :nooodl_!~nooodl@91.177.117.127 JOIN :#esoteric < 1376133336 23501 :nooodl!~nooodl@91.179.154.139 QUIT :Ping timeout: 260 seconds < 1376134367 960102 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1376138430 421711 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :“A common way of setting a register to zero is XOR EAX,EAX or SUB EBX,EBX. The Core2 and Nehalem processors recognize that certain instructions are independent of the prior value of the register if the source and destination registers are the same.” < 1376138448 777159 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So this is what happens to your billion transistors < 1376138568 331218 :Tod-Autojoined!~Tod@50-198-177-185-static.hfc.comcastbusiness.net JOIN :#esoteric < 1376138665 438006 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think that kind of feature's been around for a looong while? like since early OOE things if I remember right < 1376138685 26743 :ka7la!~katla@unaffiliated/katla JOIN :#esoteric < 1376138705 407611 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1376139057 180531 :katla!~katla@unaffiliated/katla QUIT :Ping timeout: 246 seconds < 1376139058 73018 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net QUIT :Ping timeout: 246 seconds < 1376141975 48971 :nooodl_!~nooodl@91.177.117.127 NICK :nooodl < 1376142496 48343 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1376143828 674193 :nooodl_!~nooodl@91.177.117.127 JOIN :#esoteric < 1376143995 706590 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Heh, calloc doesn't actually zero out pages from mmap. Linux creates the pages on-demand. So calloc gives you memory that doesn't exist. < 1376144008 546776 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Benchmarking with -O3 is fun < 1376144070 270852 :nooodl!~nooodl@91.177.117.127 QUIT :Ping timeout: 264 seconds < 1376144217 820152 :ka7la!~katla@unaffiliated/katla NICK :katla < 1376144318 841854 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :s/mmap/mmap\/sbrk/ < 1376144820 197056 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1376145716 501011 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1376146203 73261 :nooodl!~nooodl@91.179.141.161 JOIN :#esoteric < 1376146216 556754 :nooodl_!~nooodl@91.177.117.127 QUIT :Ping timeout: 264 seconds < 1376146436 202603 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1376148009 447756 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1376148147 138341 :katla!~katla@unaffiliated/katla QUIT :Remote host closed the connection < 1376148784 787538 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 256 seconds < 1376148814 70366 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376149468 532559 :ap3x!~apex@94-225-204-7.access.telenet.be JOIN :#esoteric < 1376149564 873410 :ap3x!~apex@94-225-204-7.access.telenet.be PART #esoteric :"Leaving" < 1376149807 405149 :katla!~katla@unaffiliated/katla JOIN :#esoteric < 1376149901 395051 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1376150220 200970 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1376152007 73153 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, X seems to have leaked a lot of memory ... went from ~100MB to 677MB after disabling swap < 1376152117 334941 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(and why does nothing seem to display the amount of swap space used by a process?) < 1376154200 211848 :katla!~katla@unaffiliated/katla QUIT :Quit: Leaving < 1376154309 962418 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com TOPIC #esoteric :When the zetas fill the skies, will our leaders tell us why? | Хммм, тхис стуфф реаллы сеемс то ворк | 22nd IOCCC is open: http://ioccc.org/2013/rules.txt | jsvine is doing an esolang survey! https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | http://codu.org/logs/_esoteric < 1376154320 484371 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The text I just added to the topic is, of course, in English. < 1376154647 892013 :nooodl_!~nooodl@91.179.141.161 JOIN :#esoteric < 1376154870 349548 :nooodl!~nooodl@91.179.141.161 QUIT :Ping timeout: 264 seconds < 1376155595 390061 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :of course < 1376155949 893400 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Anybody have an idea about how to ssh into a machine where creating a process doesn't work because of a low default ulimit? < 1376155986 644504 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :There's an sshd running, I have other ssh processes there < 1376156058 273608 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, I dunno. My only ideas are "kill stuff" and "reboot it". < 1376156086 141588 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I could kill stuff but I don't want to < 1376156154 422345 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You can also have fun with people by setting their login shells to false < 1376156154 675570 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :And I couldn't reboot it even if I wanted to because I don't have root < 1376156196 458497 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I could raise the ulimit if I got in but I guess what I'd need to do here is remotely raise the ulimit of the sshd process < 1376156209 980932 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :And that doesn't seem particularly possible < 1376156220 612999 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Ask the server's owner to do something? < 1376156254 662729 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I doubt the admins are interested in a little request like this on a weekend evening < 1376156266 50978 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What is the default ulimit? < 1376156266 303890 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :(It's a machine on one of the clusters at work) < 1376156272 465182 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :ulimit -u 1024 < 1376156311 199987 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Why can't you start a shell with that. < 1376156325 411493 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Because I'm running a thing that starts up more threads than that < 1376156969 82838 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1376157075 192313 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I had ulimit-process-etc-issues when running that tournament that one time, but I don't recall if I had any terribly clever solutions. < 1376157163 79649 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds < 1376157170 961257 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Write a modern kernel < 1376157174 975232 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I did end up using a some really silly thing to get the process count down, but I didn't quite have a can't-login issue. < 1376157271 112966 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1376157455 476046 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently, using 16G of swap in a user program causes X to segfault < 1376157603 629834 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :interesting... do you know why? < 1376157608 377006 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Sillier than RLIMIT_MPROC, fizzie? < 1376157614 712260 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :olsner: X sucks < 1376157714 252566 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Or, it could be the VBoxVideo driver, which also sucks < 1376157820 581621 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I guess vboxvideo_drv.so is not really prepared to handle thrashing. < 1376158008 270146 :BlueShark!BlueShark@unaffiliated/blueshark PART #esoteric :"Bye." < 1376158216 13742 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1376159229 881532 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's a pirate's favorite posix system call < 1376159500 574409 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :is the answer a very good/bad pun? < 1376159855 303710 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1376159909 918265 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :cool < 1376160279 615611 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :is it sendfile? < 1376160365 254441 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :atoll < 1376160395 416016 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :carg < 1376160411 787516 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a trick question because posix doesn't actually specify which things are system calls or library functions (or even macros???) < 1376160437 353107 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I was just about to ask "hmm, does posix even have system calls?" < 1376160456 636397 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :fork(3p) at least mentions system calls, though only in the rationale < 1376160467 743516 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :are they C APIs? < 1376160500 22279 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc < 1376160502 665452 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, is that the joke < 1376160504 636612 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this joke is the worst < 1376160512 535625 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's not just the worst < 1376160515 439293 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's the most worst < 1376160522 694452 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :morst < 1376160530 165010 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like I'm laughing < 1376160532 131396 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I wish I wasn't < 1376160901 329356 :MindlessDrone!~MindlessD@HSI-KBW-134-3-130-100.hsi14.kabel-badenwuerttemberg.de QUIT :Quit: MindlessDrone < 1376161116 963701 :variable!root@freebsd/developer/variable NICK :constant < 1376162247 707310 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: There was a (low) hard limit forced by some PAM scheme, it's not like you could do much about that. < 1376162323 934149 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: IIRC, the silly thing was just that the soft limit (used by sshd) was a bit lower than the hard limit, so I had some form of ssh-reverse-tunnel-and-netcat thingie to start my tasks in a shell with the limit raised up to the hard one. < 1376162370 877940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Java creates quite a few threads when running; the limit was something very low.) < 1376162497 187125 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1376163182 931896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Do you folks happen to know/have the specs on ST3's (or ProTracker, I think it's compatible) vibrato effect? I mean, more than "vibrato with speed of x and depth of y"; in particular, what are the units of x/y. (AIUI, it's a direct adjustment to the "period" value, I guess at every tick? I guess I could try having a look at some existing module players.) < 1376163306 798896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Or is it really just an adjustment of [-y, y] directly?) < 1376163598 380752 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :ST3.DOC doesn't seem to say, but I guess you knew that since that's quoted from there. < 1376163630 280603 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :And TECH.DOC seems to have only file format stuff. < 1376163813 669214 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :PT.HELP doesn't say either. < 1376163844 354539 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, it's very confusing. < 1376163893 819799 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://wiki.multimedia.cx/index.php?title=Protracker_Module#4xy seems to suggest it's at most +y (directly) to the period, and xmp's source seems to concur. < 1376163926 709943 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also that the speed is given so that on each tick, the vibrato position is incremented by x, and the full waveform is 64 ticks.) < 1376164153 289412 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Except that IT manual says "old effects" (S3M-style mode) updates vibrato only on non-row ticks.) < 1376164219 131449 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1376164247 421159 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also the TECH.DOC explanation of mixing, esp. the posttable[...] stuff, looks really confuzzling.) < 1376164248 34545 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376164573 747374 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1376166687 163846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i found the mölkky game! < 1376166998 227214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :got mölk? < 1376168730 908475 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1376168849 369143 :nortti_!nortti@2a01:7e00::f03c:91ff:fe70:f3f JOIN :#esoteric < 1376168926 198476 :nortti_!nortti@2a01:7e00::f03c:91ff:fe70:f3f PRIVMSG #esoteric :do you know any lighter-for-network way of remote IRC than ssh that would still be more secure than telnet? < 1376169091 259252 :nortti_!nortti@2a01:7e00::f03c:91ff:fe70:f3f PRIVMSG #esoteric :this is coming trough, right? < 1376169257 279412 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think people use mosh a lot for flaky connections. < 1376169276 489294 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Don't know about lightness, but it's got all that prediction stuff and aliveness-staying stuff. < 1376169331 490151 :nortti_!nortti@2a01:7e00::f03c:91ff:fe70:f3f PRIVMSG #esoteric :does it work well over very bad latency? < 1376169342 980503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not a mosh user. But it's what it's designed for. < 1376169377 695599 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :See http://mosh.mit.edu/ (if you can manage with that connection). < 1376169405 665421 :nortti_!nortti@2a01:7e00::f03c:91ff:fe70:f3f PRIVMSG #esoteric :ok, thanks < 1376169415 629000 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to roll your own authentication if you don't want to use ssh though. < 1376169425 251456 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(it uses ssh for auth only by default.) < 1376169460 706951 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also, heh: there's a typo in Skaven's 2nd_reality.s3m. (Pattern 13, channel 4 starts with a "DD7" which, I think, should really be a D07 -- based on the fact that channel 5 has a D07 slide, and ST3 doesn't define a meaning for DD7.) < 1376169522 351241 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Ping timeout: 264 seconds < 1376169656 980777 :epicmonkey!~epicmonke@188.134.41.114 JOIN :#esoteric < 1376169760 803997 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :oh, the source code to 2nd reality has been released: https://github.com/mtuomi/SecondReality < 1376169765 241132 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :apparently quite recently < 1376169848 24243 :copumpkin!~textual@unaffiliated/copumpkin QUIT :Ping timeout: 260 seconds < 1376169873 385910 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Yes, and there's an amusing "encryption"/obfuscation applied to the S3M files in that distribution. (Tried to use them first.) < 1376169876 23665 :copumpkin!~textual@unaffiliated/copumpkin JOIN :#esoteric < 1376169933 31085 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Ping timeout: 256 seconds < 1376170024 160605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Basically, each byte of the packed-pattern data has been xor'd with v, where v is what you get when you take the offset of that byte modulo 256, for each set bit take the binary value 101 shifted so that the rightmost 1 is at the set bit, and then xor all those values together. < 1376170107 645128 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, but why? < 1376170131 294437 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have no idea. It could be just to discourage ripping off the songs from the demo, but it leaves all the S3M headers and such in place. < 1376170154 138238 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, you still get an unplayable file, but it'd have been just as easy to apply the above to the entire file instead of just the pattern data. < 1376170205 467170 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :it's probably easier to do to the whole file rather than change specific pieces of an S3M < 1376170211 57846 :katla!~katla@unaffiliated/katla JOIN :#esoteric < 1376170353 831704 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(There's quite a lot of Finnish in file names there. < 1376170382 451549 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'd say "less so in the comments", but I haven't really found any comments yet. < 1376170395 277063 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :the DESIGN file is almost entirely finnish < 1376170426 476041 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Grepping for /\* in *.c found a couple of comments in Finnish too. < 1376170453 13736 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It seems to be the "script". < 1376170900 582221 :Luis1!~canaima@190.79.223.211 JOIN :#esoteric < 1376171081 602448 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :looks like someone is making an android port of it < 1376171099 662960 :atriq!~nathan@host-92-30-168-160.as13285.net JOIN :#esoteric < 1376171141 798321 :katla!~katla@unaffiliated/katla QUIT :Quit: Leaving < 1376171198 843865 :Taneb!~nathan@host-92-23-132-213.as13285.net QUIT :Ping timeout: 240 seconds < 1376171248 28469 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: A faithful one or a "HD remake" kind of thing? (Though for the latter the sources are I guess mostly irrelevant.) < 1376171313 806155 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :faithful afaict, something like letting the demo code write to a frame buffer then blitting that to the screen in the "did someone press escape yet?" function < 1376171419 723365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds reasonably reasonable, except for all the inline asm. < 1376171433 147205 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And out-of-line, too.) < 1376171438 660018 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(according to the readme at https://github.com/Falken42/SecondReality) < 1376171521 122273 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I guess you could just plop in qemu's x86 emulator (or rewrite those bits in C, or make an offline x86-to-c translator to run on asm bits) < 1376171641 974011 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :From what I recall, Second Reality runs in dosbox up to some degree. (Don't know about ARM dosbox, though.) < 1376171659 514005 :Luis1!~canaima@190.79.223.211 PART :#esoteric < 1376171690 164227 :atriq!~nathan@host-92-30-168-160.as13285.net NICK :Taneb < 1376171718 304902 :Taneb!~nathan@host-92-30-168-160.as13285.net QUIT :Quit: Leaving < 1376171870 144271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a scrying hame that out of the three Android DosBox ports, two cost money (DosBox Turbo, AnDOSBox) and one is kinda dead and slow (aDosBox). < 1376171964 717625 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, wikipedia says that "The demo used its own memory manager which accessed the MMU directly in a way which is not compatible with modern operating systems" ... but the code I've seen is plain real-mode < 1376171993 819239 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :"accessing the MMU" doesn't really make sense for x86 anyway < 1376172037 83705 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Well, it does talk some EMS, it might be what they mean. < 1376172071 205773 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's for the non-GUS music.) < 1376172137 254839 :nortti_!nortti@2a01:7e00::f03c:91ff:fe70:f3f QUIT :Quit: got < 1376172204 316767 :epicmonkey!~epicmonke@188.134.41.114 JOIN :#esoteric < 1376172288 187734 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Though "accessing -- directly" is quite a stretch for just calling int 67h.) < 1376172338 675746 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(In related news: fopen("*EMMXXXX0","rb"); -- kinda funny.) < 1376172673 488978 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :and apparently (http://en.wikipedia.org/wiki/Expanded_memory) early EMS implementations were in hardware (i.e. not-VM86-based), I had no idea < 1376172843 688581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh yes, software EMS is very much just a cheat. < 1376172906 186149 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In particular, AIUI, there's quite a lot of copying involved in emulating the bank switching. < 1376173006 637523 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm, Internet claims that the EMM386 approach is done by paging. < 1376173025 487750 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Possibly I'm remembering some older software EMS emulation. < 1376173535 775100 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :"OS/2 has no native computer viruses, and is invulnerable by design to native viruses due to the fact that it runs everything in a vm (virtual machine) mode, and all program data and caches exist in that virtual machine." < 1376173593 207586 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Someone needs to tag that [citation needed]. < 1376173725 727117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://virus.wikidot.com/arelocs "Arelocs also known as Aep is one of a few viruses for IBM's OS/2 operating system. It is considered "the first known virus that affects OS/2 files in the 'right way'" as it writes itself to the file and modifies the NewEXE header and other system areas." < 1376174071 930087 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :finally a virus that affects the 'right way' < 1376174309 829509 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Ping timeout: 248 seconds < 1376175139 145013 :nooodl!~nooodl@91.179.141.161 JOIN :#esoteric < 1376175376 362090 :nooodl_!~nooodl@91.179.141.161 QUIT :Ping timeout: 264 seconds < 1376175917 496204 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1376176924 781574 :bicyclidine!~Glossina@m832036d0.tmodns.net JOIN :#esoteric < 1376177937 983945 :AndChat-469104!~Glossina@wl-nat100.it.wsu.edu JOIN :#esoteric < 1376178008 973787 :AndChat-469104!~Glossina@wl-nat100.it.wsu.edu NICK :Bike < 1376178085 784962 :bicyclidine!~Glossina@m832036d0.tmodns.net QUIT :Ping timeout: 248 seconds < 1376178319 45448 :Bike_!~Glossina@wl-nat100.it.wsu.edu JOIN :#esoteric < 1376178321 224276 :Bike!~Glossina@wl-nat100.it.wsu.edu QUIT :Quit: [spurious input; ignoring] < 1376178340 464148 :Bike_!~Glossina@wl-nat100.it.wsu.edu NICK :Bike