00:02:00 <J_Arcane> oerjan: I think I find his argument rather convincing, and so will most likely do the FPComplete version of 194, and then the NICTA course. Interactive methods seem to work better for me anyway, I retain better.
00:14:25 -!- boily has quit (Quit: TELECOMMUNAL CHICKEN).
00:19:02 <oerjan> elliott: i shaved off one character hth main=putStr$'[':49`take`cycle"Dead,"++"]"
00:19:21 <elliott> who's going to submit it to anagol
00:22:20 -!- Tritonio_ has joined.
00:23:24 -!- AndoDaan has quit (Ping timeout: 265 seconds).
00:23:44 <lambdabot> [Dead,Dead,Dead,Dead,Dead,Dead,Dead,Dead,Dead,Dead]
00:24:37 -!- Tritonio has quit (Ping timeout: 244 seconds).
00:28:18 -!- Tritonio_ has changed nick to Tritonio.
00:35:59 -!- AndoDaan has joined.
00:39:08 <HackEgo> olist 972: shachaf oerjan Sgeo FireFly boily nortti
00:41:17 -!- AndoDaan has quit (Ping timeout: 265 seconds).
00:42:27 -!- contrapumpkin has changed nick to copumpkin.
00:54:50 -!- Lilax has joined.
00:56:08 -!- Melvar has quit (Ping timeout: 244 seconds).
00:56:38 -!- Melvar has joined.
00:58:08 -!- arjanb has quit (Quit: zzz).
01:00:38 -!- oren has quit (Quit: Lost terminal).
01:11:16 -!- Lilax has changed nick to Slowmotion|Catas.
01:11:54 -!- Slowmotion|Catas has changed nick to Lilax.
01:19:32 <Lilax> gonna play cards against humanity
01:21:17 <oerjan> *sigh* the drive comic's archive sucks so bad
01:22:15 <oerjan> there is no list of all comics that goes more than a year back, comic urls are by date and update have been sporadic for a long time...
01:22:55 * oerjan was trying to find the galaxy map to look up a planet mentioned in the latest comic
01:35:13 -!- copumpkin has quit (Ping timeout: 264 seconds).
01:36:34 <paul2520> actually, I'mma have to pass right now
01:37:09 -!- copumpkin has joined.
01:38:29 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:39:44 -!- augur_ has quit (Ping timeout: 244 seconds).
01:45:15 -!- augur has joined.
01:48:23 -!- tswett2 has joined.
01:50:13 <tswett2> oerjan: I'm not understanding your set builder notation.
01:50:54 <tswett2> You said let A = { y | y in O forall O in C, x /= y }. It seems like there should be a conjunction between the first "O" and the "forall", and I don't know what C and x are.
01:52:16 <tswett2> Now, my *real* question is:
01:53:00 <tswett2> Given a set, is a topology on that set completely determined by the set of all functions from Co to that set, where Co is the set containing 0 and all rational numbers of the form 1/n where n is an integer?
01:53:02 <oerjan> A is the set of y /= x that are contained in all O in C hth
01:53:18 <tswett2> And what's C? The space is called S.
01:53:36 <oerjan> C is your hypothetical countable family of open sets
01:53:44 <oerjan> which therefore cannot exist
01:54:32 <tswett2> I should have written down my question way back when.
01:55:07 <tswett2> Eh, who cares about topological spaces without countable bases anyway.
01:55:59 <tswett2> I suddenly have the eerie feeling that the category of topological spaces with countable bases is cartesian closed.
01:56:16 <oerjan> your Co simply allows you to detect converging sequences afaict, so since those don't determine the topology in general the answer is no.
01:56:41 <tswett2> Is it a well-known fact that converging sequences don't determine the topology in general?
01:56:44 <oerjan> otherwise there would have been no need to invent nets.
01:56:57 <tswett2> This is starting to sound familiar.
01:57:02 <oerjan> i'm pretty sure it is.
01:57:19 <tswett2> Damn it, I need to go to grad school.
01:57:52 <oerjan> wouldn't my example from before show that? there are no not-eventually-constant converging sequences in that space, i think.
01:59:30 <oerjan> so it cannot be distinguished by sequences from the discrete space on the same set
02:01:13 <oerjan> (basically every countable set is closed, so no sequence can converge to anything outside its limit range)
02:01:27 <tswett2> I'll take your word for it.
02:01:48 <tswett2> My reason for bringing everything up comes from my distrust of excessively large mathematical objects.
02:01:57 <oerjan> well the topology is basically _defined_ by every countable set being closed.
02:02:55 <tswett2> I'm not experienced enough in topology for all this to make sense without a bunch of effort.
02:03:28 <tswett2> I think I've figured out which mathematical objects I find "acceptable". Maybe.
02:03:45 <tswett2> It's those with topologies with countable bases.
02:03:59 -!- augur has quit (Ping timeout: 245 seconds).
02:04:03 <oerjan> tswett2: you might want to get hold of the book named "Counterexamples in topology"
02:08:22 <tswett2> The philosophically nice thing about points in spaces with countable bases is that, given two different (and distinguishable) points, you'll always be able to tell which is which by systematically performing an infinite number of experiments.
02:08:58 <oerjan> oh you mean countable overall, not just at each point
02:09:04 <tswett2> I think we're sort of talking past each other at this point.
02:10:16 <oerjan> there are some mathematical arguments that get a lot easier if you can just go total overkill with uncountable sets and axiom of choice though...
02:13:38 -!- augur has joined.
02:16:56 <oerjan> ok maybe humanity is not doomed just yet https://en.wikipedia.org/wiki/Teixobactin
02:23:45 -!- GeekDude has joined.
02:25:27 <tswett2> http://en.wikipedia.org/wiki/Second-countable_space - oh, there's a word for it.
02:27:20 <tswett2> Moreover, I'm pretty sure I knew the word already; I just forgot.
02:28:42 -!- adu has quit (Quit: adu).
02:29:52 -!- shikhin_ has quit (Ping timeout: 245 seconds).
02:33:56 <tswett2> http://en.wikipedia.org/wiki/Sequential_space - oh sweet.
02:36:01 <tswett2> "The subcategory Seq is a cartesian closed category with respect to its own product (not that of Top)." Nice.
02:36:07 <tswett2> Raises an obvious question, of course.
02:46:51 -!- tswett2 has quit (Ping timeout: 264 seconds).
02:47:14 -!- augur has quit (Quit: Leaving...).
02:53:41 -!- bb010g has joined.
02:56:09 -!- adu has joined.
02:58:44 -!- tswett has joined.
03:03:15 -!- tswett has quit (Ping timeout: 252 seconds).
03:11:37 <Lilax> On the Next episode Of Dragon Ball Z Goku fights a feirce battle With puppets made from the skin of children!
03:11:48 <Lilax> I'm sorry I had too idk why
03:14:19 -!- tswett has joined.
03:15:27 <Lilax> how was your persons days
03:18:56 -!- tswett has quit (Ping timeout: 244 seconds).
03:24:32 -!- Tritonio has quit (Remote host closed the connection).
03:37:28 -!- adu has quit (Quit: adu).
04:05:34 -!- MoALTz_ has joined.
04:08:17 -!- MoALTz has quit (Ping timeout: 256 seconds).
04:08:31 -!- MoALTz__ has joined.
04:09:58 -!- chaosagent has joined.
04:11:32 -!- MoALTz_ has quit (Ping timeout: 245 seconds).
04:14:46 -!- adu has joined.
04:36:14 -!- nys has quit (Quit: quit).
04:48:39 -!- dts|pokeball has joined.
05:09:30 -!- vanila has joined.
05:09:48 <vanila> nwe stuff on esoteric.codes
05:10:12 <vanila> قلب (‘alb) prقلب (‘alb) pr
05:20:12 -!- Lilax has quit (Quit: Connection closed for inactivity).
05:20:33 -!- MoALTz_ has joined.
05:23:39 -!- MoALTz__ has quit (Ping timeout: 256 seconds).
05:35:26 <vanila> Esolangs made it clear to me that languages could be a medium themselves, but what makes قلب unique is that it uses this medium to communicate a specific cultural and political message about code itself.
05:42:35 <int-e> oerjan: good morning, good night? (extrapolating from yesterday where I just missed you.)
05:44:47 <int-e> ah, right, I meant the morning for myself and the night for you, but of course that didn't get across.
05:45:15 <oerjan> (of course my surroundings may consider it morning)
05:45:31 <int-e> ah who cares about those
05:45:42 <int-e> it's still dark here
05:49:38 <oerjan> well here too, i mean morning as in some people appear to be leaving for work...
05:52:07 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
05:53:31 -!- GeekDude has joined.
05:53:41 -!- GeekDude has quit (Client Quit).
05:55:34 <int-e> hmm, not a single Burlesque solution for Kimariji...
05:56:29 <vanila> I saw this cool assembly languaeg self interpreter (virtualization)
05:56:34 <vanila> but i cant think of anything to do with it
05:56:35 <zzo38> I have made up a few new keyword abilities for Magic: the Gathering, which are called: Concentration, Covering, Fibonacci, Float, Lock, Overlay, Planestrample, Switchable.
05:57:00 <int-e> vanila: "virtualization" meaning machine code? if so, which processor?
05:57:08 <vanila> its a made up machine code
05:58:06 <vanila> http://i.imgur.com/uY0TfXF.png
05:58:57 <vanila> it lets you run machine code without it knowing its been run
05:59:14 <int-e> L.eval is missing?
05:59:26 <vanila> http://www.cl.cam.ac.uk/~am21/papers/pepm08.pdf
05:59:37 <vanila> its just a dispatch loop
06:04:06 <int-e> Oh it's almost a VLIW architecture in spirit (you make the encoding ridiculously big, using a whole word for the opcode, in order to simplify decoding.)
06:04:27 <int-e> It's not really VLIW because instructions still have variable length.
06:04:51 <vanila> VLIW is a new term to me, im just looking it up
06:05:03 <int-e> they're fixed length, 4 words each.
06:05:15 <int-e> it's a silly term, "very large instruction word"
06:07:11 <int-e> and it's hardly been used outside of microcode designs; the EPIC (Itanium) architecture looks VLIW-ish, and the Transmeta CPUs had a VLIW design. Maybe some DSPs do, too, and possibly GPUs, but no widespread mainstream processors that I'm aware of.
06:24:23 <int-e> "Java, a dead-end language with zero interesting syntax or semantics."
06:24:40 <vanila> I want to try to do something with this but i cant think of any ideas
06:25:16 <vanila> java has some interesting ideas: Compiling to a bytecode vm, object oriented programming with classes and interfaces
06:25:26 <vanila> probably more i dont know
06:26:07 <int-e> bytecode is boring, OO is boring
06:26:52 <int-e> Btw do you know why Java is pretty much stuck with the bytecode as is?
06:27:36 <vanila> its an important technique in compilers
06:27:42 <int-e> "An enhancer is a tool that automatically adds code to your persistent classes after you have written them. The enhancer post-processes the bytecode generated by your Java compiler, adding the necessary fields and methods to implement the required persistence features. This bytecode modification perfectly preserves the line numbers in stack traces and is compatible with Java debuggers."
06:28:09 <int-e> People started doing crazy shit like that.
06:29:25 <int-e> Java will just never be cool. It's old, it's big, and it's Buzzword Compatbible. (Buzzwords are yesterday's cool ideas.)
06:30:41 <vanila> cool is stuff like node.js, dart, golang
06:30:47 <vanila> i dont care about cool languages
06:31:03 <int-e> then what are you doing here? ;-)
06:32:29 <Sgeo> Is Rust cool >.>
06:32:40 <int-e> oh, node, which will win? Node.js or io.js?
06:33:29 <adu> vanila: I also like GoLang, but I don't see the point of node or dart
06:33:29 <int-e> (forks are interesting social experiments)
06:34:55 <int-e> I though that ECMAScript isn't too bad a language. (Not cool, but as far as I can see, most of the warts associated with Javascript are actually different interpretation of the W3C DOM, in particular when it comes to event propagation.)
06:35:59 <elliott> well it also has messed up scoping and coercion rules
06:36:00 <int-e> Otoh I think Node.js was just a cheap way of getting a fast scripting language: take an existing Browser VM and strip the browser parts.
06:36:20 <vanila> js scoping is esoteric
06:37:05 <adu> int-e: yeah, at least js has proper closures
06:37:18 <int-e> it's a prototype based language which is slightly uncommon.
06:37:23 -!- augur has joined.
06:37:30 <elliott> it's a prototype-based language that pretends to be class-based :)
06:37:50 <int-e> elliott: yeah that pretention is a mistake.
06:38:12 <adu> vanila: I think JS is lexically scoped, which is pretty normal, not esoteric
06:38:22 <int-e> (well, half a mistake. if you didn't use it in a mostly class-based fashion, optimisation would be reallly hard.)
06:38:52 <adu> myname: why not?
06:39:08 <myname> i don't see its use case
06:39:16 <vanila> go had so much potential
06:39:27 <vanila> its a shame what they came out with
06:39:30 <int-e> adu: the surrounding object's properties are in scope, and those can change dynamically.
06:39:38 <vanila> for me a potential use case was to write C programs in (instaed of C)
06:39:41 <myname> also it has too much strange properties for a modeen language
06:39:42 <Sgeo> Don't they have a workaround for the lack of generics or something?
06:39:53 <Sgeo> Or... not really sure
06:39:54 <vanila> really embarassing workarounds
06:40:02 <adu> myname: go's usecase is mostly in the highly-threaded inner-loop sector
06:40:04 <int-e> (A bit like Python? Nobody seems to complain there...)
06:40:04 <vanila> and the go community were extremely hostile when I proposed other solutions
06:40:43 -!- FreeFull has quit (Remote host closed the connection).
06:40:43 <int-e> (But of course, Python is more properly class based.)
06:40:51 <adu> Sgeo: Just think of Go as an untyped language, where everything is of type interface{} and it makes so much more sense
06:40:58 -!- FreeFull has joined.
06:41:19 <adu> myname: I know nothing about erlang
06:41:40 <vanila> dont you have to do a type-unsafe cast to use your interface{}s?
06:41:44 <myname> adu: it also makes stuff much more horrible
06:42:12 <myname> "go is not a bad language, but it's not a good language either"
06:42:34 <myname> why the hell does it still have null pointers
06:42:36 <int-e> there are no good programming languages.
06:42:58 <shachaf> int-e: are you saying that go is a no good programming language?
06:43:05 <adu> vanila: you do, but as Sgeo said, Go doesn't have generics, or conditional compilation, or macros, all of which their users are begging for
06:43:06 <myname> int-e: well, yeah, but rust gets as close to what i want as anything i know
06:43:21 <vanila> yeah, I think its a disappointment
06:43:28 <int-e> ("There are two kinds of programming languages. Those that everybody complains about and those that nobody uses." -- I believe that's going to remain true for the foreseeable future.)
06:43:36 <vanila> int-e, I thnk R7RS scheme is a good language
06:44:18 <int-e> meh, I'm *using* ocaml, it sucks :P
06:44:30 <vanila> what problems do take with it?
06:44:36 <vanila> i havent used it very much, im a beginner
06:44:41 <adu> vanila: and so from my perspective, it seems like those Go users who want generics are switching to Rust, because it's also aiming for the highly-threaded inner-loop market
06:45:05 <vanila> i have an issue with rust but nobody else seems to care :/
06:45:16 <adu> vanila: what issue?
06:45:30 <vanila> they should make a formal model of the type system and prove basic safety properties about it
06:45:49 <myname> go for a pull request :D
06:46:10 <vanila> this isn't something you can just hack up in a weekend
06:46:28 <adu> vanila: omg, I <3 R7RS-small
06:46:44 <vanila> do you use saggitarius scheme?
06:46:58 <adu> nope, I wrote my own scheme
06:47:09 <int-e> starting with small syntacticaly oddities (postfix type constructors? WHY?!), to the fact that modules have to be initialised at runtime (which in the particular project I'm involved in means the program spends half a second just starting up... because it slavishly follows the interface/instance division in its design (not my decision, but hard to change now...)), tools that are not powerful enough to...
06:47:09 <vanila> i want to do that too but its hard..
06:47:15 <int-e> ...see through the flexible module systems in order to extract usable dependencies...
06:47:19 <int-e> That's just off the top of my head.
06:47:39 <Sgeo> int-e: I suspect you'd like Rust's no-life-before-main policy
06:47:42 <vanila> ohh wow int-e, thanks for good points! I had no idea about those
06:49:15 -!- oerjan has quit (Quit: Gnfjnueihp).
06:49:33 <adu> vanila: have you seen any videos or slides about Rust's ownership model?
06:49:46 <int-e> Hmmm. Good night f j n u e i h p.
06:50:08 <int-e> --- oerjan has quit [Quit: Gnfjnueihp] <-- trying to decipher this
06:50:53 <adu> vanila: http://www.slideshare.net/saneyuki/rusts-ownership-and-move-semantics
06:58:09 <myname> int-e: we could make an acronym game, everbody has to resolve one more letter
06:58:22 <myname> e.g. Good night for j n u e i h p
07:01:49 -!- ^v^v has quit (Read error: Connection reset by peer).
07:02:11 -!- ^v^v has joined.
07:02:40 <adu> good night fellow jolly nude entertainer in hot pants
07:04:09 <adu> nude -> nearly undressed?
07:08:27 <adu> good nougat flavoured 'n' umeboshi in hot pockets
07:08:37 <myname> we should ask oerjan who these jolly nearly undressed entertainers are
07:10:49 <elliott> good nate: footjob nate. understating egregious incidents, he's perfect.
07:12:24 <int-e> "for just now" is possible
07:12:40 <adu> Good near-fail job. Now U, er, I have passed.
07:12:57 <int-e> @tell oerjan please expand Gnfjnueihp for us.
07:36:50 -!- MDude has changed nick to MDream.
07:43:31 <Sgeo> adu: I'm having trouble reading those slides, due to the poor grasp of English
07:44:07 <adu> I'm sure there are other Rust presentations somewhere online
07:59:43 <int-e> "the safeness in parallel" is kind of cute.
08:16:55 -!- MoALTz__ has joined.
08:18:06 -!- MoALTz__ has quit (Read error: Connection reset by peer).
08:19:49 <b_jonas> `8-ball is the program cpu-bound?
08:20:27 -!- MoALTz_ has quit (Ping timeout: 264 seconds).
08:22:40 -!- AndoDaan has joined.
08:37:14 <vanila> is anyone familiar with futamura projections for making compilers?
08:45:44 -!- shikhin has joined.
08:49:56 -!- skj3gg has quit (Quit: ZZZzzz…).
08:59:26 -!- adu has quit (Quit: adu).
09:04:17 <zzo38> What kind of "tasks" are there in Magic: the Gathering? (By "tasks" I mean like Babson task and so on in chess)
09:05:19 <shachaf> Do you mean for puzzles like Magic: The Puzzling?
09:10:55 <Jafet> Puzzles to make puzzles, how frightening
09:15:19 <zzo38> In chess, a "Babson task" is when white plays, black promotes a pawn, and the solution requires white to promote into the same kind of piece that black promoted into. Another task is Valladao task, where promotion, en passant, and castling are all required.
09:23:00 <Sgeo> zzo38: what do you think about rock paper scissors chess? http://leftoversoup.com/archive.php?num=34
09:25:19 <zzo38> It looks like it may be interesting kind of game though.
09:27:50 <int-e> Cute, Wikipedia has a disambiguation page for symbols-that-resemble-the-empty-set. http://en.wikipedia.org/wiki/%C3%98_%28disambiguation%29
09:32:43 <shachaf> remember how in the lost vikings the zeros had slashes through them
09:34:59 <Jafet> None of the articles for those symbols seem to link to that page, though.
09:42:51 <mroman> http://codepad.org/4HHab77x
09:43:44 <mroman> (I'm working on a new "esolang" that compiles to haskell)
09:43:52 <mroman> (with the intent to write a self-hosting compiler later on)
09:44:27 <mroman> 5+5. == +5 5. == 5 5+.
09:44:42 <mroman> operations are not carried out immediately but only after a "."
09:44:59 <mroman> "." carries out the most recent operation where as ";" carries out all operations in order
09:46:39 <mroman> whereas 5-3*2; is actually (3-2)*5
09:50:53 <mroman> http://codepad.org/uKvt80z5
09:51:53 <mroman> 5-3*2; is the same thing as 5 3 2 -. *.
09:54:04 <mroman> b_jonas: The compiler keeps a stack of operations to perform
09:54:17 <mroman> "." pops an operation from the stack
09:54:29 <mroman> ";" treats the stack as a list and executes all operations in order
09:54:46 <mroman> + - * /; is +. -. *. /.
09:54:59 <mroman> whereas +-*/.... is /. *. -. +.
09:55:03 <vanila> that souns horribly painful
09:55:16 <mroman> +-*/ itself compiles to nothing
09:55:20 <mroman> since no operation is executed
09:57:48 <mroman> vanila: well you're not supposed to mix ; and . anyway
09:57:55 <mroman> it's for different programming styles
09:58:32 <mroman> you should use ";" if you prefer to push all data first, then carry out all operations
09:59:19 <mroman> and "." if you want a more not-so-stacky style of programming
10:02:12 <Jafet> Why does ; take the data from a stack but the operators from a queue?
10:04:49 <mroman> which takes all operators from the stack
10:06:32 <HackEgo> [wiki] [[PZAB]] http://esolangs.org/w/index.php?diff=41679&oldid=40647 * MrDetonia * (+117) Added link to PZAB interpreter in C GitHub page.
10:06:42 <mroman> Jafet, b_jonas: http://codepad.org/vhvjt6gK
10:07:15 -!- vanila has quit (Remote host closed the connection).
10:10:04 <mroman> 5-3.*2. is also the same thing as - 5 3.*2. or 5 3 -. 2 *.
10:10:26 <mroman> I prefer the 5-3. *2. style
10:11:05 <mroman> 5-3.*2 is also the same as 5 3 2 *-;
10:11:27 <shachaf> zzo38: There are some Prismata puzzles if you're interested.
10:12:20 <shachaf> There's one called Countdown in the non-account demo.
10:12:26 <Jafet> Do they involve real time?
10:12:34 <mroman> essentially my "esolang" offers three programming styles.
10:13:37 <Jafet> Not that I'm aware of
10:15:07 <shachaf> It's not a real-time game.
10:15:32 <Jafet> Ok, I assumed it was.
10:17:21 <shachaf> It's a deterministic complete-information turn-based game. The puzzles are vaguely in the same category as chess puzzles or Magic: The Puzzlings, I guess.
10:24:03 <Jafet> mroman: given a program in a canonical "sane" syntax, how many ways can it can be permuted using the operators .;\
10:25:39 <Jafet> ; pops the entire operator queue, unfortunately, so its application to this seems limited
10:29:46 -!- Zuu_ has quit (Changing host).
10:29:46 -!- Zuu_ has joined.
10:30:00 -!- Zuu_ has changed nick to Zuu.
10:33:18 <Jafet> Apparently g++ supports enough of C++11 threading now
10:35:06 <mroman> Jafet: every trailing . can be replaced by either \ and ;
10:35:20 <mroman> every sequence of trailing dots can be replaced by \
10:35:58 <Jafet> That's what it's defined as, probably
10:37:54 -!- fractal has quit (Ping timeout: 244 seconds).
10:39:19 <mroman> you could also write stuff like * - 3 2. 5.
10:39:50 <mroman> so I guess there are a lot of permutations possible
10:41:08 -!- Tritonio has joined.
10:43:14 <HackEgo> [wiki] [[Codename: CRAWL]] http://esolangs.org/w/index.php?diff=41680&oldid=13517 * 79.108.181.93 * (+56)
10:48:28 <J_Arcane> this should not be a surprise to anyone here but it's an entertaining read: http://www.howtogeek.com/198622/heres-what-happens-when-you-install-the-top-10-download.com-apps/?PageSpeed=noscript
10:50:59 -!- shikhin_ has joined.
10:53:59 -!- shikhin has quit (Ping timeout: 245 seconds).
10:59:10 -!- Guest20168 has changed nick to ocharles_.
11:01:01 -!- fractal has joined.
11:03:39 <int-e> J_Arcane: thanks, I didn't know things had gotten so bad (I'm only using Windows for playing games...)
11:04:26 <J_Arcane> int-e: I sometimes think that part of the reason for the boom in web apps has a lot to do with the Windows native app environment having become so unrecoverably shite.
11:09:02 <zzo38> I usually don't install any program that requires an installer
11:09:06 <int-e> . o O ( Anybody remember the days when we had "programs"? )
11:10:32 <J_Arcane> Where there rarely ever *were* installers, and when they were, there was no where for them to hide files in the first place.
11:11:04 <J_Arcane> If I could still get work done in 2015 on MacOS 8.5, I'd have a PowerMac on my desk.
11:12:04 <zzo38> I like to write just command-line filter programs mostly; just port source-codes and compile it, or run the provided binary if it is working on your computer, and it work. It can be used with Windows, Linux, Mac OS X, FreeBSD, etc whatever. If you want to use it remotely you can just use SSH
11:12:21 -!- ^v^v has quit (Read error: Connection reset by peer).
11:12:43 -!- ^v^v has joined.
11:13:00 <Jafet> I always thought that those ratings on download sites were dubious
11:14:38 <int-e> the ratings are dubious, but the top 10 list is ridiculous.
11:15:53 <int-e> (but I'm afraid the article isn't totally ridiculous. people will browse those lists and think to themselves, "oh that sounds useful"... )
11:16:29 <J_Arcane> top lists on most app providers are pretty easily gamed.
11:16:48 <J_Arcane> I'm pretty sure half the top apps on Windows Store even are complete nonsense.
11:17:46 -!- boily has joined.
11:19:33 <J_Arcane> Actually, at this point I'm not sure MS is even bothering with any curation of their app store. It's *starting* to dwindle down now, but for most of the last several months as many of half the top games on Windows Store were pirated ROMs wrapped in a half-working emulator.
11:29:43 -!- chaosagent has quit (Ping timeout: 256 seconds).
11:38:22 <J_Arcane> God, finding good screensavers ...
11:39:42 -!- hjulle has joined.
11:40:22 <b_jonas> J_Arcane: what ratings? these ratings? http://www.xkcd.com/937/
11:41:04 <J_Arcane> b_jonas: I mean that most of them don't seem to be rate-limited in any way, so they're pretty trivially botnetted, and seldom even checked for such.
11:41:37 <J_Arcane> I think Apple's app store is the only one I haven't seen apps that were clearly just flooded with spam "reviews" that existed to bump the average.
12:18:34 <mroman> > let f+ x x = x+x in f+ 3
12:18:36 <lambdabot> <hint>:1:8: Parse error in pattern: x
12:18:47 <mroman> > let f x x = x+x in f 3
12:19:03 <mroman> > let f+ x y = x+y in f 2 3
12:19:05 <lambdabot> <hint>:1:8: Parse error in pattern: x
12:20:32 <boily> > let (+) = (*) in 2 + 3
12:21:25 -!- tswett has joined.
12:23:54 -!- boily has quit (Quit: ARRHYTMIC CHICKEN).
12:25:30 -!- Tritonio has quit (Ping timeout: 265 seconds).
12:26:01 -!- Tritonio has joined.
12:28:05 -!- AndoDaan has quit (Ping timeout: 256 seconds).
12:40:10 <Taneb> Ugh, my computer keeps changing from UK keyboard layout to US
12:46:59 -!- tswett has quit (Ping timeout: 252 seconds).
12:48:05 -!- AndoDaan has joined.
12:51:53 -!- shikhin_ has changed nick to shikhin.
12:53:13 -!- AndoDaan has quit (Ping timeout: 252 seconds).
12:56:31 -!- AndoDaan has joined.
13:52:26 <HackEgo> [wiki] [[Talk:MNNBFSL]] http://esolangs.org/w/index.php?diff=41681&oldid=41677 * AndoDaan * (+2123) Wang B-machine to MNNBFSL outline
14:20:18 <J_Arcane> Well, that's refreshing already. A tutorial that actually admits Haskell has downsides. ;)
14:23:20 -!- SopaXorzTaker has joined.
14:36:26 -!- paul2520 has quit (Quit: WeeChat 1.0).
14:36:57 -!- ^v has joined.
14:39:52 -!- ^v^v has quit (Ping timeout: 265 seconds).
14:54:14 -!- ais523 has joined.
14:57:31 -!- vanila has joined.
14:57:58 -!- callforjudgement has joined.
14:59:03 -!- AndoDaan has quit (Read error: Connection reset by peer).
14:59:32 -!- ais523 has quit (Ping timeout: 244 seconds).
15:01:20 -!- `^_^v has joined.
15:06:21 -!- mitchs has quit (Quit: mitchs).
15:07:24 -!- oerjan has joined.
15:08:03 <lambdabot> int-e said 7h 55m 6s ago: please expand Gnfjnueihp for us.
15:08:24 -!- mihow has joined.
15:08:29 <oerjan> sheesh you mash the keyboard _once_ and everyone collapses in confusion.
15:09:40 -!- nycs has joined.
15:10:06 -!- `^_^v has quit (Read error: Connection reset by peer).
15:10:58 <oerjan> @tell int-e sheesh you mash the keyboard _once_ and everyone collapses in confusion. i mean, adu is correct.
15:11:44 -!- mitchs has joined.
15:11:50 <b_jonas> callforjudgement: I have some problems with your description of that M:tG implementation of that cyclic tag machine, though probably fixable, see http://esolangs.org/wiki/Talk:StackFlow#M:tG_implementation
15:12:02 <b_jonas> callforjudgement: I also fixed a few typos in the description that seemed to have an obvious fix
15:15:02 <int-e> oerjan: well the 'gn' was really unlucky if that's what you did
15:15:28 <oerjan> i may have typed that before mashing the rest.
15:17:35 <oerjan> `8-ball is the program cpu-bound?
15:17:43 <int-e> oerjan: well then you have no reason to complain.
15:17:53 <oerjan> so HackEgo's version is not deterministic.
15:18:01 <oerjan> ^8-ball is the program cpu-bound?
15:18:06 <oerjan> ^8ball is the program cpu-bound?
15:18:39 <oerjan> int-e: well not _that_ reason.
15:18:56 <int-e> oerjan: that's what the phrase means
15:22:46 <J_Arcane> Neeeeat. There's copies of Mac Common Lisp on Macintosh Garden.
15:24:40 <b_jonas> J_Arcane: oh no. that sounds dangerous.
15:27:20 -!- adu has joined.
15:27:48 -!- adu has quit (Client Quit).
15:35:43 -!- TieSleep has changed nick to TieStudying.
15:35:45 -!- TieStudying has quit (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
15:37:51 -!- shikhin has quit (Ping timeout: 252 seconds).
15:45:51 -!- callforjudgement has quit (Ping timeout: 256 seconds).
15:50:34 <Jafet> Heh, ran out of memory trying to mmap a file.
15:54:39 <oerjan> if there only were somewhere it could store it on disk to save on memory
15:55:14 <oerjan> (by which i mean, i'm surprised it doesn't do that automatically?)
15:55:26 <Jafet> No, I think it ran out of memory creating page tables
15:56:06 <oerjan> oh right your humongous OEIS search?
15:57:48 <oerjan> just swap out the page tables hth
15:59:10 <oerjan> theoretically that could be made to work...
16:00:41 <oerjan> (in some system. no idea if any real ones support it.)
16:00:50 <Jafet> You can of course emulate it in software
16:01:08 <Jafet> (which is not a speed problem, because, after all, they were swapped out to disk)
16:01:08 <oerjan> and of course you'd need to protect some pages from being swapped.
16:02:43 <Jafet> I think x86 TLBs don't like it when you update page tables though
16:04:29 <oerjan> relevant pictures https://www.google.no/search?q=TLB&biw=1179&bih=615&tbm=isch&tbo=u&source=univ&sa=X&ei=30G1VICdKYG2UPKOgZAF&ved=0CCUQsAQ
16:22:16 -!- SopaXorzTaker has quit (Remote host closed the connection).
16:23:37 <vanila> where could I get a bunch of good pure lambda calculus terms?
16:23:44 <vanila> big ones to benchmark evaluators etc
16:24:19 <Jafet> I only have trashy grungy lambda calculus terms
16:25:14 <Jafet> Just scott encode some things
16:27:26 -!- ocharles_ has quit (Changing host).
16:27:26 -!- ocharles_ has joined.
16:27:29 -!- ocharles_ has changed nick to ocharles.
16:29:01 -!- r0nk has quit (Quit: WeeChat 0.4.2).
16:29:47 -!- SopaXorzTaker has joined.
16:32:01 -!- oerjan has quit (Quit: leaving).
16:37:10 -!- Taneb has changed nick to atriq.
16:37:40 -!- atriq has changed nick to Taneb.
16:42:17 -!- GeekDude has joined.
16:53:18 -!- Phantom_Hoover has joined.
17:01:14 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:01:31 -!- AndoDaan has joined.
17:15:51 -!- MDream has changed nick to MDude.
17:17:01 -!- callforjudgement has joined.
17:21:25 -!- Sprocklem has joined.
17:23:46 -!- callforjudgement has changed nick to ais523.
17:34:16 <J_Arcane> > let x ☭ xs = map (+lavg) xs where lavg = x `div` (length xs) in 10 ☭ [1..10] -- Distributive list operator for Haskell ;)
17:36:41 <Jafet> This regime looks a bit too strict for me.
17:43:29 <Phantom_Hoover> shouldn't a communist operator redistribute within the list
17:44:35 -!- shikhin has joined.
17:44:40 -!- shikhin has quit (Changing host).
17:44:40 -!- shikhin has joined.
17:51:45 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
18:06:50 -!- SopaXorzTaker has quit (Remote host closed the connection).
18:22:54 -!- S1 has joined.
18:23:29 -!- arjanb has joined.
18:26:28 <ais523> oh, on the subject of vaporware esolangs by ais523
18:26:35 <ais523> I started working on Underlambda again
18:27:09 <ais523> also I read the Ursala manual (Ursala is not a vaporware esolang by ais523, but an allegedly serious language by someone else) and actually think I understood what was going on this time
18:28:34 <vanila> woah I didn't know there was actually a manual
18:28:50 <ais523> how would anyone be able to write it without a manual?
18:29:59 <HackEgo> ~&al?\~&ar ~&aa^&~&afahPRPfafatPJPRY+ ~&farlthlriNCSPDPDrlCS2DlrTS2J,^|J/~& ~&rt!=+ ^= ~&s+ ~&H(-+.|=&lrr;,|=&lrl;,|=≪+-, ~&rgg&& ~&irtPFXlrjrXPS; ~&lrK2tkZ2g&& ~&llrSL2rDrlPrrPljXSPTSL)+-,
18:30:18 <ais523> AFAICT, Ursala is what you get when you start from similar syntax goals as Cyclexa (which looks like line noise just as much as Ursala does), and then add a few dubious computer science opinions
18:30:53 -!- vanila has quit (Quit: Leaving).
18:32:01 <ais523> (specifically: "static typing is evil, it makes much more sense to write a language which just assumes all bit patterns it sees are already of the type you claim they are", "currying-based languages are incapable of expressing /flip/", and "the main activity worth optimizing is extracting parts of structured data and forming new structured data out of them")
18:32:46 <olsner> ursala's data extraction thingies (forgot what they're called) reminded me of lenses
18:32:58 <ais523> they're called pointers/pseudopointers
18:33:13 <ais523> but really, the fundamental interesting concept here is what Ursala calls an address
18:33:46 <ais523> only it doesn't realise why it's important in the language itself which leaves the language a bit muddled (it's obvious (?) if you look at the generated VM bytecode though)
18:35:00 <ais523> the Ursala manual uses &alrNQPabh2fabt2RCNq as an example of code that Ursala is particularly good at; I reimplemented it in Underlambda (untested) and got '1~(((!('x'y)\xa'z_*)n1`)\y\z)e((A!)_)*I
18:35:10 <ais523> which is exactly twice as long, I couldn't golf it down further
18:35:31 <ais523> untested because I only realised that e was an important operation quite easily and none of my interps interprets it yet
18:37:21 <olsner> what's that "address" thing in ursala then?
18:37:40 <ais523> anyway, one thing that leaves me a bit relieved about Ursala is that the syntax is not intended to be readable or memorable
18:37:56 <ais523> the manual freely admits that you'll probably need to keep it open in order to pick appropriate operators and the like
18:38:17 <ais523> (most operators in Ursala do multiple different things depending on surrounding whitespace; also the precedence rules are non-transitive)
18:38:39 <ais523> and an "address" is basically a sequence of navigation commands through pairs
18:38:46 <ais523> "take the left of the right of the right of the left", like that
18:39:20 <ais523> and although Ursala talks about lists and pairs and jobs and sets, they're all implemented as pairs internally
18:39:44 <ais523> e.g. a list is a pair of its head and tail, Lisp-style
18:40:22 <olsner> ah, the [lrth]* string is the "address" and things like &address makes a "pointer" of it?
18:41:02 <ais523> olsner: OK, so this is where things start getting a little confusing
18:41:11 <olsner> those addresses are what made me think about lenses, I think
18:41:18 <ais523> a pointer is basically just a structure of addresses, specified in reverse-polish form
18:41:33 <ais523> so, e.g. &lrX is the pair (&l, &r) because X is a pair constructor
18:42:10 <ais523> this accounts for a relatively small subset of the long ~& nonsense you frequently see
18:42:49 <ais523> then, because the author of Ursala liked this syntax so much, they added in a bunch of other functions that aren't actually pointers, but using the same syntax (i.e. reverse-polish operating on pointers or pseudopointers), called a pseudopointer
18:43:07 <ais523> so at this point you have a reverse-polish DSL which uses every uppercase and lowercase letter of the alphabet
18:43:44 <ais523> and many of the commands are implemented identically (e.g. l and h), but are conceptually different and so have different names
18:46:26 <olsner> hmm, but something like &lr is (iirc) "left of the right" (or the other way around) - how would you extend &lrX to make a pair of e.g. (&lr, &rl) instead?
18:51:25 <olsner> interesting twist that you start with inscrutable code, then to figure out what it does you compile it and dump the VM's internal representation which is human readable
18:54:35 <olsner> (well, or decompile it into human readable form, not sure how much of a straight dump it is)
19:08:06 -!- MoALTz has joined.
19:15:30 -!- S1 has quit (Quit: S1).
19:36:17 <J_Arcane> https://www.fpcomplete.com/blog/2015/01/hiring-software-engineer?preview=true
20:11:25 <zzo38> Do you like some of my new kind of keyword abilities for Magic: the Gathering?
20:11:50 <shachaf> Which new kind of keybard abilities?
20:12:35 <b_jonas> zzo38: um, there are new keyword abilities? apart from plainstrample?
20:12:53 <zzo38> You can see it in the file http://zzo38computer.org/textfile/miscellaneous/magic_card/cards.txt (search for "Keyword abilities:")
20:13:01 <zzo38> b_jonas: Yes, I added some more now.
20:13:11 <b_jonas> zzo38: oh, is there a Changes file?
20:13:38 <zzo38> No, there is no changes file, I just add to the file I already have (and make other changes as necessary, sometimes)
20:13:59 <b_jonas> maybe I should save it then so I can diff
20:14:14 <zzo38> You can do that if you want to
20:17:23 <b_jonas> also, people, if you understand how these crazy automaton that are turing complete but require exponential time work, try answering http://cstheory.stackexchange.com/q/21525/8067 Conjecture about two counters automata
20:24:07 <b_jonas> zzo38: for the Confusion keyword, how does the triggered ability work if more than one creature blocks or is blocked by a creature?
20:26:05 <b_jonas> zzo38: also, as written, it seems that the triggered ability puts counters too late, so those counters will be useful only next combat (unless there's double strike involved)
20:27:25 <b_jonas> zzo38: as for the covering keyword, I don't understand how that works
20:27:28 <zzo38> Yes it is supposed to put them only until the next combat or strike
20:27:56 <zzo38> Also I think the "switchable" keyword maybe it could have a better name than "switchable"?
20:32:25 <zzo38> How can I clarify the covering keyword?
20:32:41 <zzo38> I added one more sentence but I am not sure it clarifies it.
20:34:25 <zzo38> One which I previously missed; it says: Creatures with covering are also required to come in the damage assignment order before creatures without covering.
20:35:49 <AndoDaan> zzo38, you wrote the wiki entry on Wang B-machines, right?
20:37:24 <zzo38> AndoDaan: Do you mean esolang wiki? I added a paragraph to the "Wang program" article.
20:40:43 -!- AndoDaan has quit (Ping timeout: 252 seconds).
20:45:33 -!- mihow has quit (Quit: mihow).
21:02:28 -!- zzo38 has quit (Remote host closed the connection).
21:08:30 <b_jonas> zzo38: ok, that makes covering clearer, thanks
21:13:43 <b_jonas> covering seems to be a bit similar to banding, at least on a potentially blocking creature
21:19:58 <pikhq> ais523: I'm glad that they got a round two of Pokemon Plays Twitch going with your script.
21:32:06 -!- nycs has quit (*.net *.split).
21:32:07 -!- nyuszika7h has quit (*.net *.split).
21:32:07 -!- Deewiant has quit (*.net *.split).
21:32:07 -!- nortti has quit (*.net *.split).
21:32:08 -!- MoALTz has quit (*.net *.split).
21:32:09 -!- ocharles has quit (*.net *.split).
21:32:09 -!- atehwa has quit (*.net *.split).
21:32:10 -!- HackEgo has quit (*.net *.split).
21:32:10 -!- tromp has quit (*.net *.split).
21:32:11 -!- zemhill_ has quit (*.net *.split).
21:32:11 -!- fungot has quit (*.net *.split).
21:32:12 -!- FreeFull has quit (*.net *.split).
21:32:12 -!- copumpkin has quit (*.net *.split).
21:32:12 -!- quintopia has quit (*.net *.split).
21:32:13 -!- variable has quit (*.net *.split).
21:32:14 -!- dts|pokeball has quit (*.net *.split).
21:32:14 -!- SirCmpwn has quit (*.net *.split).
21:32:14 -!- Gregor has quit (*.net *.split).
21:32:15 -!- newsham has quit (*.net *.split).
21:32:15 -!- fizzie has quit (*.net *.split).
21:32:16 -!- stuntaneous has quit (*.net *.split).
21:32:17 -!- supay has quit (*.net *.split).
21:32:18 -!- kcm1700 has quit (*.net *.split).
21:32:18 -!- jix has quit (*.net *.split).
21:32:18 -!- pikhq has quit (*.net *.split).
21:32:19 -!- coppro has quit (*.net *.split).
21:32:19 -!- skarn has quit (*.net *.split).
21:32:19 -!- pallokolmio has quit (*.net *.split).
21:32:20 -!- GeekDude has quit (*.net *.split).
21:32:21 -!- mitchs has quit (*.net *.split).
21:32:21 -!- heroux has quit (*.net *.split).
21:32:21 -!- MDude has quit (*.net *.split).
21:32:22 -!- lifthrasiir has quit (*.net *.split).
21:32:22 -!- reynir has quit (*.net *.split).
21:32:22 -!- myname has quit (*.net *.split).
21:32:22 -!- tromp_ has quit (*.net *.split).
21:32:22 -!- diginet has quit (*.net *.split).
21:32:23 -!- shikhin has quit (*.net *.split).
21:32:23 -!- hjulle has quit (*.net *.split).
21:32:24 -!- olsner has quit (*.net *.split).
21:32:25 -!- int-e has quit (*.net *.split).
21:32:25 -!- q3k has quit (*.net *.split).
21:32:26 -!- ^v has quit (*.net *.split).
21:32:26 -!- Tritonio has quit (*.net *.split).
21:32:26 -!- drdanmaku has quit (*.net *.split).
21:32:26 -!- Zuu has quit (*.net *.split).
21:32:26 -!- conehead has quit (*.net *.split).
21:32:28 -!- idris-bot has quit (*.net *.split).
21:32:28 -!- relrod has quit (*.net *.split).
21:32:28 -!- nisstyre has quit (*.net *.split).
21:32:28 -!- blsqbot has quit (*.net *.split).
21:32:29 -!- mroman has quit (*.net *.split).
21:32:30 -!- digitalcold has quit (*.net *.split).
21:32:30 -!- trn has quit (*.net *.split).
21:32:30 -!- rodgort has quit (*.net *.split).
21:32:30 -!- yorick has quit (*.net *.split).
21:32:30 -!- KingOfKarlsruhe has quit (*.net *.split).
21:32:31 -!- clog has quit (*.net *.split).
21:32:31 -!- kline has quit (*.net *.split).
21:32:32 -!- Sprocklem has quit (*.net *.split).
21:32:33 -!- b_jonas has quit (*.net *.split).
21:32:33 -!- qlkzy has quit (*.net *.split).
21:32:34 -!- j-bot has quit (*.net *.split).
21:32:34 -!- aloril has quit (*.net *.split).
21:32:34 -!- shachaf has quit (*.net *.split).
21:32:34 -!- yiyus_ has quit (*.net *.split).
21:32:34 -!- lambdabot has quit (*.net *.split).
21:32:34 -!- erdic has quit (*.net *.split).
21:32:35 -!- Jafet has quit (*.net *.split).
21:32:35 -!- yukko has quit (*.net *.split).
21:32:35 -!- Taneb has quit (*.net *.split).
21:32:35 -!- arjanb has quit (*.net *.split).
21:32:38 -!- fractal has quit (Excess Flood).
21:35:05 -!- nys has joined.
21:35:05 -!- MoALTz has joined.
21:35:05 -!- arjanb has joined.
21:35:05 -!- shikhin has joined.
21:35:05 -!- Sprocklem has joined.
21:35:05 -!- GeekDude has joined.
21:35:05 -!- mitchs has joined.
21:35:05 -!- nycs has joined.
21:35:05 -!- ^v has joined.
21:35:05 -!- Tritonio has joined.
21:35:05 -!- hjulle has joined.
21:35:05 -!- FreeFull has joined.
21:35:05 -!- dts|pokeball has joined.
21:35:05 -!- copumpkin has joined.
21:35:05 -!- b_jonas has joined.
21:35:05 -!- drdanmaku has joined.
21:35:05 -!- Zuu has joined.
21:35:05 -!- conehead has joined.
21:35:05 -!- stuntaneous has joined.
21:35:05 -!- ocharles has joined.
21:35:05 -!- supay has joined.
21:35:05 -!- quintopia has joined.
21:35:05 -!- nyuszika7h has joined.
21:35:05 -!- atehwa has joined.
21:35:05 -!- SirCmpwn has joined.
21:35:05 -!- Deewiant has joined.
21:35:05 -!- heroux has joined.
21:35:05 -!- nortti has joined.
21:35:05 -!- MDude has joined.
21:35:05 -!- zemhill_ has joined.
21:35:05 -!- idris-bot has joined.
21:35:05 -!- qlkzy has joined.
21:35:05 -!- kcm1700 has joined.
21:35:05 -!- Gregor has joined.
21:35:05 -!- jix has joined.
21:35:05 -!- j-bot has joined.
21:35:05 -!- relrod has joined.
21:35:05 -!- tromp has joined.
21:35:05 -!- HackEgo has joined.
21:35:05 -!- lifthrasiir has joined.
21:35:05 -!- reynir has joined.
21:35:05 -!- Jafet has joined.
21:35:05 -!- pikhq has joined.
21:35:05 -!- myname has joined.
21:35:05 -!- olsner has joined.
21:35:05 -!- variable has joined.
21:35:05 -!- coppro has joined.
21:35:05 -!- nisstyre has joined.
21:35:05 -!- blsqbot has joined.
21:35:05 -!- newsham has joined.
21:35:05 -!- fungot has joined.
21:35:05 -!- fizzie has joined.
21:35:05 -!- skarn has joined.
21:35:05 -!- aloril has joined.
21:35:05 -!- pallokolmio has joined.
21:35:05 -!- tromp_ has joined.
21:35:05 -!- shachaf has joined.
21:35:05 -!- yiyus_ has joined.
21:35:05 -!- Taneb has joined.
21:35:05 -!- q3k has joined.
21:35:05 -!- yukko has joined.
21:35:05 -!- kline has joined.
21:35:05 -!- clog has joined.
21:35:05 -!- erdic has joined.
21:35:05 -!- int-e has joined.
21:35:05 -!- mroman has joined.
21:35:05 -!- lambdabot has joined.
21:35:05 -!- KingOfKarlsruhe has joined.
21:35:05 -!- diginet has joined.
21:35:05 -!- yorick has joined.
21:35:05 -!- rodgort has joined.
21:35:05 -!- trn has joined.
21:35:05 -!- digitalcold has joined.
21:35:55 -!- nycs has quit (*.net *.split).
21:35:55 -!- nyuszika7h has quit (*.net *.split).
21:35:55 -!- Deewiant has quit (*.net *.split).
21:35:55 -!- nortti has quit (*.net *.split).
21:35:56 -!- MoALTz has quit (*.net *.split).
21:35:57 -!- ocharles has quit (*.net *.split).
21:35:57 -!- atehwa has quit (*.net *.split).
21:35:58 -!- HackEgo has quit (*.net *.split).
21:35:58 -!- tromp has quit (*.net *.split).
21:35:59 -!- zemhill_ has quit (*.net *.split).
21:35:59 -!- fungot has quit (*.net *.split).
21:35:59 -!- FreeFull has quit (*.net *.split).
21:35:59 -!- copumpkin has quit (*.net *.split).
21:36:00 -!- quintopia has quit (*.net *.split).
21:36:01 -!- variable has quit (*.net *.split).
21:36:01 -!- fizzie has quit (*.net *.split).
21:36:02 -!- stuntaneous has quit (*.net *.split).
21:36:02 -!- supay has quit (*.net *.split).
21:36:03 -!- kcm1700 has quit (*.net *.split).
21:36:03 -!- jix has quit (*.net *.split).
21:36:04 -!- pikhq has quit (*.net *.split).
21:36:04 -!- coppro has quit (*.net *.split).
21:36:05 -!- skarn has quit (*.net *.split).
21:36:05 -!- pallokolmio has quit (*.net *.split).
21:36:06 -!- GeekDude has quit (*.net *.split).
21:36:06 -!- mitchs has quit (*.net *.split).
21:36:07 -!- heroux has quit (*.net *.split).
21:36:07 -!- MDude has quit (*.net *.split).
21:36:07 -!- lifthrasiir has quit (*.net *.split).
21:36:07 -!- reynir has quit (*.net *.split).
21:36:07 -!- myname has quit (*.net *.split).
21:36:08 -!- tromp_ has quit (*.net *.split).
21:36:08 -!- diginet has quit (*.net *.split).
21:36:08 -!- shikhin has quit (*.net *.split).
21:36:09 -!- hjulle has quit (*.net *.split).
21:36:10 -!- olsner has quit (*.net *.split).
21:36:10 -!- int-e has quit (*.net *.split).
21:36:10 -!- q3k has quit (*.net *.split).
21:36:11 -!- ^v has quit (*.net *.split).
21:36:11 -!- Tritonio has quit (*.net *.split).
21:36:11 -!- drdanmaku has quit (*.net *.split).
21:36:12 -!- Zuu has quit (*.net *.split).
21:36:12 -!- conehead has quit (*.net *.split).
21:36:13 -!- idris-bot has quit (*.net *.split).
21:36:13 -!- relrod has quit (*.net *.split).
21:36:14 -!- nisstyre has quit (*.net *.split).
21:36:14 -!- blsqbot has quit (*.net *.split).
21:36:14 -!- mroman has quit (*.net *.split).
21:36:15 -!- digitalcold has quit (*.net *.split).
21:36:15 -!- trn has quit (*.net *.split).
21:36:15 -!- rodgort has quit (*.net *.split).
21:36:16 -!- yorick has quit (*.net *.split).
21:36:16 -!- KingOfKarlsruhe has quit (*.net *.split).
21:36:16 -!- clog has quit (*.net *.split).
21:36:17 -!- kline has quit (*.net *.split).
21:36:17 -!- Sprocklem has quit (*.net *.split).
21:36:18 -!- b_jonas has quit (*.net *.split).
21:36:18 -!- qlkzy has quit (*.net *.split).
21:36:18 -!- j-bot has quit (*.net *.split).
21:36:19 -!- aloril has quit (*.net *.split).
21:36:19 -!- shachaf has quit (*.net *.split).
21:36:19 -!- yiyus_ has quit (*.net *.split).
21:36:19 -!- lambdabot has quit (*.net *.split).
21:36:19 -!- erdic has quit (*.net *.split).
21:36:19 -!- Jafet has quit (*.net *.split).
21:36:20 -!- yukko has quit (*.net *.split).
21:36:20 -!- Taneb has quit (*.net *.split).
21:36:20 -!- arjanb has quit (*.net *.split).
21:36:20 -!- ski has quit (Max SendQ exceeded).
21:36:21 -!- weissschloss has quit (Excess Flood).
21:36:28 -!- MoALTz has joined.
21:36:28 -!- arjanb has joined.
21:36:28 -!- shikhin has joined.
21:36:28 -!- Sprocklem has joined.
21:36:28 -!- GeekDude has joined.
21:36:28 -!- mitchs has joined.
21:36:28 -!- nycs has joined.
21:36:28 -!- ^v has joined.
21:36:28 -!- Tritonio has joined.
21:36:28 -!- hjulle has joined.
21:36:28 -!- FreeFull has joined.
21:36:28 -!- copumpkin has joined.
21:36:28 -!- b_jonas has joined.
21:36:28 -!- drdanmaku has joined.
21:36:28 -!- Zuu has joined.
21:36:28 -!- conehead has joined.
21:36:28 -!- stuntaneous has joined.
21:36:28 -!- ocharles has joined.
21:36:28 -!- supay has joined.
21:36:28 -!- quintopia has joined.
21:36:28 -!- nyuszika7h has joined.
21:36:28 -!- atehwa has joined.
21:36:28 -!- Deewiant has joined.
21:36:28 -!- heroux has joined.
21:36:28 -!- nortti has joined.
21:36:28 -!- MDude has joined.
21:36:28 -!- zemhill_ has joined.
21:36:28 -!- idris-bot has joined.
21:36:28 -!- qlkzy has joined.
21:36:28 -!- kcm1700 has joined.
21:36:28 -!- jix has joined.
21:36:28 -!- j-bot has joined.
21:36:28 -!- relrod has joined.
21:36:28 -!- tromp has joined.
21:36:28 -!- HackEgo has joined.
21:36:28 -!- lifthrasiir has joined.
21:36:28 -!- reynir has joined.
21:36:28 -!- Jafet has joined.
21:36:28 -!- pikhq has joined.
21:36:28 -!- myname has joined.
21:36:28 -!- olsner has joined.
21:36:28 -!- variable has joined.
21:36:28 -!- coppro has joined.
21:36:28 -!- nisstyre has joined.
21:36:28 -!- blsqbot has joined.
21:36:28 -!- fungot has joined.
21:36:28 -!- fizzie has joined.
21:36:28 -!- skarn has joined.
21:36:28 -!- aloril has joined.
21:36:28 -!- pallokolmio has joined.
21:36:28 -!- tromp_ has joined.
21:36:28 -!- shachaf has joined.
21:36:28 -!- yiyus_ has joined.
21:36:28 -!- digitalcold has joined.
21:36:28 -!- trn has joined.
21:36:28 -!- rodgort has joined.
21:36:28 -!- yorick has joined.
21:36:28 -!- diginet has joined.
21:36:28 -!- KingOfKarlsruhe has joined.
21:36:28 -!- lambdabot has joined.
21:36:28 -!- mroman has joined.
21:36:28 -!- int-e has joined.
21:36:28 -!- erdic has joined.
21:36:28 -!- clog has joined.
21:36:28 -!- kline has joined.
21:36:28 -!- yukko has joined.
21:36:28 -!- q3k has joined.
21:36:28 -!- Taneb has joined.
21:36:42 -!- ski_ has joined.
21:36:43 -!- skarn has quit (Max SendQ exceeded).
21:36:45 -!- ski_ has quit (Max SendQ exceeded).
21:36:45 -!- nycs has quit (*.net *.split).
21:36:46 -!- nyuszika7h has quit (*.net *.split).
21:36:46 -!- Deewiant has quit (*.net *.split).
21:36:46 -!- nortti has quit (*.net *.split).
21:37:34 -!- nycs has joined.
21:37:34 -!- Deewiant has joined.
21:37:34 -!- nortti has joined.
21:38:21 -!- weissschloss has joined.
21:38:23 -!- skarn has joined.
21:38:35 -!- MoALTz has quit (*.net *.split).
21:38:36 -!- ocharles has quit (*.net *.split).
21:38:36 -!- atehwa has quit (*.net *.split).
21:38:37 -!- HackEgo has quit (*.net *.split).
21:38:37 -!- tromp has quit (*.net *.split).
21:40:15 -!- ski has joined.
21:40:41 -!- MoALTz has joined.
21:40:41 -!- ocharles has joined.
21:40:41 -!- atehwa has joined.
21:40:41 -!- HackEgo has joined.
21:40:41 -!- tromp has joined.
21:41:21 -!- nyuszika7h has joined.
21:42:31 -!- zemhill_ has quit (*.net *.split).
21:42:32 -!- fungot has quit (*.net *.split).
21:42:43 -!- zemhill_ has joined.
21:42:43 -!- fungot has joined.
21:43:09 -!- FreeFull has quit (*.net *.split).
21:43:09 -!- copumpkin has quit (*.net *.split).
21:43:09 -!- quintopia has quit (*.net *.split).
21:43:10 -!- variable has quit (*.net *.split).
21:43:32 -!- FreeFull has joined.
21:43:32 -!- copumpkin has joined.
21:43:32 -!- quintopia has joined.
21:43:32 -!- variable has joined.
21:43:47 -!- fizzie has quit (*.net *.split).
21:43:56 -!- fizzie has joined.
21:43:58 -!- fractal has joined.
21:44:08 -!- fractal has quit (*.net *.split).
21:44:08 -!- skarn has quit (*.net *.split).
21:44:08 -!- weissschloss has quit (*.net *.split).
21:44:10 -!- stuntaneous has quit (*.net *.split).
21:44:10 -!- supay has quit (*.net *.split).
21:44:11 -!- kcm1700 has quit (*.net *.split).
21:44:11 -!- jix has quit (*.net *.split).
21:44:11 -!- pikhq has quit (*.net *.split).
21:44:12 -!- coppro has quit (*.net *.split).
21:44:12 -!- pallokolmio has quit (*.net *.split).
21:45:57 -!- kcm1700 has joined.
21:46:18 -!- nyuszika7h has quit (Remote host closed the connection).
21:48:10 -!- nyuszika7h has joined.
21:48:10 -!- kcm1700 has quit (*.net *.split).
21:48:10 -!- GeekDude has quit (*.net *.split).
21:48:10 -!- mitchs has quit (*.net *.split).
21:48:11 -!- heroux has quit (*.net *.split).
21:48:11 -!- MDude has quit (*.net *.split).
21:48:11 -!- lifthrasiir has quit (*.net *.split).
21:48:11 -!- reynir has quit (*.net *.split).
21:48:12 -!- myname has quit (*.net *.split).
21:48:12 -!- tromp_ has quit (*.net *.split).
21:48:12 -!- diginet has quit (*.net *.split).
21:49:05 -!- weissschloss has joined.
21:50:35 -!- skarn has joined.
21:50:35 -!- stuntaneous has joined.
21:50:35 -!- supay has joined.
21:50:35 -!- jix has joined.
21:50:35 -!- pikhq has joined.
21:50:35 -!- coppro has joined.
21:50:35 -!- pallokolmio has joined.
21:51:00 -!- kcm1700 has joined.
21:51:36 -!- yorick has quit (Quit: quit.).
21:51:52 -!- supay has quit (Max SendQ exceeded).
21:51:52 -!- skarn has quit (Max SendQ exceeded).
21:52:30 -!- tromp__ has joined.
21:52:35 -!- supay has joined.
21:52:55 -!- skarn has joined.
21:53:11 -!- ^v has quit (*.net *.split).
21:53:11 -!- Tritonio has quit (*.net *.split).
21:53:12 -!- drdanmaku has quit (*.net *.split).
21:53:12 -!- Zuu has quit (*.net *.split).
21:53:12 -!- conehead has quit (*.net *.split).
21:53:13 -!- idris-bot has quit (*.net *.split).
21:53:13 -!- relrod has quit (*.net *.split).
21:53:14 -!- nisstyre has quit (*.net *.split).
21:53:14 -!- blsqbot has quit (*.net *.split).
21:53:15 -!- mroman has quit (*.net *.split).
21:53:22 -!- diginet_ has joined.
21:53:53 -!- ^v has joined.
21:53:53 -!- Tritonio has joined.
21:53:53 -!- drdanmaku has joined.
21:53:53 -!- Zuu has joined.
21:53:53 -!- conehead has joined.
21:53:53 -!- idris-bot has joined.
21:53:53 -!- relrod has joined.
21:53:53 -!- blsqbot has joined.
21:53:53 -!- mroman has joined.
21:53:58 -!- heroux_ has joined.
21:54:09 -!- digitalcold has quit (*.net *.split).
21:54:09 -!- trn has quit (*.net *.split).
21:54:09 -!- rodgort has quit (*.net *.split).
21:54:10 -!- KingOfKarlsruhe has quit (*.net *.split).
21:54:10 -!- clog has quit (*.net *.split).
21:54:11 -!- kline has quit (*.net *.split).
21:54:27 -!- diginet_ has quit (Remote host closed the connection).
21:54:42 -!- digitalcold has joined.
21:54:42 -!- trn has joined.
21:54:42 -!- rodgort has joined.
21:54:42 -!- KingOfKarlsruhe has joined.
21:54:42 -!- clog has joined.
21:54:42 -!- kline has joined.
21:54:52 -!- Sprocklem has quit (*.net *.split).
21:54:52 -!- b_jonas has quit (*.net *.split).
21:54:53 -!- qlkzy has quit (*.net *.split).
21:54:53 -!- j-bot has quit (*.net *.split).
21:54:53 -!- aloril has quit (*.net *.split).
21:54:53 -!- shachaf has quit (*.net *.split).
21:54:53 -!- yiyus_ has quit (*.net *.split).
21:54:54 -!- lambdabot has quit (*.net *.split).
21:54:54 -!- erdic has quit (*.net *.split).
21:54:54 -!- Jafet has quit (*.net *.split).
21:54:54 -!- yukko has quit (*.net *.split).
21:54:54 -!- Taneb has quit (*.net *.split).
21:55:04 -!- diginet_ has joined.
21:55:17 -!- 17WAAWSP4 has joined.
21:55:17 -!- GeekDude has joined.
21:55:17 -!- mitchs has joined.
21:55:17 -!- heroux has joined.
21:55:17 -!- MDude has joined.
21:55:17 -!- lifthrasiir has joined.
21:55:17 -!- reynir has joined.
21:55:17 -!- myname has joined.
21:55:17 -!- tromp_ has joined.
21:55:17 -!- diginet has joined.
21:55:26 -!- nisstyre has joined.
21:55:37 -!- 17WAAWSP4 has quit (Remote host closed the connection).
21:55:37 -!- diginet has quit (Max SendQ exceeded).
21:55:38 -!- heroux has quit (Max SendQ exceeded).
21:55:38 -!- tromp_ has quit (Remote host closed the connection).
21:55:38 -!- MDude has quit (Ping timeout: 244 seconds).
21:55:38 -!- reynir has quit (Ping timeout: 244 seconds).
21:55:44 -!- heroux_ has changed nick to heroux.
21:57:25 -!- arjanb has quit (*.net *.split).
21:57:32 -!- arjanb has joined.
21:58:17 -!- nyuszika7h has quit (Remote host closed the connection).
21:58:58 -!- fractal has joined.
21:59:30 -!- Sprocklem has joined.
21:59:30 -!- b_jonas has joined.
21:59:30 -!- qlkzy has joined.
21:59:30 -!- j-bot has joined.
21:59:30 -!- Jafet has joined.
21:59:30 -!- aloril has joined.
21:59:30 -!- shachaf has joined.
21:59:30 -!- yiyus_ has joined.
21:59:30 -!- erdic has joined.
21:59:30 -!- yukko has joined.
21:59:30 -!- Taneb has joined.
22:00:31 -!- nyuszika7h has joined.
22:01:22 -!- lambdabot has joined.
22:02:16 -!- fractal has quit (*.net *.split).
22:02:17 -!- skarn has quit (*.net *.split).
22:02:17 -!- supay has quit (*.net *.split).
22:02:19 -!- stuntaneous has quit (*.net *.split).
22:02:20 -!- jix has quit (*.net *.split).
22:02:20 -!- pikhq has quit (*.net *.split).
22:02:20 -!- coppro has quit (*.net *.split).
22:02:21 -!- pallokolmio has quit (*.net *.split).
22:02:23 <newsham> whoa! http://www.pagetable.com/?p=774
22:06:16 -!- skarn has joined.
22:06:16 -!- supay has joined.
22:06:16 -!- stuntaneous has joined.
22:06:16 -!- jix has joined.
22:06:16 -!- pikhq has joined.
22:06:16 -!- coppro has joined.
22:06:16 -!- pallokolmio has joined.
22:07:43 -!- supay has quit (Max SendQ exceeded).
22:08:00 -!- skarn has quit (Max SendQ exceeded).
22:08:26 -!- skarn has joined.
22:11:11 -!- diginet_ has quit (Quit: diginet has quit!).
22:11:53 -!- diginet has joined.
22:18:24 -!- fractal has joined.
22:19:46 -!- yorick_ has joined.
22:20:05 -!- reynir has joined.
22:20:09 -!- reynir has changed nick to Guest74383.
22:21:09 -!- supay has joined.
22:33:21 -!- skj3gg has joined.
22:47:57 -!- Phantom_Hoover has joined.
22:51:16 -!- shikhin_ has joined.
22:53:45 -!- boily has joined.
22:54:15 -!- shikhin has quit (Ping timeout: 256 seconds).
22:58:15 -!- bb010g has joined.
23:02:12 -!- ais523 has quit.
23:16:33 -!- oerjan has joined.
23:19:05 -!- Tritonio_ has joined.
23:20:25 -!- Tritonio has quit (Ping timeout: 265 seconds).
23:23:23 -!- Tritonio_ has changed nick to Tritonio.
23:28:38 -!- chaosagent has joined.
23:29:13 -!- nycs has quit (Ping timeout: 264 seconds).
23:40:20 -!- ocharles has quit (Remote host closed the connection).
23:40:20 -!- drdanmaku has quit (Remote host closed the connection).
23:40:20 -!- supay has quit (Remote host closed the connection).
23:40:23 -!- bb010g has quit (Remote host closed the connection).
23:48:44 -!- MDude has joined.
23:54:11 -!- CrazyM4n_ has joined.
23:54:11 -!- CrazyM4n_ has quit (Client Quit).
23:54:50 -!- CrazyM4n has joined.
23:58:14 -!- adu has joined.
23:58:42 -!- Tritonio_ has joined.