< 1210636829 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Is this NURD CENTROL? < 1210636855 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Y RLY < 1210637453 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :YA < 1210637485 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :O I C < 1210637749 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OMG < 1210637780 0 :ehird!unknown@unknown.invalid TOPIC #esoteric :let awesome channel = channel == Channel { topic = "esoteric programming languages", internationalHub = True, logUrl = "http://tunes.org/~nef/logs/esoteric" } in filter awesome channels -- [#esoteric] < 1210637878 0 :oerjan!unknown@unknown.invalid TOPIC #esoteric :let awesome = (==) Channel { topic = "esoteric programming languages", internationalHub = True, logUrl = "http://tunes.org/~nef/logs/esoteric" } in filter awesome channels -- [#esoteric] < 1210637895 0 :ehird!unknown@unknown.invalid NICK :aoesunthsoneuah < 1210637913 0 :aoesunthsoneuah!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh ho HO < 1210637916 0 :aoesunthsoneuah!unknown@unknown.invalid PRIVMSG #esoteric :are we going to GOLF? < 1210637947 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'd rather FOLG than GOLF < 1210637948 0 :aoesunthsoneuah!unknown@unknown.invalid TOPIC #esoteric :filter (Channel { topic = "esoteric programming languages", internationalHub = True, logUrl = "http://tunes.org/~nef/logs/esoteric" } ==) channels -- [#esoteric] < 1210637971 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's almost, but not entirely unlike GOLF. < 1210637996 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :FOLG is not to be confused with GLOF or FLOG. < 1210638732 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210639015 0 :aoesunthsoneuah!unknown@unknown.invalid NICK :ehird < 1210639066 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bye for today :-) < 1210639095 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :LOGF < 1210639104 0 :ehird!unknown@unknown.invalid QUIT :Remote closed the connection < 1210639150 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: most of us use log(n), but ok. < 1210639286 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Can't we just used A(n,n)? < 1210639299 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1210639366 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ooh, pretty: http://upload.wikimedia.org/wikipedia/commons/3/36/AckermannComplexFig2a.jpg < 1210639367 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :can't we all just get a LOGN? < 1210639386 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you stole my joke. :( < 1210639414 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :BWAHAHA *CACK* *WHEEZE* < 1210639417 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :LOGNUTS < 1210639426 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :NUTLOGS < 1210639458 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Pi calculus hurts mah brain < 1210639471 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :SNOTLUG < 1210639495 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :TONSULG < 1210639504 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Lugnut! < 1210639507 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :GLUTONS < 1210639519 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :GUNLOT < 1210639688 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Does pi calculus have some simple, deterministic transformation rules? < 1210639720 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Also does it actually have a way to define the system before defining its behaviour. < 1210639750 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Everything I found assumed that there was already a bunch of agents connected. < 1210640119 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well it's definitely non-deterministic < 1210640145 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1210640211 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :of course there are ways to make systems where there is only one rule that can fire at a time - you can encode lambda calculus in it after all < 1210640248 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well one substantial rule < 1210640295 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :afaiu everything other than sending+receiving a message is reversible < 1210640314 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :But what happens if you have something like -a.P'|a(y).Q'|a(y).R'? < 1210640322 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Who gets mister X? < 1210640352 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :definitely non-deterministic, iirc < 1210640370 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and if i understand your notation < 1210640398 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It are "P sends x through a, Q and R are open for business" < 1210640419 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and all use the channel name a < 1210640419 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Through a as well. < 1210640445 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so yes, either Q or R could receive the x < 1210640464 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Damn you pi calculus. < 1210640509 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I suppose I could just add some arbitrary rule to decide who gets it. < 1210640528 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Like the first agent open for business in the list. < 1210640711 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :What about that other thingy, do I have to define the system separately? < 1210640718 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Or can it be expressed with the language itself? < 1210640789 0 :Phenax!n=Phenax@67.15.72.46 JOIN :#esoteric < 1210640837 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er what? < 1210640881 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :You know, the little agents and their communication channels. < 1210640897 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :In everything I found so far, they're just assumed to exist ex nihilo. < 1210640917 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you have just one expression really < 1210640932 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which then evolves by applying a rule to it < 1210640953 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :'kay. < 1210640989 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so agents will be separated by |'s i assume < 1210640989 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Most things in pi calculus focus on what it's supposed to mean, not too much on the rules. < 1210641010 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :There's that. < 1210641111 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Any way to create agents apart from the !P = P|!P ? < 1210641146 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's the only way to get duplication iirc < 1210641163 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :That's a challenge right there. < 1210641253 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or wait... < 1210641269 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unlimited duplication that is < 1210641293 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :What? < 1210641343 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a(y).(Q|Q) could be used to get two identical processes, say < 1210641396 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :That is not very unlimited. < 1210641419 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :anyway i don't know much more than the basic definitions for pi-calculus < 1210641440 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Durned. < 1210641487 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Problem is, pi calculus is like the less popular brother of lambda calculus. < 1210641493 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It are hard to find good ressources. < 1210641497 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1210641693 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And right now, I'm trying to find a way to fit it in some awesome language. < 1210642580 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1210645230 0 :Tritonio_!unknown@unknown.invalid QUIT :Remote closed the connection < 1210646922 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1210649490 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1210649500 0 :Slereah_!n=gtuilt@ANantes-252-1-46-64.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1210649615 0 :Slereah-!n=gtuilt@ANantes-252-1-19-157.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1210650633 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210656028 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210656659 0 :Sgeo!unknown@unknown.invalid QUIT :"Ex-Chat" < 1210663641 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1210664015 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210664115 0 :olsner!n=salparot@h-60-96.A163.cust.bahnhof.se JOIN :#esoteric < 1210665599 0 :clog!unknown@unknown.invalid QUIT :ended < 1210665600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1210667529 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1210669397 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1210669534 0 :Judofyr_!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1210669541 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1210669791 0 :Iskr!n=i@host182-88-dynamic.54-82-r.retail.telecomitalia.it JOIN :#esoteric < 1210671367 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1210672999 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1210674886 0 :jix!n=jix@dyndsl-091-096-048-221.ewe-ip-backbone.de JOIN :#esoteric < 1210675064 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1210676418 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1210678075 0 :Tritonio!n=tritonio@150.140.226.101 JOIN :#esoteric < 1210680641 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1210682873 0 :ehird!n=ehird@91.105.68.170 JOIN :#esoteric < 1210682878 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :um, ais523-log-reading: < 1210682887 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq has given away your identity on the agora lists.. < 1210682892 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if I recall correctly you don't like that < 1210682901 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I guess it can be passed off as a name coincidence < 1210682906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's not like 'Alex Smith' is particularly unique < 1210683510 0 :Tritonio!unknown@unknown.invalid QUIT :Remote closed the connection < 1210684894 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1210686218 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SIRGEO < 1210686298 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ELIOTTHIRD < 1210686583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WHO IS THAT < 1210686601 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :WHO IS SIRGEO < 1210686647 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : ELIOTTHIRD < 1210686649 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :NOTE SPELLING < 1210686675 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :THIS, MY GOOD SIR, IS THE YEAR FUTURE < 1210686751 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://pixelcomic.net/ < 1210686810 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: 'ELLIOTT' GOD DAMNIT < 1210686841 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I FIGURE THAT OUT EVENTUALLY BUT DIDN"T KNOW IF CORRECTING IT WAS WORTH IT SORRY DIDN"T REALIZE YOU"D APPRECIATE THE CORRECTION < 1210686852 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ELLIOTTHIRD < 1210686953 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: B < 1210687318 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :WHAT"S B? < 1210687613 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A < 1210687652 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: I just founded InconsisteNomic < 1210687653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : 1. Rule 2 is false. < 1210687653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : 2. Rule 1 is false. < 1210687653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : 3. This is a nomic. < 1210687672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(FUN FACT: not actually inconsistent) < 1210687705 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1210688593 0 :lifthrasiir!n=lifthras@wlan-card-51A-79.kaist.ac.kr JOIN :#esoteric < 1210688957 0 :RedDak!n=dak@79.18.82.57 JOIN :#esoteric < 1210689108 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has a final today
< 1210689114 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :SQL and database normalization < 1210689118 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :zzz < 1210689842 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i have that on tuesday! < 1210689843 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :umm < 1210689844 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :next one < 1210689931 0 :Slereah_!n=gtuilt@ANantes-252-1-22-108.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1210689967 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: i hear your doing pi! < 1210690030 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I swear, I didn't know she was only twelve! < 1210690036 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Oh, pi calculus you mean! < 1210690044 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well yes < 1210690054 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i haven't done a 12-year-old in ages :< < 1210690092 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Do you happen to have that tutorial that was posted here some time ago? < 1210690109 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :about what? < 1210690112 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :pi? < 1210690114 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Pi calculus. < 1210690119 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :most likely in the logs < 1210690124 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :do you remember anything about the link? < 1210690140 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :erm, what's some time ago? < 1210690162 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. Maybe a month or two. < 1210690172 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I tried searching the logs with "pi calculus" < 1210690174 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :then i have no idea < 1210690178 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But the google, they do nothing < 1210690224 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i found wikipedia's explanation about it sufficient iirc < 1210690257 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It has no rules for !P, just an equivalence. < 1210690265 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :So I'm not too sure how to proceed with it < 1210690277 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's !? < 1210690284 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it's ages since i touched pi < 1210690297 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :!P means that you can has copies of P. < 1210690298 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(bsmntbombdood said it was hard so i had to learn it) < 1210690307 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :!P is equivalent to P|!P < 1210690308 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmmm, i'll look at an page < 1210690328 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I probably should get ready to leave at some point < 1210690331 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :If I miss my bus.. < 1210690684 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1210690691 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :indeed, it doesn't seem to really explain ! < 1210690716 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I just have no idea how to do something to compute it. < 1210690760 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :!x(y).P≡x(y).P | !x(y).P. < 1210690770 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :!x(y).P == x(y).P | !x(y).P. < 1210690804 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :!! isn't there at all < 1210690805 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but < 1210690842 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it seems just that when you have the head !x(y) for some process, it doesn't ever get to the tail, just gives x(y) forever < 1210690883 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and because you can't have ! as a value, it seems to me like P could just as well be 0 < 1210690884 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :How do you stop the recursion at some point then? < 1210690893 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :umm, don't send it anything? < 1210690917 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it will just receive as long as someone is sending something < 1210690922 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean, if i get this right < 1210690938 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm basing this on !x(y).P == x(y).P | !x(y).P < 1210690945 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ohoh < 1210690949 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :rrrright < 1210690952 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i misread that < 1210690957 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well < 1210690958 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1210690973 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :!x(y) < 1210690982 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :when something is sent to a process with that as a tail < 1210691012 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it is a special receiver that, when sent something to, continues to its tail, but makes a copy of itself before that < 1210691018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pi calculus sux < 1210691018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1210691024 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so basically, you do the duplication only when something is sent to you < 1210691026 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :get it? < 1210691028 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: how so? < 1210691035 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: i dunno < 1210691040 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I think < 1210691040 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :alright < 1210691065 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Though I'd like to find something with the set of rules well explained < 1210691172 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well yeah, i'm not sure what exactly happens to names when you duplicate etc < 1210691189 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i assume the new copy gets its own namespace, because if not, it would make noesnse < 1210691191 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*no sense < 1210691218 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Is the big book of pie worth buying? < 1210691225 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :'cause it's $40 < 1210691248 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's hat :D < 1210691253 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(sic) < 1210691277 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :http://www.amazon.com/exec/obidos/ISBN=0521658691/portlandpatternrA/ < 1210691330 0 :ehird!unknown@unknown.invalid QUIT :Remote closed the connection < 1210691363 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :looks very buy-worthy < 1210691428 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i need to leave, nightwatchmanship starts in a few hours < 1210691433 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :bye. < 1210691440 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :NOT SO FAST! < 1210691515 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :there's so much great stuff on amazon < 1210691537 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if only i was FUCKING RICH < 1210691869 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Be back later < 1210691900 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :oklofok : Try emule! < 1210691907 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Lots of free books.. < 1210692051 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :emule? link < 1210692068 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's a software < 1210692073 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :ou can google it < 1210692085 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :your mother can google it < 1210692904 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210694158 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :NOW i leave < 1210694165 0 :oklofok!unknown@unknown.invalid QUIT :"( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )" < 1210694656 0 :Tritonio!n=tritonio@150.140.226.101 JOIN :#esoteric < 1210694953 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1210694971 0 :RedDak!n=dak@host57-82-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1210695600 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1210696163 0 :RedDak!n=dak@host57-82-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1210696994 0 :dak!n=dak@host18-91-dynamic.32-79-r.retail.telecomitalia.it JOIN :#esoteric < 1210697297 0 :dak!unknown@unknown.invalid QUIT :Client Quit < 1210697312 0 :dak!n=dak@host18-91-dynamic.32-79-r.retail.telecomitalia.it JOIN :#esoteric < 1210697473 0 :Deewiant!unknown@unknown.invalid QUIT :"Viivan loppu." < 1210698154 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210698177 0 :Deewiant!n=mniemenm@peridootti.hut.fi JOIN :#esoteric < 1210699050 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1210704526 0 :dak!unknown@unknown.invalid QUIT :Remote closed the connection < 1210704789 0 :ehird!n=ehird@91.105.68.170 JOIN :#esoteric < 1210704834 0 :ehird!unknown@unknown.invalid QUIT :Client Quit < 1210705058 0 :ehird!n=ehird@91.105.68.170 JOIN :#esoteric < 1210705062 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I am trying out stumpwm, indeed. < 1210705087 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh no < 1210705215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: oh no what < 1210705218 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm back? < 1210705243 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1210705298 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh no stumpwm < 1210705310 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: what's wrong with stumpwm < 1210705316 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, I guess you don't like emacs < 1210705317 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so it would follow < 1210705319 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i dunno, never tried it < 1210705643 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i tried to learn pi calculus < 1210705644 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i failed < 1210705900 0 :Tritonio!unknown@unknown.invalid QUIT :Remote closed the connection < 1210705911 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1210705928 0 :jix!n=jix@dyndsl-091-096-050-085.ewe-ip-backbone.de JOIN :#esoteric < 1210705936 0 :ehird!unknown@unknown.invalid QUIT :"Lost terminal" < 1210706427 0 :Judofyr_!unknown@unknown.invalid QUIT :Connection timed out < 1210706832 0 :RedDak!n=dak@host18-91-dynamic.32-79-r.retail.telecomitalia.it JOIN :#esoteric < 1210706915 0 :ehird!n=ehird@91.105.68.170 JOIN :#esoteric < 1210708049 0 :olsner!n=salparot@h-60-96.A163.cust.bahnhof.se JOIN :#esoteric < 1210708076 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1210708540 0 :Deewiant!unknown@unknown.invalid QUIT :"= Viivan loppu." < 1210708574 0 :Deewiant!n=mniemenm@peridootti.hut.fi JOIN :#esoteric < 1210710929 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Luciano Bello discovered that the random number generator in Debian's openssl package is predictable. This is caused by an incorrect Debian-specific change to the openssl package (CVE-2008-0166). As a result, cryptographic key material may be guessable. < 1210710931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :LULZ < 1210711632 0 :Sgeo[College]!i=897d294d@gateway/web/ajax/mibbit.com/x-6fdbeea2e690d61d JOIN :#esoteric < 1210712019 0 :timotiis_!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1210712184 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ehird: the patch in question: http://svn.debian.org/viewsvn/pkg-openssl/openssl/trunk/rand/md_rand.c?rev=141&view=diff&r1=141&r2=140&p1=openssl/trunk/rand/md_rand.c&p2=/openssl/trunk/rand/md_rand.c < 1210712785 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1210712950 0 :timotiis_!unknown@unknown.invalid NICK :timotiis < 1210713032 0 :Tritonio!n=tritonio@150.140.226.101 JOIN :#esoteric < 1210716235 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1210717236 0 :Iskr!unknown@unknown.invalid QUIT :"Leaving" < 1210717968 0 :oklopol!n=nnscript@partiopiiri-22.auriamail.net JOIN :#esoteric < 1210718265 0 :Sgeo[College]!unknown@unknown.invalid QUIT :"http://www.mibbit.com ajax IRC Client" < 1210719829 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1210722931 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I feel like I'm right on the cusp of figuring out a way to arrange abstractions such that code written with no concurrency in mind could be massively concurrent, but every time I get closer to the solution I find a problem, the fix to which causes things to become serial again :( < 1210722970 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Zooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooom < 1210722976 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: You want to go purely functional for that. < 1210722979 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's the only way to have it reliable. < 1210722992 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Well, that's the OBVIOUS solution. < 1210722996 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I don't want the obvious solution :P < 1210723014 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I want the "average moron X who doesn't know what a monad is could write concurrent code" solution. < 1210723033 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: Maintaining a system like that sounds scary < 1210723060 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I don't think I'm going to come to a clean solution, so this isn't going to go anywhere, but it's an interesting thought experiment :P < 1210723098 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately, I keep ending up needing to maintain data dependencies in such a way that either everything turns serial or marking dependencies reduces to the halting problem. < 1210723128 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: I am afraid I think it's impossible < 1210723150 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I don't think it is either. < 1210723152 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1210723158 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :But that doesn't make it any less interesting of a thought experiment. < 1210723168 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think about the halting problem allll day