< 1311897863 880272 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1311897959 525366 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 246 seconds < 1311899521 367926 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1311903467 601330 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1311903508 630053 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :coppro, sure < 1311903553 217089 :itidus21!~itidus20@c210-49-78-148.dandn3.vic.optusnet.com.au JOIN :#esoteric < 1311903721 616390 :itidus20!~itidus20@c210-49-78-148.dandn3.vic.optusnet.com.au QUIT :Ping timeout: 258 seconds < 1311903791 730206 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :coppro, ? < 1311903822 517165 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: someone else already did < 1311903825 608679 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :thanks though < 1311903835 849159 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Ah, ok < 1311904015 772522 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : total used free shared buffers cached < 1311904015 825358 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Mem: 16037 7654 8383 0 353 5648 < 1311904015 825576 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :-/+ buffers/cache: 1652 14385 < 1311904015 825688 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Swap: 4094 6 4088 < 1311904022 411321 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :how the heck... < 1311904026 504535 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :how can I be using swap!? < 1311904033 717127 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I mean. come ON < 1311904056 886862 :pikhq_!~pikhq@174-22-154-115.clsp.qwest.net PRIVMSG #esoteric :The kernel doesn't unswap pages except on demand. < 1311904067 522094 :pikhq_!~pikhq@174-22-154-115.clsp.qwest.net PRIVMSG #esoteric :This is generally a pessimisation. < 1311904084 311156 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :pikhq_, well no issue here, I'm just confused that I started using swap at all < 1311904089 742430 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I haven't been doing anything heavy < 1311904120 188002 :pikhq_!~pikhq@174-22-154-115.clsp.qwest.net PRIVMSG #esoteric :Hmm. 16 gigs? Yeah, it'd be pretty hard to make that swap. < 1311904134 55169 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :pikhq_, indeed < 1311904139 509563 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :$ swapon -s < 1311904139 582687 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Filename Type Size Used Priority < 1311904139 634732 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :/dev/sda3 partition 2096476 3096 1 < 1311904139 634940 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :/dev/sdb3 partition 2096476 3096 1 < 1311904140 554081 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :so uh < 1311904143 233188 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :how did that happen < 1311904611 930411 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 255 seconds < 1311904762 540856 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1311904908 991332 :cheater!~ubuntu@g229162034.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311905080 524150 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :boo! < 1311905080 613355 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. < 1311905151 492282 :CakeProphet!~adam@h249.29.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1311905151 563795 :CakeProphet!~adam@h249.29.18.98.dynamic.ip.windstream.net QUIT :Changing host < 1311905151 616262 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1311905233 350261 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : WHAT COULD POSSIBLY. BUT _POSSIBLY_. GO WRONG??????? < 1311905235 771975 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :No. < 1311905313 883852 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311905483 857177 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1311905693 246696 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : The person who formulated the Sanskrit language < 1311905738 203209 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :essentially inventing something like BNF millennia before bachus-naur were born, afaiu < 1311905766 8196 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and, iirc, with a smattering of Perligata, except sanskrit rather than latin. < 1311905902 358632 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1311905917 685011 :jcp|other!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1311905940 539372 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1311905986 869235 :jcp|1!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 252 seconds < 1311906000 52580 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : CakeProphet: you're the only person who consistently complains about other people being rude to you, so either there's institutionalised oppression or you're just misreading tones < 1311906025 198604 :jcp!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 250 seconds < 1311906027 463515 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : (jerk) < 1311906125 632993 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*+his < 1311906449 745061 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1311906629 405639 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : But barely any esoteric markup or query languages < 1311906646 243074 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311906647 26650 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :would zzo's texnicard count? < 1311906649 706036 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :welp < 1311906657 712988 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hello < 1311906663 355365 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1311906672 655976 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :I'm writing impossible to read code into a commercial lib :o < 1311906689 926861 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :how job securing < 1311906692 532247 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oerjan, suggestion intercal/sql hybrid. Both are traditionally upper case < 1311906743 425493 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :FROM .1 <- SELECT PLEASE (222) NEXT. < 1311906747 477519 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :heh < 1311906756 930611 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oerjan, joins could be done with COME FROM < 1311906769 720110 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :SOMEHOW < 1311906794 745896 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i wonder if INTERCAL has a suitable set of instructions for monadic use. < 1311906838 525375 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :oerjan: basically I'm writing Arm SIMD code < 1311906846 357933 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :it's 2~4 times faster than C++ < 1311906859 484846 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1311906880 428200 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :But because math operations are pipelined you have to scramble your code to make it go faster < 1311907029 588871 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :^scramble your code < 1311907029 677864 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :yu oedcro < 1311907045 379412 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good job fungot < 1311907046 71222 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :monqy: whenever the quota for this referendum must list both the current players. if the < 1311907053 711433 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if the what < 1311907055 689438 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :you get 2 operations per cycle! < 1311907069 98020 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :but one of them has to be math and one of them has to be load/store < 1311907095 427653 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :also if you start a multiply the result isn't available until 5 or 6 cycles later < 1311907102 864542 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :if you read it before that it stalls < 1311907121 123586 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :this is the kind of thing a good compiler _should_ be able to do by itself, right? < 1311907137 522420 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :Dunno < 1311907166 245751 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :There are intrinsincs for C++, maybe the compiler produces good code with those < 1311907176 720732 :madbr!~k@98.143.212.28 PRIVMSG #esoteric :Also dunno if compilers do pipelining < 1311907906 492774 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311908423 991309 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311908425 99693 :jcp|1!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1311908462 794479 :jcp!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 240 seconds < 1311908547 460545 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311908554 29837 :jcp|other!alex@bzflag/contributor/javawizard2539 QUIT :Ping timeout: 255 seconds < 1311908740 923244 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1311908820 132446 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1311908837 463487 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 246 seconds < 1311908964 333621 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311909444 119 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Pratchett without footnotes = fail < 1311910151 962110 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1311910424 814251 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311910435 151441 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 276 seconds < 1311910915 680776 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311911192 713841 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311911460 987796 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 276 seconds < 1311911495 583358 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1311911561 583451 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311911815 687156 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311911905 29057 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311912106 835699 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1311912237 623682 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311912882 740419 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311913307 319673 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311913437 465334 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311913575 832856 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MSleep < 1311913846 946361 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311913983 146131 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311914420 63880 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311914478 929152 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 252 seconds < 1311914873 27321 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311914966 289972 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311915235 788230 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1311915406 468437 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311915541 590012 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311915907 143658 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311916063 207918 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311916409 410134 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311916555 698718 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311916637 652417 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :11:08:35 But they always change it to the Magic the Gathering/Brainfuck idea. < 1311916640 818794 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :11:08:46 Seems more like a persistent person. < 1311916653 480148 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :actually it's simply changing it to the very oldest version of the page. < 1311916682 820885 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why is this channel so sleepy of late < 1311916692 869721 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :only a few hours activity each day < 1311916700 907475 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :quintopia: vacation time? < 1311916710 125814 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :makes sense < 1311916716 627644 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thats where ive been < 1311916751 148531 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :perhaps there's some kind of link which causes that oldest version to be saved, which a spambot has picked up. < 1311916777 662701 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :or maybe it has a very broken way of following links. hm. < 1311916829 354794 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well can you lock it to reversion? < 1311916912 158604 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311916941 558569 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i'm not an admin. < 1311916955 917239 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah < 1311917066 359928 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311917457 163398 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311917552 623551 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311917564 670643 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Or otherwise i'd have banned Nthern for not responding to my messages. Grmle. < 1311917572 480791 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*Grmble. < 1311917620 235102 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :icwutudidthar < 1311917645 567819 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :usure? < 1311917818 23424 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 276 seconds < 1311917958 143186 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311918087 75817 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311918285 144164 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1311918455 934216 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311918592 92564 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311919070 785482 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311919198 426279 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311919569 953818 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311919692 159650 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311920186 172370 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311920342 312199 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311920686 848977 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311920812 901270 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311921186 359093 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311921327 529133 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311921684 909996 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311921822 994031 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311921910 697454 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311922200 966543 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311922332 182153 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311922845 561186 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311922970 657185 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311923348 311760 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311923500 474830 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311923848 361231 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311923982 474528 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311924057 496987 :Taneb!540d59f6@gateway/web/freenode/ip.84.13.89.246 JOIN :#esoteric < 1311924351 444896 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :Has anybody cared to make a category for languages where the computation always terminates? They form quite an important subclass of languages. < 1311924351 516559 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311924428 199277 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :this class of languages has seen a lot of research, too, such as Curry's ?I calculus ('53). < 1311924428 550969 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311924475 852287 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: leaving < 1311924484 228829 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311924613 313660 :Taneb!540d59f6@gateway/web/freenode/ip.84.13.89.246 PRIVMSG #esoteric :@Taneb test < 1311924613 405171 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1311924861 956811 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311924997 54630 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311925168 536431 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :and, for instance, almost all "regular" mathematical functions are computable by languages that only have loops that always terminate. Ackermann's function is not one of them. :) < 1311925228 905132 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311925232 284300 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :Ah, I misremembered ?I's computational class - but what about primitive recursive functions? < 1311925361 622450 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311925368 777239 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Excess Flood < 1311925382 423270 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :languages where computation always terminates fall into one of a number of classes < 1311925397 639148 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :hence http://esoteric.voxelperfect.net/wiki/Category:Computational_class < 1311925431 461398 :lament!~lament@S0106002312fa554a.vc.shawcable.net PRIVMSG #esoteric :oh wait, nevermind. < 1311925511 754974 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311925527 525276 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311925527 579271 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Excess Flood < 1311925543 20970 :itidus21!~itidus20@c210-49-78-148.dandn3.vic.optusnet.com.au NICK :itidus20 < 1311926014 440796 :Taneb!540d59f6@gateway/web/freenode/ip.84.13.89.246 PRIVMSG #esoteric :I still need a name for my esoteric markup langauge < 1311926040 844883 :Taneb!540d59f6@gateway/web/freenode/ip.84.13.89.246 PRIVMSG #esoteric :Boxen? < 1311926052 299355 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311926192 405757 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311926298 755320 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :lament: yes, the class of always-terminating languages is missing from there < 1311926338 41217 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :also, while important theoretically, the Chomsky hierarchy of languages is by no means the only, or even the most important, classification criterion. < 1311926437 271488 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311926552 80836 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311926688 212847 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311927166 90766 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311927304 215353 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311927391 462054 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1311927410 348615 :lament!~lament@S0106002312fa554a.vc.shawcable.net QUIT :Read error: Operation timed out < 1311927412 529886 :Taneb!540d59f6@gateway/web/freenode/ip.84.13.89.246 QUIT :Ping timeout: 252 seconds < 1311927786 612528 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311927926 781719 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311927987 815240 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1311928394 319855 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311928523 333044 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311928895 20309 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311929022 120532 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311929395 31085 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311929526 193902 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311929899 424195 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311930026 539898 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311930407 405758 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311930536 567927 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311930909 369115 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311931040 536402 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311931408 160119 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311931550 327152 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311932014 301236 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311932150 475259 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311932515 319195 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311932662 593193 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311933016 334758 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311933143 482426 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311933516 50509 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311933630 503561 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311934014 554560 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1311934016 977622 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311934039 588683 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :another ddr video! http://www.youtube.com/watch?v=yueZ1Dsm9JI \o/ < 1311934158 364101 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311934176 414649 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1311934548 363376 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311934675 305067 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311935046 974887 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311935182 340964 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311935548 436036 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311935675 490906 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311936048 117153 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311936179 194830 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311936549 568544 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311936687 573869 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311937049 268301 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311937182 447718 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311937662 574215 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311937795 532164 :Nisstyre!~nisstyre@infocalypse-net.info QUIT :Ping timeout: 255 seconds < 1311937795 685895 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311937879 330090 :Nisstyre!~nisstyre@infocalypse-net.info JOIN :#esoteric < 1311938162 507349 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311938297 682679 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311938663 309473 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311938789 386217 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311939163 776262 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311939301 942932 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311939658 476527 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311939770 449130 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311939903 551645 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311940271 372733 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311940395 524548 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311940774 291346 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311940918 695932 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311940922 142568 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1311941276 734826 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311941397 765765 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311941472 879164 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1311941776 608978 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311941902 776524 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311942276 581765 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311942412 664039 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311942896 400062 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311943025 459153 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311943334 359265 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311943407 524114 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311943423 670050 :pikhq_!~pikhq@174-22-154-115.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1311943429 756143 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net JOIN :#esoteric < 1311943562 678208 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311943929 800312 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311944067 892769 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311944433 522689 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311944575 551400 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311944936 721183 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311944970 417781 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 252 seconds < 1311945057 860693 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311945471 901359 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311945571 747335 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311946079 537607 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311946210 709003 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311946580 690015 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311946716 821193 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311947080 897861 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311947212 120527 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311947686 948268 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311947811 876411 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1311947812 92827 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311947816 70863 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hello < 1311948179 407486 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 . < 1311948295 393543 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311948309 471627 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :What's an unimplemented esolang deserving implemenation < 1311948311 750780 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :? < 1311948424 612224 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311948542 919734 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Just do Category:Unimplemented in alphabetical order. < 1311948551 166044 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :For the common good. < 1311948667 704725 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Good idea! < 1311948680 732782 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :0x29c! < 1311948916 619309 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311949278 393497 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1311949435 575759 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311949731 973353 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 260 seconds < 1311949831 687635 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1311949835 548224 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :INTERNET < 1311949835 601367 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 7 new messages. '/msg lambdabot @messages' to read them. < 1311949864 658974 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311949870 175246 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1311949938 915654 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Remote host closed the connection < 1311949939 589887 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311950252 148794 :Slereah!x@ANantes-259-1-192-117.w90-49.abo.wanadoo.fr QUIT : < 1311950286 994341 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1311950371 752373 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311950578 939419 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311950848 351559 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1311950964 453301 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311951117 975408 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311951597 336645 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 250 seconds < 1311951692 140879 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311951880 402955 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1311951951 978306 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311951982 964201 :MSleep!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MDude < 1311952213 862185 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311952214 556056 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311952276 182745 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311952339 286618 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311952492 407908 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :"EDIT: Thanks to everyone who wrote with an explanation, especially the electronics engineers. I now have about 11 different plausible explanations for this behaviour. Only 3 of which involve actual time warps. :-) < 1311952496 481941 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :" < 1311952554 658562 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :(on yesterday's iwc annotation) < 1311952577 80300 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Oh DMM < 1311952589 820985 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Today's annotation is pretty funny < 1311952641 265908 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :however, it may be assumed that hordes are attracted to hoards. < 1311952657 778427 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :There is little data on the reverse < 1311952675 970450 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1311952698 950058 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well i'm sure genghis khan got plenty of tribute < 1311952724 580554 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :True, that < 1311952779 769714 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311952793 346078 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 250 seconds < 1311952906 89020 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :interestingly, that edit above could have fit just as well in CoAP. where it seems to me DMM is making a much larger fraction of the posts than he used to... < 1311952953 206052 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I put events from my life into CoAP, what's saying DMM doesn't? < 1311952959 184733 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :heh < 1311952973 466649 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Today's CoAP is a DMM work! < 1311953039 754125 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :...let's hope it's not based on a real life event. < 1311953082 351310 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Actually, DMM and the comic irregulars do a lot at work that isn't necassarily work < 1311953090 275395 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Such as writing Darths and Droids < 1311953113 81753 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes, but at least they _claim_ to do it during lunch hour < 1311953145 649951 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :And making the CiSRA puzzles < 1311953154 502128 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Which is backed by Canon, so it may be work < 1311953159 982779 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes, but that might be something ... right < 1311953218 595613 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i just have this image of DMM being the world's best time planner. < 1311953250 317337 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :He is a time ninja < 1311953273 425782 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :CoAP? < 1311953280 89655 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :comments on a postcard < 1311953281 554651 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Comments on a Postcard < 1311953285 717585 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, that one. < 1311953294 19305 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*CoaP in that case, but whatever. < 1311953317 289983 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION is busted < 1311953320 368109 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : He is a time ninja < 1311953328 248800 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :This is the real reason his clock is running slow. < 1311953412 256340 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :this reminds me of someone mentioning that one of tvtropes' memes is wild mass guessing "* is a time lord". i wonder if someone put it on a DMM related page... < 1311953412 401380 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311953447 577226 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, I have a suspicion that it'll be part of a crackdown at some point. < 1311953458 162888 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Given TV Tropes' recent swerves towards awfulness. < 1311953510 525064 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :google doesn't find either "DMM is a time lord" or "David Morgan-Mar is a time lord", anyway < 1311953527 106506 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You know your duty. < 1311953558 627181 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Speaking of the CiSRA puzzles, anyone want to form a team < 1311953568 35459 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i avoid my duties by carefully never registering to anything new < 1311953648 923752 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I've got a few of the answers in 1D < 1311953686 189338 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :6 is Iguanas in Pyjamas, 7 is Seal or no Seal, 9 is Harry Otter, 14 is Swan with the Wind < 1311953830 20606 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311953930 168356 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311953930 349161 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311954451 371051 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311954596 413077 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311954971 828896 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311955097 964966 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311955528 823281 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311955612 138122 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 260 seconds < 1311955612 724662 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311955723 718200 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311955745 327707 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311955843 735811 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net JOIN :#esoteric < 1311956027 897010 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311956127 210532 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311956303 141860 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1311956369 486203 :lament!~lament@S0106002312fa554a.vc.shawcable.net QUIT :Ping timeout: 258 seconds < 1311956583 390117 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1311956596 94131 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311956696 361383 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 246 seconds < 1311956885 118746 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.reddit.com/r/math/comments/j297s/if_g_o_f_is_surjective_why_doesnt_g_need_to_be/ < 1311956891 349415 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I can make head nor tail of this question. < 1311957046 740996 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311957046 952876 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311957167 96465 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :aibohphobia < 1311957172 844834 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The fear of palindromes < 1311957311 730333 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :he should have used notation more suitable for ascii < 1311957416 428313 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311957499 860542 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well the title has g and f switched, anyway < 1311957518 348682 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes. < 1311957534 580999 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :because if g o f is surjective, then g definitely is. < 1311957585 146933 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :But the answers confuse me even more, because none of them are the obvious reply. < 1311957681 478496 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311957687 567884 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1311957712 148508 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well it's obvious from the actual question that he meant to ask about f o g, in which case g doesn't need to be surjective. < 1311957739 594703 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1311957761 961218 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, yeah, but the answers to *that* make no sensee. < 1311957764 23605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*sense < 1311957836 730078 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311957948 696505 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :frozenzephyr's answer looks clear enough... < 1311958106 165099 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311958159 274154 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, yes. < 1311958257 771847 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311958369 951867 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311958581 727061 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1311958657 772326 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311958801 901145 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311958914 906060 :Behold!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1311958936 827006 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Ping timeout: 255 seconds < 1311958953 973227 :Behold!~behold@unaffiliated/beholdmyglory NICK :BeholdMyGlory < 1311959233 920735 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311959262 98524 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311959275 871937 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311959399 861668 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311959557 815387 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311959799 959373 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311959942 903187 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311959946 371641 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.bay12forums.com/smf/index.php?topic=56305.0 < 1311959952 348786 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh my god this is amazing. < 1311959955 419061 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Bay 12? < 1311959962 91753 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :DF. < 1311959964 193327 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That sounds like Dwarf Fortress < 1311960050 861010 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 264 seconds < 1311960059 95304 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It is. < 1311960081 825800 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Dwarf Fortress science seems to be along the lines of "how can we trick the game into letting us do X implausible thing?" < 1311960107 540091 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :If real-world science was like that I would be happy. < 1311960132 140094 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :If real world science was like that, everyone would be a scientist < 1311960134 106825 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Although it's engineering, not science. < 1311960231 692714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, it's science if you don't know what the rules are, and engineering if you do < 1311960300 904318 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yeah, and this is a kind of blend of the two, I suppose. < 1311960301 778867 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311960308 349726 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :"Okay, class, today we'll be making a perpetual motion engine! Urist McStudent, you grab a pickaxe and dig a channel to this pattern, Solon McPupil, you start filling those buckets with water" < 1311960331 741015 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311960334 8526 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They know the rules pretty well, but not the exact particulars relevant to the problem. < 1311960355 838251 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It's SCIENCE is more fun to say than It's ENGINEERING < 1311960389 468705 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I base all my desicions on what is more fun to say < 1311960422 287934 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://df.magmawiki.com/index.php/DF2010:Tower-cap < 1311960435 769035 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, that 'fun' in the DF sense? < 1311960450 523305 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Almost. < 1311960454 795995 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :" The concept of things smaller than monarch butterflies, however, has led to enormous controversy. Although, obviously, it would be hard to see something smaller than a butterfly, it should be possible to show that it exists because, just like butterflies, it would sometimes get stuck in doors and prevent them from closing." < 1311960491 702607 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(For those who forgot or are scum and haven't read Boatmurdered, the fall of Boatmurdered was largely due to a butterfly jamming a crucial door.) < 1311960525 561858 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have read Boatmurdered, but I forgot < 1311960532 827175 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :me too < 1311960538 247968 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought the fall of Boatmurdered was largely due to people deliberately trying to kill it, though < 1311960538 665800 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I couldn't get into Boutmurdered < 1311960555 385424 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :...I've just had an idea < 1311960583 616317 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Us lot, doing a bloodline game! < 1311960583 889365 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, well, ISTR that the disaster that brought it to its knees and final tantrum spiral was that the main doors weren't closed in time after the lava flood was triggered. < 1311960596 322838 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, regrettably, neither me nor ais have played DF. < 1311960598 54259 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of us don't play DF < 1311960610 248305 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Even. Better. < 1311960615 854688 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Lymee has, but I wouldn't let Lymee near anything I wanted to survive for more than twenty seconds. < 1311960619 471441 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 250 seconds < 1311960627 81395 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, can it wait until next Monday? < 1311960635 499120 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Probably < 1311960655 813385 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on a PC, I tend to only (although not exclusively) play open-source games < 1311960655 998627 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric : Lymee has, but I wouldn't let Lymee near anything I wanted to survive for more than twenty seconds. < 1311960658 477249 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Even better < 1311960661 209437 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the ones that aren't, I've generally paid money for < 1311960671 907651 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :Phantom_Hoover, is that so? < 1311960681 971913 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although a couple came free with packets of breakfast cereal < 1311960682 265780 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :You can pay money for Dwarf Fortress if you reeeaaally want to < 1311960688 721266 :Lymee!~moe@unaffiliated/cirno-chan PRIVMSG #esoteric :Would you like to see what I do if I want a fortress dead? < 1311960692 813605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Lymee, THE PAIN OF ELLIOTT'S RUTIAN TEST SERVER STILL STABS AT MY HEART < 1311960711 254405 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :THE SPIDERS, OH GOD, THE SPIDERS < 1311960718 114993 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Or you can put it on a memory stick and put it in your cereal box < 1311960769 571036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1311960778 154759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just because it's happened so far, doesn't mean it'll always happen in future < 1311960843 885716 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311960983 546819 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Lymee, also, killing a fortress... isn't the hardest thing. < 1311961015 208496 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : Actually, a good way to make a fort invasion-proof is to make the entrance be a "magma elevator", a 1-tile shaft filled with magma, that is kept from falling all the way down by a set of pumps. Since dwarves are not subject to temperature while falling, as it was proved on the Last Stand thread, your dorfs would fall through several levels of magma unharmed, while any flying foe that attempted to do the same would be burned to a crisp < 1311961016 725556 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :instantly. < 1311961041 745115 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I once tried to make an indoor fishing place. It worked. < 1311961047 628006 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Until it didn't. < 1311961079 108324 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Ended having a river flooding into my fortress < 1311961131 21497 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :brb < 1311961275 836888 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311961419 21013 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311961445 270164 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311961490 339735 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :When I tried to play DF I just ended up tripping over my own perfectionism. < 1311961638 648566 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION is undecided whether to return his new Nook Touch and wait to see what the new Kindle will be like, or to get a Sony, or what < 1311961748 842776 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I think you want neither of all those things < 1311961775 25749 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311961775 365295 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, the origin of suffering is desire for e-book readers. < 1311961798 904413 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311961809 715925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: can I persuade you to mindlessly boycott Sony without telling you why? < 1311961819 998173 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, no. < 1311961827 674158 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I was just wondering < 1311961830 994150 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Well, you might be able to, but I don't see how < 1311961838 58002 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And if I knew about it, I'd stop < 1311961850 787543 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, if you don't boycott Sony, ais523 will find you and hit you. < 1311961876 735779 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, may I ask why you'd want me to boycott Sony? < 1311961886 542797 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: sure, it's IRC, you can ask anything < 1311961891 861938 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I didn't say I wanted you to boycott Sony < 1311961902 532764 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just said I wondered whether I could persuade you to < 1311961941 527149 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think I may be too easily persuadable < 1311961954 760772 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Persuaded to get a Nook :/ < 1311961995 94455 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Although most of my issues are things that could in theory be fixed in updates < 1311962001 491401 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :s/most/all/ < 1311962088 957431 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the screaming of the damned will be greatly reduced in the next version < 1311962104 84430 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :also the head of hitler < 1311962115 106283 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :they've got a workaround for that already < 1311962152 175889 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yeah they'll just keep the brain in a jar. although it's said someone at canon may have a patent on that. < 1311962257 39550 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have a couple of ebook readers...kindle for android, something kindle-like for ipod, calibre's built-in reader... < 1311962257 365354 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311962269 918644 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :these all have all the things i'm looking for in a reader < 1311962274 430343 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :aka "free" < 1311962297 207510 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 260 seconds < 1311962299 165077 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :quintopia, is 'working' not another? < 1311962341 665961 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i could hardly call them readers did they not display text in a readable form, could i? < 1311962420 106577 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :On some level, perhaps. < 1311962480 295391 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1311962485 969215 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :they work and i did not pay for them. i am satisfied. < 1311962562 824552 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311962567 299711 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :someday when i have disposable income, and e-ink is true color and fast, i'll consider getting something with that < 1311962669 827844 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311962698 633997 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :imagine an e-ink laptop that is front-lit by a single led in the keyboard base. < 1311962712 879366 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that thing would use so little power if done right < 1311962795 941692 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Imagine an unlit e-ink laptop, and one of those "shake and it produces enough energy for the LED" flashlights that you hold with the other hand. That thing would be so user-friendly, it's not even a thing. < 1311962796 122879 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311962844 970104 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fizzie, well, your average redditor wouldn't have a problem with the hand movement. < 1311962873 889344 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311962931 696458 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*chirp* < 1311962995 964834 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION chirps in real life < 1311963006 598711 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :charp < 1311963008 568781 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I actually got quite good at doing chirps, and I'm not entirely sure why < 1311963011 249499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, ah, you are a giant insect. < 1311963019 437805 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cherp < 1311963024 360546 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :THAT EXPLAINS THE BEARD < 1311963032 203721 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wait i thought Gregor was the giant insect < 1311963052 36823 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, antisemite. < 1311963081 957262 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :no, dung beetle < 1311963094 798360 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311963114 231467 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hard to tell the difference, i know < 1311963166 525261 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311963212 888066 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311963358 172164 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311963555 726408 :cheater!~ubuntu@g229161172.adsl.alicedsl.de PRIVMSG #esoteric :O HI < 1311963580 988734 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1311963713 873118 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311963791 818540 :angstrom!~Unknown@unaffiliated/angstrom JOIN :#esoteric < 1311963792 330520 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311963804 351595 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION spots someone tiny < 1311963815 354611 :angstrom!~Unknown@unaffiliated/angstrom PRIVMSG #esoteric ::-> < 1311963961 801669 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311964077 527864 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 250 seconds < 1311964328 139060 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311964466 338879 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311964657 939822 :TeruFSX!~quassel@pool-214-156.res.carleton.edu QUIT :Ping timeout: 276 seconds < 1311964829 859258 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311964876 889145 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311965101 857307 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311965470 695819 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311965606 876588 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311965696 566735 :MigoMipo!~John@84-217-0-27.tn.glocalnet.net JOIN :#esoteric < 1311966077 160261 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311966085 598459 :cheater!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311966146 596622 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311966357 357402 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311966361 908379 :cheater!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311966584 871491 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311966631 998762 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1311966724 998944 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311966945 864850 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm still reading that DF submarine thread < 1311966960 982903 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it got even better at the point where someone suggested making a submarine intended for working under magma out of ice < 1311967131 890347 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311967263 931733 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311967373 802251 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1311967405 23389 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de JOIN :#esoteric < 1311967666 986937 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311967793 111685 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311968041 421097 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: could a DF submarine be powered and directed? < 1311968067 337885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: at the point in the thread I've reached, they haven't got them to work at all yet < 1311968074 862037 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they tend to act in ways that defy physics < 1311968122 382402 :angstrom!~Unknown@unaffiliated/angstrom PRIVMSG #esoteric :DF? < 1311968142 381735 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 260 seconds < 1311968161 255950 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :dwarf fortres < 1311968163 503803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*fortress < 1311968204 811743 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1311968209 887774 :angstrom!~Unknown@unaffiliated/angstrom PRIVMSG #esoteric :ah. not my metier < 1311968317 301668 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311968334 818246 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1311968418 752919 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311968490 985624 :derrik!~xix@gprs-inet-65-28.elisa.ee JOIN :#esoteric < 1311968836 383313 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311968961 91380 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311969007 549246 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de PRIVMSG #esoteric :ais523, if someone were to make a haskell based dsl for describing FPGA programs, would the clock skew through a circuit belong in the function type? < 1311969042 427755 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :measuring clock skew at all is probably the wrong level of abstraction < 1311969065 567968 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de PRIVMSG #esoteric :why is it? < 1311969081 181860 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it depends on the physical dimensions of the chip < 1311969100 714623 :cheater_!~ubuntu@g229161172.adsl.alicedsl.de PRIVMSG #esoteric :that's not wayward < 1311969197 298188 :KingOfKarlsruhe!~chatzilla@p5B13322E.dip.t-dialin.net JOIN :#esoteric < 1311969501 387091 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311969647 564295 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311969962 388819 :boily!~boily@mtl.savoirfairelinux.net QUIT :Ping timeout: 260 seconds < 1311970120 721505 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311970261 797225 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311970619 206529 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311970769 117011 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311970925 714836 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Remote host closed the connection < 1311971116 910423 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311971204 182552 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311971733 32134 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311971861 102153 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311971918 312570 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I made many improvements to the program for typesetting Bird style Haskell programs. Currently this is still the non-prettyprinting version. (If I make prettyprinting, it will be a separate file) < 1311971967 472383 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It doesn't work if you have an outer control sequence at the beginning of a paragraph, but now it makes \bye to be not outer. < 1311972114 284443 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The updated file is: http://sprunge.us/YZfh < 1311972191 564498 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Why has more than once the list of ideas being replaced by 'This is a list of ideas of programming languages and other stuff. * Magic The Gathering card deck of Brainfuck'? < 1311972214 205939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: confused spambot < 1311972233 515131 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311972379 668223 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311972722 101525 :myndzi!myndzi@c-24-22-176-245.hsd1.wa.comcast.net JOIN :#esoteric < 1311972806 750552 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311972929 905325 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311973309 496897 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311973445 777223 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311973593 229582 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net JOIN :#esoteric < 1311973669 81257 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net JOIN :#esoteric < 1311973676 970092 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :ACTION waves. < 1311973702 741192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION waves back < 1311973724 854020 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Seems quiet in here. < 1311973749 474839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it depends on the time of day < 1311973753 521721 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of the most active people aren't here right now < 1311973756 295225 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It is < 1311973777 234244 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Lots of people but not much going on, wish people wouldn't just idle like that. < 1311973791 882562 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Makes it seem more is here than there is. < 1311973792 939023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :idling's usual so that conversations get a chance to get started < 1311973799 84650 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if a conversation starts, then people have a chance to join in < 1311973809 199279 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311973812 797918 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if people leave as soon as there isn't a conversation, then it won't get started at all < 1311973824 279065 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I assume you're new to IRC? < 1311973923 198557 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Gah one thing about the client I use can't go back and see things I missed. Bah. < 1311973923 400668 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311973955 577234 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :If I missit the first time it's gone. Meh, screen reader. < 1311973980 528180 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that sounds like the shittiest client ever < 1311974014 947275 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it sounds like Vorpal's client < 1311974038 494727 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net JOIN :#esoteric < 1311974046 595688 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :miranda, eh < 1311974047 804450 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Well it's not the client as much as it is the fact I can't see it. Have the same issue with mIRC. Screen reader and all, can't find one that is more accessible with them. Chatting in a normal window is fine but for some reason chat window like this doesn't let me tab to the output like it should. < 1311974052 77101 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Hello! < 1311974084 311690 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you could look at the logs. < 1311974106 153936 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I see, it's an accessibility problem < 1311974106 300434 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :I don't think this one makes them and if it does not sure where... But good itea there. < 1311974114 163176 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unfortunately, most programs are really bad about that < 1311974115 419129 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Exactly. < 1311974117 433089 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Adaria: this may help: http://forums.miranda-im.org/showthread.php?24751-How-to-define-scrollback < 1311974120 440346 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :this channel is publicly logged. < 1311974124 80786 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :link in the topic < 1311974136 552431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you can ask the client to repeat the topic to you by writing /topic < 1311974150 4244 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what screen reader? < 1311974199 511394 :derrik!~xix@gprs-inet-65-28.elisa.ee PART :#esoteric < 1311974324 748069 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311974355 239955 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :It's been awhile since I've hung out on here, but I'm too lazy to check the logs. :P < 1311974451 808320 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311974508 69686 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :OK there, set up logging, should help. < 1311974531 223677 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :In some cases scrollback might not be a feature of the client, it will be feature of the terminal emulator < 1311974611 519263 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: most people don't use clients that work like that < 1311974625 452472 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION recalls ircII did < 1311974636 53057 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It depends whether or not it uses graphical user interface < 1311974728 639771 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Scrolling back works fine in PM and IM windows using MirandaIM but chat windows act differently apparently. It's not a huge deal now that I got logging on. < 1311974770 994523 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what screen reader do you use < 1311974812 329149 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Found two "accessible" IRC clients, IMC and NightOwl but the latter has a runtime error and the former the link is broken to download. I may have better luck on my main PC using mIRC and TIRC scripts for jaws, I am on my netbook at the moment using NVDA, no scripts for it yet. < 1311974878 781901 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311974990 606271 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311974996 868820 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :So, this room had a cunfusing room desc on it, what usually goes on in here? < 1311975010 565397 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :The name makes sense but the desc did not. < 1311975023 760843 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That's pretty much it. < 1311975025 589980 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :mirc with jaws appears to be the only solution around < 1311975033 723720 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Officially, we discuss esoteric programming languages < 1311975035 512651 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we do things here related to computing mostly < 1311975041 273561 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :It's usually related to programming, but we're not picky. < 1311975061 652217 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :The other day, we discussed chess variant markup languages < 1311975064 646495 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Ah ok, esoteric to me was not tech related heh. Ah well. < 1311975071 572833 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a common mistake < 1311975079 115203 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unfortunately, we're not entirely sure where you should go instead < 1311975083 83522 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Stay and have fun! < 1311975085 84858 :KingOfKarlsruhe!~chatzilla@p5B13322E.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.87 [Firefox 5.0/20110615151330] < 1311975088 520529 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :This server has SO many rooms though it's insane. < 1311975096 635264 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but if you find out, let us know so we can send other people there for you to talk to < 1311975112 734498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Freenode's mostly a programming (specifically open source) network < 1311975122 276556 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so more or less everything here is tech related < 1311975126 857627 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one way or another < 1311975171 394143 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :That's fine, I am not a tech minded ... well ok I am but I know zip about languages, I'm more of a play with hardware and new tech toys than software bit. < 1311975209 561790 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :If there is some new tech out there that seems interesting to me, I wanna play with it. < 1311975211 565036 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you might consider a different network then. < 1311975227 2662 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Nah, we could use a hardware guy. < 1311975230 105939 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I think < 1311975237 729702 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or girl < 1311975250 972126 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :There are six thousand chans on freenode, I'm sure I'll find something. < 1311975253 193581 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Guy is gender neutral to me < 1311975260 403620 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :cool < 1311975266 490242 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :again < 1311975268 721445 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :let us know < 1311975323 252194 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Female here but I use guy as androgenous too. < 1311975376 768668 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Adaria: So are you visually impaired, or do you just feel like using a screen reader? < 1311975382 955223 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Or I guess unisex would be the proper word, meh whatever, it works for both. < 1311975388 485700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :evincar: heh, in most channels, there wouldn't even be a need to ask < 1311975393 730245 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here, that's actually a plausible question < 1311975398 98684 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311975408 113091 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :ais523: I know, right. :P < 1311975415 431126 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Imagine an adrogenous specific pronoun < 1311975422 320260 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"it"? < 1311975431 588537 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :Completely blind here. < 1311975451 441441 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :To me, "it" is that's more of non-human < 1311975522 38585 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Completely blind? < 1311975522 601278 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311975534 259133 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I've never met anyone who's been completely blind before < 1311975568 688097 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I've met a blind person, worked as a programmer < 1311975570 847138 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :May be getting an IRC client for my phone. iPhone, some love it, others hate it but to me it is truly a lifeline. < 1311975592 975075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know someone who can only read things within about 2cm of their eyes < 1311975600 345491 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :watching them reading is bizarre < 1311975629 406562 :elliott_!~elliott@95.149.243.211 JOIN :#esoteric < 1311975633 750465 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That person needs glasses, methinks < 1311975657 136870 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think that's the problem, or it'd have been fixed like that already < 1311975657 465639 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :I went blind last year, well lost my good eye, other was blind already. I could never be a programmer, it would fry my brain, I have great reading comprehension and hands on with science stuff but programming languages are just as hard for me as math. < 1311975663 213863 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :Taneb: I think glasses aren't likely to be able to help much if you see that badly from the start < 1311975663 361979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even shortsightedness isn't that shortsighted < 1311975679 295221 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: ping < 1311975686 358915 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: pong < 1311975689 637533 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Shortsightedness can vary a lot < 1311975691 14232 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ah good, I'm connected < 1311975691 85164 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was an unexpected ping < 1311975692 98554 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION met a blind mathematician once < 1311975695 162184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as I'd talked about a minute ago < 1311975704 129428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could have /ctcp pinged yourself < 1311975714 623257 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that bounces off the server twice, so it's a good way to check connectedness < 1311975724 85811 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm mildly short-sighted, I use my glasses to watch TV and in lessons, but otherwise I'm fine < 1311975742 618429 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Wheras my dad has more extreme short-sightedness < 1311975749 316370 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :If they can't read but that close they might want to try braille. Even though tech is making braille seem so non essential, there really is nothing like being able to read yourself in your own head so to speak. < 1311975762 657415 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I had thoughts wrt the @ pointer thing. < 1311975783 179823 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :To the point when I tried on his glasses the only thing I could focus on was about a mile away < 1311975786 84084 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :also hi Adaria < 1311975795 630185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: I had thoughts with respect to @ too < 1311975803 77668 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :I get sick of trying to 'read' my own writing in stories and the screen reader just kills the tone that I might otherwise be able to put into it if I could read it myself. < 1311975805 390941 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I concluded a lot of interesting things, which are probably mutually contradictory < 1311975808 342797 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: oh dear; you first, please tell me they don't involve Feather < 1311975808 504339 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Adaria: I talked a bit with a blind programmer once. I don't recall if he was born sighted, but I gathered it was a real challenge to hold everything in his head at once, especially with all of the screen-reader noise from punctuation. < 1311975828 231166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: they don't < 1311975830 98440 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :i imagine blind programming is a bit like using ed < 1311975833 444518 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's almost as brainfrying, but for different reasons < 1311975838 625505 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :without any commands to print multiple lines at once < 1311975878 865987 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: the good news with my thoughts is that, I think I have a pointer-passing capability model that works across networks with no need to have computer-to-computer communication different from intra-computer communication < 1311975884 413994 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but, you first < 1311975918 66138 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I'm in the middle of a bunch of things at the moment, also I was half-asleep and can't quite remember < 1311975933 630357 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric ::( < 1311975934 608237 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :okay then < 1311975940 358912 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I'll wait to tell mine too then < 1311975943 543141 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but one was that what's possible in the language should match what's possible in the actual real word < 1311975944 890330 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*world < 1311975957 482264 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :like? < 1311975957 737792 :Adaria!~na@74-36-165-190.dr01.crth.il.frontiernet.net PRIVMSG #esoteric :OK gonna go get food. I'll beback later on. < 1311975961 925150 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Bye < 1311975976 910392 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Turing complete languages are impossible in the real world < 1311975980 707974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like it's possible that information currently on another machine will be inaccessible, and that another machine might not cooperate if you tell it to do something < 1311975997 488562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the language should be able to understand that concept, in terms of exceptions or via some other method < 1311976009 336147 :MigoMipo_!~John@84-217-0-27.tn.glocalnet.net JOIN :#esoteric < 1311976046 240566 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: well, yes, I already had plans for that, but I think my new model makes it easier < 1311976049 225488 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :ais523: Please, monads, not exceptions. I like locality. :P < 1311976058 58586 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311976062 644644 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: um "monad" means nothing here < 1311976066 828431 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :a specific monad might have some meaning < 1311976068 183719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :evincar: I'm not making assumptions about what the language feature /is/, just that it exists < 1311976073 200025 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :speaking of being unable to real world turing complete, I was just reading the bitbitjump talk page. that was crazy. < 1311976073 773478 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Either, for instance, or ErrorT < 1311976089 796166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: another thing was, that for your capabilities, you don't want to be passing references to objects themselves < 1311976092 600714 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ElliottT < 1311976094 80052 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :evincar: "Monad" only makes sense in languages with particular forms of typing. < 1311976096 417148 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but references to closures that operate on those objects < 1311976101 877732 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Monadic error handling. I'd rather be concise and understandable than pedantically correct. :P < 1311976123 436934 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :except it wasn't understandcable ;_): < 1311976128 764269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. if you pass a reference to that logically means "anyone with the reference can do anything to that object on my computer, even if my computer's turned off" < 1311976133 85203 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: well, that is just exceptions < 1311976137 366069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which doesn't make sense, so that operation should be physically impossible < 1311976139 500751 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : evincar: "Monad" only makes sense in languages with particular forms of typing. < 1311976139 932103 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :nah < 1311976154 51431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :instead, you can pass a closure that looks into a lookup table on your own computer and then operates on the object < 1311976158 306760 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :they're just less visible in less powerful languages < 1311976162 367327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that way, you can do the equivalent of deleting an object if you change the lookup table < 1311976166 939314 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: In any case, I like explicit handling rather than implicit propagation. < 1311976176 100737 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :That's what I was getting at. < 1311976181 890108 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :another thing I noticed is that for practical use, it would make sense to have something that keeps around references to things, and can search and return them < 1311976188 828258 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: it's not really monadic then, it's just returning Either < 1311976194 416530 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :elliott_: Actually. ... Yeah, I think you could pull it off in C, so. :P < 1311976196 570178 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but that's a monad too, that gives you implicit propagation < 1311976201 603099 :MigoMipo!~John@84-217-0-27.tn.glocalnet.net QUIT :Ping timeout: 250 seconds < 1311976202 851783 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so that if you're not using an object, just wanting to save it for later use, you can just leave one reference to it in that < 1311976211 737377 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think that's the @-y equivalent of a filesystem < 1311976212 995299 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: well, all that means is that pointers may take a long time to dereference; generalisation: an infinite time; generalisation: dereferencing a pointer may result in _|_; i.e. it can error out too < 1311976219 633794 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I like this channel. I pretty much need to have to wikis open just to have a clue what's going on < 1311976226 733077 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Anyway, my method solves this, I think < 1311976231 429634 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Makes a change from IRL < 1311976241 419472 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Where everyone expects me to know everything < 1311976253 888188 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :What's a monad? < 1311976254 842156 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Not at all. Saying "this function returns either a value or an error" is very different from saying "this function either returns a value or yields an error". < 1311976270 538997 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: < 1311976274 206211 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :They propagate by different means, and one is more explicit than t'other. < 1311976279 619680 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :foo a = do x <- bar a; y <- quux x; return y < 1311976285 29742 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Taneb: I think a monad is something in Haskell < 1311976287 801413 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :abc a b = do x <- foo a; y <- quux a; return (x+y) < 1311976300 632499 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: these both return Either SomeError Integer < 1311976308 5547 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: note how abc's code looks just like exception-using code < 1311976313 203528 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :and the errors explicitly propagate to its return < 1311976332 987024 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(Either SomeError String) is an explicit error-tagged return type < 1311976340 91370 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :Taneb: Simple answer: a monad is a type with functions "(<<=) :: (Monad m) => m a -> (a -> m b) -> m b" and "return :: (Monad m) => a -> m a". < 1311976340 236516 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :And (Either SomeError) is a monad < 1311976345 572208 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :pikhq: >>= < 1311976350 811681 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: But what the monad provides is /implicit/ error propagation < 1311976351 245234 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :elliott_: Thanks. Thinko. < 1311976353 890494 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Just like exceptions < 1311976358 364621 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :In fact, this model is identical to checked exceptions < 1311976377 368071 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Only via implicit typing, unless I'm mistaken? < 1311976382 181809 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :? < 1311976390 720523 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :What do you mean by implicit typing and how is it related here? < 1311976414 287555 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Basically, monadic error handling doesn't make error handling explicit; it does the opposite, it lets you use an explicit "error or result" type as if it were implicit, by abstracting the transformation of results monadically. < 1311976422 737584 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :You still have to note what errors you produce in the return type. < 1311976429 47256 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But this is just like Java's checked exceptions. < 1311976437 978185 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It is exception-based error handling. < 1311976445 92935 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(in the context of being monadic) < 1311976455 27394 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :I'm with you. I just disagree that they're "just like" one another. < 1311976461 960941 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It is identical. < 1311976468 861623 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Do you know what Java's checked exceptions are? < 1311976478 721075 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Methods have to record, in their type signature, what exceptions they can throw. < 1311976486 603939 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :int foo(int n) throws SomeError; < 1311976491 62743 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :foo :: Int -> Either SomeError Int < 1311976505 597005 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Yes. But it is recorded separately from return type. That's all. < 1311976513 419975 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :It's a different abstraction for the same thing. < 1311976538 539903 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :I prefer to unify them in the return type rather than saying "exceptions are magical things that perform stack unwinding etc." < 1311976539 267026 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Well, I would argue "different"; you can very simply mechanically translate each model into the other. And it's right in the type signature. < 1311976544 216741 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It's "implemented" differently, that's true. < 1311976564 924439 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: Good night < 1311976577 696405 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But still, I'd say that a monadic model of error handling is the same as checked exceptions. (And the same as unchecked exceptions if you make "SomeError" an existential on some Exception typeclass.) < 1311976624 601207 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Oh, they're identical in function, sure. They just differ in form. < 1311976634 974869 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :form as in syntax or what < 1311976674 172301 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I hope I can try to make a program in TeX for parsing Haskell codes < 1311976691 873997 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :monqy: That, and implementation; in C++ I can return a boost::optional from every function, or I can throw exceptions. < 1311976727 268714 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :monqy: Exceptions are more idiomatic to that language, but I would prefer the other route. < 1311976730 789721 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: Well, that's just because C++ has really awkward syntax :) < 1311976748 8537 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: On this, all can agree. < 1311976759 634628 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But yeah, checked exceptions are actually a Good Thing. It's just that Java is never used functionally enough for them to be useful rather than annoying. < 1311976772 560105 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Functionally meaning "as a functional language"? < 1311976781 863325 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Yes. But also those other meanings, too. :-) < 1311976796 671614 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Tony Morris will now beat me over the head with a baseball bat and shout about the Functional Java library. < 1311976818 177593 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :elliott_: Oh, don't worry, you said "used". < 1311976834 205525 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :Hardly anyone uses that library, so. :) < 1311976837 304413 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Heh. Well, Everything is an Object (Except Primitives (Except with Autoboxing)) isn't the best model for a type system, unsurprisingly. < 1311976861 152253 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :evincar: Psuedostatic typing is an awful thing. :P < 1311976879 601791 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :pikhq: It's a rather amazing library as an achievement < 1311976890 584595 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Not sure I could use it without the lambda syntax that's coming though < 1311976921 487415 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :How would a subject orientated language work? < 1311976941 455386 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :that's OOP < 1311976948 765131 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Taneb: However you want. "Subject/object" isn't the distinction you want to make here. < 1311976959 597520 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :a [linguistics]object oriented language would just be OOP with inversion of control everywhere < 1311976968 758665 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :apples have to know how a human eats them < 1311976996 821619 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: What happened to that language that I forget the details of that we talked about in here when I was sleep-deprived in-between discussions about cities and libertarianism... I think... ? < 1311976997 801424 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :"Object-oriented programming" is a refinement of structured programming. < 1311977010 830064 :augur!~augur@208.58.6.161 NICK :augur[afk] < 1311977025 773412 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Oh, you mean my research language, the one based on adjectives? < 1311977085 655999 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: I'm... not sure. I seem to recall telling you that the imperative control structures you insisted on bolting on to it were ruining the cool idea at the core, but I don't remember more than that. :p < 1311977180 967224 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Yeah, that was the one. It was based entirely on the conjecture that you can perform computation with continuous descriptions of information rather than discrete units of it. < 1311977219 885001 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Evaluation was basically graph reduction, as you'd expect with any relatively simple functional language. < 1311977230 817917 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :That seems suspect, since the real numbers aren't computable. :p < 1311977238 690069 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and why did it have imperative control structures < 1311977262 964211 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :monqy: man why did you remind me of the bitbitjump talk page < 1311977276 42861 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bitbitjump talk page made me sad < 1311977310 390945 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: I don't mean continuous in the sense of a continuous quantity. I just mean that "objects" need not be independent instances, but rather named regions of a description space. < 1311977315 894387 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1311977324 440354 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Whose borders are not necessarily sharply defined. < 1311977335 250574 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :monqy: Because I was still feeling out the idea to see what could work. < 1311977344 337860 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :did it work < 1311977366 104742 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :I haven't really been working on it. So many other things are going on. :P < 1311977390 857560 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: how long are you going to be here? wondering whether it's worth collecting my thoughts on my model to tell you < 1311977418 342766 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: probably a while, but maybe not, and I'm also not paying much attention < 1311977426 42062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it's probably not going to be as rewarding as you'd hope < 1311977452 933558 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: meh, I won't bother then < 1311977457 696906 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but I do think it solved all of your complaints < 1311977469 693755 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Now you've piqued my curiosity. < 1311977498 639599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: that seems reasonable < 1311977500 500494 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: err, do you know what @ is? I'll have to send you at.html if not < 1311977509 70170 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: I do not. < 1311977521 880223 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: and it also allows the capability model to work across the network, rather than a separate communication method being used across the network < 1311977547 943657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, the file should be called @.html < 1311977553 356472 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because @ is a placeholder, not an actual name < 1311977556 894665 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, ...................... < 1311977559 548829 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: see /msg < 1311977560 237019 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my . key is broken < 1311977564 818034 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not completely, but working intermittently < 1311977598 384100 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: Also install Bitstream Charter it is a cool typeface. (I am not saying this because at.html requests it first in the CSS. Honest.) < 1311977675 310639 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311977714 994165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: oh, here's today's dose of Secret Project spoilers: http://codepad.org/oP5twvVz < 1311977720 418648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that isn't the project itself, it's a test program < 1311977726 106363 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which now runs correctly under it < 1311977732 398075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I have the basics of timing determinism down < 1311977733 517551 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: does NetHack? < 1311977745 371135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not yet < 1311977749 696436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it will eventually, I imagine < 1311977755 172355 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the difficult part there is the I/O < 1311977765 849101 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: ha, I just teased another spoiler out of you < 1311977768 410540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've had things fail to reproduce because of the buffer size on the input side of /dev/tty < 1311977769 342569 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :you tested NetHack < 1311977774 356185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I didn't < 1311977782 202516 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :then how do you know? :-P < 1311977786 384085 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I answered the question based on my own knowledge of how implemented my thing is < 1311977787 181985 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :spoiler: teased < 1311977807 984133 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :now we know you haven't tested nethack < 1311977820 14004 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, atm it runs executables independent of any environment < 1311977827 997420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it doesn't work for things that refer to other files < 1311977838 428539 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :monqy: yesssssssss < 1311977840 783076 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except, atm, I put the entirety of /usr inside the chroot because shared libraries < 1311977857 683450 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :"I think one can build a real TC machine. Let a real computer be able to request a bank of additional memory. Someone is obliged to go buy memory and provide to the computer. The computer can switch between the banks of memory in only left/right way, so the address space of the computer remains the same. Now this whole system, the real computer and the person serving as a provider of additional memory, will be really a Turing-complete machine." < 1311977858 781725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :eventually I'll have to get specific versions of the shared libraries in case they don't return the same pointer every time, or something < 1311977871 142377 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :only finite amounts of storage exist in the universe! < 1311977897 192305 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: thanks captain obvious < 1311977912 259297 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: now let me introduce you to your new colleage, N. S. Sherlock < 1311977915 872619 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: I'm replying to whoever made that quote < 1311977938 447152 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Depends whether the universe is unbounded or not < 1311977945 487782 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Taneb: it is < 1311977952 510368 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :AND IT ISN'T < 1311977958 800679 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :observe above: helpfulness < 1311977964 637781 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :according to current belief, only a finite amount of it is accessible < 1311977970 266613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the size is large but measurable < 1311977982 34104 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :If it is, we can store information as the distance between two arbitary points. < 1311977990 66235 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :This information is not necassarily accessible < 1311978002 345597 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Taneb: umm, that doesn't help you build a UTM < 1311978005 863254 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Don't forget it'll be made fuzzy due to heisenburg stuff < 1311978012 956847 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :You can't store real numbers as distances < 1311978013 9155 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm not saying it does < 1311978019 821154 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Isn't it something silly like "infinite from our perspective but with finite storage" < 1311978028 380696 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I'm no physicist, mind you < 1311978043 640228 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I think it's write-only memory < 1311978058 27468 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: the reachable boundary is finite and you can measure its location < 1311978066 259958 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: But I read that the "blowing up a balloon" model for explaining the universe's expansion was disliked nowadays because evidence shows to the topology of the universe being flat and infinite < 1311978079 104561 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :[asterisk]evidence suggests that the blah blah < 1311978146 200076 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311978149 42610 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :According to this paper 'The universe can have performed no more than $10^{120}$ ops on $10^{90}$ bits.' < 1311978168 982853 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, Linux's API for interrupting a sleep three times, by ignored signal then ignored signal then handled signal, is really frustrating < 1311978172 675236 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think I got it working < 1311978177 894510 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I was hoping you'd have an answer to that :( < 1311978187 655588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: I don't < 1311978284 713093 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar has been engulfed by the sheer power of @ < 1311978285 368993 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311978290 940715 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Would it be possible to invent a program doing Knuth-style literate programming for Haskell by using Template Haskell? < 1311978293 585950 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Patashu: op seems a bit vaguely-defined < 1311978313 755731 :augur[afk]!~augur@208.58.6.161 NICK :augur < 1311978321 10589 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :it's probably defined better in the paper < 1311978422 827386 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1311978441 892210 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I've just had a thought < 1311978448 422874 :FireFly!~firefly@unaffiliated/firefly QUIT :Quit: swatted to death < 1311978477 787694 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Any number can be represented as unary, right? < 1311978496 839174 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I've just had an idea for representing a series of numbers as unary < 1311978503 188384 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 276 seconds < 1311978505 503707 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Based on powers of primes < 1311978510 636368 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It's probably been done before < 1311978521 419330 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Taneb: Any natural number. And I bet I've had the same idea. :P < 1311978529 560808 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: PSHT < 1311978533 965863 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :But lets say you wanted [2,6,9] < 1311978544 709423 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Just define a spiral path through all {x,y} tuples, that's how you biject rationals onto integers < 1311978550 338169 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :and then a new path through all {x,y,z} tuples... < 1311978559 698122 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :You'd record it as 2^2 * 3^6 * 5^9 < 1311978576 628516 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Patashu: Naturally. ;) < 1311978590 27875 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Patashu: you can obviously do N^(n+1) => N^n given (N,N) => N < 1311978595 599462 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :pretty inefficient though < 1311978600 755880 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :as far as number size goes < 1311978613 93577 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Hmm, that sounds like it would work < 1311978620 774876 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Curse you, prime factorization, for making problems so simple! *fist shake!* < 1311978651 170597 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Of course, [2,6,9] would be 5695312500, which is huge < 1311978677 558927 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Taneb: Look up Fractran, by the way. < 1311978689 743127 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311978698 30860 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Fractran is substaintially different < 1311978713 98288 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :That's a series of fractions, this is a single unary number < 1311978735 843125 :quintopia!~quintopia@74.117.158.92 JOIN :#esoteric < 1311978735 962171 :quintopia!~quintopia@74.117.158.92 QUIT :Changing host < 1311978736 14553 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1311978742 410517 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :I was just making sure you were aware of it. It's relevant. < 1311978743 515126 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: So disappointed in you right now. < 1311978747 172724 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :Of course, this gives me an idea < 1311978749 618547 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Yes? < 1311978766 187681 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :A fractran program expressed in this notation! < 1311978781 296811 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: BEING GIVEN AT.HTML AND NOT IMMEDIATELY TELLING ME ABOUT YOUR NEW DEDICATION TO THE CULT OF @ IS UNACCEPTABLE < 1311978823 368488 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: So with regard to the thing about trusted code, how do you define "damage" to the system? < 1311978839 845369 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Argh, stop picking on the parts I just dropped as random unformed ideas. :p < 1311978860 63206 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: You could bundle (machine code, proof that it accesses no memory it was not passed and did not allocate). < 1311978864 889407 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :The whole thing is a series of such. < 1311978870 669491 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Random unformed ideas. < 1311978877 117761 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Then you make them into a thing that works. < 1311978880 811001 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :This pain inside! < 1311978890 644636 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Anyway, there are better-formed ideas, they're just not interesting as an introduction. < 1311978892 738545 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : evincar: You could bundle (machine code, proof that it accesses no memory it was not passed and did not allocate). < 1311978905 301129 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :+ doesn't access any ports it isn't passed, blah blah < 1311978917 756709 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Basically just something to guarantee that it does not violate the safety guarantees that the compiler offers. < 1311978925 478193 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I'm not sure this is a practical idea though, formal verification is very hard. < 1311978980 972778 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Yeah, I think that level of security is going to be tremendously difficult to attain. I mean, if you control the system from the ground up (which you do) and you ensure that all of your code is perfect (which it won't be), you might have a chance. Maybe. < 1311979002 95776 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Umm, no, the "level of security" required to be proven there is a very easy minimum standard to attain. < 1311979012 295628 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :But if the whole thing is incrementally developed, fully tested, formally verified, etc., you stand a chance. < 1311979021 531806 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :No, it does not require perfect coding at all. < 1311979026 182034 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :I'm not a proponent of TDD, but I play one on TV. :P < 1311979039 440468 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Don't try and make technical claims about my system based on a very broad general introduction I wrote months ago :P < 1311979050 273845 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Not gonna. That's as technical as I'm getting. < 1311979051 372026 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :I'm trying to parse "TDD" as an emoticon < 1311979058 684083 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :And I'll be back from food shortly. < 1311979061 438633 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric :It's working < 1311979065 150250 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But yes, that's not the plan wrt formal verification at all < 1311979068 569856 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net NICK :evincar[afk] < 1311979125 81995 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's probably better to work on source code rather than machine code, use a type checker to prove safety, and then hope there are no security bugs in the compiler < 1311979183 752142 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: It was intended as an alternate route into the system, but yeah, now I'm wishing I edited it out < 1311979188 330998 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: But -- < 1311979200 893732 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :As far as security bugs in the compiler go, I think any sort of exploitable bug is really contrived in @'s context < 1311979226 391121 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net PRIVMSG #esoteric : @? < 1311979253 387723 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Taneb: Ugh, come ooooon < 1311979256 128510 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Not again :-P < 1311979261 353499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: one that dereferenced an integer as a pointer would probably be enough < 1311979275 481169 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Compilers for things like Haskell, interpreters for languages like Python and Ruby -- why do they segfault? Usually the compilers segfault because of a system call or a broken allocation/GC, and interpreters usually segfault because [lol C]. < 1311979276 788104 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but luckily that's pretty easy to avoid < 1311979291 784925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, it's not contrived, it's just easy to avoid < 1311979292 765588 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :In @, there are no "system calls" like that, everything is more or less memory safe < 1311979299 998817 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :And the compiler is written in @lang, not C < 1311979320 800518 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :The allocator/GC has to be pretty good, yeah, but OTOH, if the GC allocates a used object, that just results in crashing, not a security bug. < 1311979329 100629 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Unless a dangerous object gets allocated RIGHT THERE the next second. < 1311979380 717366 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :such bugs have been exploited before :) < 1311979425 119788 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :olsner: The situations I know of are also contrived in @ :-P < 1311979487 863476 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :How do you write C programs in @? < 1311979505 356612 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: by using a C compiler < 1311979556 895223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :normally, if a race condition like that exists, it can be manipulated to happen < 1311979564 936205 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But I thought @ is not C? < 1311979582 770987 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: Linux isn't written in Pascal, but you can still compile Pascal programs on Linux < 1311979583 811944 :MigoMipo_!~John@84-217-0-27.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1311979663 355207 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I know. But I don't know how @ works, you said there is no systems calls, everything is memory safe, etc < 1311979663 507365 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311979676 757468 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Does anything special required? < 1311979689 484088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :presumably C programs would run in a VM < 1311979694 831719 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Not a VM per se < 1311979699 977589 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, not exactly < 1311979701 710664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the same concept < 1311979708 108468 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Pointers probably wouldn't be integers < 1311979722 258432 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Is programming for the GPU safe? Since as far as I'm aware the GPU doesn't have system calls < 1311979727 890319 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: Well, you can't have pointers be direct memory addresses. < 1311979731 510597 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Patashu: GPU has no OS < 1311979735 496572 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they would be convertible to integers in C, because in C you can decompose anything into a sequence of octet < 1311979744 414667 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but they probably wouldn't correspond to memory addresses < 1311979748 397988 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: But with a richer pointer type inherited from @, and a libc, you could do it fine < 1311979766 467884 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :O, that's how it works. < 1311979787 336890 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :C isn't memory safe, but all non-memory-safe usages of C are either bugs or pathological things that can be handled specially, like using invalid memory as a RNG seed < 1311979794 228632 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(Usually that's just a bad idea, though) < 1311979797 791742 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: indeed < 1311979805 665190 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: but, you only have to do the conversion when it's actually casted and read from < 1311979810 819191 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311979811 411481 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :you can just store them as pointer objects before that < 1311979817 563098 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Would LLVM codes be compiled into whatever code @ uses? Does @ use native code or almost native code or something else or whatever? < 1311979822 510904 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :which, happily, desugar to memory addresses or something close to it (probably tagged) in @ < 1311979823 6366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, if people are passing around pointers to pointers and memcpy them < 1311979831 878639 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1311979835 204635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you have to deal with that situation somehow < 1311979840 256497 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, what about unions? < 1311979861 357429 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: Well, the main programming language for @ is @lang, which is a completely new language; but I have a feeling that lower down, there'll be a (memory-safe, etc.) LLVM-style language < 1311979870 820642 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :A C compiler would want to output that, instead < 1311979899 826101 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: @ still has byte arrays, you know < 1311979914 737634 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes, I know there is C compiler into LLVM so probably it can be used. Maybe some of the commands in LLVM won't work < 1311979922 107825 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: But a more high-level representation may be preferable for debugging and @ integration < 1311979954 414733 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Which may have a performance penalty, of course, but it shouldn't be that bad (because, after all, @lang should have acceptable performance for just about anything in the first place). < 1311979967 507148 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is it a subset of the available LLVM commands? Is there some new commands? Can you tell me what it is? < 1311979987 465462 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: I'm not very knowledgable about LLVM's IR instructions. < 1311979995 799427 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But I think most of them should map fairly directly. < 1311980013 98513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: it has byte arrays, just can't interpret them as anything but bytes < 1311980018 676823 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: The "low-level" language will probably have some kind of strong typing, so that it's invalid to, say, load an integer into a register, and then try and dereference it. < 1311980020 902566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in particular, how do you safely convert them /back/ into pointers? < 1311980045 764272 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Well, that's true. (Note that you _can_ do that as a user; I think the difference is that those are in boxes.) < 1311980053 740725 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Basically, you can inspect anything in a box totally, but you can't inspect values itself. < 1311980067 532906 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :You can look at the source code to a function if it's in a box, but you can't look at the source code to a function value (that would break parametricity) < 1311980081 272203 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :That way, @ can be totally inspectable without breaking all sorts of important theoretical properties. < 1311980082 548333 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Hopefully. < 1311980108 418708 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: And if the C compiler has enough access to the pointers it uses, it might be able to have them in boxes? I'm... not sure. < 1311980116 729437 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But yeah, a higher-level representation would be easier. < 1311980132 374350 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pointers as indexes into a byte array would be easiest for C < 1311980139 842025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :possibly not best, but easiest < 1311980142 464879 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: One way you could do it is to have the C heap -- yeah. < 1311980152 354227 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311980152 727644 :invariable!~variable@unaffiliated/variable JOIN :#esoteric < 1311980158 613004 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: The thing is that that should, in @, desugar to direct memory-array access. < 1311980167 700890 :invariable!~variable@unaffiliated/variable PART :#esoteric < 1311980180 56756 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So it'll require a separate heap, but it'll be fast. < 1311980185 706112 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that would work, I think; to cast byte array to pointer, you just have to check to see if it's in range < 1311980198 766179 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, are you planning to use the MMU for anything? my guess is no, but I'm not sure < 1311980216 229636 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott_: LLVM does not allow loading an integer into a register and then try to dereference it directly; you need to cast it first. So, you could have in @ that the LLVM commands for doing that are not allowed. < 1311980219 762925 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Well, the whole idea of @ is that if your language has these strong safety guarantees, then you can compile it to really unsafe code, which is fast. < 1311980233 542004 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :Well, the MMU would actually be pretty handy in @. < 1311980247 505851 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: Right. Casting to a pointer would have to be restricted. Of course, if you use a separate heap, like ais523 is talking about, you can allow free casting and all that. < 1311980249 218256 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the MMU wouldn't be helpful for safety < 1311980250 751136 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It's just less integrated that way. < 1311980254 777055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'm wondering if it would still be useful anyway < 1311980260 938114 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Erm, I forget exactly what the MMU handles >_> < 1311980273 488165 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :ais523: No, but it'd make it easier to handle the fact that the disk is nothing more than another tier of memory. < 1311980273 706438 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott_: memory, it manages memory :) < 1311980275 980318 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Just cross-process memory safety? < 1311980276 462436 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :elliott_: Paging. < 1311980280 916884 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Right, same thing. < 1311980281 228284 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :LLVM also does allow pointer types to specify which memory area it points into, and you can have many memory areas. < 1311980281 480669 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :*All* paging. < 1311980299 416356 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :Cross-process memory safety isn't actually a feature of the MMU *itself*. < 1311980300 45833 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :So maybe @ can define what those areas are. < 1311980300 156997 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Well... the MMU is useful in that I load pages from disk and map them with the MMU. < 1311980308 577627 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: Yes, that would be useful. < 1311980326 295861 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :That's done pretty much exclusively by having the kernel swap the page tables on context switches. < 1311980372 510813 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :It's both essential to process safety with direct memory access *and* not designed for it. :) < 1311980378 521420 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But yes, I'm afraid I'm not too good at my compartmentalisation of an extended IBM PC; I know mostly what it can do, but not what handles what, as far as the actual core architecture goes. < 1311980387 275950 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So I'm not sure if the MMU can help. < 1311980399 577686 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :elliott_: It will. < 1311980419 602987 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Well, beyond that. < 1311980429 528402 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :Just nowhere near as much as it would on traditional OS designs. < 1311980451 340069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what the MMU basically does is pagefault if you try to access memory that's on the disk at the time < 1311980464 731109 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and transfer control to some sort of pagefault handler, which is meant to be part of the kernel < 1311980482 467885 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :And maps between virtual memory and real, physical RAM (obviously) < 1311980486 129620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now, I don't think there's any particular security issue with paging arbitrary bits of memory in/out of the places they're meant to be anyway < 1311980499 301450 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless you could use it for a DOS < 1311980529 164655 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1311980532 334613 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: right, that's useful because @'s orthogonal persistence can use it, I think < 1311980546 789002 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311980548 883054 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :It's also useful for COW. < 1311980557 929599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, that too < 1311980579 157330 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :If you're asking me about @, surely you're paying enough attention for me to explain my thoughts on the network-capability model? :-P < 1311980597 935328 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1311980623 942722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I suppose what an MMU really does, fundamentally (other than mapping virtual to real pointers), is to call a function when someone tries to dereference pointers to particular memory locations < 1311980627 828567 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and there are all sorts of uses for that < 1311980732 50303 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes there can be a lot of uses of such things, I think. < 1311980796 773166 :evincar[afk]!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net NICK :evincar < 1311980797 86327 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311980797 447139 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :On AMD64 it can also call a function when someone tries to execute from particular memory locations. < 1311980801 819144 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: anyway, the idea I had was: you know how I said you could ask any machine for an object by giving it its identifier, and it'd decide whether to give it or not? < 1311980812 526548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: yes? < 1311980814 841738 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :(also recent x86) < 1311980816 520702 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :one sec < 1311980894 44830 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: well, that's wrong, that isn't how it should work at all < 1311980929 779245 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: What's the basic mechanism by which objects can be accessed by code in the object-capability model? Simple: Another piece of code, which already has the reference, passes it to your code. (Functions returning a reference are equivalent to this by CPS.) < 1311980960 216099 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that makes more sense < 1311980969 65001 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :that isn't the model yet < 1311980970 542645 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you saying the original idea was wrong, that is < 1311980973 151591 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Right < 1311980986 445030 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: So, say computer B wants to give an object reference to computer A, which is the computer owned by our protagonist, who will be left unnamed, as they are irrelevant. < 1311980988 249636 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: So you rely on the type system to prevent the user from breaking anything, and you give the user everything they need. < 1311980994 608392 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :By user I mean programmer of course. < 1311980996 402153 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: I'll answer after finishing explaining to ais523 < 1311981008 385734 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: More precisely: < 1311981025 169487 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Object X on computer B wants to give (an object reference to Z) to object Y on computer A. < 1311981029 61041 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Or, < 1311981040 440506 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: B/X wants to give (an object reference to B/Z) to A/Y. < 1311981058 449608 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :With me? (We assume B wants A to access Z via B for simplicity.) < 1311981079 863909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Z is on B? < 1311981085 990850 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311981087 325680 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Objects aren't "on" anywhere. < 1311981089 625180 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But, yeah. < 1311981096 252710 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Objects just "exist". :p < 1311981100 130547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, where the data is physically stored < 1311981103 647776 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Right. < 1311981106 881751 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is irrelevant from the user's point of view < 1311981114 387081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but very relevant wrt the network protocol < 1311981120 568165 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: OK, so let's also assume that B/X has the public key of A/Y. < 1311981127 313986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a sensible assumption < 1311981131 521588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :public keys are known by everyone < 1311981137 948866 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(Yes, an object with a public key; next they'll want to marry, but let's just assume so.) < 1311981162 506633 :Taneb!~Taneb@host-84-13-89-246.opaltelecom.net QUIT :Ping timeout: 260 seconds < 1311981172 739532 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Would you have to make some way of doing this using LLVM? < 1311981176 593508 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: B/X sends the following (we assume they have a communication channel open, the means is unspecified; just like we assume there's a function call going on normally) to A/Y, encrypted to A/Y's public key, so that nobody can snoop on it: < 1311981182 135978 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: no, this is a higher-level detail than that < 1311981202 987899 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: (a public key, a socket) < 1311981205 667959 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: More precisely: < 1311981218 663020 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: (B/Z's public key, a socket to B) < 1311981227 125327 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: The socket can be sent as (host, port) of course. < 1311981231 104008 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It's allocated for the purpose. < 1311981238 552655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, it seems to me as if both halves of your keypair are private < 1311981247 561459 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :This isn't a keypair. < 1311981249 396681 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we need better terminology < 1311981254 229824 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, you're saying "public key" < 1311981254 450759 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: No, it's not private. < 1311981261 145965 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: You can encrypt messages to a public key with GPG, can you not? < 1311981261 380266 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, and the socket is guessable < 1311981266 246146 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so why does it need encryption? < 1311981276 704511 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Ummm, this is a different socket. You are misunderstanding. < 1311981283 317244 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Let me tell you the whole model. < 1311981286 499827 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :go on < 1311981293 752216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what I mean is, is B/Z's public key public knowledge? < 1311981303 824534 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311981310 997307 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Yes. < 1311981317 967166 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It's sent over the wire in case A/Y doesn't know it. < 1311981329 801528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, OK < 1311981339 983615 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so why is the pubkey/socket pair encrypted? < 1311981347 857281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the host is probably obvious, and there's a reasonably small number of ports < 1311981359 537165 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: OK, awit, I made a mistake. < 1311981360 114835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the encryption doesn't seem to gain you anything < 1311981361 552657 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Give me a minute. < 1311981363 870603 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, OK < 1311981445 969797 :madbr!~k@98.143.212.28 QUIT :Read error: Connection reset by peer < 1311981463 100552 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: B/X sends encrypt((a newly-generated private key, B/Z's public key, (B's host, a newly-allocated port)), A/Y's public key) over its communication channel to A/Y. A/Y connects to the (host,port) and sends the time, or something, signed with the private key it received. This socket is "connected" to B/Z (it's actually operating-system-level, but this is the model). B/Z sends itself (serialised in the form of bytes, etc.) down the socket, signed < 1311981463 244812 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :to B/Z's key. < 1311981466 467450 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, you know how X determines if someone's allowed to pop up windows on your screen? using a random key, that's stored in a file only you can read and regenerated every time it starts < 1311981476 584947 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :A/Y checks the signature, sees that it's correct, and knows that it has received B/Z. < 1311981500 444603 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"sends the time" is to prevent replay attacks? < 1311981504 428688 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Yes. < 1311981518 702471 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :oh wait, there's more < 1311981520 149040 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :stop for a second < 1311981520 860182 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :stop typing < 1311981525 988426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wasn't typing! < 1311981543 471673 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: B/X sends encrypt((a newly-generated private key, B/Z's public key, (B's host, a newly-allocated port)), A/Y's public key) over its communication channel to A/Y. A/Y connects to the (host,port) and sends the time, or something, signed with the private key it received. This socket is "connected" to B/Z (it's actually operating-system-level, but this is the model). B/Z sends itself (serialised in the form of bytes, etc.) down the socket, signed < 1311981543 686618 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :to B/Z's key, __and encrypted with A/Y's public key__. < 1311981548 909515 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :A/Y decrypts it, checks the key, and we're done. < 1311981555 3320 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Behind the scenes, B/X told B/Z "I'm about to give someone a pointer to you; here is a newly-generated private key, and their public key". < 1311981564 620520 :TeruFSX!~quassel@pool-214-156.res.carleton.edu JOIN :#esoteric < 1311981565 251024 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(It actually tells the operating system, but again, this is an abstraction.) < 1311981583 655127 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :B/Z will not give itself to anyone who isn't marked as about to be given itself. < 1311981592 186843 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :i.e. it will not give itself to anyone who can't sign with their key. < 1311981596 821417 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(Their newly-generated key.) < 1311981611 249324 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: A fundamental point of this security model is: It doesn't matter if anyone can see every single bit of traffic on the internet. < 1311981616 843281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311981619 208979 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: In fact, hosts become an optimisation. < 1311981627 429817 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: You could have only two operations in the entire networking stack: < 1311981631 157545 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :- Send packet to entire internet; < 1311981634 342130 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :- Receive a packet from the internet. < 1311981634 778450 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so, hmm, is this giving B/Z itself? or a copy? < 1311981647 775872 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: What's the difference? Objects are immutable. < 1311981657 139953 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: You functional devil, you. < 1311981661 106795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, fair enough, that's something I didn't grasp about how you were using "object" < 1311981665 915351 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: Quite. < 1311981676 355837 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: It's intentionally vague. But objects being mutable seems to mess up the model. < 1311981679 260551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the only possible way to delete something is to remove all references to it < 1311981707 877690 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Anyway, < 1311981731 654064 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Well, mutating a singly-referenced object can be a good optimisation for destroying and replacing it. < 1311981738 838382 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm puzzled at how you can implement Internet-wide garbage collection < 1311981747 537625 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or how this will work without it < 1311981748 608573 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: One cool thing is this: < 1311981751 406802 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Who sent a packet is also irrelevant. < 1311981754 6222 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :evincar: that is indeed just an optimisation, though < 1311981759 221836 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Destinations are irrelevant, sources are irrelevant. < 1311981782 481315 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Anyway, it's quite a high-overhead model, but it does capture (up to the cryptographic system being broken) a secure passing of a pointer. < 1311981788 638755 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Optimising it... well, that can come later. < 1311981812 149433 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Why do you need Internet-wise garbage collection? Garbage collection matters only to individual computers which don't like running out of disk. < 1311981832 937661 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: in case you garbage-collect an object that another system was about to ask you for a copy of < 1311981847 608486 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. X wants to pass a copy of Z to Y < 1311981850 192807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or Z itself < 1311981851 951182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either will do < 1311981855 121539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then it forgets about Z < 1311981857 396766 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Yeah, you run into synchronisation issues with the garbage collector there. < 1311981862 901934 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I think that cross-network pointers are weak references by definition < 1311981865 61600 :madbr!~k@98.143.212.28 JOIN :#esoteric < 1311981868 394686 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: ah, OK < 1311981869 919816 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: but, umm, if they're not: < 1311981872 67188 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that fits in with my thinking too < 1311981877 103685 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Obviously X stores all the people waiting to get Z < 1311981882 578256 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in that the language should only allow you to express operations that make physical sense < 1311981889 715818 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: If pointers just expire after a certain amount of time, then that gets removed < 1311981891 946192 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :And those all count as references < 1311981892 304120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :X storing all the people waiting to get Z is very vulnerable to denial-of-service < 1311981897 499145 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :yes, true < 1311981900 656087 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but < 1311981902 99206 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :it has to anyway < 1311981902 611847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and bringing time into the matter seems really awkward and un@like < 1311981905 410082 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :so that it knows the generated keys < 1311981911 41758 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :and their public keys < 1311981915 981765 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shouldn't /Z/ be storing that info? < 1311981928 488657 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :umm, I'm mixing up machines and objects < 1311981932 791710 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :can you switch to the machine/object notation for objects? < 1311981936 264770 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :and restaet things? < 1311981944 376249 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :specifically < 1311981944 561820 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : e.g. X wants to pass a copy of Z to Y < 1311981944 778813 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : or Z itself < 1311981944 831716 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : either will do < 1311981944 831883 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : then it forgets about Z < 1311981955 970416 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :B/Z, B/X, A/Y < 1311981960 994363 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :note that if I could avoid using TCP, the machine part is irrelevant < 1311981962 762006 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but I can't really < 1311981966 537420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and "it" = "then X forgets about Z" < 1311981975 782206 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: umm, so < 1311981978 69511 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, UDP sounds like a better fit for what you're doing < 1311981982 431188 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :e.g. B/X wants to pass a copy of B/Z to A/Y < 1311981984 539385 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :or B/Z itself < 1311981985 661828 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :either will do < 1311981991 616062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311981993 393793 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :then B/X forgets about B/Z < 1311981996 309098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311982011 478244 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: forgets as in, B/X pops out of the call frame that looked up B/Z from a hash table, and now it holds no reference? < 1311982012 874899 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :for instance < 1311982025 590857 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(I was going to say "sets the variable holding B/Z to null", but, haha, functional) < 1311982029 808236 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: yes, for instance < 1311982035 26944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or "the variable holding B/Z goes out of scope" < 1311982040 148616 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which works both functionally and imperatively < 1311982048 504634 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Right < 1311982050 438696 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : also, UDP sounds like a better fit for what you're doing < 1311982052 930556 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Agreed, possibly < 1311982055 652119 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Hmm < 1311982071 147018 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: And we assume that the only thing with a reference to B/Z locally is B/X? < 1311982074 386494 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1311982075 921582 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So that when it goes out of scope, B/Z is (locally) garbage < 1311982078 454620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1311982098 230434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think using weak pointers is the best solution here < 1311982108 783477 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, weak references < 1311982114 777144 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Well, B (the operating system) holds a table of all (generated public key, receiving machine's public key) waiting to receive Z < 1311982117 356849 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"pointer" carries extra baggage I'm not happy with in this ontext < 1311982121 867770 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :And those can count as references < 1311982124 984093 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Those have to expire anyway < 1311982129 635112 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So time is unavoidably a factor < 1311982133 395290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: and expires them if the other side is being slow? < 1311982137 850956 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Yeah. < 1311982138 840669 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fair enough, I think < 1311982142 279328 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I think they count as references without any special support < 1311982149 414582 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Just use a tuple database or whatever < 1311982157 807262 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :And store (Z, gen_pubkey, recv_pubkey) < 1311982169 308496 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: hmm, wait < 1311982195 88375 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: B/X can cheat A/Y out of B/Z < 1311982199 269596 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :oh wait, B/X can lie to A/Y anyway < 1311982202 66297 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :by just sending a junk reference < 1311982206 885055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, it's allowed to < 1311982209 397627 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :right < 1311982212 120147 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it was A/Y that asked it for the reference < 1311982222 480891 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I was thinking it could snap up B/Z before A/Y does, because it knows the private key used < 1311982225 399500 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but that's okay < 1311982226 500364 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :B/Z can also cheat A/Y out of itself, but arguably, in that case it was lying to B/X < 1311982235 202639 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :indeed < 1311982258 16090 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :OK, I think this is a workable and secure model, albeit a very slow and memory-hogging one (every object needs a key!) < 1311982266 601885 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But optimising it can come later < 1311982285 847313 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :objects need keys only if something's trying to pass them over the network < 1311982298 252128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I hope your computers have thermal noise diodes in, btw, or they're going to run out of entropy pretty quickly < 1311982304 835384 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :haha < 1311982312 927144 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Well, I think I can avoid explicitly using GPG keys or whatever < 1311982315 413976 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I'm not sure how, though < 1311982317 112205 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :[asterisk]PGP < 1311982327 943670 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: most ISPs filter out traffic that is invalid TCP and UDP, right? hmm, wait, it's irrelevant, nobody will be a @protocol router anyway < 1311982334 226921 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :so I have to layer this on top of... probably UDP, lower overhead < 1311982354 747096 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: unfortunately, what I would like is not even valid IP -- I would like to remove the source field, as it's irrelevant < 1311982362 660938 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: it's not so much "filter out", but routers are generally told not to forward things they don't understand < 1311982364 21126 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So is the destination field, but it helps for routing. :p < 1311982378 522819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you'll send the message and it just won't be routed < 1311982382 222766 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: right < 1311982393 527515 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can just ignore the source header, IIRC it can be faked anyway < 1311982401 180396 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :it wastes four bytes :( < 1311982409 580578 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :your objects contain keys < 1311982414 492737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they'll be way longer than four bytes < 1311982421 292580 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ermm, define keys < 1311982423 315289 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :you mean their identifier? < 1311982432 364188 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, the private keys you were referring to earlier < 1311982434 511573 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :With this model, you don't actually need objects to have any global name at all < 1311982441 55260 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: oh, well right, like I said I'm optimising that :P < 1311982447 885156 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: for instance, you can send all of an object's dependencies in one go < 1311982454 855053 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :rather than opening a communication channel for each < 1311982476 719832 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Ideally, I would just hook up the entire world to one big Ethernet cable, and everyone would see everyone's packets, and computers would process every one of them, and only respond to the ones it can decrypt < 1311982481 131982 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :but that seems rather unlikely < 1311982515 229630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think routing to particular destinations will save you processor time in trying to decrypt things you don't have the key for < 1311982517 141797 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think ais523's question messed with my head < 1311982519 476920 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Good job < 1311982521 643454 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is a really useful optimisation < 1311982526 536979 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Sgeo_: which question? < 1311982530 212276 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: indeed < 1311982539 733038 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: the question is how to abstract it entirely from the user < 1311982542 844646 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott_, about whether he could persuade me not to buy a Sony ereader for no reason < 1311982557 42910 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Sgeo_: oh wow, I'm totally going to logread < 1311982566 542329 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Sgeo_, about when in the logs? < 1311982571 455999 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Earlier today < 1311982574 925630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: I asked if (I could persuade Sgeo_ to boycott Sony without telling him the reason) < 1311982603 216539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(sorry about the parens, I couldn't figure out how else to make the sentence unambiguous) < 1311982607 153293 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Sgeo_ is pro at understanding < 1311982624 312577 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the question wasn't a request for him to boycott Sony; it was a question about whether I could persuade him to < 1311982624 485641 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :10:31:59 Sgeo_: can I persuade you to mindlessly boycott Sony without telling you why? <-- ah I found it < 1311982631 568788 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I take it Sgeo_ is avoiding the Kindle because he's a hipster < 1311982639 173854 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :if he's considering Sony products it can't be for ethics < 1311982653 611657 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott_, I'm actually considering getting a Kindle now, but not a current Kindle < 1311982656 731846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: shush, you'll let him know why he's supposed to boycott Sony! < 1311982667 352116 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: umm, but I just realised I don't completely recall myself < 1311982679 366618 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I have this tendency to remember opinions and drop their justifications to save storage space; this is probably dangerous < 1311982682 362334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1311982700 242567 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I think sony uh < 1311982701 667681 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :did some stuff < 1311982702 713819 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah < 1311982708 984397 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I remember that when Sony did their most recent thing that got people to boycott them, there were lots of people saying that they would boycott them except that they were boycotting them already < 1311982714 56527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and couldn't boycott further < 1311982714 109096 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ACTION appends list to things he needs to master to create @: networking < 1311982719 361314 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :and oh dear, I hate networking < 1311982721 16676 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :The rootkit stuff was in 2005, right? And as far as security is concerned, I could just not buy from the Sony eBookstore < 1311982724 999061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*appends to list of things < 1311982725 238799 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :networking...:( < 1311982740 716082 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: oops, yes < 1311982744 652712 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :it's a set, anyway, not a list < 1311982747 517069 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the list is named "things he needs to master to create @" < 1311982751 444655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and, hmm, good point < 1311982759 156999 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can you append to a set? < 1311982765 394436 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :no, only insert < 1311982773 912722 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :10:51:58 I actually got quite good at doing chirps, and I'm not entirely sure why <-- you need to record and upload that < 1311982777 24607 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can probably append to a set in PHP < 1311982788 317132 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: the word has a technical meaning < 1311982793 475105 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: The thing with this networking model is that I'm not sure what it looks like inside the OS itself... < 1311982797 297851 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, oh... right < 1311982819 980654 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I'm sceptical of anything which presents a remote object as the same kind of thing as a local one, because it can take a lot longer to access < 1311982826 376624 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ais523, so it was a terrible pun in the context? < 1311982828 581795 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(not being able to access it at all isn't an issue here because of the new model) < 1311982847 644286 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: At the same time, it's hard to unify local and remote objects without... unifying them < 1311982890 983021 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :22:58:39: Oh. Fuck. < 1311982891 166888 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :22:58:51: So, the Treasury has the authority to mint coins of arbitrary designation. < 1311982891 219209 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :22:59:10: We could remain "solvent" by having them mint a $2 trillion coin. And deposit it in the Fed. < 1311982891 219367 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :22:59:25: And have a nice, tidy hyperinflation problem. < 1311982894 62511 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :oh my god i want to see that coin < 1311982914 459019 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not at all convinced that unifying remote/local is useful, mostly because I'm generally offline < 1311982927 280926 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: are they restricted in the number of coins they can mint? or the total value of the coins they can mint? < 1311982930 156064 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I'm generally offline when I'm on my laptop < 1311982937 67287 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Won't it simply not matter if they are unified? If I want some object, I'm going to need to create it or get it from somewhere. Both have a (practically) predictable cost. < 1311982937 647431 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :because university wlan is so shitty :P < 1311982948 204264 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :ais523: No. < 1311982953 547452 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Well, with all due respect, I find your opinions on the matter of the internet to be... outdated. :) < 1311982962 115758 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :ais523: They have permission to mint. However much they want. < 1311982967 1432 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: Not that @ won't be useful for you, but the internet is pretty important to @. < 1311982982 836676 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Can you give a specific example of a case where a developer would be trying to access a known object that is definitely remote without knowledge that it is? < 1311982986 681406 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: one second < 1311982989 80711 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I need to reply to ais523 :P < 1311983000 410601 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: so presumably the reason why you mint one G$2 coin rather than a trillion $2 coins is just one of practicality? < 1311983006 762692 :pikhq!~pikhq@71-219-231-206.clsp.qwest.net PRIVMSG #esoteric :ais523: Yes. < 1311983042 124755 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I read an interesting interview (I think (i.e. I think it was an interview)) with the creator of HyperCard where he recounted that the reason HyperCard didn't become the web is because at Apple, they did things by thinking about an individual computer as the "whole thing", and added networking on as a very separate, disconnected component; later on, he was at Sun, and when they drew diagrams, they drew the networking lines before the actual co < 1311983042 268713 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :mputers < 1311983051 707181 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Of course it's more a nice image than an intellectual breakthrough. < 1311983067 457799 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :But I do think "every computer a fortress" is clearly the wrong way to go about things by now. < 1311983076 196638 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :(Note: I don't like the Cloud(tm).) < 1311983095 810154 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : elliott_: Won't it simply not matter if they are unified? If I want some object, I'm going to need to create it or get it from somewhere. Both have a (practically) predictable cost. < 1311983100 138520 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :It's hard to say you want "some object". < 1311983124 873785 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :In fact I'm not even sure how you go about retrieving objects with this new model; you could start with a permanent socket, and hope that whoever selected your permanent socket selected something useful like @oogle < 1311983131 259897 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :which will give you pointers to other objects < 1311983133 76631 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I'm really not sure < 1311983142 660185 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric : elliott_: Can you give a specific example of a case where a developer would be trying to access a known object that is definitely remote without knowledge that it is? < 1311983149 220831 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: the problem is that you think the problem only applies to developers < 1311983153 44555 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :all these details matter at the user-level too < 1311983162 346773 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :when you hear "object" in @, that's not a system detail, that's something the user interacts with too < 1311983186 350652 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Right, I should've used the hypernym. :P < 1311983222 268820 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :But really, the user is in all likelihood going to know what they don't "have" locally and will have to "get", even if the "getting" is transparent. < 1311983237 655387 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: Well, here's a "he's joking OR IS HE" answer based on current computers that I'm not sure applies to @ but hey why not: When you go to google.com, do you have to specify whether you mean the cached copy or the remote copy? < 1311983270 233213 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: I always *mean* the remote copy. Whether I get it is not up to me, though. < 1311983274 161549 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :anyway, consider things like Plan 9's 9P, or sshfs, where you can mount remote computers and they appear as local filenames... but suddenly everything is awkward, because ls does a thousand stat calls and so takes a year to run on this medium-sized directory. < 1311983290 541693 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So that's a leaky abstraction. < 1311983308 745466 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Filesystem calls are meant to be reasonably fast (as far as hard drives go...); with a remote filesystem, they are decidedly not. < 1311983315 594218 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :So the abstraction leaks, and it's questionable whether it was a good idea in the first place. < 1311983321 757657 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I want to avoid that with @. < 1311983336 144121 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : anyway, consider things like Plan 9's 9P, or sshfs, where you can mount remote computers and they appear as local filenames... but suddenly everything is awkward, because ls does a thousand stat calls and so takes a year to run on this medium-sized directory. <-- sshfs is only useful over lan < 1311983349 29629 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I use it to easily move stuff over gbit ethernet < 1311983352 160811 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :between laptop and desktop < 1311983354 265953 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: So you bundle filesystem calls to only be done locally, then sent remotely. Or something. < 1311983361 588720 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :You can patch that leak. < 1311983365 379150 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, I never even tried sshfs to a remote server. that would be mad < 1311983369 780564 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: [word meaning "I have no response"] < 1311983375 284798 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ais523: I invented yr word, see above < 1311983387 123342 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :If it takes me 200ms to get a directory listing, that's still tolerable over a 2ms listing. < 1311983388 65324 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: umm, @ has no filesystem < 1311983391 515079 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, how so? < 1311983401 180537 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: what an infuriatingly unanswerable question < 1311983403 490559 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, I was just agreeing with you < 1311983406 329909 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: and if I unify local and remote objects, there is nothing like bundling < 1311983413 254579 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: that needs a response? < 1311983418 583406 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, no < 1311983423 779748 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: then "how so?"? < 1311983425 308151 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, why did you try to answer it < 1311983442 76693 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: You mentioned filesystems first. @ still has the concept of objects that are had (well, whose ownership is shared) and objects that must be gotten. < 1311983447 8371 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Vorpal: [word meaning "I have no response"] <-- no one required your response < 1311983457 393707 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: It does? < 1311983458 181794 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Even if it's hidden, it's not going away. < 1311983468 434190 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: you usually ping people repeatedly when they don't respond < 1311983492 70044 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :err, do I? and how is thated related to this? < 1311983506 73643 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I usually do it when there are a lot of talking in the channel < 1311983511 314243 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: Well, in my experience you do; and it's related because I was letting you know I'd read what you said < 1311983518 392793 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1311983541 930730 :bsmntbombdood!~gavin@c-24-9-98-117.hsd1.co.comcast.net QUIT :Quit: leaving < 1311983551 964324 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: The unification being discussed is in some ways about "hiding" that... can I just allocate you another week to explain @ like ais523 has had? :-P < 1311983572 423035 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I wanted to do constraint analysis in LLVM. I don't know if they have that. < 1311983637 424088 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :elliott_: Heh, I guess I'll have to come back. And do some log-skimming. < 1311983667 342147 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :There's about three years of logs where @ is mentioned, if you'd like to go on a binge :-P < 1311983720 493013 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, that is about 1.8 years worth of reading in total I estimate, probably 4 months of reading about @ < 1311983737 212737 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: Surely less; "elliottOS" didn't come up very often < 1311983746 148734 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, several weeks at least < 1311983762 895287 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :Dammit, elliott_, why didn't you pick a more searchable working title? >:| < 1311983775 405683 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: you may enjoy codu's rsync service. < 1311983784 412802 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I suppose you can make up one library allowing access files and directories anyways even if there isn't any, in case you run a program that uses such things. < 1311983787 223472 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :evincar: do !logs for more info :P < 1311983796 646942 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :then grep for elliottOS\|ehirdOS\|@, I suppose < 1311983798 608079 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :hmm < 1311983801 408337 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :then grep for elliottOS\|ehirdOS\|\b@\b, I suppose < 1311983805 957966 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :zzo38: indeed < 1311983839 684985 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, what was that nick starting with t that you used? < 1311983849 153414 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, I forgot < 1311983851 390938 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :umm, I don't recall one starting with t < 1311983854 794670 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :do you mean estoppel? < 1311983857 650574 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :no < 1311983858 718437 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :oh, tusho < 1311983862 195809 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :yeah < 1311983868 76670 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, was it ever tushoOS? < 1311983871 887959 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :guess not < 1311983872 384506 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :I used that until I got tired of puns (mostly blaming augur) < 1311983876 338616 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: I don't think so :P < 1311983882 651518 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, what puns? I forgot < 1311983884 742057 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :elliott_: hello. < 1311983889 613881 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :02:07:13: WHAT COULD POSSIBLY. BUT _POSSIBLY_. GO WRONG??????? < 1311983889 757324 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :02:07:15: No. < 1311983889 809761 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric ::D < 1311983891 849568 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :aieee < 1311983897 887362 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :Vorpal: NO I HAVE WASHED MY HANDS AND ALSO AUGUR IS HERE. < 1311983903 683096 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott_, oh right < 1311983909 284432 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :ACTION grabs elliott_'s tusho < 1311983914 488683 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :those kind of puns, Vorpal! < 1311983931 364361 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :02:14:53: The person who formulated the Sanskrit language < 1311983931 620646 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :02:15:38: essentially inventing something like BNF millennia before bachus-naur were born, afaiu < 1311983931 672922 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :02:16:06: and, iirc, with a smattering of Perligata, except sanskrit rather than latin. < 1311983931 673126 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :"millennia" -- are we talking about a programming language called Sanskrit, or Sanskrit itself? :D < 1311983937 593457 :elliott_!~elliott@95.149.243.211 PRIVMSG #esoteric :ARE THEY THE SAME THING < 1311983962 192901 :evincar!~jon@d-burl-bng2-70-20-34-51.ngn.east.myfairpoint.net PRIVMSG #esoteric :And this is why I come here.