< 1385164804 847513 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :maybe it's naïve of me to think that analyers shouldn't have to infer things i meant in the original code < 1385164810 943776 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :analyzers < 1385164937 723041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: I bet -Os is not the primary focus of the gcc developers :) < 1385164968 659247 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: it should be, it's often the fastest setting due to caching issues < 1385164981 386842 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Besides, when do you stop making the code smaller? There's a lot of things one can do when speed is of no importance.) < 1385164982 700940 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1385164997 689845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: finite state machines are a very common design pattern < 1385165162 939074 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :x86 could use more general registers < 1385165168 745391 :Bike_!~Glossina@wl-nat99.it.wsu.edu JOIN :#esoteric < 1385165169 664371 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :4 is a bit short to work with well < 1385165178 429286 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you have 7 < 1385165189 294350 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :si, di, bp are also available < 1385165223 481573 :Bike_!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :ais523: of course, but it seems like it should be possible to just tell the tools "this is an FSM" instead of them having to analyze whatever encoding of an FSM you write and infer that that was an FSM before you encoded it < 1385165229 423642 :Bike!~Glossina@wl-nat101.it.wsu.edu QUIT :Disconnected by services < 1385165230 367464 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Aren't they related to the stack and such? < 1385165231 261607 :Bike_!~Glossina@wl-nat99.it.wsu.edu NICK :Bike < 1385165245 952573 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Don't I risk bothering the stack if I toy with them < 1385165267 700088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: the entire practice of VHDL/Verilog appears to be deciding what you want, then writing it into VHDL/Verilog in such a way that the compiler will infer it back < 1385165269 103746 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Also what about ES FS and GS < 1385165274 867001 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Can I fuck with them < 1385165286 770462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Slereah: SI and DI are not related to the stack, they're used as postincrement operators by some commands < 1385165294 296732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and tend not to be efficient unless you use them like pointers < 1385165297 798995 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :ais523: so, is it naive of me to think that that's fucking stupid, or am i missing something? < 1385165304 513148 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Okay < 1385165313 669047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :BP is related to the stack but it's mostly useful for debugging < 1385165332 933046 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :bp is used in some programming languages as a "frame pointer", but you don't have to worry about that in your small test programs. DOS doesn't care about bp. < 1385165337 532768 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :like, for god's sake, the actual FPGA is a bunch of LUTs and shit, and aren't there ALUs or adders or something at least < 1385165339 58480 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :an interview question I like is "Explain how inlining could make code faster, or slower, or bigger, or smaller" < 1385165345 816092 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: I guess it saves the language needing to evolve to adopt whatever basic structures the FPGA manufacturers add to their FPGAs < 1385165353 545499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but apart from that I can't see any advantages < 1385165357 623082 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Oh wait < 1385165368 804810 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :i think there should be a better way. i'll think about it, and then never do it < 1385165369 389237 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I need it to be 4 bits in my program to work < 1385165370 333982 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Dang < 1385165371 814117 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :kmc: nice. < 1385165374 712168 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess I'll go with cl < 1385165384 389895 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Postdecrement too! < 1385165386 239818 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: an actual FPGA is mostly LUTs and RAM (and wires), sometimes it'll have a few fast multipliers on or something like that < 1385165393 932449 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Slereah: yes, one of the big improvements in x86-64 is adding 8 more general purpose regs < 1385165408 21663 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :fpga design seems super interesting really, i honestly like the idea of designing my own < 1385165408 264747 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: you mean 8 bits, hopefully? < 1385165413 657143 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Nope < 1385165414 161890 :muskrat!musk@dyn2-85-23-163-95.psoas.suomi.net JOIN :#esoteric < 1385165414 548971 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :4 < 1385165417 889975 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :and putting an HDL on top of it <_> < 1385165420 247272 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :CL is 8 bits < 1385165424 245524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there aren't any 4-bit registers < 1385165428 533550 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Oh < 1385165437 304427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's the bottom half of CX, which is 16 < 1385165441 968069 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess I do mean 8 < 1385165453 788138 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :maybe i should look at your charity thingie < 1385165470 853903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :CLL and CLH and CHL and CHH should clearly exist. < 1385165478 465468 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :er, was it charity < 1385165479 692634 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :verity? < 1385165483 88789 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: anyway, I'm not opposed to writing assembly code, but there should be a good reason :) < 1385165501 750203 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well I do have a good reason < 1385165505 247271 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: well, they don't :) < 1385165507 533277 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Ferrets are nesting in my brain < 1385165510 51881 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :ais523: what's that hdlish thingie you work on. < 1385165533 980317 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: Verity, http://veritygos.org < 1385165542 646109 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although the person currently in charge of it does not fill me with confidence < 1385165545 787971 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(learning how stuff works is among the possible good reasons, btw) < 1385165568 250030 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :oh no? < 1385165572 885631 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I got an email complaining that the compiler was emitting wires with no declarations, which is a reasonable complaint < 1385165594 294562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then when I explain that it's generating incorrect code due to an error in the original program that it failed to notice (which is a bug) < 1385165604 494258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :their solution is to add declarations and then complain it still doesn't work < 1385165620 842625 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :can't help but notice the "language" page is comparing to programming languages, not HDLs < 1385165664 830383 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: it's pretty high level for an HDL, that's the entire point < 1385165675 373681 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :mrm < 1385165676 128341 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually it's a dialect of Algol 60 < 1385165685 550861 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you can't really say that nowadays without people laughing at you < 1385165718 648943 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :nah, i like algol. < 1385165734 139848 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :http://en.wikipedia.org/wiki/ELLA_(programming_language) it seems the standards for HDLs are not that high. < 1385165761 148891 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :also there are a billion "C-like languages", why has god forsaken me < 1385165771 670890 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :"C++ extended with HDL style threading and communication for task-parallel programming" < 1385165824 832764 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Woo, I did an addition < 1385165875 322021 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Let's try doing an iterative one < 1385166041 855160 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :i just realized. is this what it's like to be sgeo < 1385166161 575534 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What are you referring to? Am I associated with complaining about uncreative languages? < 1385166173 491555 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: Next you'll get involved in some virtual world stuff. < 1385166176 607073 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or am I associated with something else that is similar to what you said? < 1385166178 388281 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1385166186 817039 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :looking for 'the perfect HDL' < 1385166191 293359 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :fizzie: god forbid. < 1385166201 586408 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ah :) < 1385166218 124481 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why am I writing smiley faces this is unircsgeolike < 1385166234 672967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe your personalities are swapping < 1385166248 919528 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: Just you wait, you'll be converting your savings account to Linden-dollars any moment now. < 1385166260 265418 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :nooooo < 1385166347 856968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs bike> .*:) < 1385166355 662116 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :grep: unmatched parentheses \ http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9987 < 1385166361 699534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1385166362 338561 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :so VGA controllers are CRT only right < 1385166366 883312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs bike> .*:[)] < 1385166378 832631 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :or... vga is i mean < 1385166407 666765 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.16433 < 1385166411 205555 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :"For example, the Microsoft Windows splash screen, in versions prior to Windows Vista, appears while the machine is still operating in VGA mode, which is the reason that this screen always appears in reduced resolution and color depth." oh, that's neat. < 1385166450 587801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm Bike isn't precisely a heavy :) user < 1385166543 218228 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Yay I did a square function < 1385166553 587629 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :From a sum < 1385166555 613795 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :so this is like 50% haskell, 40% other people, 9% me being nice to newbies, and 1% me being a dick to elliott < 1385166557 260998 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`pastelogs int-e> .*:[)] < 1385166568 526754 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :percentages are not to scale < 1385166571 410017 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27098 < 1385166584 955447 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :Slereah: say, you don't happen to have The Art of Computer Programming do ya < 1385166591 642085 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Nope < 1385166595 336140 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :might be interesting to follow along, translating the code from MIX to x86 < 1385166596 814112 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I don't even have SICP < 1385166605 801324 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I'm not even sure I have any computer related book < 1385166609 47715 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Except for like < 1385166612 194610 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Turing machines and shit < 1385166637 923742 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm, let's try a recursion maybe < 1385166641 529979 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Some factorial < 1385166688 862296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: now repeat after me, "My name is int-e and I am a :)holic" < 1385166729 514096 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice 7 year hiatus. < 1385166760 531100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: that's just a trick to get me to use yet another smiley, isn't it? < 1385166814 338678 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I won't even grep for semicolon-closing parenthesis, because I'm afraid the result will be even longer. < 1385166816 449680 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :Slereah: are you a university student < 1385166850 606450 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I was, and I am once again! < 1385166854 145471 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Damn job market < 1385166912 899246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: oops < 1385166914 574365 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :well, check the library, then < 1385166932 958546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the :A movement is not starting well < 1385166937 220291 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1385166973 297019 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Oh no! Z: < 1385167040 903449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: it's like having the word for alcohol containing a phoneme that can only be produced by drinking it < 1385167073 410656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those poor airholics are also in trouble, i fear < 1385167154 311763 :Taneb!~Taneb@5.151.65.168 JOIN :#esoteric < 1385167168 342474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ello Taneb < 1385167170 370448 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :Hello, Taneb ! < 1385167210 630829 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :Yo < 1385167211 944755 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :Yoerjan < 1385167215 425795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely that should be Tanellob < 1385167236 914831 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The SCP-2000 contest is open < 1385167271 329767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SCP 2000 is a contest that you cannot escape. hth < 1385167273 480955 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan:whatdoyousayaboutallthosespaceholics? < 1385167312 437841 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :what, are they already planning on the third scp series? < 1385167367 279095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e : i don ' t see any problem < 1385167416 105566 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1385167528 999931 :carado!~user4539@static.29.44.47.78.clients.your-server.de JOIN :#esoteric < 1385167542 606703 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess I need to make one memory space per recursion if I want to do a recursive thing < 1385167551 754419 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :hm < 1385167568 414869 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I will see about that tomorrow < 1385167570 632691 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :stack! < 1385167570 950552 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It is my bedtime < 1385167575 550904 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Staaaack < 1385167591 978974 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a recursive "call" just works < 1385167613 316883 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But call doesn't send arguments < 1385167613 732376 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you may have to save registers with "push" and restore them with "pop" afterwards < 1385167619 150837 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So I do need to stack shit < 1385167625 353932 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :call preserves registers < 1385167640 582652 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Just like in the doodoo olympics < 1385167642 686443 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you can use those for arguments, no trouble. < 1385167673 808703 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Yeah, but it's a factorial < 1385167688 754467 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :There has to be a whole bunch of calls! < 1385167694 707554 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess n-1 < 1385167702 482094 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Why is it always a factorial? < 1385167724 148541 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Because the factorial is an old and time tested recursive function! < 1385167735 194249 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :You can also do Fibonacci, but Fibo needs two conditions < 1385167737 691296 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :there are way better implementations though. < 1385167752 120831 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :many of which involve far more fun things than recursion. < 1385167760 987128 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :imo do tak or ackermann < 1385167779 378939 :CADD!~CADD@12.227.104.109 QUIT :Ping timeout: 246 seconds < 1385167847 907210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am not sure ackermann with bounded size ints has quite the intended effect. < 1385167999 254254 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well I'm limited to 255 < 1385168001 138813 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :what everrrr < 1385168002 846384 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So ackerman is a bad idea < 1385168021 347995 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :damn. "09:27:05 I'll remember that, GregorR-W." -- I completely forgot. < 1385168038 832780 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1385168042 559511 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :factorial will fail too after, what, 14? < 1385168064 38568 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :wut < 1385168135 636430 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Gregor: http://int-e.eu/~bf3/tmp/remembering < 1385168148 278716 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Oh and that was in july 2005.) < 1385168150 539249 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :12, on 32 bits < 1385168190 819038 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :for 16 bits it goes up to 8. imo whoopdie fucking do < 1385168202 832721 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1385168206 846884 :carado!~user4539@static.29.44.47.78.clients.your-server.de QUIT :Remote host closed the connection < 1385168213 465207 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :A lot has changed since July 2005. < 1385168221 909859 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :For instance, I no longer specify my read/write status. < 1385168224 139103 :carado!~user4539@2a01:e35:8b61:e430:e2cb:4eff:feb2:e567 JOIN :#esoteric < 1385168254 533386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i remember that. < 1385168284 599619 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Also. Good night. < 1385168313 699072 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1385168402 490114 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :!daemon < 1385168632 730697 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Gregor: is the Sonivox soundfont even sold anymore? < 1385169679 131305 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Sgeo: A quick look would appear to suggest "no" < 1385169718 279491 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::( < 1385169757 873096 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1385170479 306112 :Taneb!~Taneb@5.151.65.168 QUIT :Quit: Leaving < 1385170623 713467 :Bike!~Glossina@wl-nat99.it.wsu.edu QUIT :Ping timeout: 252 seconds < 1385170929 855870 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1385171171 498670 :carado!~user4539@2a01:e35:8b61:e430:e2cb:4eff:feb2:e567 QUIT :Remote host closed the connection < 1385171394 366204 :Oj742!~Oj742@c-71-59-199-75.hsd1.or.comcast.net JOIN :#esoteric < 1385171472 239131 :sergio2!~canaima@190.78.26.11 JOIN :#esoteric < 1385171719 859786 :sergio2!~canaima@190.78.26.11 QUIT :Ping timeout: 246 seconds < 1385171866 148439 :sergio1!~canaima@190.78.26.11 JOIN :#esoteric < 1385172100 307898 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 245 seconds < 1385172227 543739 :sergio1!~canaima@190.78.26.11 QUIT :Ping timeout: 265 seconds < 1385173639 354489 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1385173850 419642 :typeclassy!~user@ool-43512675.dyn.optonline.net JOIN :#esoteric < 1385174583 393403 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 245 seconds < 1385175002 183729 :typeclassy!~user@ool-43512675.dyn.optonline.net QUIT :Remote host closed the connection < 1385176233 345202 :Oj742!~Oj742@c-71-59-199-75.hsd1.or.comcast.net QUIT :Ping timeout: 245 seconds < 1385176507 917629 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385177123 59324 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1385177242 435957 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Quit: adu < 1385179126 654134 :zzo38!~zzo38@173.180.194.141 JOIN :#esoteric < 1385179609 733805 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385181520 932806 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Quit: adu < 1385183342 470459 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385183353 608453 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Client Quit < 1385184462 341802 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385184549 842671 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Client Quit < 1385185460 397421 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1385185792 12017 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anyone know how to write the kronecker delta as a non-piecewise composition of principal branches of elementary functions? < 1385185832 846760 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :er, can you get a non-function out of function composition? < 1385185903 892917 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :kronecker delta is a function < 1385185906 453127 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :think man think < 1385185932 392212 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, i was thinking dirac :V < 1385185950 898204 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :I am not sure what "principal branches" are, but perhaps 0^((x-y)^2) is a definition? < 1385185965 101027 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :can you just take a hump function and compose it with itself infinitely many times < 1385186057 994709 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Bike: I didn't find a Wikipedia article about "hump function" < 1385186072 192964 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: 0^0 is indeterminate < 1385186102 787448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :0^0 is 1. < 1385186117 322329 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :zzo38: a function with a hump at the origin (f(0) = 1) that decays to zero at infinities < 1385186132 70891 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shachaf: according to python it is zero < 1385186149 185970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^ is xor in Python. < 1385186150 253598 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :quintopia: I think that is wrong then; 0^0=1 clearly (to me at least). < 1385186151 692028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :** is exponentiation. < 1385186165 50577 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1385186166 300921 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :O, yes, then in Python you need 0**0; what does it make? < 1385186167 702529 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :my bad < 1385186172 715160 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Does it make anything? < 1385186173 994329 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah that'll work :D < 1385186175 744048 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385186185 527119 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :
ACTION grumbles
< 1385186231 555800 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Bike: Then with such function unless f(1) = 1 also, then composing infinite numbers of times becomes an unknown response? < 1385186237 411167 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :?messages-loud < 1385186237 569039 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i don't understand why 0^0 is 1, since lim_{x->0+} 0^x is 0... < 1385186237 569193 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :boily said 9h 36m 19s ago: you are the weirdest. < 1385186242 508717 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, it would be zero, i don't know what i was thinking. < 1385186297 926462 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :OK, it is unclear the intended context (if any) of boily's message. < 1385186301 320627 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :0^0 is the number of functions from the empty set to itself. < 1385186408 633639 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i guess i'm thinking of the limit of successively steeper functions, like you do for dirac < 1385186411 166448 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :shachaf: Yes, there is that, and several other reasons too, why zero to power of zero should make one. < 1385186428 860453 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so there's one function from empty to empty but zero from {empty} to empty? < 1385186440 706270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1385186465 712667 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well thank god math makes intuitive sense. < 1385186490 611366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can't tell if that was meant seriously or the opposite of seriously < 1385187003 142575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: a function from {{}} to {} is a set of pairs (x,y) where x is in {{}} and y is in {}, such that for every x in {{}} there is y such that (x,y) is in the function < 1385187010 643780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(and also no duplicates) < 1385187015 958971 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah i already got this explained < 1385187021 623225 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :thanks anyway < 1385187030 909254 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a function from {} to {} is a set of pairs (x,y) where x is in {} and y is in {} (no such pair exists, of course), such that for every x in {} -- and then you're done because vacuous < 1385187035 692447 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sorry :P < 1385187052 615580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :basically with a function from the empty set, you trivially satisfy the requirement of covering all values in your domain. < 1385187055 126363 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :set theory is so tedious < 1385187062 352762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :from the singleton set, you have to have at least one element of the codomain. < 1385187073 621313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's easier in type theory!! < 1385187077 324873 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(arguably?) < 1385187103 2368 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's even easier in i'm asleep theory < 1385187176 294634 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what does infinite composition of logarithms give you < 1385187286 33658 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :gallavanting about the plane. < 1385188540 388480 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1385190412 868205 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Bike: I noticed you were writing stuff about FPGA and HDL; if you are able to design your own and make the actual one, then if it is open-source (or at least open-specification enough to know exactly how all the timing, connection, etc works, and the bitstream format) then I would buy it. < 1385190432 604486 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :do you have four thousand friends who would also buy it, though < 1385190452 527445 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike gets down to brass tacks < 1385190470 728200 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Perhaps there may be a lot of HDL because a lot of people don't like the existing ones (including me), but I don't think there is the "perfect HDL". I designed HWPL to do the kind of things I think is good idea, but not necessarily everyone in agreement. < 1385190489 740465 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :there aren't that many HDL, really < 1385190506 840291 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Bike: No, but you can find a lot of messages on various forums and stuff in internet, it seem like about four thousand might be interested < 1385190523 711231 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :And then more people would learn and might use it too < 1385190525 621285 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well i'll keep that in mind for the kickstarter. < 1385190560 630238 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a few days ago i found out some neuro people i like sell an FPGA board (with just a boring lockedout FPGA but) for brainstuff, which is cool < 1385190566 4716 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :clearly needs more neuromorphism imo < 1385190640 54735 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Since there are several advantages to a open-source FPGA (even if the company that makes the FPGA sells no open-source design software for it) < 1385190673 418394 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i guess i don't know what most people who buy fpgas actually use them for < 1385190687 241383 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :there's a niche in education, and then prototyping? < 1385190729 736641 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :a lot of finished products use them too < 1385190732 645629 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :I don't really know either, but yes those may be some uses; there are several others too. < 1385190781 837985 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you're planning to sell fewer than n thousand units, it's cheaper to ship programmed FPGAs than to design and fab your own chip < 1385190793 448385 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :makes sense. < 1385190803 579776 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :not sure how much open hardware would help there < 1385190811 61824 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also then you can field-upgrade the "hardware" which is nice < 1385190812 718865 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://nsa.unaligned.org/ is a really cool project repurposing a bunch of HD video transform boards with FPGAs on them < 1385190823 482524 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :However, with open-source FPGAs, many more uses would be enabled, such as reconfigurable computing, more accurate designs, and if you are making an ASIC it is guaranteed not to be slower than the FPGA. < 1385190840 540784 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :240 W :o < 1385190868 487769 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :really wish i knew more electrics < 1385190913 409804 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :and yeah, good point about reconfiguring < 1385190964 230904 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :gotta grab information and opportunities in the subfield of electrobrains where i can, i guess < 1385191152 566442 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :I also don't like various things about Verilog, VHDL, and other HDLs that I also decided to make up a new one; what features are you looking for in a HDL anyways? One thing I like to have is a lot of macros. < 1385191299 976678 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'd like good macros, good parametrized modules, and some sort of way to annotate things like FSMs for optimization < 1385191367 688755 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :How do you want to annotate things like FSMs for optimization? Maybe it might help a bit, if you can specify some examples of how this would work. < 1385191403 43451 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :not sure. i'd like the macros and modules to be involved enough that i could write out a state transition diagram, really < 1385191441 81951 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i don't see the point in compiling things "down" to gates if the toolset's just going to analyze it as an fsm anyway < 1385191485 235320 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Are the macros and parametrized modules in HWPL (my design) good enough for this? If not, I would like to improve it if it help! (HWPL does have the MODELS keyword, which can be used for optimization, but I don't know if this is sufficient for the purpose you are describing.) < 1385191580 963804 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :I would like an example of what you mean, though, if you can do that. < 1385191708 70004 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ok, do you know how a serial adder works? < 1385191751 641010 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :OK, yes I looked up in Wikipedia, and yes I found it is something I am familiar with. < 1385191811 362120 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's pretty easily conceptualized as an FSM. you have four states, one for each combination of outputs, and each clock you transition to another state based on the inputs < 1385191860 657436 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :Ah, OK, I understand. < 1385191880 563401 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :in verilog you could write this as an always block on the clock edge, where the logic is a very tedious case on the state and the inputs < 1385191953 289943 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :and if you write it out the synthesizer is going to compile it into whatever IR and /then/ analyze it to be an FSM < 1385192191 280480 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Dear Microsoft: It's fairly obvious that your process for generating the IE compatibility mode list involves monkeys at typewriters. Please stop. Love, Sgeo. < 1385192335 990200 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :A serial adder only has one bit of state being the carry flag though, isn't it? < 1385192869 152507 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you need to keep the sum out stable through the clock < 1385193053 229759 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :but yeah, the carry is the only one you need to worry about between transitions < 1385193275 477149 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i guess that's a distinction between state of the FSM and state of the circuit. < 1385193735 529336 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What explains this behavior: As long as Chrome (ium) is loading any page, even in another tab, it doesn't show title text when hovering the cursor over something. < 1385193967 299373 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is the hover thingy an OS-level GUI element? < 1385193997 330128 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe it's because there's a single compositor thread in charge of all talking to the OS graphics system, and it's busy doing something else? < 1385194096 654216 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you should find out whether servo has the same limitation, first you'll have to contribute code to show title text, also to have tabs < 1385194150 296035 :yiyus!1242712427@server1.bouncer4you.de JOIN :#esoteric < 1385195189 767343 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, i've onwdered about that too < 1385195255 886579 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think Chrome actually serializes OpenGL calls and sends them to a single process < 1385195271 804143 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :we will probably have to do something like that eventually, for WebGL < 1385195292 114499 :CADD!~CADD@12.227.104.109 QUIT :Quit: leaving < 1385195297 180923 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but for now our approach is, separate GL context for each thread/process, sending textures between them using OS-level features for doing so (the same ones compositing WMs use) < 1385195309 561925 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :e.g. sending GLXPixmaps on Linux < 1385195309 730849 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1385195314 410512 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1385195511 168419 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1385195636 258541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Hmm, I don't know. < 1385196791 911951 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think that assessment of Chrome doing all GL stuff in a single process is correct, because on my system it used to go all "GPU thread has crashed" and disable hardware acceleration whenever I tried to go to a WebGL page. < 1385196800 302269 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 245 seconds < 1385197188 855390 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Quit: adu < 1385198588 315476 :Taneb!~Taneb@5.151.65.168 JOIN :#esoteric < 1385199521 157638 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :I would think a serial adder in HWPL might be something like: TRIGGER .CLOCK SET {.OUT,.CARRY} TO MUX({.CARRY,.X,.Y},$96,$E8); and something like that may be usable in other hardware programming languages too; would that work? < 1385199913 133494 :zzo38!~zzo38@173.180.194.141 PRIVMSG #esoteric :In fact it looks like a direct implementation of the state machine as well as being directly translatable to FPGA muxes. < 1385200824 727155 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1385201307 482303 :nooodl!~nooodl@91.179.129.131 JOIN :#esoteric < 1385201479 902084 :yiyus!1242712427@server1.bouncer4you.de QUIT :Read error: Connection reset by peer < 1385202707 965767 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: I was never able to get webgl to work properly in chromium < 1385202727 805962 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It tends to just stop working for no reason < 1385202731 123629 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :While in Firefox it just works < 1385202806 514458 :zzo38!~zzo38@173.180.194.141 QUIT :Remote host closed the connection < 1385203975 250822 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: It used to work with my old graphics card, then it stopped working when I upgraded hardware, then it again started to work after upgrading the browser. (Though this last is a bit tentative, I haven't used it much.) < 1385204123 571851 :muskrat!musk@dyn2-85-23-163-95.psoas.suomi.net PART #esoteric :"Leaving" < 1385204500 642705 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So I be trying to do the factorial recursively < 1385204501 565849 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But < 1385204506 469539 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It doesn't seem to stop at 0 < 1385204514 579376 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What might the dealio be < 1385204545 336742 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :The program being http://pastebin.com/e5bNNSf1 < 1385204561 803689 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Oh wait < 1385204565 639232 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I think I know now < 1385204571 312962 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :The jump isn't well placed < 1385204577 369500 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :NEVERMIND < 1385204956 375678 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :factorial: pop ax, pop ax, dec cx, jcxz zero, mul cl, push ax, call factorial, zero: jmp prog < 1385204958 300816 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :There we go < 1385204966 563110 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I should do a version with a jump instead of a call < 1385204975 24280 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :That will avoid me the double popping < 1385205329 942384 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Typically you'd access any parameters on stack with something like mov ax, [sp+2] instead of popping off the return address. < 1385205396 751483 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Wouldn't that fill the stack if I don't pop it in this case? < 1385205429 979131 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :you can adjust sp manually without popping, like 'add esp, 8' < 1385205434 607687 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Normally the caller pops the arguments off the stack after the call. < 1385205453 724444 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Yeah but because of reasons I had to drop it < 1385205460 476434 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Also it's a jump now: < 1385205461 296858 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: sp, in this case. < 1385205461 649957 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :factorial: pop ax < 1385205461 807671 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : dec cx < 1385205461 807844 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jcxz zero < 1385205461 807947 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : mul cl < 1385205461 808051 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : push ax < 1385205462 325693 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jmp factorial < 1385205462 483463 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : zero: jmp prog < 1385205476 243462 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :er, right, sp. < 1385205491 293957 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Wait < 1385205497 585025 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Why do I have jmp prog < 1385205504 498117 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I can do directly jcxz prog < 1385205504 655711 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not really a function call any more if you never ret. < 1385205526 718243 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :factorial: pop ax < 1385205526 876265 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is there some reason ax gets pushed, and then like, popped right back off? < 1385205526 876439 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : dec cx < 1385205526 876578 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jcxz prog < 1385205526 876683 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : mul cl < 1385205526 876784 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : push ax < 1385205527 283853 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jmp factorial < 1385205529 132002 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Much better < 1385205538 433326 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :To keep the result? < 1385205547 823796 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Basically if I do 5! < 1385205550 720915 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but isn't pushing and then popping a no-op...? < 1385205557 475542 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :First I put 5 in cx < 1385205565 504105 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I push it < 1385205569 860798 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And I jump to the function < 1385205580 32708 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It pops the stack to ax < 1385205583 650263 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :decrements cx < 1385205590 300813 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So ax = 5, cx = 4 < 1385205594 13623 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And multiplies them < 1385205604 619453 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And sends the result to the stack < 1385205613 580058 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So ax = 20, cx = 3 < 1385205637 646685 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not really a recursive function as written. And the use of stack is indeed unnecessary. < 1385205642 650524 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Wait, I don't need it if ax stays the same < 1385205696 38830 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :factorial: dec cx < 1385205696 234623 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jcxz prog < 1385205696 234798 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : mul cl < 1385205696 234900 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jmp factorial < 1385205697 938993 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Much better < 1385205711 951452 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess it is more of a loop yeah < 1385205764 279549 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also not a function; you can't call it from two places, because it always returns to the same place. < 1385205772 264741 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :yeah < 1385205796 242293 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I tried doing it as a function, but < 1385205813 717982 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I did jcxz zero < 1385205815 702435 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :zero : ret < 1385205823 30239 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But that didn't seem to work < 1385205833 530645 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Like the ret didn't returl to the proper place? < 1385205858 538937 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you popped the return address off, no wonder. < 1385205895 832216 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I don't think I did when that was there < 1385205899 947773 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well, let's try redoing it < 1385205912 592972 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you don't mind calling conventions, you can just pass parameters (and return values) in registers, in which case it's very simple. < 1385205941 611323 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :factorial: dec cx < 1385205941 769072 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jcxz zero < 1385205941 769221 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : mul cl < 1385205941 926946 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jmp factorial < 1385205941 927117 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : zero: ret < 1385205943 960361 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Seems to work! < 1385205976 61191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It might be more generic if you had the proper initialization of al (to 1) inside the function. < 1385205996 20622 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :al is actually initialized at cl < 1385206018 108197 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm < 1385206023 848706 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I guess that works too, since you decrement before the first multiplication. < 1385206027 305780 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess I need one more label if I want to do the initialization < 1385206041 720044 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can use a label local to the function for the loop, if you like. < 1385206073 736227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(With syntax depending on assembler, but starting with a period is common.) < 1385206130 245775 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :factorial: mov ax, cx < 1385206130 606583 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : doshit: dec cx < 1385206130 764635 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jcxz zero < 1385206130 764900 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : mul cl < 1385206130 765004 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jmp doshit < 1385206130 765108 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : zero: ret < 1385206132 462532 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :There we ho < 1385206133 707219 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :go < 1385206248 714282 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What would the recursive version look like? < 1385206405 2333 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm < 1385206421 191828 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess at each passage in the loop, it would push the stack with the address < 1385206425 293115 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And go back to that point < 1385206458 729944 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In half-pseudo, possibly something like factorial: if ax == 0 { mov ax, 1; ret } else { push ax; sub ax, 1; call factorial; pop cx; multiply ax by cx; ret } < 1385206517 556430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's the "direct" translation of factorial(a) { return factorial(a-1) * a; } < 1385206545 529940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(With the convention of passing the input argument in ax, and the return value in ax too.) < 1385206562 961760 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Er, the latter is missing the termination condition, but anyway. < 1385206579 374156 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :facrec: mov ax, cx < 1385206579 747829 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : dec cx < 1385206579 905705 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : jcxz zerec < 1385206579 905876 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : call facrec < 1385206579 905979 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : mul cx < 1385206579 906083 :Slereah!x@176.222.51.233 PRIVMSG #esoteric : zerec: ret < 1385206583 705975 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Let's try something like this < 1385206650 398711 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm, 0 < 1385206655 655378 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Let's see < 1385206671 690498 :Taneb!~Taneb@5.151.65.168 QUIT :Quit: Leaving < 1385206685 322616 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, you decrement cx all the way to 0, and then return from the deepest "call facrec" right into the mul cx. < 1385206698 77129 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :oh right < 1385206707 392878 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :If it's 0 I need to return cx = 1 < 1385206759 296369 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Still no work, damn < 1385206774 534152 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Let's see < 1385206785 946681 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All your "mul cx"s will use the same cx value. < 1385206801 71781 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :If cx = 2, then ax = 2 < 1385206819 662191 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Once decremented, cx = 1, ax = 2 < 1385206855 477221 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Ah yes, it totally forgets the value of 2 on the second call < 1385206860 206716 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I need to stack < 1385206869 738781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can expand the control flow out what it executes: {mov ax, cx; dec cx;}*n, then {mul cx}*n. < 1385206992 606605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can do the recursive-with-an-accumulator variant -- factorial(x, acc) { if (x == 1) return acc; else return factorial(x-1, acc*x); } -- without using any stack except for the call/ret. (And then convert that to a tail call, after which you've ended back in the original solution.) < 1385207094 83950 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What's a good ASM debugger? < 1385207145 787602 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :debug.com would be in keeping with your DOSBox style, but it might not fit the attribute "good" that well. < 1385207164 184278 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What about "functional" < 1385207221 934459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a gdb stub built in DOSbox, if I remember right, but gdb can be p. iffy for 16-bit code, and I don't have any idea how easy that would be to get going on Windows. Of course the old 16-bit programming environments (Turbo C and such) come with debuggers too. < 1385207587 976972 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1385207705 538945 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Man dosbox is so slow < 1385208715 814405 :nooodl!~nooodl@91.179.129.131 PRIVMSG #esoteric :ctrl f12 a bit? < 1385208810 501609 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I think now is time for food buying, actually < 1385209217 358414 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you know what's infuriating < 1385209242 909757 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :when you've downloaded 0.2% of a torrent and you're already uploading twice as fast as you're downloading < 1385209651 8984 :nooodl!~nooodl@91.179.129.131 PRIVMSG #esoteric :hahaha http://i.imgur.com/0vRuu.png < 1385209794 485059 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :interesting < 1385209944 950687 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :don't want to leave out the general complex case < 1385210019 110805 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1385210068 343439 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :also: http://www.wolframalpha.com/input/?i=what+is+the+planck+length < 1385210120 151721 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am missing beardseconds as unit < 1385210243 405847 :nooodl!~nooodl@91.179.129.131 PRIVMSG #esoteric :Phantom_Hoover: amazing < 1385210347 663474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Comparison as length: ≈ 0.2 x length of a putative string in M-theory" < 1385210647 502323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i didn't think string theory had fixed length strings < 1385210671 934038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose some might < 1385210903 696641 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess they use strncpy with them then aha ah ha. Haa. < 1385211057 33189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : _ _ _ _ _ _ < 1385211057 190804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : _| || |_ _| || |_ _| || |_ < 1385211057 190966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : _____ _____ _____ _____ _____|_ .. _|_ .. _|_ .. _| < 1385211057 191128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|_____|_____|_____|_____|_____|_ _|_ _|_ _| |_||_| |_||_| |_||_| < 1385211069 689141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1385211115 860335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pasting ascii art doesn't mix well with irssi's line joining. < 1385211155 525833 :nooodl!~nooodl@91.179.129.131 PRIVMSG #esoteric :pasting ascii art rarely mixes well with irc < 1385211177 59394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :NONSENSE < 1385212024 555462 :Slereahphone!~slereahph@80.12.100.42 JOIN :#esoteric < 1385212148 103311 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :good morning. how are the rabbits < 1385212184 46584 :Slereahphone!~slereahph@80.12.100.42 PRIVMSG #esoteric :LET ME TELL YOU ABOUT THE RABBITS < 1385212445 808705 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric : __ __ ___ ___ ___ ___ < 1385212446 3011 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :| |_| | | \/ | | \/ | < 1385212446 3106 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :| _ | | \ / | | \ / | __ __ __ < 1385212446 3149 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :|__| |__| |___\/___| |___\/___| |__| |__| |__| < 1385212530 448207 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh no, who gave oerjan the really big swatter? < 1385212532 491850 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I'm scared. < 1385212604 639597 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is that what that was < 1385214236 824778 :Slereahphone!~slereahph@80.12.100.42 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1385214275 874184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just used a temporary magnification ray. < 1385214391 753351 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And back < 1385214395 909473 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Time to cook de meat < 1385214564 777269 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1385214603 351461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : i don't understand why 0^0 is 1, since lim_{x->0+} 0^x is 0... <-- switch 0 and x in that... x^y does not have a limit at (0,0) and you can get several values by approaching along different paths. < 1385214698 393456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so limits are useless for choosing a value. < 1385214963 594953 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :0^0 is undefined < 1385214971 930704 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It is set at 1 by convention < 1385215119 599877 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hmm < 1385215187 724503 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Slereah, well no, it's just that 0^0 doesn't have a single 'nice' extension of the exponential function < 1385215222 131753 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you're going to break useful properties, most importantly continuity, no matter how you define it < 1385215300 405606 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :yes, hence why it is not defined from the definition of the exponential! < 1385215301 86450 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it's normally taken to be 1 because that still preserves things like the number of functions from {} to {} < 1385215320 291575 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Slereah, well neither is x^y for x and y not positive integers < 1385215337 208864 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well yes, it is! < 1385215348 186005 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :x^y = e^(y ln(x)) < 1385215378 533355 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :right but originally it was 'x multiplied by itself y times' < 1385215387 892533 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Sure, back in the 16th century < 1385215438 649479 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :'well what if y is negative' 'make it reciprocal, that preserves the additivity' < 1385215464 385282 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :'Charlie Stross @cstross: This morning got email from a “technical sourcer” at Google, wondering if I wanted a job interview. Told ’em to look me up on wikipedia …' < 1385215472 251940 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nobody is safe < 1385215479 699191 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :'what if y is fractional' 'well make it a root, that preserves multiplicity' < 1385215486 764504 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :etc. < 1385215515 164950 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But what if y is transcendant? :o < 1385215538 992453 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :then you set it to the limit, because obviously you want continuity < 1385215563 451566 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What if y is a matrix < 1385215622 645811 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Phantom_Hoover: fortunately, by that point, 0^0 is already 1 :-) < 1385215657 907180 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :but it's not, because you really want continuity from R^2 -> R < 1385215673 41590 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: then it better be diagonalizable, and we can then apply ^y to each diagonal entry. < 1385215684 831845 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Phantom_Hoover: I don't. < 1385215725 928419 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm happy with the state of affairs where that only works for positive x :) < 1385215736 22596 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :With the exponential definition it is much easier~ < 1385215750 887483 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :e^M = 1 + M + MM/2 + ... < 1385215759 352187 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: 2^2 = exp(ln(2)*2)? good luck ;-) < 1385215761 903695 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :easier to define, not so easy to calculate < 1385215772 984094 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :int-e : Yep < 1385215778 44910 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Pretty easy! < 1385215786 975930 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :ln(1+2) = 1 + x + x² + ... < 1385215796 896281 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :+x* < 1385215809 665910 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :p. sure that expansion doesn't actually work for x outside of a certain range < 1385215824 675420 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It will work for ln(2) < 1385215831 559450 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: no. < 1385215831 759267 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:LogTay.svg < 1385215856 380155 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: it's ln(1+x) = x - x^2/2 + x^3/3 - x^4/4 + - ... < 1385215863 233284 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Maybe < 1385215867 303341 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I don't remember it off hand < 1385215877 568727 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: well I wasn't the one who claimed this was the easy way :-P < 1385215881 2082 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it does actually work for ln(2), just < 1385215911 556007 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I think it basically works for C* < 1385215932 100651 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but now you're talking about holomorphic functions < 1385215941 711486 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :They are the holomorphest < 1385215966 521767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it doesn't work very well for C* because you can't pick a canonical choice of root < 1385216014 680809 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But well < 1385216016 311230 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Anyway < 1385216028 774969 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :x^y is pretty much defined for most things with it < 1385216040 477190 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and how do you exclude ln(1) = 2pi*i ... if you go via the complex numbers? < 1385216059 608010 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Do you mean ln(-1) < 1385216062 839885 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no. < 1385216069 915520 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :ln(1) = 0 < 1385216072 554364 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no < 1385216077 179090 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :(yes) < 1385216079 339075 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :e^(2pi*i) = 1. < 1385216082 28187 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ln(1) = 2npi*i < 1385216088 432254 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :for all integers n < 1385216106 268857 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Except not. < 1385216111 114883 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Because ln is a function < 1385216116 141164 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So it can only have one image < 1385216142 362099 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah: from the positive reals to reals, yes. fine. we never argued about x^y for y>0 anyway. < 1385216150 314707 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or x>0, sorry. < 1385216155 405852 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yes, but the choice of branch cuts you use to obtain that unique image is as arbitrary as 0^0=1 < 1385216174 183035 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well you can define it with a parameter, I guess < 1385216185 669588 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :ln(1,n) = 2npi*i < 1385216243 283159 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no. < 1385216261 105643 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Why not < 1385216292 695131 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the point is that if you want ln() to be continuous, and ln(1) = 0, then by taking the logarith of ln(e^(ix)) for x=0 to 2pi, you end up with ln(1) = 2pi*i. < 1385216481 506096 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Use the Riemann surface < 1385216707 840976 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the principal branch of ln() that people usually use is discontinuous for negative reals) < 1385217153 726395 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1385218568 725786 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :another thing I saw in Akihabara was an adapter which accepts an IEC 60320-C13 (i.e. computer power supply) cable and provides a universal AC outlet (NEMA 5-15 / BS 1363 / Europlug + various grounds) < 1385218590 865565 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know what the use case for that adapter is, but it's an interesting one < 1385219112 201413 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :One thing I found in my closet was a cable where the other end was an IEC 60320-C13 female, while the right end was the ungrounded europlug. < 1385219128 632916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know where that came from, and what the grounding pin of the power-supply-connector side is connected to. < 1385219131 635292 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Probably nothing. < 1385219201 649244 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(But, I mean, ground, right? Who needs that sort of stuff.) < 1385219315 963285 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not japan, that's for sure < 1385219356 181084 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(except for certain large appliances, which have a separate grounding wire that screws to a thingy) < 1385219830 80142 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whatever, things are made of plastic now, and we have GFCIs, and yolo < 1385219843 407202 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i don't get why some thinkpad bricks have ground lines and not others < 1385220003 333836 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1385220079 437577 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(I think "C13 female" is redundant; the inlet is called C14) < 1385220107 618486 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(but this is 100% from reading wikipedia just now to sound knowledgable, as is my custom) < 1385220383 448425 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hell is a torrent stalled at 99.9% < 1385221324 633787 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1385221377 250120 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kmc: i was amused to learn that stross used to work for SCO < 1385222265 704072 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fixed it by turning it off and then on again < 1385223815 705164 :evalj!~jeval@BC064E87.dsl.pool.telekom.hu JOIN :#esoteric < 1385224169 921811 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Since you're thereabouts, how about popping down to Kyoto and checking it out? We was thinking of visiting next summer. < 1385224286 425316 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm flying home tomorrow but I was in Kyoto the other day < 1385224302 681709 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it has a bunch of temples and shrines and such < 1385224305 517803 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you're into that < 1385224383 716213 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool castle < 1385224409 343617 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's a short train ride from Nara and from Osaka, both of which are also worthwhile < 1385224461 429590 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We've visited some kind of Japanese-garden-style of a place pretty much everywhere else we've ever been (when possible), thought it might make sense to go straight to the source, so to speak. < 1385224512 630110 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::) < 1385224513 591395 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :my itinerary for this trip was Suwon, Seoul, Osaka, Nara, Kyoto, Hiroshima, Itsukushima aka Miyajima, Tokyo < 1385224593 682720 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :all were fantastic :) < 1385224618 25679 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in Nara i just kinda showed up at the train station and wandered around, but that doesn't work in Kyoto, the cool stuff is too spread out < 1385224634 100358 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i should have planned more in advance < 1385224749 516250 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We tend to have our trips planned in advance down to the very last detail, though not exactly by my choice. (Admittedly there's a slightly lower risk of "what, I was like right next to this cool thing and didn't even realize", afterwards.) < 1385224755 414111 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(well, ok, I'm not sure Suwon was "fantastic"; I was mostly there for work although there was half a day's worth of stuff to see at least) < 1385224773 99222 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah when i travel alone i tend to plan just in time < 1385224783 566134 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :look on wikivoyage the night before i go out in some city < 1385224805 387011 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :on this trip I spent a lot of time looking for free wifi because I wanted to talk to my friends because i was lonely :/ < 1385224817 667804 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and there's a small window in which the time zones coöperate < 1385224882 501572 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's... seven hours ahead of Finland, I think. < 1385225102 860050 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :speaking of Finland, http://i.imgur.com/zfsNaUl.jpg < 1385225132 753421 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's Finland-themed Japanese fabric softener < 1385225136 222298 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :they had Russia-themed as well < 1385225213 61039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can see the flag, but nothing else in that picture is exactly screaming "Finnish!" at me. < 1385225467 766916 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Skip & Hop! < 1385226038 515144 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this business of coin lockers at train stations &c is fantastically convenient < 1385226054 521152 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :they exist lots of places but mostly not the US or the UK, because terrorism < 1385226261 580088 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :got to sleep now < 1385226264 925681 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good night! < 1385226445 401150 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they don't exist in the UK? that's crazy < 1385226462 440721 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i may have wrong information < 1385226487 753072 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i thought the train stations got rid of coin lockers and trash cans both, thanks to the IRA < 1385226494 448408 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :now you have to get on a train to throw something away < 1385226545 274152 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I know some banks don't have a user-accessible trashcan here < 1385226558 322040 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :
ACTION feels it's convenient that east asia and the UK are both eight hours away from his time zone.
< 1385226571 825074 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but there people can just use a nearby trashcan in the street < 1385226618 501539 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but no trashcan in a railway station would be downright stupid, it would just lead to excessive littering < 1385227608 482444 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1385228317 441730 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Quit: home < 1385228813 854692 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 272 seconds < 1385229126 534743 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385229415 684309 :drlemon!~drlemon@cpe-108-185-0-32.socal.res.rr.com JOIN :#esoteric < 1385229789 692725 :Oj742!~Oj742@c-71-59-199-75.hsd1.or.comcast.net JOIN :#esoteric < 1385230242 960328 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Oh < 1385230265 758717 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Are you guys talking about the lovely idea of removing public trash cans in order to prevent littering? < 1385230299 505768 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Even worse < 1385230303 597673 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Paying public toilets < 1385230306 362689 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can't imagine to whom this sounds as a good idea but I'm no psychology genius. < 1385230308 799821 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What do you do with that < 1385230315 93895 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What if you don't have some coins < 1385230330 631079 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I'm pretty sure it's illegal to shit in the street < 1385230337 681752 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That's kinda the standard in switzerland @pay toilets < 1385230341 648771 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :IT IS A FLAW IN THE SYSTEM < 1385230345 162103 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Unless you're a real men < 1385230359 46375 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*man < 1385230371 473894 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :The Swiss always have money on them though < 1385230389 754937 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yes < 1385230396 535026 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that doesn't mean you have the right coin available < 1385230397 346981 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1385230404 368024 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they don't take 10 CHF Bills . < 1385230433 737922 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/113389132/Misc/20131123-smoking.png I'm sure there's some good, entirely logical reason why it's like this. < 1385230481 565245 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well what do each character mean in both languages < 1385230848 551055 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :'forbidden' and 'smoke' < 1385230850 906330 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :in both < 1385230858 795596 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the chinese one is presumably wrong < 1385230915 469460 :nooodl!~nooodl@91.179.129.131 PRIVMSG #esoteric :alternative translations for the chinese include "no smoking" < 1385230931 773277 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Maybe it is so delicious because it is forbidden < 1385231175 67694 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :http://cs.wellesley.edu/~cs342/handouts/more-assembly.pdf < 1385231176 296909 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Oh boy < 1385231178 123249 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :There's one < 1385231179 765131 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Let's see < 1385231181 520476 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The "rfk86" account at zem.fi just got the following email: "Johnny Clunker was an awkward and shy kid who kept mostly to himself. But when the school day ended he became Johnny B. Fast, a super spy Utilizing super technology so advanced that it seems like magic, Johnny and his friends battle the United Order, a ruthless organization trying to acquire the Super Chip - a computer processor so ... < 1385231187 533372 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... powerful it can virtually hold the world's technology hostage. But when one of his fellow classmates, Nancy Korrins, is also revealed to be a spy kid who was trained by the world's most deadly and advanced agent, Johnny has his hands full trying to figure out if he can trust her to help him capture the Super Chip, or if he has to fight her as his greatest rival." < 1385231263 373384 :Taneb!~Taneb@5.151.65.168 JOIN :#esoteric < 1385231310 858502 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are you running on a Super Chip? < 1385231311 54787 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: great work lonely island afterall. but you dont post shit like that < 1385231768 714945 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What does the instruction pointer refer to, exactly? < 1385231774 458230 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Is it a memory space in the ram? < 1385231786 851285 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And if so, how do you deal with big programs on the hard drive < 1385231793 735852 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Do you transfer it little by little? < 1385231822 454339 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And does that imply restrictions on programs < 1385231852 232378 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Quite rarely do you load code on-demand. Program code doesn't tend to be as large as data. < 1385231866 352837 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Some DOS programs did use "overlays", including (IIRC) NetHack, though. < 1385231878 918167 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Sure, but I'm talking theoretically < 1385231916 510185 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Let's say you have a 10 GB program < 1385231919 378927 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :(Pretty big!) < 1385231955 250831 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Does it mean that you could not do jumps from one end to the other < 1385231965 765832 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Or at least not without complications < 1385231985 142268 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not sure if you want answers related to actual systems or what, if it's supposed to be entirely theoretical. < 1385231989 261584 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The IP refers to a memory address. That address may be mapped to RAM by the OS, or absent; if it's absent, then the OS gets notified and gets a chance to load the code from disk, for example. < 1385232002 826920 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Ah, I see < 1385232022 24699 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: That doesn't sound like a theoretical answer. < 1385232022 192334 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess it goes to the RAM directly in the absence of an OS < 1385232033 126030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyhow, in x86-32, you can't fit 10 gigabytes in the address space. < 1385232034 671768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You really don't have to worry about it unless you write an operating system, or there is no OS to speak of (as was the case under DOS, hence the Overlays that fizzie mentioned.) < 1385232038 171150 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: it wasn't < 1385232051 805946 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And in x86-16, even less so.) < 1385232062 854941 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I yet have to see a program with 10 GB of code :) < 1385232064 878192 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So indeed a ten-gigabyte program would involve complications. < 1385232078 58885 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It would be a pretty sweet program man < 1385232099 80061 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :You could program the universe < 1385232120 749989 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Quit: adu < 1385232141 272095 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You can still load code at runtime if you absolutely have to. (The necessary technology is present in just-in-time compilers, albeit for a different purpose) < 1385232144 870561 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :This afternoon I had my first session of D&D < 1385232157 482134 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Were you a wizard < 1385232159 172183 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Perhaps a < 1385232161 767167 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Computer wizard < 1385232164 893645 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :I was a cleric < 1385232175 798888 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :did you heal any undead? < 1385232177 135177 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :We had a wizard/rogue in the party, though < 1385232179 269959 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A computer cleric? < 1385232187 924499 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :int-e, I had the opportunity, I cannot recall if I did or not < 1385232194 464096 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Stallman is a computer cleric < 1385232277 885937 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :http://lemonodor.com/images/sicp-lecture-wizard-s.jpg < 1385232284 380087 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Sussman is a computer wizard, though < 1385232315 667507 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Who would be the computer barbarian? < 1385232334 795968 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Schneier looks like one, I think. < 1385232357 67571 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I would talk about computer thief, but that might get controversial! < 1385232392 287026 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Snowden? < 1385232412 574298 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :He is the computer spy < 1385232454 65719 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :Computer rogue? < 1385232462 902793 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Perhaps < 1385232463 460605 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :Computer paladin? < 1385232471 746579 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Knuth is the king of computers, I suppose < 1385233516 55784 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :First output from a markov-chain thingy I'm making: "Just the place for a season of woe- But the Snark, with a Snark." < 1385233519 608253 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :(with quotes) < 1385234862 220735 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Snarky. < 1385234993 832144 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1385235079 811090 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :I need to figure out a way to make it parse punctuation as separate tokens < 1385235638 530732 :AnotherTest!~turingcom@94-224-30-45.access.telenet.be JOIN :#esoteric < 1385235945 298904 :Taneb!~Taneb@5.151.65.168 QUIT :Quit: Leaving < 1385236161 327111 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1385236167 474969 :impomatic!~digital_w@87.114.102.71 PRIVMSG #esoteric :Sorry, but McCarthy = king of computers. :-) < 1385236182 886250 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1385236226 673902 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Damn that man and his anticommunist policies! < 1385236425 742798 :Oj742!~Oj742@c-71-59-199-75.hsd1.or.comcast.net QUIT :Ping timeout: 252 seconds < 1385236476 697715 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :"if your grave doesnt say "rest in peace" on it you are automatically drafted into the skeleton war" < 1385236480 910886 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :True fact. < 1385237085 656690 :coppro!raedford@taurine.csclub.uwaterloo.ca NICK :coppro|nospoiler < 1385237290 749768 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run python -c 'l = [[0]]*2; l[0][0] = 1; print l' < 1385237296 70377 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​[[1], [1]] < 1385237339 171812 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`? < 1385237341 186697 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​? ¯\(°_o)/¯ < 1385237341 941921 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69       | < 1385237342 100085 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69     o/`¯º < 1385237384 72718 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :? _/..\ < 1385237868 111274 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1385238421 477793 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Regarding the use case for your adapter, perhaps the idea was that you're going to have a large piles of those computer power supply cables (with wall-plugs proper to your walls) anyway, so they can sell their universal outlet to a wide audience without having to worry about the "input side". < 1385238461 96802 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A large piles, yes. < 1385238615 278864 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i am aware of the fact x^y has no limit as 0^0. what i don't understand is why CAS implementers picked 1 < 1385238872 612039 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :because amongst other things x^y is the number of functions from a set of cardinality y to one of cardinality x, and there's 1 function from the empty set to itself < 1385238895 409740 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :0^0=1 also cleanly extends some combinatorial identities, afaik < 1385240576 862618 :muskrat!musk@dyn2-85-23-163-95.psoas.suomi.net JOIN :#esoteric < 1385240654 910473 :zzo38!~zzo38@173.180.197.16 JOIN :#esoteric < 1385240661 381798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: intuitively, consider the fact that polynomials and power series are among the most important objects in mathematics, and the sum_{i=0}^n a_i x^i formulation only works if x^0 = 1 without exception. < 1385240912 372739 :Taneb!~Taneb@5.151.65.168 JOIN :#esoteric < 1385242026 430848 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oerjan, btw, does the axiom of regularity require that it's impossible to do an 'infinite descent' through a set? < 1385242040 157478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, that's equivalent. < 1385242072 865358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and was iirc von neumann's original formulation. < 1385242083 461445 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh, it says exactly that in the fourth line of the wp article < 1385242101 954106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is about where i last read it. < 1385242114 744473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although not the first time, i think. < 1385242255 905456 :zzo38!~zzo38@173.180.197.16 PRIVMSG #esoteric :What is an "infinite descent" through a set? < 1385242290 631978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: an infinite sequence such that x_0 is in the set and x_{i+1} is an element of x_i. < 1385242305 904574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, x_0 might just be the set. < 1385242336 716570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm or maybe von neumann's original formulation was the thing about ordinal rank. < 1385242421 253178 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1385242511 25944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wikipedia's history section disagrees, maybe. < 1385242511 501614 :zzo38!~zzo38@173.180.197.16 PRIVMSG #esoteric :oerjan: O, that's what it is. < 1385242544 361300 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I've heared of that infinite descent thing but that's so ugly complicated that it shouldn't be an axiom. < 1385242555 308687 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the current formulation fo the axiom of regularity is much better < 1385242567 698871 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the set ranks should be the theorem < 1385242601 855491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems von neumann had a simple formulation. < 1385242627 527375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :however, the entire _point_ of the axiom is to rule out the infinite descent stuff. < 1385242655 567009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and get the ranks. < 1385242671 732021 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes. and? < 1385242680 400264 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the simple formulation still should be the axiom < 1385242688 27983 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's easier to work from there < 1385242712 238244 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(not that you really need regularity for anything) < 1385242712 490634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm saying it shouldn't be given alone since it obscures the purpose. < 1385242807 972288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe < 1385242843 612994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :people care about the elegance of ZFC axioms? :/ < 1385242886 87995 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Eleven herbs and axioms < 1385243065 863425 :typeclassy!~user@ool-3f8ff78a.dyn.optonline.net JOIN :#esoteric < 1385243227 476973 :zzo38!~zzo38@173.180.197.16 QUIT :Quit: zzo38 < 1385243233 240472 :gigimoi!47ddec0b@gateway/web/freenode/ip.71.221.236.11 JOIN :#esoteric < 1385243359 522489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION smells a haskeller
< 1385243393 815252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`WeLcOmE typeclassy < 1385243396 420252 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :TyPeClAsSy: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN AnD DePlOyMeNt! FoR MoRe iNfOrMaTiOn, ChEcK OuT OuR WiKi: . (fOr tHe oThEr kInD Of eSoTeRiCa, TrY #eSoTeRiC On iRc.dAl.nEt.) < 1385243413 496189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`WELCOME gigimoi < 1385243415 699654 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :GIGIMOI: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: . (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) < 1385243433 724972 :gigimoi!47ddec0b@gateway/web/freenode/ip.71.221.236.11 PRIVMSG #esoteric :hola < 1385243439 589176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1385243448 672876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`bienvenido gigimoi < 1385243450 876360 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :gigimoi: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/wiki/Main_Page. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) < 1385243463 223178 :gigimoi!47ddec0b@gateway/web/freenode/ip.71.221.236.11 PRIVMSG #esoteric :I'm not spanish : ) < 1385243479 749954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ARE YOU SURE < 1385243498 216662 :gigimoi!47ddec0b@gateway/web/freenode/ip.71.221.236.11 PRIVMSG #esoteric :Not 100%, but pretty sure. < 1385243525 461827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we have a regular inflow of spanish people getting here and getting confused. we think it's because the channel name starts with es. < 1385243546 391918 :gigimoi!47ddec0b@gateway/web/freenode/ip.71.221.236.11 PRIVMSG #esoteric :Lol. < 1385243546 717740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, sometime regular. it's been a while since the last one. < 1385243622 149635 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe < 1385243662 576171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :strictly speaking, not spanish, i think an unusual number are venezuelan. < 1385243694 237980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but suffice to say that i now have a reflex action on newbies saying "hola". < 1385243699 533173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+it < 1385243755 719079 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh that's news to me. "" < 1385243755 879133 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Javascript is required to use IRC. < 1385243788 103489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least to past quotes properly inside quotes. < 1385243791 318074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*paste < 1385243798 318616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lso to spel corectly < 1385243841 33637 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I did place the cursor between "" and then I pasted ... but a newline defeated my perfect plan. < 1385243849 962001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspected. < 1385243890 978304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone is being secretive. < 1385243901 570592 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's irssi. :P < 1385243922 132697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspected that, since i have it too and pasting is a regular annoyance. < 1385244156 814398 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1385244355 117445 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I'm actually wondering why firefox put a newline there, all I did was triple click on the first line of https://webchat.freenode.net/ (without javascript enabled, obviously). < 1385244383 527557 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I guess it boils down to stupid software being stupid. < 1385245016 921099 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1385245209 522256 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Read error: Connection reset by peer < 1385245226 302289 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1385245725 244934 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Ping timeout: 245 seconds < 1385245797 704319 :AnotherTest!~turingcom@94-224-30-45.access.telenet.be QUIT :Ping timeout: 252 seconds < 1385245828 244268 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1385246021 704496 :typeclassy!~user@ool-3f8ff78a.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1385246354 375970 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385246417 674833 :evalj!~jeval@BC064E87.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1385247157 558495 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hey < 1385247160 949966 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hey people < 1385247177 554638 :nooodl!~nooodl@91.179.129.131 PRIVMSG #esoteric :`ello quintopia < 1385247179 884301 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :quintellopia < 1385247191 819533 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :http://mathoverflow.net/questions/149620/easy-way-to-prove-that-this-algorithm-eventually-terminates solve this thing! < 1385247201 245042 :Kevin!6b05b588@gateway/web/freenode/ip.107.5.181.136 JOIN :#esoteric < 1385247226 622753 :Kevin!6b05b588@gateway/web/freenode/ip.107.5.181.136 NICK :Guest6589 < 1385247405 127768 :Guest6589!6b05b588@gateway/web/freenode/ip.107.5.181.136 QUIT :Client Quit < 1385248211 314532 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net QUIT :Quit: adu < 1385248379 25911 :adu!~ajr@pool-173-73-0-86.washdc.fios.verizon.net JOIN :#esoteric < 1385249346 398692 :typeclassy!~user@ool-43512043.dyn.optonline.net JOIN :#esoteric < 1385249797 316274 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Quit: Leaving... < 1385250358 343925 :typeclassy!~user@ool-43512043.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1385250398 75936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: hi did you ever read that thing