00:00:02 right 00:00:14 and you could think of the set of morphisms as a sort of mapping right? 00:00:28 wat 00:00:40 -!- cswords_ has quit (Quit: Leaving). 00:00:43 hom-set or whatever it's called. 00:00:59 is a mapping... or a relation I guess. 00:01:07 ? 00:01:13 well yes, Hom is a bifunctor from any category to Set 00:01:37 no no I mean... 00:01:56 er locally small category, technically 00:02:08 oh I see I didn't mean hom. 00:02:17 oh... I did 00:02:21 there's two hom expressions 00:02:24 hom(a, b) and hom(C) 00:02:59 A homset is the set of morphisms, isn't it? 00:03:02 hom(C)... is a mapping right? it maps objects to objects in the category, right? 00:03:05 yes 00:03:11 Phantom_Hoover: yes 00:03:19 hom(a,b) refers to the morphisms specifically between objects a and b. 00:03:23 I think. 00:05:18 kallisti: i cannot find your hom(C) concept on the wp Morphism page 00:05:32 And I think you can make a category from any digraph, where the objects are the nodes and the morphisms are the walks 00:05:37 A class hom(C), whose elements are called morphisms or maps or arrows. Each morphism f has a unique source object a and target object b. 00:05:49 it's on the category theory page. 00:05:59 so anyway I think I got the answer to my question, which is "no" 00:06:05 So it is a different category than Haskell functions category 00:06:05 but I don't know if I worded it correctly. 00:06:15 ah right 00:06:45 basically the relation from C to C formed by hom(C) does not have to be a one-to-one mapping, is what I was asking. 00:07:22 kallisti: i still don't know what relation you are speaking about 00:07:29 okay so.... 00:07:39 a morphism... is basically like an ordered pair, right? 00:07:43 no. 00:07:52 what makes it different. 00:08:38 what makes it _similar_? two morphisms can have the same source and target, and still be different. 00:08:41 kallisti: Well, I gave one example. There are others 00:09:00 oerjan: oh really? how does that work. 00:09:12 as far as I knew morphisms were just a source object and target object pair. 00:09:40 kallisti: No. One example is the digraphs like I said, another example is different functions between the types like in Haskell or in the category of sets 00:09:55 right, but then how is that constructed. 00:09:57 and described 00:10:00 in category theory 00:10:30 By morphism composition. 00:10:54 ah 00:11:01 kallisti: well commonly a morphism in Set may be a triple, (A,B,f) where A and B are the source and target and f : A -> B is a subset of A x B which is a function. 00:11:52 A and B are included just to ensure the target and source maps really are defined. (actually A may be redundant.) 00:12:39 so then morphisms in Set are relations. 00:12:46 ,,, 00:13:02 kallisti: no, functions, but in set theory functions are represented as relations. 00:13:25 I see. 00:13:28 iirc Rel is the category of all relations 00:13:51 * Phantom_Hoover → sleep 00:13:53 -!- Phantom_Hoover has quit (Quit: Leaving). 00:13:54 of which Set is a subcategory 00:14:13 Phantom_Hoover seemed baffled that I would see "subset of A x B" and somehow think "relation" 00:14:46 but he left... 00:14:47 :( 00:15:40 well i was a bit baffled too 00:15:54 I guess I didn't pay enough attention to the "which is a function" part :P 00:16:03 it's like the most elementary CT fact that the morphisms of Set are functions :P 00:16:54 it's like the quintessential example of a category. 00:17:25 your mom is the quintessential example of a category. 00:17:51 although one does need to spend a while afterward pointing out that there are categories in which morphisms have nothing to do with functions. 00:18:02 i miss fax :( 00:18:07 -!- Vorpal has joined. 00:18:21 I just temporarily forgot that all relations are not functions and saw the "subset of A x B" and thought relations... 00:18:29 yeah there are no relations that are functions :P 00:18:48 ...that's not what I meant by that statement 00:18:56 engree: has anyone seen em around? 00:19:24 i have doubts e would be able to stay undetected 00:19:46 oerjan: well the usual route appears to be via #haskell 00:19:46 what exactly is preventing Set morphisms from being relations? 00:20:13 kallisti: the fact that non-functions are not included in Set morphisms by definition. 00:20:16 oerjan: but we know he quit all forums, at least programming-related, for an extended period of time after the first or second time it happened. 00:20:32 *eir, sorry 00:20:42 Then can you make a relation set category? 00:20:48 oerjan: that's not very interesting. why not just add it to the definition. I was wondering if it would break something. 00:20:50 oerjan: I wouldn't be surprised if the two-time "revelation" of eir identity after returning was enough to make that permanent. 00:21:11 oerjan: cpressey did comment on eir blog ages ago; but it's completely dead. 00:21:16 .. 00:21:24 that was in '10. 00:21:24 kallisti: erm as i said Rel is a different category, which also exists 00:21:29 are you using spivak pronouns for ironic purposes. 00:21:38 oerjan: right but that's the category of relations.. 00:21:44 kallisti: No. 00:21:50 I do not know which pronouns fax prefers. 00:21:52 kallisti: also for not being bloody sure what gender e actually _is_ 00:22:05 or what sense of is to use 00:22:19 I could've sworn fax was male, but that could just be heuristic talking. 00:22:22 http://reddit.com/user/cwcc is still around, but e abandoned that one long before disappearing completely; eir later accounts have been deleted. 00:22:43 pikhq: I believe e identified as male while using the name fax. 00:22:56 Also not very reliable if e has changed the preferred set of pronouns. 00:23:00 oerjan: or well... is Set the "category of functions" then? You seem to be saying that Rel is the alternative category for a category on sets with relations as morphisms. 00:23:11 or something. 00:23:14 oerjan: oh my god, cwcc posted in /r/vortexmath 00:23:16 :D 00:23:20 monqy: 00:23:21 kallisti: you simply let the objects be sets and the morphisms be (A,B,M) where M is a subset of A x B. (again A and B are just included to ensure they're well-defined source and target) 00:23:27 Once I found a computer program try to guess your gender if you answer a lot of questions. However, after answering all of the question the certainty was still zero so it couldn't guess. 00:23:35 oerjan: ah okay, so yes. 00:23:59 oerjan: but yeah, I somewhat doubt we'll see em around any time soon: at least not recognisably. 00:24:00 kallisti: well Set has an important special standing in the theory. 00:24:03 oerjan: Rel is kind of misleading as I would expect the objects to be relations or something. 00:24:22 oerjan: so there are properties of Set that would break if it were suddenly Rel. 00:24:25 oerjan: but I still hope we do. 00:24:46 engree: /r/.....vortexmath.............. 00:25:00 i 00:25:02 how 00:25:13 monqy: It's TEDx-approved, man. 00:25:37 * pikhq shall slightly reduce ambiguity in the room by simply stating the common Internet heuristic of "forall x. male(x)" applies to pikhq in both gender identity and chromosome set. :P 00:25:41 VortexSpace.org College of Vortex Mathematics 00:25:46 kallisti: presumably. the yoneda lemma is one important theorem that comes to mind (and which i don't remember exactly.) 00:26:01 yo neda 00:26:03 lemma 00:26:05 ... 00:26:16 yo nedalemma 00:26:20 kallisti: Yoneda remma 00:26:22 pikhq: Chromosomes aren't necessarily an indicator of biological sex, though. 00:26:37 pikhq: (But nothing is, since it's in large part a cultural concept rather than one that has a precise biological definition...) 00:26:51 engree: Bah. My biological sex is also male. There. Happy? 00:27:08 (no, of course not, nothing makes you happy. :P) 00:27:15 I am an endless pool of sadness. 00:27:26 yoneda lemma in ignorant-american-pronunciation kind of sounds like a really slurred way of "yo, need a lemma?" 00:27:38 +saying 00:27:41 Not just pool of sadness. Also unobtainable desires. 00:28:21 pikhq: Very true. 00:29:21 pikhq: ah but have you actually _done_ a cromosome test? >:) 00:29:30 *+h 00:29:34 oerjan: No, actually. 00:29:44 So I can only infer that with high probability. 00:30:03 how unscientific. 00:30:17 not on par with the rigour of #esoteric 00:30:21 shameful, really. 00:30:37 for example, i have verified scientifically that i am a bacterium. 00:30:38 * kallisti smokes his pipe and sits in his esoteric armchair. 00:30:54 oerjan: Science also only infers things with (unreasonably) high probability. :) 00:31:03 well, either that, or the test tube was contaminated, but how likely is _that_ 00:32:13 I think defenestrate is one of my favorite words. 00:32:52 because a) it sounds good b) it has at least three possible meanings c) one of which is a verb meaning "to remove Windows from a computer" 00:33:02 which 00:33:06 along with the other two meanings 00:33:20 makes the word even more awesome than simply the sum of its possible meanings. 00:33:26 it's like a PRODUCT of its meanings. 00:34:59 oerjan: what do you want from a next generation log formatting system. gimme your best 00:35:30 Or perhaps the product of the ^^^3 of its possible meanings. :P 00:37:43 engree: every output format you could possibly think of including various serialization formats, typesetting systems, markup languages, word processor formats, pdf. it should also have a special tagged format which it can use to generate output formats 00:38:01 so for example you could make an output of only a subset of tags (for IRC this would be things like privmsg, join, part, etc) 00:38:12 anyone here use xchat? 00:38:16 also a utility to convert raw text to the tagged format via regex filters. 00:38:35 You could just use AWK to do some of these things isn't it? 00:39:14 engree: total information recall, line wrapping and free money. 00:39:15 probably, but not as easily I would think. 00:39:41 also wild sex parties. 00:40:55 engree: oh, and maybe it should understand the color codes. 00:41:01 colour codes, check 00:41:10 engree: the house format could also contain a header specifying default formatting options when none are provided for the output formatter. 00:41:20 engree: no this should be general to any kind of log, not just IRC. 00:41:25 oerjan: I would like to build in auto-linking functionality; how would you suggest I do this? I was thinking of not formatting links specially at all until you mouse over them, to avoid annoying highlights of non-links 00:41:32 since URLs are rather easy to spot visually in the first place :P 00:41:49 kallisti: i will take your requests into... consideration 00:41:50 lahwran: I do. 00:42:14 do you have nick coloring on? 00:42:19 No, it's annoying :) 00:42:51 well then what I was going to say is irrelevant 00:43:00 do you have time-sorted tabcomplete on? 00:43:10 (was it you I mentioned it to the other day?) 00:43:51 engree: strangely I don't believe you. 00:44:50 at least TeX, XML, HTML, and maybe PDF would be good. 00:44:55 lahwran: Yes, I do, and yes, it was; I've used it forever, I just reinstalled my OS recently. 00:45:10 k 00:45:43 might as well tell you my random fact about nick coloring anyway - apparently it works by summing the character values in the nick and then modulo-ing them by the count of available colors 00:45:51 that's... 00:45:53 not by any real hashing function at all 00:45:57 the stupidest algorithm i can think of 00:46:11 i guess that's why people complain about collisions so much 00:46:19 but for A TRULY FLEXIBLE LOG FORMATTER you want to have a special format for representing logs that can be easily converted to from raw text, and a simple style specification to allow styling of different tags regardless of output format. 00:46:26 oerjan: THX FOR FEEDBACK 00:46:31 kallisti: We already have a simple raw log format. 00:46:40 http://codu.org/logs/_esoteric/2012-01-03-raw.txt 00:47:00 well it's kinda funny because I've kinda assigned my own mild stereotypes to different nick colors 00:47:05 Would you have SIRCL format? And possibly CSV format? 00:47:14 and it turns out, there actually might be some real relationships between them 00:47:26 needs JSON and YAML as well. :P 00:47:33 yay json/yaml 00:48:05 Meh JSON ew YAML 00:48:20 O, yes. And for TeX, you need to have both Plain TeX and LaTeX. But possibly, just have one format which it can read in and then a macro file can format it. I have done things like this; for example, you can make a macro to read a tab separated file, and so on 00:48:33 Generic data formats are vastly overrated anyway, since all the common ones are not nearly rich enough to describe all data without additional parsing logic that will approach the complexity of just writing your own format. 00:49:11 I designed SIRCL format for IRC logs probably just use that and then convert into others using AWK or Perl 00:49:29 -!- oerjan has quit (Quit: Good night). 00:50:19 engree: XML comes close I guess. 00:50:45 kallisti: To describing all data? No way. 00:51:39 well... can it do referential structures? 00:51:59 What if you use, something such as, Haskell Data Notation? 00:52:10 or does your definition of "all data" include things like an infinite sequence of fibonacci numbers. 00:52:17 kallisti: To be exact, I was not saying you cannot represent data in those formats. 00:52:24 engree: of course. 00:52:27 I said that doing so requirse a separate parsing/serialisation step to fit the restrictions of those formats. 00:52:34 Which approaches the complexity of just writing your own format in the first place. 00:52:35 *requires 00:53:12 zzo38: Haskell data structure notation would not be very good for describing structures with references. 00:53:17 unless you 00:53:23 included the = operator as well 00:53:29 which isn't unreasonable 00:53:42 You just need let...in to describe sharing. 00:54:56 http://www.cs.vu.nl/~x/ this guy has the coolest name 00:54:56 ever 00:54:57 one issue with such a format is that it isn't quite as convenient as JSON for many languages. 00:55:06 similar problems to what XML has I guess. 00:55:19 with JSON you can basically just convert it directly to some native data structure. 00:55:29 in any language. 00:55:50 Haskell's tagged unions and such are not quite so convenient in.. say.. Perl. 00:56:39 JSON's unstructured soup isn't convenient in... say... Haskell. 00:56:56 At least a stupidifying step is more palatable than an enrichening one. 01:00:11 perhaps 01:00:39 I'd say handling JSON data and handling a Haskell-like format would be equally difficult in Haskell. 01:00:53 which is to say not difficult at all. 01:01:01 :t reads 01:01:02 forall a. (Read a) => String -> [(a, String)] 01:01:02 :p 01:01:20 You can make up some format and parse it using Parsec, it works well 01:01:23 oh yes I forgot about Read, but then you need the type information as well. 01:01:59 kallisti: Yes... you need to know the structure of some data to consume it. 01:02:11 * engree would not use this proposed Haskell format anyway. 01:02:23 engree: at compile time, to read it like that. yes. 01:02:32 "Instead of bothering with the actual universe, let us create our own imaginary universe in which there are only three classes of animals: birds, cats, and dogs." 01:03:38 well Haskell's data structures are basically just tagged unions and structs... 01:03:45 that's two kinds of animals. 01:05:50 sure the types make a huge difference at compile-time, but unless you want to have existing type libraries for every kind of data you read, you're probably going to want the data type information to be stored in the format itself and interpreted at runtime. 01:06:04 which means that you basically just have tagged unions, structs, and let bindings. 01:06:37 (with syntax sugar for strings and lists, and integer and character primitives) 01:19:22 -!- augur has joined. 01:20:02 has this channel really only existed since november 06? 01:22:13 no 01:22:16 late 2002 01:22:36 freenode's systems get replaced more often than this channel stops existing :) 01:27:02 Do you have suggestion to have substitute player for Dungeons & Dragons game in case some of the players are not available? 01:27:31 zzo38: DMPC is ever a classic. 01:27:45 pikhq: He said he doesn't want to do that? 01:28:33 Hmm. Figure out a way to write certain players out of the story, for sure... 01:28:44 Yes; of course I thought of that already. 01:29:13 A few options from there: deal with missing members, find people to come in and play a game or two (and roll new characters), have some of your players play multiple characters... 01:29:33 I am one of the players 01:29:39 The last option may be sanity-straining, of course. 01:29:51 And there is one other player only, who is unavailable 01:29:56 I was, nevertheless, talking in a more general sense. :) 01:30:01 OK 01:30:26 There are only two players, only two player characters. 01:31:06 solo d&d? 01:31:41 engree: The DM said he doesn't like that; I did suggest that, as well as having the DM have their own player character too, and this stuff. 01:32:06 I'm a bit surprised at having so few PCs. 01:32:15 The "standard" D&D party is, like, 4... 01:32:45 And I've not really heard of fewer people in a party. 01:32:47 I know; but we play the game strangely 01:33:08 There are varying number of NPCs in the party sometimes 01:33:22 The only way you could play the game genuinely strangely is to play it by a strict reading of the rules. :P 01:33:32 There are other strange things about the party too; read the recording file for information! 01:33:56 view-source:http://zzo38computer.cjb.net/dnd/recording/level20.tex 01:36:06 Currently we have two human NPCs which are navy marines 01:37:00 Will you have ideas about it by reading this? 01:37:09 Perhaps; lemme take a look. 01:38:05 Hmm, what macro set are you using to generate that? Something you wrote yourself? 01:38:27 Yes, it is a macro set I wrote myself: view-source:http://zzo38computer.cjb.net/dnd/recording/dungeonsrecording.tex 01:38:41 Neat. 01:41:36 Also, doesn't appear to work with pdftex. 01:41:47 Works just fine with tex, though. 01:45:19 Yes; just use TeX it is not intended to work with pdfTeX. 01:45:42 So I don't care whether or not it will work with pdfTeX 01:46:10 I also don't know why, but it doesn't matter 01:47:30 I suspect pdfTeX has a few macros in place beyond what TeX offers that collide. 01:47:41 Possibly. 01:48:47 Note this document uses a command to request input from the terminal; I don't know if pdfTeX has problems with that somehow 01:49:24 The \askprintinglevel asks you how much you want to be printed, 1 is the shortest printout and 6 is the longest printout. 01:49:46 *That* much worked just fine. 01:50:38 Well, it doesn't matter; you can still get DVI output, and if you want PDF you can use an external program to convert DVI to PDF. 01:51:16 * pikhq nods 01:51:58 If you ever play D&D 3.5 edition, you can use this same macro file if you want to record them in the computer. 01:53:22 During the game, we have never actually decided the actual number of Also's sausages even though we should have done; so I just made up some numbers 02:04:56 Are either of these two files good to you? 02:08:10 Quite impressed with the macros. 02:22:48 -!- Jafet has quit (Ping timeout: 240 seconds). 02:26:24 q 02:26:42 I think an AI could be made to play D&D, though it'd likely end up a mix of blind stat crunching and often inhoherent text generation. 02:27:37 Proof: the set of video games with D&D as their game rules. 02:27:40 -!- derdon has quit (Remote host closed the connection). 02:27:42 -!- nooga has quit (Ping timeout: 255 seconds). 02:28:28 Well those have computer controlled monsters/NPCs, that's not really the same as AI pseudo-players. 02:28:52 They still aren't perfectly D&D regardless of their rules 02:29:07 zzo38: They're reasonable approximations, IME. 02:29:33 The only major divergence is the switch from rounds to real-time action. 02:29:50 A D&D video game would be a neat use of the AI director from Left4Dead. 02:30:36 Though all it knows how to do is swarm you with zombies. 02:30:53 No, they are entirely different than a proper role playing game. The closest computer games to a proper role playing game would be a text adventure game, although even that is not close. 02:33:09 I was discussing the mechanical aspects alone, of course. 02:33:23 The play experience is certainly *dramatically* different. 02:33:32 What you want for that is not AI players but an AI DM. :P 02:34:41 Mechanical aspects can be made very close but even then, with the various possible exceptions, although you could still make a card game or computer game out of them without the exceptions, it might still make a workable game. 02:37:09 @tell Vorpal https://www.youtube.com/watch?v=jBd9c1gAqWs 02:37:09 Consider it noted. 02:47:04 -!- Jafet has joined. 02:47:10 -!- Jafet has quit (Changing host). 02:47:10 -!- Jafet has joined. 02:54:00 Jafet: pro cloak 02:54:57 I use a pro client 03:00:50 Jafet: you can identify with server passwords on freenode :P 03:01:03 : 03:01:07 uh without the <>s 03:04:17 My pro client takes care of that flawlessly 03:06:32 -!- Vorpal has quit (Ping timeout: 276 seconds). 03:14:03 Jafet: 03:14:04 * Jafet (~Jafet@149.171.48.81) has joined #esoteric 03:14:04 * Jafet has quit (Changing host) 03:14:04 * Jafet (~Jafet@unaffiliated/jafet) has joined #esoteric 03:14:12 Jafet: For sufficiently wrong definitions of flawlessly 03:14:58 hmm some spambot changed the front page of the wiki probably 03:15:30 Frooxius: reverted 03:15:39 thanks 03:16:29 oh thanks too, I was poking for a link about how to write a page and look at some existing ones 03:19:20 :) 03:19:37 don't worry about adding anything too rough formatting-wise, it'll get cleaned up in a day or two 03:20:14 engree: The last minor release of this client left parted usernames in the user list 03:20:46 Jafet: Why the fuck are you using Pidgin 03:20:47 okay, I'm making a page about my language(s) 03:21:29 Why do you seem upset that I use it? 03:22:13 Jafet: No, just amazed 03:22:22 I don't know a single person who can stand Pidgin's IRC support :P 03:24:16 I don't care enough to change it 03:27:36 Now they have The Mod Archive - Lite. 03:34:30 Just sanity checking: given a value in m^2 and a conversion factor in USD/m, there is no way to get a meaningful value in USD, right? 03:35:54 is it okay if I copy things I wrote about the language from my webpage or do I have to rephrase it? Do I have to put some "public domain" disclaimer on my webpage if I'm going to just copy it? 03:36:15 Frooxius: Just be aware that the version on the wiki is public domain. 03:36:33 yeah, I don't mind that 03:36:40 Then you're good. 03:37:07 (source: I read the copyright section of the USC a few years back.) 03:37:33 But that public domain doesn't apply to the language itself? As in, the documentation on my site, binaries, sources and such (besides examples that I post on the wiki)? 03:37:43 It only applies to the text on the wiki. 03:37:56 oh cool :3 thanks 03:38:16 We genuinely don't care about the license on anything else, except to note that it's *courteous* to place your code under a FOSS license of some sort. 03:39:02 The examples of the language you mean? 03:39:09 -!- Klisz has joined. 03:39:12 No, I mean your implementation. 03:39:25 What's placed on the wiki must be public domain (as a matter of policy). 03:40:16 Oh... Hmm, I never really thought about licenses. I haven't released the sourcecode yet, only Windows and Linux binaries, though I'll put the code there later too 03:42:17 -!- DCliche has quit (Ping timeout: 276 seconds). 03:45:55 Also, FWIW, the FOSS license being courteous thing is not specific to #esoteric, that's a community norm pretty much everywhere outside of corporations. 03:46:56 well, and windows users :P 03:47:15 engree: Saying "community" automatically excludes them. :P 03:47:34 Hey, I'm a Windows user x3 03:47:44 I use Linux too though. 03:48:21 Oh boy, now you're all going to hate me *hides under a rock* 03:48:45 "Pity" is the correct term. 03:48:55 Windows users. I've heard of those! 03:49:06 I read about them in a book. 03:49:07 * Frooxius peeks from under the rock 03:49:18 (The rock represents capitalism.) 03:49:21 Yeah, we're rare, like a fairy! 03:49:49 Pfff, money. 03:50:22 I prefer my schemes for economic distribution to be more handwavey! 03:50:32 (no, fiat money is not handwavey enough!) 03:50:39 But but but I thought about you and I made Linux binaries as well! *puppy eyes* 03:51:22 No, you made (presumably) x86 glibc on Linux binaries. 03:51:41 Nuuuu 03:51:50 it uses standard C++ 03:51:57 you said "binaries" 03:52:05 if you have an architecture-independent libc-independent linux binary i'll eat my hat :P 03:52:06 (this isn't me being all GNU/X/Gnome/Linux-y, just being pedantic about specifying the ABI) 03:52:26 :) 03:52:37 Well the standard C++ code can be compiled into whatever you want x3 03:52:42 If we had it. 03:52:44 Which we don't. 03:52:46 Thus the problem. 03:52:46 Even a donut. That you can eat instead of a hat. 03:53:05 You will have it :3 03:53:21 pikhq: he did say he was releasing the sources 03:53:28 After I figure out these licenses though x3 03:53:54 Which is basically why I haven't released it yet, I was sort of avoiding it 03:54:40 BSD or GPL (there's more choices, but why consider others? The BSD-alikes are effectively identical, the GPL-alikes have significant disadvantages from being nowhere near as popular as GPL) 03:55:32 I guess he GPL one, though are there more versions? Also, do I have to put it in all source code files? 03:55:44 BSD is probably a better choice (<-- NOT BIASED) 03:55:51 You just have to put it in a file you include with the sources. 03:56:01 Usually it's called LICENSE (although COPYING is the standard name for the GPL). 03:56:25 pikhq: Pfft, real programmers tri-license their code Mozilla Public License/Artistic License 1.0/CC by-sa-nc 03:56:26 oh cool, I was afraid I have to put this GPL comment blob of text I see in some sources *giggles* 03:56:27 Yeah, BSD is perhaps the simplest, and certainly with the best understood consequences. 03:56:28 -nd 03:56:45 Make it in public domain if you don't care about licenses. 03:56:49 Frooxius: The GPL comment blob is nothing but a courtesy, and one that few people *care* about. 03:57:03 zzo38: In many jurisdictions that's impossible. 03:57:12 zzo38: Assuming public domain is valid in your country and the countries of those who wish to use your software... 03:57:13 Yes, that is why you have WTFPL 03:57:32 And it's ambiguous in the US, but only slightly. 03:57:54 okay, thanks, I'll look into it, don't worry, I don't intend to have it closed source, I like the idea if someone actually might be interested into doing something with it x3 03:57:55 (it's either really public domain or licensed under terms precisely identical to what you can do with it under the public domain, near as I can tell) 03:58:20 pikhq has yet to contradict my SUPERB licensing advice which nobody should follow. 03:58:36 engree: Jesus that is the worst combination of licenses doable. 03:58:43 I mean, CC by-sa-nc? The *fuck*? 03:58:48 pikhq: -nd 03:58:57 It's technically just CC by-nc-nd, though, no sa :P 03:59:24 That only makes it worse. 03:59:48 pikhq: I forget, is normal multi-licensing union or intersection? 03:59:49 I often use GPL or public domain. But use BSD if you prefer 03:59:50 I'm tired. 04:00:16 hmm, I used Qt for the GUI though 04:00:22 pikhq: Well, this is none of those; this is under the xor of all those licenses. A term applies iff only a single license in the set has it. 04:00:45 Frooxius: Qt is LGPL these days, so you're fine licensing your program with anything 04:01:09 Oh that's cool then :3 04:01:14 You could just license your program also under LGPL like Qt is, then, if you want 04:01:19 * engree would suggest http://en.wikipedia.org/wiki/MIT_License#License_terms if you don't really care, for what it's worth; it's the simplest of the BSD-derivatives and widely used. 04:01:31 You can use MIT license too, yes that work also 04:01:34 Though GUI isn't really necessary, the emulation core works by itself 04:01:49 It's nicer than BSD3 because it doesn't have a bulleted list. :p 04:01:55 engree: Normally it's select a set, actually. 04:01:57 Or, hmm, that list is actually numbered. 04:01:57 As in, it doesn't depend on the Qt libraries at all 04:02:08 pikhq: Yeah, well, xor licensing is the new thing. 04:02:10 You have to comply with at least one license in its entirety, which license that is is up to you. 04:02:28 Frooxius: If you want, you could either move the GUI into a separate source file, or allow someone else to make those changes if someone else want to do so 04:03:02 It is separate, I just #include it in the Qt project 04:03:18 well, the headers and the static library 04:03:41 So, the GUI is basically a seperate program. 04:03:49 yeah 04:03:56 Still you're fine licensing your program with anything. 04:04:07 You should give the GUI away for free and sell the emulation core for $5,000/seat. 04:04:13 :P 04:04:16 it's only logical 04:04:18 |3 04:04:56 I think you should make the emulation core open sourced and the Linux GUI also open sourced, but sell the Windows GUI for $100 each 04:05:08 You would. :P 04:05:36 And sell the roasted assembler-cores $500/bucket :D 04:06:39 *crunch crunch crunch* mmmmm... tasty *crunOUCH* A syntax error! 04:08:04 I like zlib just because it has a cooler looking name. 04:12:58 Though the GUI code is horrible, because it was my first Qt app x3 And I didn't have enough time to learn it first on examples, so I was learning a lot when working on it. 04:19:22 Or just license it entirely under the LGPL 04:19:28 Don't. 04:19:34 hi 04:19:48 Or BSD, MIT, GPL, WTFPL, public domain 04:19:57 You shouldn't use Creative Commons licenses for software 04:20:19 Why? 04:44:18 Their FAQ even says the same thing. Also, they are incompatible with software licenses. You should use a proper software license to ensure compatibility. 04:44:41 Extra resources of software, such as graphics, sounds, and so on, can be licensed using Creative Commons. 04:44:42 engree: I knew it was you. 04:46:59 I generally find it easy to pick up on elliott's various nicks. He's just very identifiable. 04:47:22 I find it easy to simply see "!~elliott@unaffiliated/elliott" you can know just from that 04:47:46 I tend not to see that. 04:48:40 I think a most common IRC clients hide that 04:48:56 Mine doesn't hide it, I just don't see him join. 04:49:27 I mean that I just came to my IRC client and switched to #esoteric. 04:49:35 * pikhq nods 04:50:41 Mine shows it with every message 04:51:04 Oh, right, yours is a UI for the IRC bytestream. 04:51:13 :P 04:51:21 And syntax highlighting and a few other things 04:55:13 What is the best way in Haskell to check existence of a file? 04:56:04 zzo38: Don't, just try and use it and catch the error. 04:56:20 (My answer to http://stackoverflow.com/questions/8502201/remove-file-if-it-exists-in-haskell goes into some detail about that and why.) 04:59:14 I try to implement to find file in search path specified by environment variables. 04:59:20 What is the best way of that? 04:59:52 zzo38: Iterate through each path you think it might be in; try and open it for each of them, and catch the exception for it not existing and continue. 05:00:29 zzo38: Writing openFileIfItExists :: FilePath -> SomethingMode (I always forget the name) -> IO (Maybe Handle) will get isolate the exception-handling boilerplate. 05:01:59 I should use the <|> for IO and fold using <|> maybe 05:03:03 At least it is one way. 05:03:15 -!- MDude has changed nick to MSleep. 05:03:50 zzo38: That's probably a bad idea; you only want to catch does-not-exist exceptions, not anything else that might go wrong. 05:04:03 OK 05:15:32 -!- Klisz has quit (Quit: SLEEP, GLORIOUS SLEEP). 05:19:01 http://www.reddit.com/user/Iosethos i don't understand........ 05:19:32 hmm, redditor for six hours. 05:19:43 is that the losethos guy 05:19:51 i think so 05:19:55 http://www.reddit.com/r/IAmA/comments/o0bkh/iama_ratt_tshirt/ 05:20:11 http://i.imgur.com/RmFpI.jpg <-- one of his submissions, wtf (don't click that) 05:20:29 "I went to the hardware store and asked that it was the “urgent” number. I called her when got by yesterday and today I got home today, I hoped it was a song by Falco is a rare medical condition." 05:20:33 a song by falco is a rare medical condition 05:20:49 holy shit look at the speed he's posting 05:21:08 i mean obviously the text is machine-generated 05:21:10 -!- cswords has joined. 05:21:25 monqy: http://soundcloud.com/footnotegal/sets/the-first-transaction-was/ 05:21:27 christ what 05:21:40 he submitted this to... /r/mylittlepony... wtf losethos guy, wtf 05:22:40 i 05:22:42 http://www.reddit.com/r/IAmA/comments/o0bkh/iama_ratt_tshirt/c3de006 oh good someone else recognises him 05:23:02 http://www.reddit.com/user/losethos 05:23:03 and he's gone 05:23:07 just like that 05:23:13 i 05:23:15 http://www.reddit.com/user/Iosethos with an I 05:23:23 oh 05:23:28 i was thinking that was a bit too perfect 05:24:51 http://www.reddit.com/r/science/comments/o0p7d/to_still_be_soaked_with_detergent/ ah, the halcyon days of youth, when we were soaked with detergent 05:25:40 hmm... how do I make a thumbnail though? I can't seem to figure it out >.< I tried looking up syntax, but nothing seems to work 05:25:59 Frooxius: thumbnail for what? 05:26:07 if an image, http://www.mediawiki.org/wiki/Help:Images might help 05:26:34 [[blah|thumb|caption]] basically 05:26:38 and you can omit the |caption 05:26:47 and blah is Image:blah 05:27:28 yeah, I was looking at that... oh no wait... that's something a bit different, the one I saw had syntax "thumb=" 05:27:32 ok thanks 05:31:32 We need more Deadfish interpreters in esolangs. monqy: You get on that. 05:33:14 Frooxius: Hey, didn't you say your interpreter was in C++? I can write C++ too: http://esoteric.voxelperfect.net/wiki/Deadfish#C.2B.2B_templates :D 05:34:07 Nuuuuu x3 05:34:27 are there any decent esolangs left 05:34:30 undeadfished 05:34:39 It's not interpreter though 05:35:02 monqy: Underload, although admittedly it lacks input 05:35:06 INTERCAL 05:35:27 hm, I don't know intercalle 05:35:31 There's an assembler/compiler that makes a machine code for the processor architecture. That can be either fed to the VHDL implementation (not available/finished yet) or ran in the emulator (virtual machine sort of ) 05:36:23 Frooxius: ah, you program in both C++ and VHDL... which circle of hell did you learn programming in? 05:37:09 I'm mostly self educated. I poke around for some books and such and play with it. 05:37:20 You mean, that I should rather work with Verilog? x3 05:37:36 due to the C++ part 05:38:05 Nope, they're just two unbearable languages of torture and pain :P 05:38:11 OK, VHDL moreso. 05:38:41 Says the esolang enthusiast? :D 05:39:29 At least we don't claim they're usable :) 05:39:37 :D 05:40:27 Well then... this calls for... HELLO WORLD in attoassembly x3 http://data.solirax.org/attowpu/helloworld.att 05:40:47 Wow, someone added a language to the list and didn't mess up the alphabetic order. 05:40:52 This has to be some kind of record. 05:41:04 It wasn't me Oo 05:41:12 Frooxius: Reminds me of Redcode, though probably not for any decent reason. 05:41:48 here's my implementation of Pong in AttoASM :D http://data.solirax.org/attowpu/Pong.att 05:42:12 does it work 05:42:45 it's broken pong 05:42:52 It works 05:43:26 Why would I publish something that doesn't work? 05:43:46 -!- itidus20 has quit (Ping timeout: 240 seconds). 05:43:56 ask the people who publish things that don't work 05:44:14 ask all of them 05:44:27 oh, I might need a people-who-publish-things-that-don't-work detector though 05:46:35 hmm, I don't really have nice video of it (you can try it yourself later though), but there's at least something: http://www.youtube.com/watch?feature=player_detailpage&v=mqTjj_7e51s#t=236s 05:46:52 monqy: should i do good thing or stupid thing 05:46:57 It's from an high-school expo where I presented it, earli... oh it's 2012... earlier last year 05:47:02 a good stupid thing 05:47:16 Frooxius: looks like pnog to me!! 05:47:18 pnog. oops 05:47:29 That pong is running there in the simulator 05:53:20 -!- Vorpal has joined. 05:58:23 "An affect can effect an effect that affects." 06:03:47 -!- Jafet has quit (Quit: Leaving.). 06:09:54 hey pikhq how long can human beings stay awake, what does science say 06:10:22 11 days 06:10:35 at least that's the record I think 06:11:04 ok there may be hope for me 06:11:06 then 06:15:07 What you actually *want* is the the time before you start hallucinating, though. 06:15:23 but the hallucinations are fun 06:16:55 also the surreal feeling, involuntary movements 06:18:23 pikhq: what's that then 06:18:44 IIRC, ~72 hours. 06:19:43 engree: actually not that long 06:19:53 you hit microsleeps pretty quickly comparatively 06:20:14 Yeah, don't microsleeps start from ~24 hours? 06:20:41 yeah 06:21:07 well not universally i'm sure 06:21:10 i mean 06:21:15 obviously the point is that you don't notice them 06:21:27 but i've functioned normally and very sharply at 40 hours 06:22:06 I have managed to notice them, but only from noticing "WTF a few seconds slipped". 06:22:32 engree: how much drugs? 06:23:02 I don't use drugs; usually I max out around 30 hours 06:23:07 coppro: every drug, man. (no drugs) 06:23:08 and that's on a good day 06:23:10 the 40 hour thing was just once 06:23:13 engree: I include caffeine 06:23:23 well ok i drink soda 06:23:30 -!- Jafet has joined. 06:23:36 but i'm pretty sure the effects are negligble on me nowadays 06:23:41 and i don't drink any more when sleep-deprived 06:23:58 coppro: consider that a common schedule for me is sleeping approx. every 26-30 hours 06:24:04 so uh 06:24:11 i guess i'm just lucky! 06:24:25 erm not 06:24:27 every 30 hours but like 06:24:31 after 26-30 hours of wakeness 06:25:47 engree: are you peter barfuss? 06:26:06 i'm not sure; probably not 06:26:10 hmm, ok 06:26:18 it depends on who peter barfuss is 06:26:20 is he me? 06:26:55 peter barfuss is an undergrad at my school known for, among other things, massive sleep deprivation. At his worst, I believe he had a week where you could count the number of hours of sleep on one hand 06:27:24 nice, but i don't do the napping thing, with me sleep deprivation is followed by sleeping 14 hours+ 06:27:27 usually 16 hours 06:27:49 i'm pretty sure my natural melatonin levels are abnormally low for some reason 06:28:13 I've hit 18 hours of sleep after massive deprivation 06:28:50 oh, i've done 20 06:28:52 I'm pretty sure holy fuck I feel bad 06:28:55 7:30 and still pitch black outside 06:28:55 Vorpal: You have 1 new message. '/msg lambdabot @messages' to read it. 06:28:58 pikhq: wat 06:29:03 @messages 06:29:03 engree said 3h 51m 53s ago: https://www.youtube.com/watch?v=jBd9c1gAqWs 06:29:07 I hate Swedish winters 06:29:08 engree: I'm sick and complaining about it. 06:29:18 Vorpal: Dude... that can happen in the UK too :P 06:29:26 Especially as I'm already sleep-deprived and now can't sleep well 06:29:42 pikhq: Me too! Well, the sleep-deprived part. But it's only 6:30, so there's a chance I'll hop to bed. 06:29:45 engree, well sure, but it will be the same 10:00 too 06:30:05 Not sleeping would be an excellent opportunity to realign both my sleep schedule and my dwindling Stack Overflow reputation spree, though! 06:30:35 coppro: bonus fun sleep fact: the only way i can rebound into a decent schedule is by waking up at inconvenient times twice in a row 06:30:43 @tell elliott Impressive. But a pretty basic scene. I wonder if it would make use of SSE and so on to speed up computations. I saw a ray tracer in C written to use SSE to compute multiple line intersections at once 06:30:43 Consider it noted. 06:31:07 Vorpal: engree == elliott 06:31:11 oh 06:31:16 it's funny because 06:31:19 engree actually sent that message 06:31:23 :) 06:31:24 I read it as elliott somehow 06:31:25 wtf 06:31:41 I guess it is because I know we talked about the topic before 06:32:00 coppro: wake up at 16:00 -> sleep at next 16:00 -> wake up at midnight -> sleep at 18:00-20:00 -> wake up at 04:00 -> sleep at midnight -> wake up at reasonable hour 06:32:05 patented(tm) 06:32:12 Vorpal: well, repa does automatic parallelisation 06:32:18 engree, that one never worked for me 06:32:20 I don't think GHC does SSE though 06:32:25 I'm in the wakeup at midnight phase now 06:32:30 and I'm stuck there 06:32:51 Vorpal: the code is actually really readable: http://code.ouroborus.net/gloss/gloss-head/gloss-examples/Ray/ 06:33:00 Vorpal: Better than the wakeup at noon phase, I guess? 06:33:05 engree, more readable than C with SSE? Of course 06:33:14 pikhq, that is standard. 06:33:16 Vorpal: yeah, but it's even pretty idiomatic 06:33:20 pikhq, I usually wake up after noon :P 06:33:23 pikhq: god no waking up at noon is amazingly perfect 06:33:28 if i could wake up at noon every day i'd be so happy 06:33:33 engree: Yes, *I* think so. 06:33:44 Unfortunately a few billion people seem to disagree. 06:33:56 engree, adding SSE gives you an edge. I saw basically that + some CSG + antialias in real time being done 06:34:05 not sure the haskell code could scale up to that 06:34:18 Vorpal: Being editable by a non-madman counts for more. 06:34:19 Well, there's no real obstacle to GHC donig SSE. 06:34:21 *doing 06:34:24 It just hasn't been implemented yet. 06:34:36 pikhq, certainly. But I always had a soft spot for the crazy demoscene :P 06:34:41 :P 06:35:02 Vorpal: And the code could possibly benefit from it without being changed. It doesn't contain a single mention of parallelism, after all, and it still scales to the quad-core machine it was run on. 06:35:12 indeed 06:35:23 engree, I believe the code I was referring to used OpenMP + SSE 06:35:54 engree, openmp is actually quite easy to use. Still it does mention parallelism indeed. 06:38:07 I thought I saw someone working on getting the automatic vectorisation to work with OpenMP... 06:38:14 Might just be misremembering, though. 06:38:39 maybe, I don't think it was used in the code in question though 06:38:48 Nope. 06:38:54 Though in principle it could be. 06:39:04 indeed 06:39:10 Much like in principle you could execute a C program on the Deathstation 9000. 06:39:16 :P 06:39:27 pikhq, actually the program in question was portable between gcc and msvc 06:39:35 which is pretty impressive if you use intrinsics 06:40:30 * Vorpal decides to try out the current technic pack for minecraft 06:40:38 amazing mod pack back during 1.7.3 at least 06:40:44 haven't really used it since then 06:47:21 6:47 :( 06:53:25 -!- kmc has quit (Quit: Leaving). 06:56:52 monqy: hi, should i sleep, 06:56:58 a 06:57:37 a 06:58:41 monqy: what does, a mean, 06:58:46 a 07:00:08 monqy: help 07:00:12 D:L 07:00:26 are you, 07:00:27 tired 07:00:42 yes 07:00:52 consider sleep 07:01:14 :( 07:01:29 or wait until the tired becomes painful 07:01:40 or until you run out of things to do that are not sleep 07:01:55 or until you slip unconscious 07:04:37 monqy 07:04:45 engrey 07:04:47 i like the cut of your jib, let me give you an offer u cant refuse (i will kill you if you refuse) 07:04:52 ill go to bed 07:04:53 oh no,, 07:05:01 and you make sure i get the SO rep I need by the time i wake up 07:05:08 h 07:05:09 how 07:05:11 hhhhow 07:05:13 thats for me to know 07:05:14 and you to find out 07:05:22 D: 07:09:58 monqy: have you found out yet 07:10:12 no 07:12:24 monqy: hury, up? 07:12:31 i 07:12:32 cant 07:12:32 ;_; 07:14:00 ok gon1dight 07:14:01 gondight 07:14:04 gondight monquay 07:14:06 ok 07:14:11 gondighte 07:14:19 bye -engrey 07:14:27 - mqony 07:14:49 Control.Monad.Trans.Error defines MonadPlus IO but not Alternative IO and anyways their instance is wrong 07:15:12 I think they should allow override instances! 07:15:30 I wrote some ideas in my user space in Haskell Wiki 07:17:40 engree 07:18:16 * shachaf ; 07:18:21 What the Haskell wiki needs is more notation. 07:19:06 -!- engree has quit (Ping timeout: 260 seconds). 07:19:27 http://www.haskell.org/haskellwiki/User:Zzo38/Proposal_for_instance_disambiguation 07:19:52 shachaf: Yes that one is the one I meant 07:27:25 argh the key mapping in minecraft gets annoying when you have tens of mods 07:27:41 and there is of course not a single interface to configure them all 07:28:00 Maybe when they finally add that modding API... 07:28:10 fizzie, doubt that will ever happen 07:28:33 fizzie, besides there are key bindings in the settings menu I can't access because they go under the "done" button 07:28:42 zombe do it by config file 07:29:00 rei's minimap does it using it's own config dialogue 07:29:01 and so on 07:30:08 fizzie, currently I'm trying to get technic pack + several freestanding mods to play nicely 07:30:15 it works apart from conflicting keys atm 07:30:53 $ ./testlm-disk.pl ../twungot/tokens.bin.irc ../twungot/model.bin.irc 3 programmers do it with 07:30:53 programmers do it with objects. is that a cartesian product function that i want to 07:30:53 programmers do it with lookahead and the whitespace cset. but please, be patient: i have some 07:30:53 programmers do it with exceptions as a control and assume that the answer to your question is "is it because you think you _need_ unwind-protect?" 07:31:06 cset? 07:31:41 fizzie, also I found a better version of TMI, called NMI 07:31:43 Perhaps short for "set of characters". 07:31:47 if you ever used TMI 07:32:02 Non-maskable interrupts are a better version of too much information? 07:32:03 I suggest switching to NMI, especially if you have lots of mods 07:32:29 fizzie, too many items also typoed NEI as NMI 07:32:35 because that is not enough items 07:32:40 fizzie, the in game inventory editor 07:32:44 useful when testing things 07:33:05 NEI supports searching rather than having like 40 pages due to mods 07:33:10 and so on 07:33:25 The MonadPlus IO in Control.Monad.Trans.Error is the wrong one!!!!!!! 07:33:25 and you can use it to look up recipes as well 07:33:44 fizzie, by turning off cheating mode 07:35:09 fizzie, not sure if you play with many mods though, apart from optifine I presume 07:36:04 Not really. I tried out a few bits from that zombe thing. 07:36:11 ah 07:36:50 I haven't really done any Minecrafting since about September, anyway. 07:37:34 it happens quite frequently that I'll go to bed after staying up all night 07:37:38 and then... wake up 4 hours later. 07:37:38 fizzie, I use techic pack (IC², Buildcraft, Redpower + a lot more smaller mods), NEI, zombe's flying and sun control, worldedit CUI, single player commands (for worldedit support in single player) and of course optifine 07:37:47 actually looks like optifine is part of technic nowdays 07:38:21 redpower especially adds a /lot/ of blocks 07:38:27 due to combinatorial explosion 07:39:19 like you can make panels, halfblocks and what not out of most vanilla blocks 07:42:09 kallisti, there may have been an update I forgot to notify you about 07:46:03 indeed 07:48:11 ouch ouch ouch, minecraft coloured lights are done using multitexturing. This is so wrong. 07:48:24 -!- zzo38 has quit (Remote host closed the connection). 07:48:28 as in torchlight vs. sunlight 07:50:58 1.8 changelog: + Rewrote the light rendering to use multitexturing instead of direct colors 07:51:43 indeed 07:51:53 which is a nasty way to do it 07:52:07 fizzie, it makes it much harder for mod authors to add their own lights of various colours 07:53:12 That's not surprising in general, either, since the existing light colour scheme is just "two dimensions, skylight and blocklight == torch", no matter how it's implemented. 07:53:26 You could easily make all torches green, though. :p 07:53:30 sure 07:53:38 but not add green, red and blue torches 07:55:03 fizzie, why doesn't minecraft just use the phong model for all the available light sources. It could even drop the specular light calculation, which is probably the most expensive part 07:55:05 from what I remember 07:55:28 since mc has not specular light 07:55:42 It wouldn't be as "retro". 07:56:13 come on, mc dropped retro the day it implemented smooth light 07:56:47 That was someone else's idea, though, and optional in any case. 07:57:00 well that stuff isn't around any more 07:57:29 Isn't it still toggleable? (I certainly haven't looked.) 07:57:39 I don't think so, can't check atm 08:03:31 -!- cswords_ has joined. 08:05:32 Does the current lighting code do shadows for block light sources? For skylight it does, that much I remember. I suppose it does some sort of custom light-spread for blocklight too. 08:07:29 -!- cswords has quit (Ping timeout: 276 seconds). 08:08:25 maybe somebody here can answer this one 08:08:43 i took some source which was released under the MIT license and significantly modified it 08:08:58 wtf do i do to be all proper about things but still own my modifications? 08:19:00 It's not a copyleft license or anything, so as far as I know you're free to distribute your modified version under a license as restrictive as you want, possibly as long as there's a sentence like "includes code from libfoo, which you can get from libfoo.com, licensed under the following terms: [copy of their copyright notice + MIT license statement]." But I'm certainly no lawyer. 08:20:47 yeah, i don't actually care about the license but i intend to make the source available and I want to "do right" 08:20:55 there are lots of these licenses that allow you to take and use and modify the code 08:21:14 do i just add a copyright notice? how do i specify that "my changes are everywhere" lol 08:27:08 -!- nooga has joined. 08:37:57 If you're going to MIT-license the result, I would think you can just put in "Copyright Myself" + MIT license "permission is granted + no warranty" statement + based on/derived from the FunkyCode, copyright TheirName. Though I've also seen people just do "Copyright Myname" + "Copyright TheirName" + same license terms. 08:38:35 that helps :) 08:38:39 E.g. RTMPDump-YLE does it like that, http://fador.be/yle/README.rtmpdump-yle + then their COPYING file in the distribution includes the GPL text, plus "json-c has the following license: [json-c's MIT license text]". 08:38:40 i'd have thought it would be easier to find an answer for this 08:39:01 (Of course whoever wrote RTMPDump-YLE probably wasn't a lawyer either.) 08:39:06 like, a well-known and "official" kind of answer ;) 08:39:38 i mean, it's just words in many ways so i suppose i can write whatever i want that doesn't violate the existing license, i just wondered if there was a proper or standard way and couldn't find it 08:39:41 so now i want to find more :P 08:40:09 i mean, the author said to me in e-mail "i don't really care, you can do whatever you want" hehe 08:41:11 Copyright Jafet 2009..2012. I don't have any money to hire a lawyer, so you can use this source code in any way you like and I probably won't ever sue you. No warranties expressed or implied. 08:41:25 ha 08:41:48 i got a kick out of the WTFPL license 08:58:23 -!- Slereah_ has quit (Ping timeout: 268 seconds). 09:02:17 Look, I implemented simple colored snow animation in my language 2DASM for 2DWPU architecture http://www.youtube.com/watch?v=nnzaXvF7p7o Here's the source: http://data.solirax.org/2dwpu/colorsnow.2da It's WIP though |3 09:05:13 -!- zzo38 has joined. 09:05:48 I made up a big number, according to these functions of natural numbers, where ^ means exponent and ! means factorial and ; separates the definitions. 09:06:51 f(0,0) = 1; f(x,0) = x^f(x-1,k(x,x!)); f(x,y) = x!+k(y^f(x,0),y^f(x,y-1)) 09:07:24 k(x,0) = 2^h(x,0); k(x,y) = (x+y)^k((xy)^(xy),y-1) 09:07:54 h(0,0) = 1; h(x,0) = p(h(x-1,p(x))); h(x,y) = p(h(x,y-1)) 09:08:02 p(x) = x'th prime number; p(0)=1 09:08:20 q(x,0) = f(x,0); q(x,y) = f(q(x,y-1),q(x,y-1)) 09:08:28 Big number = q(2,q(2,2)) 09:09:07 * Jafet waits for zzo's new exciting result in Ramsey theory. 09:09:15 How large is it, what is its one's digit, what is its most significant digit, how does it compare to other big numbers, and etc? 09:10:36 Is it larger or smaller than: Skew's number, Moser's number, Graham's number, and XKCD's number? 09:10:59 Or even equal? 09:11:59 * Sgeo is tempted to put it in Haskell 09:12:44 I worked it a bit on paper and as far as I know the computer probably won't be able to complete the calculation 09:21:39 p(x) = x'th prime number; p(0)=1 <-- I thought 1 was not a prime number? 09:22:02 because then there wouldn't be unique factorizations into prime numbers 09:22:25 I know 1 is not a prime number. 09:22:41 But p(0) has to be defined anyways so that is its definition I put 09:22:55 ah 09:23:15 I worked it a bit on paper and as far as I know the computer probably won't be able to complete the calculation <-- depends on how you represent it? 09:23:30 it looks like too much work though 09:23:50 anyway, if you worked on it in a CAS you might be able to find something out 09:24:13 zzo38, I assume it is super-exponential then? 09:24:29 hm there is ! in there, so I'd go with probably 09:30:03 Already after expanding f(2,0)=2^f(1,4^((4^4+1)^(2^(h((4^4)^(4^4),0)))))) 09:30:50 Already (4^4)^(4^4) is 256^256 which is more than googol. 09:31:52 What about Googolplex? 09:33:05 Frooxius, is that 10^(10^100) or? I don't remember 09:33:16 yeah 09:33:24 10^googol 09:33:54 mathematica says that 10^(10^100) > 256^256 is True, but it gives a warning about overflow 09:33:57 so I'm not sure 09:34:11 I don't really know the math around these expansions and such, I guess I'll have to read something more later ^^ 09:34:47 but then that is a fairly small level of expansion of zzo38's function 09:35:29 thing that annoys me greatly in windows 7: I can't find a way to open the right click menu for the currently open directory without going up a level above it and right clicking it 09:35:46 I'm currently working with shell integrated version control system, so I really really want that feature 09:36:15 Right clicking in the empty space doesn't work? Or did I misunderstand you? 09:36:40 Vorpal: 256^256 = (10^log10(256))^256 = 10^(log10(256)*256) ~ 10^616; it's quite clear 10^(10^100) is bigger than that. 09:36:41 hm I tried to right click the icon for the folder in the corner of the window. That worked under xp 09:36:45 Did you try right-clicking the icon in the title bar? That works in older versions of Windows. 09:37:06 zzo38, that is the thing that /doesn't/ work any more 09:37:14 Did you try using the File menu? 09:37:37 In my computer, which is XP, selecting the File menu has one submenu labeled with the name of the current directory. 09:37:50 ah the option for tortoisehg is under there, good 09:37:54 right under the file menu 09:38:00 which is btw hidden by default 09:38:05 until you set a folder option thingy 09:38:19 Pushing alt should make it display the menu even if hidden 09:38:35 (I really prefer linux, windows would be okay with a usable shell, and no powershell is a joke) 09:39:15 wait what, can't hg handle empty directories? Or is it just this shell extension being stupid? 09:39:43 Yes, Linux is better. But in Windows, the standard command prompt is OK for some things, and so is Windows Explorer; you can get a UNIX command line by using Cygwin. 09:39:58 cygwin is kind of broken iirc 09:40:06 "After it deletes a file, it then deletes any empty directories that were in the deleted file's path. This sounds like a trivial distinction, but it has one minor practical consequence: it is not possible to represent a completely empty directory in Mercurial." 09:40:27 right 09:40:38 and there is no tortoisebzr, and I'm /not/ using svn 09:40:39 Git works the same way, unless I misremember. 09:40:41 (nor git) 09:41:13 You can put a placeholder file in. 09:42:19 fizzie, not really in this case though. Meh 09:43:17 also tortoisehg has some problems with tracking the correct state for the icon overlay. More so than tortoisesvn even 09:43:26 and that had some issue with it 09:43:58 A dummy .gitignore/.hgignore is something I've seen in "empty"-but-we-want-them-to-exist directories. 09:45:10 I have no control over the software that might try to read the directory in question so I'd rather not confuse it, I'll just make sure to add the directory once any files does get added to it 10:19:54 -!- olsner has quit (Ping timeout: 240 seconds). 10:25:56 -!- nooga has quit (Ping timeout: 276 seconds). 10:33:09 -!- olsner has joined. 11:20:20 Regex question, how do I alter this regex: ^(\w++) gets a (.*?)$ so if in the (.*?) part there is the word 'and' it doesn't match 11:20:27 I figure something to do with lookarounds? but can't figure out what 11:20:52 -!- nooga has joined. 11:26:39 "Doesn't match" is often not-so-easy for regexen. I mean, you *can* of course just replace (.*) with ((?:(?!and).)*) and that (seems to) work, but it's anyone's guess how inefficient that is; esp. compared to just matching and then testing whether $2 contains "and". 11:29:17 !perl @a = ("foo gets a bar", "foo gets a bar and baz"); for (@a) { print "$_ => "; if (/^(\w+) gets a ((?:(?!and).)*?)$/) { print "match: ($1) ($2)\n"; } else { print "no match\n"; } } 11:29:17 foo gets a bar => match: (foo) (bar) \ foo gets a bar and baz => no match 11:29:59 wait, duh, I'm an idiot 11:30:04 I can just test in LUA after the regex matches 11:31:26 -!- zzo38 has quit (Remote host closed the connection). 11:31:38 Also I doubt whether the ? does nothing; you're already using the possessive ++ "eat and never backtrack", and the match is anchored at the end with $, so I don't see how the (.*) part can do anything else except match all the way to the end, no matter if it's greedy or not. 11:31:43 s/nothing/anything/ 11:31:56 it probably doesn't do anything, no 11:32:03 it's just there because the regex generator put it there for me! 11:33:14 it's interesting seeing what kind of regexes are pathological and what aren't 11:34:41 ((?!foo).)* sounds like something that at least a commonly stupid regex engine would implement in the rather bad "check for a 'foo' substring at each position" way. 11:36:31 would the pearl regex engine implement that in the bad way? 11:36:33 *perl 11:36:39 -!- Jafet has quit (Ping timeout: 240 seconds). 11:36:40 b/c that's what mushclient uses 11:37:53 From what I've heard, it's not uncommonly smart. 11:41:15 -!- Jafet has joined. 11:41:24 -!- oerjan has joined. 11:49:10 01:01:01: :t reads 11:49:10 01:01:02: forall a. (Read a) => String -> [(a, String)] 11:49:12 hm... 11:51:48 > runStateT (replicateM 3 $ StateT reads) "1 2 3 4" :: [([Int], String)] 11:51:49 [([1,2,3]," 4")] 11:52:30 Patashu: http://sprunge.us/fdXW -- well, that doesn't look excessively smart. Though I guess it's possible the debug mode inhibits some optimilizations. 12:06:00 -!- Phantom_Hoover has joined. 12:11:17 pikhq: Well, this is none of those; this is under the xor of all those licenses. A term applies iff only a single license in the set has it. 12:11:30 that's not xor, xor means an odd number 12:11:59 it's addition (mod 2), after all 12:13:14 -!- itidus21 has joined. 12:29:20 if i could wake up at noon every day i'd be so happy <-- i woke up and noon today *MWAHAHAHA* 12:29:39 *at 12:33:03 I, too, woke up at noon. 12:33:09 `words --english 20 12:33:14 Unknown option: english 12:33:24 `words --eng-gb 20 12:33:30 lot verted praxinde ttensent diviot volute prote int esse antisscn sgthconstrefe darade reffe runcharmit ielder difper speari sonder cfol good 12:33:31 no such language. here we all speak rigelian. 12:35:28 sonder the darades, we've got a difper following us! 12:36:11 don't believe that volute runcharmit! 12:36:46 he's prote to a lot of no good 12:36:51 -!- FireFly has quit (Changing host). 12:36:51 -!- FireFly has joined. 12:37:38 Sgth. Constrefe, you're such a diviot! 12:38:05 -!- derdon has joined. 12:42:02 -!- monqy has quit (Quit: hello). 12:52:49 -!- pikhq has quit (Ping timeout: 240 seconds). 12:53:00 -!- pikhq has joined. 12:54:14 So is the weather in Hexham today Scotland? http://i.imgur.com/SWaD6.jpg 12:56:49 "Current temperature at Otaniemi: 3.12 °C" 12:57:44 Deewiant, depends on whether everything that hasn't been nailed down has blown away. 12:57:44 It was -5 just two days ago; and yesterday it was snowing reasonably heavily; now I guess it's all going to just melt again. 12:59:53 Weather for Melbourne, Victoria | Temperature: 73F / 23C 13:02:36 Deewiant, I believe the weather for Tuesday indicates that there are clouds forming an X shape in the sky, in much the same way as they are reported to have to Óengus II before his battle with the Angles. 13:09:06 @tell zzo38 i think your number may be larger than Skewes's number but smaller than Moser's number, as afaict all your functions are still primitive recursive, so cannot get up to the approx. ackermann level. 13:09:06 Consider it noted. 13:14:51 oerjan, does my computer have any chance of storing Skewes's number? 13:15:45 not written out in a common base, no 13:17:01 10^10^10^34 has 10^10^34 decimals. even 10^10^34 has 10^34 which is enormous 13:23:12 09:33:54: mathematica says that 10^(10^100) > 256^256 is True, but it gives a warning about overflow 13:23:24 256^256 = 2^(8*256), so much smaller 13:24:42 Estimates of the amount of "data" in the world are around the magnitude of a zettabyte, 10^21 bytes. 13:25:45 They newsposts that report these estimates never tell how they're made. 13:27:02 The absolute quantum-mechanical upper bound for the data storage of the entire Earth is only around 10^75 bits. 13:28:08 fizzie: is that in non-compressed form? :P 13:28:20 suppose all the data in the world is compressed ... hahahahha 13:28:44 like the amount of "data" in the world probably means the amount of ram in the world 13:28:59 or the size of the world's tape 13:29:02 Clearly they estimated the Bekenstein bounds of all the computers in the world. 13:29:09 oh 13:29:36 this topic over my head which means i am learning 13:29:59 All they really say is just "content" in the "Internet"; I'm sure it's based on something more detailed, but they never bother including that in the reporting. 13:30:23 The Bekenstein bound of the internet as depicted by The IT Crowd. 13:30:37 (It's zero, because the internet obviously doesn't weigh anything.) 13:30:37 "In 2007, humankind was able to store 2.9 × 10^20 optimally compressed bytes, communicate almost 2 × 10^21 bytes, and carry out 6.4 × 10^18 instructions per second on general-purpose computers", says a 2011 Science article, which presumably has some details too. 13:30:51 optimally....... compressed......... 13:31:40 science journalism 13:31:50 Phantom_Hoover: That's shorthand for "best algorithms available in 2007". 13:32:07 In the context of this story, anyway. 13:32:22 oh fair enough then 13:33:53 they got an oracle to compress it all down to one bit, but then it went on strike so they couldn't get it uncompressed again 13:37:02 fizzie, but.... that's not really helping either. 13:38:14 I mean, I can store an arbitrary number of 'optimally compressed bytes' if I'm allowed to set the algorithm. 13:39:09 i threw that comment in there about compression to show that its a kind of subjective argument 13:39:35 like, maybe each electron on earth can be used as a form of atomic ram 13:39:54 bekensteiiiiiin 13:40:07 ok ok.. to wiki i go 13:40:11 watch me .. ho ho ho 13:40:16 (You'd almost think I knew something about quantum information theory.) 13:40:28 rest assured i don't 13:44:11 Phantom_Hoover: Look, it's just a normalization thing, for pseudo-meaningfulizing the comparisons between the years they do. One megabyte of disk space used for storing video in 2007 counts as storing 1 MB of "optimally compressed" bytes; but the same one megabyte of video in 2000 counts as storing 0.45 MB of "optimally compressed" bytes, because you could store the same amount of "information" in 0.45 MB in 2007. 13:44:21 It's still pretty handwavy, I'm not denying that. 13:45:02 That makes more sense. 13:45:42 I have no clue where they got all their numbers of how much storage capacity there is in the world, or what it's used for, though. 13:49:17 the NSA, of course 13:51:18 10^21 bytes of youtube videos, facebook photos, B-rate porn, and raw astronomy data 13:51:27 We live in a glorious civilization. 13:51:50 raw astronomy porn, check 13:53:17 Don't google "Young slit experiment" 13:53:27 O KAY 13:58:06 Heh, that was a funny bug. We have this audio file reader which used to take as a parameter whether it's reading a .wav file or a raw data file; then it'd open with libsndfile and read. At some point, someone "improved" it so that it just tries to open it with libsndfile as "unknown format", and if that fails, uses it as a raw data file instead. 13:59:11 Turns out that for one particular file, after one particular piece of processing, the raw audio file (which it was) happens to contain initial bytes that look enough like some random audio format to confuse libsndfile. 14:00:43 -!- aloril has quit (Ping timeout: 255 seconds). 14:03:15 I did, in fact, Google (image search) it, and got http://www.askamathematician.com/wp-content/uploads/2010/12/ammo.jpg as a result. I... don't know. 14:03:28 (The image is work-safe, in case someone is wondering.) 14:03:44 (Or, well, I don't know. Maybe if your employer hates kittens?) 14:03:57 (Then it might not be.) 14:04:33 Apparently that's an illustration below where the blog-author calculates the de Broglie wavelength of a kitten. 14:05:21 Also the blog posting is mostly about cat puns. 14:05:35 "-- a “coherent cat beam” (a “cat-hode ray”, as it were) --" and so on. 14:09:04 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 14:20:59 Hey, I've still got Taneb on ignore. 14:23:42 something fishy here http://www.dagbladet.no/2012/01/02/nyheter/dyrenes_nyheter/innenriks/fiskedod/19632870/ 14:25:18 The dog is a fish hoarder. 14:25:32 -!- aloril has joined. 14:31:29 -!- oerjan has quit (Quit: leaving). 14:31:59 * Phantom_Hoover notes that Mac Lane says "such that the following diagrams commute:" and then has one of the diagrams consist of two objects with a single morphism between them. 14:32:48 Does it commute if you can't do any commuting? 14:42:38 i think that the number of different brain states is an absurd thing to worry about :-D 14:43:41 sorry, for the "absurd thing" and "worry about" and ":-D" 14:43:47 im being a bit troll 14:49:43 curious questions about quantum states of human brains are.. 14:50:03 are some states of human brains more valuable than others 14:50:53 its all atoms really 14:52:02 itidus21, states, in this case, mean quantum-mechanical states, not anything more abstract. 14:52:12 theres no lack of uniformity that i know of between the atoms in the brain and the atoms in the skull apart from the way they are structured into molecules 14:52:32 Most of those states consist of soup. 14:53:11 This is why the Bekenstein bound is not indicative of anything particularly useful, beyond a sardonic upper bound for data storage questions. 14:53:27 ok 14:55:08 Well, it's obviously useful for QM, but not for working out storage capacities. 14:56:26 i don't like the idea of viewing my thoughts as quantum states i guess is what i mean 14:57:42 Why? 14:58:37 its almost like a religion 15:02:24 a religion where information is god :P 15:03:16 what sort of information? physical structures 15:06:42 this is not really motivated as an attack on science or on anyone.. just dealing with some stuff :P 15:07:01 saying it out loud to you all 15:08:13 I, um 15:08:18 This makes little sense. 15:08:51 ok.. well i am hopping afk for some asthma stuff 15:10:12 ok my problem is this :D 15:10:19 Asthma? 15:10:30 trying to understand science and liberal arts at the same time 15:10:57 most sensible people don't try to collide them 15:24:37 -!- yorick has quit (Ping timeout: 252 seconds). 15:24:38 -!- _Slereah has joined. 15:25:09 the asthma is my own fault since i hate using the proper medicine .. nevermind that 15:25:49 -!- nooga has quit (Read error: Operation timed out). 15:27:38 -!- yorick has joined. 15:29:17 hoover: ok heres one way i can put it.. we humans spend a lot of time caring about other humans 15:30:15 we store information in our environments 15:32:35 hmm whats another way for me to randomly angst against science 15:32:58 Creationism? 15:34:28 the geek gradually gets fixed upon a path 15:34:49 forging his mind into a weapon of geekdom 15:35:21 i should concede that all people gradually "invest" their life in some direction or other 15:35:43 but i think it is important to realize that such investments are being made.. there is no perfect investment 15:35:50 its not a game 15:46:43 sorry for so morbid 15:47:08 ^bf +++++++++++++++++++++++++++++++++++++++++++++. 15:47:08 - 15:47:37 ^bf +++++++++++++++++++++++++++++++++++++++++++++......-....++.... 15:47:37 ------,,,,.... 15:50:25 -!- MSleep has changed nick to MDude. 15:51:39 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 16:07:20 -!- Phantom_Hoover has joined. 16:10:12 -!- azaq23 has joined. 16:39:23 -!- sebbu2 has changed nick to sebbu. 16:49:08 -!- nooga has joined. 16:52:31 looking a bit closer at this bekenstein thing.. 16:52:34 well.. 16:53:03 a mass next to another mass exerts a certain amount of gravity force on it 16:55:05 that is to say, that modelling the static state of something is one question 16:55:34 but modelling the dynamic physical state of something probably requires modelling the totality of the universe acting upon it 16:55:57 just a guess 16:58:56 itidus21: welcome sir 16:59:02 `welcome itidus21 16:59:07 itidus21: 16:59:45 ty hackego for not patronizing me 17:00:57 i'm just typing rubbish as usual.. 17:00:58 itidus21: well this depends on what exactly you're trying to model, and how sophisticated the computer system is on which you're modelling it. 17:02:11 hmm.. well i guess what i mean is you can't cut and paste the universe 17:02:13 for example, there's no need to measure the effects of the gravity of Mars and Jupitor on a soccer ball on Earth because the inverse square laws results in incredibly meager forces. 17:02:25 it may be values so close to 0 that your computer cannot represent them as anything other than 0 17:02:45 since the two regions will act differently 17:02:53 depending on where they are in the universe 17:03:56 -!- sebbu has quit (Read error: Connection reset by peer). 17:04:25 -!- sebbu has joined. 17:04:26 -!- sebbu has quit (Changing host). 17:04:26 -!- sebbu has joined. 17:04:40 sure. To be an accurate system you'd want your subset of the universe to be as closed as possible. 17:04:47 hmm.. well i guess what i mean is you can't cut and paste the universe, since the distance between the 2 regions will have an effect on the behaviour of those regions 17:05:10 for example, there's no need to measure the effects of the gravity of Mars and Jupitor on a soccer ball on Earth because the inverse square laws results in incredibly meager forces. 17:05:16 Jupitor. 17:05:19 like.. if you cut and pasted a high mass piece of the universe next to itself.. each mass would have a strong effect on each other mass 17:05:31 Phantom_Hoover: what you've heard of Jupitor? crazy britons. 17:05:51 but if you cut and pasted those same masses very far apart the effect would be less 17:06:09 Phantom_Hoover: I shouldn't even entertain such notions with you. You've probably never heard of the inverse square laws.. 17:06:24 meager forces add up 17:06:29 :-D 17:06:58 they also subtract up in absolute terms since we're talking about vectors. 17:06:59 Sure we do, they're the laws obeyed by the curve generated by inverting a square through a circle. 17:07:00 itidus21: gravity travels at the speed of light. copy and paste your universe into a different reference frame moving away from the first at the speed of light and problem solved 17:07:29 i suppose its not "ok" to cut and paste regions of the universe 17:07:42 in mathematical or physics sense even 17:07:52 itidus21: gravity travels at the speed of light. copy and paste your universe into a different reference frame moving away from the first at the speed of light and problem solved 17:07:57 IT'S MORE COMPLICATED THAN THAT 17:08:21 is it 17:08:36 im just trying to say that as everyone already knows, the universe can't model itself 17:08:51 because im a newbie and i say such things 17:09:04 quintopia: yes you need a better clipboard to do that kind of stuff. 17:09:18 I recommend one of those fancy external clipboard programs. 17:09:26 they have a lot of nice features. 17:09:38 quintopia, *everything* affects gravity, not just matter. 17:10:33 itidus21: but what I'm saying is that if you calculate a value to be 0 because your computer lacks the precision to regard that value as anything other than zero, then adding a bunch of zeros together is not going to add up in any measurable sense. 17:10:42 Phantom_Hoover: are you going to tell me that two systems moving apart at the speed of light can have an effect on one another? 17:10:48 im just trying to say that as everyone already knows, the universe can't model itself 17:11:04 You're saying that self-interpreters are impossible? 17:11:31 sorry 17:11:49 maybe its possible 17:12:05 http://www.crafts4kids.com/projects/images/solar-sys.jpg doomsday device. the universe will implode now. 17:12:24 i should stop discussing these topics if i don't want to discuss them 17:13:54 itidus21: well just consider that it doesn't take the same amount of resources to accurate model a smaller scale version of the universe than it does to operate a full scale model. 17:14:02 if it did, then yes, that would be impossible. 17:14:30 so there might exist backups of the universe? :-s 17:14:46 if the data is present, sure. 17:14:54 but... no I doubt it. :P 17:15:26 but that probably hits the backup infinite regression problem 17:15:34 needing backups of backups 17:16:01 just the first backup is already a monumental task. 17:16:18 lol 17:16:33 probably not the best thing for me at 4am either 17:16:42 but if you're considering just the capability of such a thing and ignoring all practically, I would say that it's at least possible. 17:16:44 its not going to help me relax 17:16:47 -!- cheater has quit (Ping timeout: 240 seconds). 17:17:55 however, I think in terms of classical physics for the most part. I don't know much at all about quantum physics, so my intuition likely breaks down at that level. 17:18:08 so then it becomes a question, how precise of a model do you want? 17:18:31 enough to get girls probably 17:18:48 i don't imagine theres any other motive 17:19:10 itidus21: I'm afraid there may be no end to your goal in sight.. 17:19:26 girls like cars and money. sorry. 17:19:35 I guess you'd need a lot of money to simulate the universe though. 17:19:42 so indirectly, perhaps. 17:19:45 "oh tidus, what a wonderful universe simulation you have made" 17:19:53 "i think so" 17:20:34 of course you could simulate women in lieu of actual women.. but.. I think I should probably abandon that path of discussion. 17:21:52 -!- Ngevd has joined. 17:21:55 Hello! 17:22:04 (this is where the precision of your models really comes into play) 17:22:53 Hmm... 17:23:14 The odds of me having seen elliott have increased mildly 17:23:54 Due to the Scottish weather? 17:24:27 you should write brainfuck on the public toilet walls 17:24:35 No, due to me seeing someone I did not recognise but about my age at around the time when, according to the logs, "engree", whom I presume to be elliott, went to sleep 17:24:53 itidus21, I'll write some lambda calculus 17:25:05 are you in hexham? 17:25:06 Ngevd: yes that was elliott 17:25:13 itidus21, yes 17:25:28 kallisti, engree, or the person whom I saw 17:25:36 hmm 17:25:36 Ngevd: engree 17:25:38 .. 17:25:44 is code as graffiti bad? :D 17:25:46 no, I'm psychic. :P 17:25:51 i wonder how far such ideas have gone 17:26:00 itidus21, I'd imagine not very 17:26:35 google images suggests "not very much" 17:27:33 Ngevd: anyway what makes you think that this random person your age that you saw after elliott went to sleep is elliott? 17:27:45 -!- mr_schlauch has quit (Quit: ZNC - http://znc.in). 17:28:33 kallisti, /at around the same time/ as elliott whent to sleep 17:29:00 I said the odds of increased mildly, not OMG TOTALLYZ SEEN ELLIOTT LOL 17:29:06 ??? 17:29:08 oh 17:29:09 okay. 17:29:12 sure. 17:29:15 but I doubt it. 17:29:18 just sayin' 17:29:24 http://boingboing.net/2009/10/09/c-graffiti.html 17:29:44 -!- elliott has joined. 17:29:45 http://i.imgur.com/pAy4z.png 17:30:06 itidus21: ah I see you've found the zenith of the artform. 17:30:29 "I told them I knew C because I am good with word and email so they hired me." looooool 17:30:38 i don't see a declaration of ii though 17:30:52 wow it took them an entire 2 months to get fired. that's incredible. 17:30:57 oh i get it 17:31:01 its (;;) 17:34:15 Deewiant: amazing 17:34:15 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 17:35:30 @messages 17:35:30 You don't have any new messages. 17:35:34 spOOky 17:39:35 07:56:13: come on, mc dropped retro the day it implemented smooth light 17:39:35 07:56:47: That was someone else's idea, though, and optional in any case. 17:39:36 07:57:00: well that stuff isn't around any more 17:39:36 07:57:29: Isn't it still toggleable? (I certainly haven't looked.) 17:39:37 Yes, it is. 17:39:46 It's on-by-default, though. 17:41:00 09:05:48: I made up a big number, according to these functions of natural numbers, where ^ means exponent and ! means factorial and ; separates the definitions. 17:41:00 09:06:51: f(0,0) = 1; f(x,0) = x^f(x-1,k(x,x!)); f(x,y) = x!+k(y^f(x,0),y^f(x,y-1)) 17:41:00 09:07:24: k(x,0) = 2^h(x,0); k(x,y) = (x+y)^k((xy)^(xy),y-1) 17:41:00 09:07:54: h(0,0) = 1; h(x,0) = p(h(x-1,p(x))); h(x,y) = p(h(x,y-1)) 17:41:00 09:08:02: p(x) = x'th prime number; p(0)=1 17:41:01 09:08:20: q(x,0) = f(x,0); q(x,y) = f(q(x,y-1),q(x,y-1)) 17:41:04 09:08:28: Big number = q(2,q(2,2)) 17:41:05 09:09:15: How large is it, what is its one's digit, what is its most significant digit, how does it compare to other big numbers, and etc? 17:41:08 09:10:36: Is it larger or smaller than: Skew's number, Moser's number, Graham's number, and XKCD's number? 17:41:12 09:10:59: Or even equal? 17:41:14 I am completely unqualified to answer this, but I really doubt it's as big as Graham's number. 17:51:17 11:34:41: ((?!foo).)* sounds like something that at least a commonly stupid regex engine would implement in the rather bad "check for a 'foo' substring at each position" way. 17:51:18 11:36:31: would the pearl regex engine implement that in the bad way? 17:51:18 11:36:33: *perl 17:51:18 11:36:39: -!- Jafet has quit (Ping timeout: 240 seconds). 17:51:18 11:36:40: b/c that's what mushclient uses 17:51:19 11:37:53: From what I've heard, it's not uncommonly smart. 17:51:21 11:52:30: Patashu: http://sprunge.us/fdXW -- well, that doesn't look excessively smart. Though I guess it's possible the debug mode inhibits some optimilizations. 17:51:31 fizzie: Patashu was almost certainly referring to PCRE... 17:51:50 12:11:17: pikhq: Well, this is none of those; this is under the xor of all those licenses. A term applies iff only a single license in the set has it. 17:51:50 12:11:30: that's not xor, xor means an odd number 17:51:50 12:11:59: it's addition (mod 2), after all 17:51:50 Er, right. 17:52:23 12:54:14: So is the weather in Hexham today Scotland? http://i.imgur.com/SWaD6.jpg 17:52:31 Deewiant: The winds actually blew us over the border. 17:55:31 elliott: I sort of thought it was maybe about PCRE, but since e just said "Perl"... 17:55:51 Embedding Perl's regexp engine in some software and then exposing it to Lua would be impressive. 17:56:27 13:58:06: Heh, that was a funny bug. We have this audio file reader which used to take as a parameter whether it's reading a .wav file or a raw data file; then it'd open with libsndfile and read. At some point, someone "improved" it so that it just tries to open it with libsndfile as "unknown format", and if that fails, uses it as a raw data file instead. 17:56:27 13:59:11: Turns out that for one particular file, after one particular piece of processing, the raw audio file (which it was) happens to contain initial bytes that look enough like some random audio format to confuse libsndfile. 17:56:35 HA HA HA I CAN'T STOP LAUGHING OH THE LIFE OF A SPEECH RECOGNITION RESEARCHER 17:57:02 I felt like getting a grasp on zzo38's number 17:57:10 Apparently someone else had hit the bug too, and had added an override parameter back. But it still has the automagic logic if you don't specify anything. 17:57:12 It's scary 18:07:51 You've clearly never heard of Graham's number. 18:16:26 Phantom_Hoover: and TREE(3). 18:22:13 -!- pikhq_ has joined. 18:22:13 -!- pikhq has quit (Read error: Operation timed out). 18:22:49 Phantom_Hoover: Pfffft, you've CLEARLY never heard of inaccessible cardinals! 18:29:58 -!- myndzi\ has joined. 18:31:09 Hello 18:31:38 so 18:31:40 How do I stop being away? 18:31:50 Be present 18:31:52 Or type /unaway or w/e 18:32:06 w/e 18:32:06 on irssi it's just /away with no arguments 18:32:14 I'm on XChat 18:32:16 no clue. 18:32:55 so, my intuition would suggest that have multiple processors does not increase the speed at which you can send packets over a network. 18:33:04 -!- Ngevd has quit (Quit: IDEA!). 18:33:04 -!- myndzi has quit (Ping timeout: 248 seconds). 18:33:14 as your processor count increases your network adapter becomes a larger bottleneck. yes? 18:33:24 -!- Ngevd has joined. 18:33:27 or, a smaller bottleneck, I guess. 18:33:29 Back! 18:33:39 on irssi it's just /away with no arguments 18:33:48 no, that's not irssi - that's the irc specification of AWAY 18:34:08 some clients alias /back or /unaway to a /away with no arguments 18:34:10 ah. didn't know. I always prefix my IRC suggestions with "in irssi, it works like this" 18:34:16 xchat does the former 18:47:59 -!- augur_ has joined. 18:50:59 -!- augur has quit (Ping timeout: 260 seconds). 18:53:44 -!- augur_ has changed nick to augur. 19:02:32 anyone use a non-qwerty layout? 19:03:19 -!- Vorpal has quit (Ping timeout: 240 seconds). 19:03:42 Yes 19:06:37 I use qwerty except I swapped t and y. 19:07:01 -!- kmc has joined. 19:09:21 because qweryt sounds better? 19:14:53 Totally. 19:20:25 > appEndo $ mappend (Endo f) (Endo g) 19:20:25 Overlapping instances for GHC.Show.Show (a -> a) 19:20:26 arising from a use of `... 19:20:27 grr 19:20:29 > appEndo $ mappend (Endo f) (Endo g) :: Expr 19:20:30 Couldn't match expected type `SimpleReflect.Expr' 19:20:30 against inferred ... 19:20:35 oh 19:20:39 > appEndo (mappend (Endo f) (Endo g)) x :: Expr 19:20:40 f (g x) 19:20:46 > (f >>> g) x 19:20:47 Ambiguous type variable `b' in the constraints: 19:20:47 `SimpleReflect.FromExpr ... 19:20:48 knew it 19:22:27 -!- pikhq_ has quit (Ping timeout: 240 seconds). 19:22:30 -!- pikhq has joined. 19:24:13 -!- ais523 has joined. 19:24:47 hi ais523 19:25:04 hi elliott 19:26:31 -!- Klisz has joined. 19:27:37 -!- premek has joined. 19:29:26 -!- premek has left. 19:30:05 `words --eng-gb 10 19:30:10 herefine rol cha bourterminim ing katlanz eive diseuen karto inde 19:30:33 Bourterminim. 19:30:48 Herefine sounds like an archaic word. 19:30:51 Place name maybe. 19:31:10 "Should we stop here?" "Fine." 19:39:03 !perl print map {$_, 'c' } "hello" 19:39:06 helloc 19:39:12 no bad 19:49:07 -!- NihilistDandy has quit (Ping timeout: 240 seconds). 19:58:46 !perl print "h", uc " ", "i" 19:58:47 h i 19:59:41 !perl print "h", uc undef, "i" 19:59:41 hi 19:59:47 !perl print "h", uc undef // " ", "i" 19:59:47 hi 19:59:51 ah 20:00:02 !perl print "hello" 20:00:03 hello 20:00:08 My first perl program 20:05:32 17:24:35: No, due to me seeing someone I did not recognise but about my age at around the time when, according to the logs, "engree", whom I presume to be elliott, went to sleep 20:05:35 Ngevd: Wasn't me. 20:05:50 Well, mystery solved 20:06:10 Ngevd: Well, unless you peeked in my window or something. 20:06:33 Someone's door 20:07:01 !perl $_"hi"; %t{uc}=ucfirst; print %t; 20:07:02 String found where operator expected at /tmp/input.15666 line 1, near "$_"hi"" \.(Missing operator before "hi"?) \ syntax error at /tmp/input.15666 line 1, near "$_"hi"" \ syntax error at /tmp/input.15666 line 1, near "%t{uc" \ Execution of /tmp/input.15666 aborted due to compilation errors. 20:07:13 !perl $_="hi"; %t{uc}=ucfirst; print %t; 20:07:14 syntax error at /tmp/input.15724 line 1, near "%t{uc" \ Execution of /tmp/input.15724 aborted due to compilation errors. 20:07:18 !perl $_="hi"; $t{uc}=ucfirst; print %t; 20:07:18 ucHi 20:07:45 !perl $_="hi"; $t{&uc}=ucfirst; print %t; 20:07:46 Undefined subroutine &main::uc called at /tmp/input.15851 line 1. 20:07:57 !perl $_="hi"; $t{;uc}=ucfirst; print %t; 20:07:58 syntax error at /tmp/input.15907 line 1, near "{;" \ syntax error at /tmp/input.15907 line 1, near "uc}" \ Execution of /tmp/input.15907 aborted due to compilation errors. 20:08:02 !perl $_="hi"; $t{+uc}=ucfirst; print %t; 20:08:02 HIHi 20:08:08 lol 20:09:00 adding unary plus to expressions to change their semantics is what Perl is all about. 20:10:20 -!- sebbu has quit (Ping timeout: 240 seconds). 20:12:32 -!- sebbu has joined. 20:12:32 -!- sebbu has quit (Changing host). 20:12:33 -!- sebbu has joined. 20:13:32 http://www.amazon.co.uk/coal-primer-William-Patrick-Rogers/dp/B0007302VM/ref=cm_cr_pr_product_top 20:13:35 Hey guys, should I buy this book? 20:14:04 Why not? 20:14:21 Deewiant: It's a little on the pricey side, don't you think? 20:14:26 Nah. 20:14:41 I guess if it's worth it! 20:16:33 Deewiant: Thanks for your advice, but I think I'll go with http://www.amazon.co.uk/Landolt-B%C3%B6rnstein-Set-2011-Functional-Relationships/dp/3642201067/ref=sr_1_1?s=books&ie=UTF8&qid=1325621737&sr=1-1 instead 20:16:39 Deewiant: I don't trust third-party sellers 20:16:50 The added £2.80 for delivery is a bit much. What, no Super Saver stuff? 20:16:53 Also the 5% discount is nice. 20:17:32 !perl @x=1..5; print map{@x}@x #yeaaaaaaaah 20:17:32 1234512345123451234512345 20:18:02 "Paperback: 7190 pages". That's a big book. 20:18:11 It's 15 volumes. 20:18:16 fizzie: This one has free delivery: http://www.amazon.co.uk/13CNMR-Organic-Compounds-SpecInfo-Wolfgang/dp/0471662410/ref=sr_1_2?s=books&ie=UTF8&qid=1325621737&sr=1-2 20:18:19 Also it's a CD-ROM. 20:18:26 Also I'm just getting these from Phantom_Hoover, he's missing out bigtime on #esoteric karma. 20:18:41 You little git! 20:18:47 sometimes I feel Perl is a little overzealous with the warnings. 20:19:04 it told me that a , in a qw could possibly be an attempt to seperate words with commas. 20:19:20 !perl qw( z x c v b n m , .) 20:19:20 No output. 20:19:25 !perl use warnings; qw( z x c v b n m , .) 20:19:26 Possible attempt to separate words with commas at /tmp/input.17516 line 1. \ Useless use of a constant in void context at /tmp/input.17516 line 1. \ Useless use of a constant in void context at /tmp/input.17516 line 1. \ Useless use of a constant in void context at /tmp/input.17516 line 1. \ Useless use of a constant in void context at /tmp/input.17516 line 1. \ Useless use of a constant in void context at /tmp/input.17516 20:19:47 !perl use warnings; print qw( z x c v b n m , .); 20:19:48 Possible attempt to separate words with commas at /tmp/input.17585 line 1. \ zxcvbnm,. 20:22:43 -!- oerjan has joined. 20:23:08 `words 50 20:23:16 sertenchare pensici solvo gab ermin aft chapp nier serr liie capdlak neret anntracti uiier bertic misson supprompt soufe trabit sposusan urdla jai farmg dun sobrig cond peet sthophal gonomi koll paraflow nonum segm jex guh reque rez lay cabe nei aspecte aculin vouanth echlori idly luinzeigh know pitudie armoread mahart 20:23:32 capdlak 20:23:39 -!- oerjan has set topic: Welcome to the world championship in sertenchare and capdlak | http://codu.org/logs/_esoteric/. 20:24:05 -!- oerjan has set topic: Welcome to the world championship in sertenchare, pensici, solvo and capdlak | http://codu.org/logs/_esoteric/. 20:24:24 you forgot paraflow supprompt and armoread 20:24:25 -!- elliott has set topic: Welcome to the world championship in sertenchare, pensici, solvo and capdlak | "Aft Chapp Nier Serr, Liee Neret Anntracti" | http://codu.org/logs/_esoteric/. 20:24:55 also sthophal 20:24:59 you guys picked all the wrong words. 20:25:19 mahart is idly pitudie 20:28:36 well no one could possibly deny that pensici, solvo, capdlak, sposusan and gonomi are supprompt game names 20:29:46 I SAID NO ONE COULD POSSIBLY DENY IT 20:29:56 what? sorry, i was off on a bertic misson 20:29:59 * quintopia denies it 20:30:04 except quintopia. 20:31:40 Hand me the aculin, we have a rampant echlori infection here! 20:32:34 `words --eng-all 50 #we need crazier words 20:32:41 placox eal heperoifersey misien cayu vicarne gesin comeca hirten crun eechr sig corrh lanzugenem pontedth hen divir con nephaltur johand hoff solousleisel fanwe unned pringay nyi gwaei parv daljave livaiin fayr sume costor mir refle sdoublival pana roxyfm dale cice chianartum makircusape shell forsac prestant estehilizata masca toria culuterphilig ehr 20:32:54 the patient's segm is serring, we need more sthophal! 20:33:48 it looks like the patient has placox chianartum 20:35:27 get a livaiin nephaltur, stat! 20:35:59 have you heard of that fancy new music website called roxyfm? 20:37:12 -!- _Slereah has changed nick to Slereah. 21:39:02 I am completely unqualified to answer this, but I really doubt it's as big as Graham's number. <-- *MWAHAHAHA* 21:39:09 oerjan: wat 21:39:17 i mean, i also doubt it, with even some qualification 21:39:44 (see logs) 21:40:15 oerjan: right 21:40:41 oerjan: the "completely unqualified" part was just humbleness, I knew it was smaller when I realised it was just a bunch of nestings of ^ and ! :P 21:41:03 well _technically_ so is graham's number :P 21:41:27 -!- iconmaster[3] has joined. 21:42:09 oerjan: yeah, but this doesn't apply the large numbers to the /control flow/ 21:43:01 i guess that's another way of saying it has to be primitive recursive 21:44:37 oerjan: it was not intended to be a precise assessment :P 21:45:06 none of the functions is using itself to determine its recursion depth 21:45:20 er 21:45:49 -!- iconmaster[3] has quit (Ping timeout: 252 seconds). 21:46:00 yes, i guess that's it 21:46:30 Frooxius: what year did AttoASM first become public? 2011, or 2012? 21:47:37 -!- iconmaster has joined. 21:48:04 he linked to a video of it from 2011 iirc 21:48:09 but i think he's just released the lang itself 21:48:38 whew FINALLY connected: I came to the conclusion that my IRC client is shit. 21:49:06 Did you get a bunch of wierd messages from me? 21:50:04 iconmaster: not that i noticed 21:50:17 Apparently, arbitarily picking your IRC client from the first item on Wikipedia's IRC Client List is not a good idea. 21:50:33 you don'ts ay 21:50:42 * elliott dont's ay all day 21:50:59 (My old client was Bersirc. Notic the alphabetic precedence.) 21:51:20 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIRC 21:51:37 the world's most reassuring irc client 21:52:19 hello! welcome to #esoteric! hello! welcome to #esoteric! hello! wel 21:54:19 -!- aloril has quit (Ping timeout: 240 seconds). 21:54:43 Welcome aboard! We know that some of you may be a little nervous about traveling on the world's first fully automated airplane, but we can assure you that there is nothing to worry about nothing to worry about nothing to worry about no 21:55:11 We have a bot that does this for us, fungot 21:55:12 Ngevd: how do you keep doing that? women, do i? where is fraulein dr smith, the traitorous rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there's a rat! there 21:55:22 :D 21:55:23 lucky 21:55:23 fungot: bravo! 21:55:23 oerjan: no, the boy, do i? the scorpion and a killer taipan possibilities. we could kill, not get killed, but there was a software glitch and you didn't die in reality! pteranowaffe! 21:55:34 ^style 21:55:34 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs* jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 21:56:08 î thought iwc got a little repetititive at the end 21:56:11 ^style youtube 21:56:11 Selected style: youtube (Some YouTube comments) 21:56:16 fungot 21:56:16 shachaf: what if she never was, at the end you hear the truth, all these people accept amazingly lucky sods? and how many octaves do you really are some old pics, great everything 21:57:13 fuck, i haven't been keeping up with iwc reruns 21:57:20 oerjan: have the sunday annotations still been good 21:57:54 -!- Jafet has quit (Quit: Leaving.). 21:57:56 elliott: sure 21:58:55 fungot: don't tell me youtube comments are less repetitive than iwc! 21:58:55 oerjan: the accident report? i think mona is looking more and more!! its kinda scary at first but it was 21:59:18 fungot: yes that's scary 21:59:18 oerjan: boy, suuure looks like everything i hear it was manned. ignore him. 21:59:33 fungot, hugs 21:59:33 Madoka-Kaname: yes. there were passengers and none of you. 21:59:41 fungot, I hate you :( 21:59:41 Madoka-Kaname: this game. 21:59:49 fungot: it seems youtube comments are a bit short 21:59:49 oerjan: bad thing is it when the plane 21:59:54 functor 21:59:55 Er. 21:59:57 fungot 21:59:57 shachaf: looks ok. now be gone, troll. thats bad. 22:00:01 ^style 22:00:01 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube* 22:00:47 ^style lovecraft 22:00:47 Selected style: lovecraft (H. P. Lovecraft's writings) 22:00:51 fungot, are you okey? 22:00:52 Madoka-Kaname: the inhabitants of a given dimensional realm could survive entry to many unknown and incomprehensible realms of additional or indefinitely multiplied dimensions be they within or outside the given space-time continuum and that the vital parts of the 22:01:02 fungot, are you... okey? 22:01:02 Madoka-Kaname: our first whose exact fate we had never learned to drive should be ordering me about and taking the fnord a.m., while traversing a long, black line scarcely rising above the water yet carrying a suggestion of the fnord 22:01:18 more like off-key 22:01:39 fungot, hugs? 22:01:40 Madoka-Kaname: my head is weak from thirst, suffocation, cardiac strain, and badly in need of charles's constant oversight. charles sent his best wishes, and of a quaint colonial village. the nurse used to stop and sit on carved benches of porphyry scanning the stars, necessarily vague as it was 22:04:12 -!- GreaseMonkey has joined. 22:07:25 -!- Jafet has joined. 22:07:56 fungot, make sense :< 22:07:57 Madoka-Kaname: i studied psychology systematically, and under all conditions, was fnord that my mind needed a rest. wish i dared to get help it might brace up my will power but everyone who would dare to come at all would call me crazy unless there happened to be some proof. couldnt ask people to come for no reason at all am all out of sight. this was the 22:08:06 ^style homestuck 22:08:06 Selected style: homestuck (Homestuck pages 1901-4673) 22:08:11 fungot, can you make sense now? 22:08:16 fungot, hello? 22:08:36 Thank fucking god fungot has a message limit. 22:08:37 elliott: his birthday is in a few minutes. wow he is so cool. two more large gizmos. it was once the island remained except the pony a begrudging pat, as gently in the horn fell off. dammit. 22:09:28 -!- aloril has joined. 22:09:42 In my earlier days, I cursed the message limit. 22:09:49 Now I see it for the blessing it truly is. 22:09:49 -!- azaq23 has quit (Quit: Leaving.). 22:11:30 :t find 22:11:31 forall a. (a -> Bool) -> [a] -> Maybe a 22:12:29 :t (.:) 22:12:30 forall a b (f :: * -> *) (g :: * -> *). (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) 22:12:40 * oerjan blinks 22:13:00 > nubBy((>1).:gcd)[2..] 22:13:02 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... 22:13:06 -!- Ngevd has quit (Quit: Goodbye). 22:13:39 oerjan: it's caleskell, man 22:13:42 :t (.) . (.) 22:13:43 forall (f :: * -> *) a b (f1 :: * -> *). (Functor f, Functor f1) => (a -> b) -> f (f1 a) -> f (f1 b) 22:13:56 .: is great 22:14:29 :t (.) . (.) . (.) 22:14:29 forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *). (Functor f, Functor f1, Functor f2) => (a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b)) 22:14:40 :t (.) 22:14:41 forall a b (f :: * -> *). (Functor f) => (a -> b) -> f a -> f b 22:14:45 oerjan: just think of (.) as liftF 22:14:51 you're lifting into the nth depth of a stack of functors 22:14:56 by composing liftFs 22:15:06 :t (.:.) 22:15:07 Not in scope: `.:.' 22:15:21 :t (..:) 22:15:22 Not in scope: `..:' 22:16:22 -!- zzo38 has joined. 22:17:42 @ty (.::) 22:17:43 Not in scope: `.::' 22:17:54 @let (.::) = (.) . (.) .(.) 22:17:55 Defined. 22:18:34 The Total Recall combinator. 22:21:20 I feel like words/unwords and lines/unlines should have their names flipped. 22:21:57 I feel like you're wrong. 22:22:13 I also feel like lines/unlines and words/unwords are evil because they lose information. 22:22:20 well sure. 22:22:30 they're not perfect inverses, no. 22:22:40 They're EVIL inverses. 22:22:46 presumably you don't want that extra information, and if you do, you want to use something. 22:23:01 something isn't evil because it doesn't fill the purpose you want it to. 22:23:04 I want a function onlines :: (String -> String) -> String -> String 22:23:19 This is usually implemented as \f -> unlines . f . lines, which is wrong. 22:23:25 indeed. 22:24:05 -!- DCliche has joined. 22:24:12 but still I think unlines makes more sense a function that splits a string by lines, removing the lines from the strings 22:24:24 "lines" gives you the lines in a string. 22:24:27 and lines taking a list of strings and produce a single string of lines. 22:24:28 "unlines" does the opposite of lines. 22:24:44 Think more, like, declaratively, man. 22:24:46 shachaf: you could do the exact same thing with the flipped meanings. 22:24:57 No. 22:25:16 kallisti's proposal is nonsense. 22:25:18 "lines" gives you a list of strings as lines 22:25:18 elliott would like to explain. 22:25:20 shachaf is completely right. 22:25:22 "unlines" does the opposite of lines. 22:25:25 That is my explanation. 22:25:33 elliott: Are you going to Hac Boston? 22:25:36 kallisti: "lines xs" is not the lines of xs. 22:25:39 Therefore the name is wrong. 22:25:55 "foldr f z xs" is the fold of (f,z) over xs, so the name is right. "succ x" is the successor of x, so the name is right. 22:26:03 "lines s" is the lines of s, so the name is right. 22:26:04 shachaf: No. 22:27:06 elliott: IF foldr f z xs IS THE FOLD OF (f,z) OVER xs, WHY ISN'T IT CALLED foldr (f,z) xs??? 22:27:46 shachaf: I was going to say "f and z" but then I decided to be a MATHEMATICIAN about it!!!!!! 22:27:56 We should use "of" as infix application syntax. 22:28:00 And allow spaces in function names. 22:28:10 -!- Klisz has quit (Ping timeout: 252 seconds). 22:28:13 foo = the unlines of the lines of xs 22:28:18 replicate of 3 of "hello" 22:29:14 hmm, I'll give this guy 5 minutes to accept my answer 22:29:37 elliott: I like how your "of" basically breaks down completely. 22:29:37 So I had this silly idea 22:29:42 *of analogy 22:29:52 because some Haskell functions are in fact verbs. 22:29:55 I'm writingh an "auto-responder bot" 22:30:26 Pretty much when I'm away, there will be a shitty chatbot that talks when you mention it 22:30:37 i guess like fungot but less markov-y? 22:30:37 iconmaster: is it 22:30:40 Congratulations, you've invented fungot. 22:30:40 elliott: but, there are imps around, the pad. it's hard to remember though your cross-hairs would never settle on an innocent little girl. chokes up now imagine she's white. 22:30:47 elliott: you got ninja'd 22:30:53 `addquote elliott: but, there are imps around, the pad. it's hard to remember though your cross-hairs would never settle on an innocent little girl. chokes up now imagine she's white. 22:30:53 elliott: john, the uncarved minitablet. john carved this tablet at the request. it's just a wrapper for your private reading material later, you will play a game with a dead heir and witch 22:30:56 794) elliott: but, there are imps around, the pad. it's hard to remember though your cross-hairs would never settle on an innocent little girl. chokes up now imagine she's white. 22:31:00 fungot is a depraved individual. 22:31:01 elliott: so just to review, your schemes, convoluted. you are planning a heist in your underground hideout. implement nefarious as you might, you can't out troll me in these like 22:31:04 elliott: that is not a good fungot quote 22:31:04 ais523: of what??? now you've seen everything! weaky, is it really so much to the frustration of the suitor. 22:31:08 iconmaster: you should make it sentient like Strider's bot... 22:31:08 `quote 22:31:10 `quote 22:31:11 735) i cnat eve begin to understand what you meant with that "one" 22:31:12 `quote 22:31:13 `quote 22:31:14 `quote 22:31:21 461) elliott: You have become the very thing you fought for! 22:31:25 448) pikhq, living in the future sucks. The past just keeps coming up to us and trying to make us feel guilty. 22:31:25 Srider was an inspiration, so i'll try my hardest 22:31:46 but yeah, it'll prolly just be a shitty chat-bot 22:32:07 chitty-chat bot 22:32:15 674) It's missing the "bear scat showing a diet of prime numbers" picture. 22:32:15 490) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace 22:32:26 I mean, this IRC library I'm using right now... It's not documented almost at all 22:32:46 You could just write your own IRC code; the protocol is trivial. 22:32:50 I had to fix the example 22:32:53 elliott: 735 the worst? 22:32:57 ais523: only 4 have came 22:33:09 elliott: there are 5: 735 461 448 674 490 22:33:24 there are 5 quotes! 22:33:37 oh, right. i like them all but 674 is prolly worst 22:33:46 I don't get 735 at all 22:33:53 fungot's Homestuck mode is the best. 22:33:54 Phantom_Hoover: so just to review, your schemes, convoluted. you are planning a heist in your underground hideout. implement nefarious as you might, you can't out troll me in these like little else, is still just that. a single, linear concept. a concept usually denoted by a single, linear concept. a concept usually denoted by a single, linear concept. a concept usually denoted by a single, linear concept. a concept usually den 22:33:58 674 sounds like it might have a context 22:34:18 hmm, I like the fungot styles other people seem to hate 22:34:18 ais523: not that it would actually bother pitying you. 22:34:25 so testing of my bot is at #iconbot 22:34:33 Nothing there right now 22:34:54 What's "Homestuck"? 22:35:00 People keep talking about it on the Internet. 22:35:03 Which probably emans it's bad. 22:35:06 Homestuck is basically the best thing ever. 22:35:14 It's very good, but the people who like it are terrible. 22:35:25 I agree. 22:35:31 examples: elliott, kallisti, Sgeo, iconmaster 22:35:48 By which I mean any given set of people who like it will identify some subset of the others as terrible, and the intersection of these is nonempty. 22:36:10 Phantom_Hoover: I identify everybody as terrible. 22:36:19 shachaf, you're well on the way. 22:36:20 Including Homestuck. 22:37:37 shachaf, keep it up and you'll be a top-flight Homestuck fan in no time. 22:37:54 This looks boring. 22:37:58 In fact, all you really need to do is accurately identify Homestuck references so you can hate the people who make them. 22:38:11 shachaf: Homestuck is a new diet and children's cartoon. 22:38:16 It kills bears for cash. 22:38:20 F- don't buy. 22:38:56 Phantom_Hoover: Back me up on this. 22:39:09 These are true facts. 22:39:18 I don't get it. 22:39:29 Is this like a game where you can only press one button to go forward? 22:39:35 Yes. 22:39:58 (Before Phantom_Hoover or someone jumps in, the actual games are just really complicated single buttons.) 22:39:59 Why would you have two buttons you can press to go forward? 22:40:03 That would just be stupid. 22:41:32 -!- cheater has joined. 22:42:15 I don't get it. 22:43:23 shachaf: It makes sense if you eat bears. 22:45:05 -!- Klisz has joined. 22:45:28 Phantom_Hoover: So that you can fast or slow forward, I suppose. 22:45:29 zzo38: You have 1 new message. '/msg lambdabot @messages' to read it. 22:45:39 shachaf, here, watch http://www.mspaintadventures.com/?s=6&p=004748 22:45:44 ?messages 22:45:44 oerjan said 9h 36m 38s ago: i think your number may be larger than Skewes's number but smaller than Moser's number, as afaict all your functions are still primitive recursive, so cannot get up to 22:45:44 the approx. ackermann level. 22:45:45 It should make sense after that. 22:46:06 But no audio. 22:46:26 It should still make sense without audio. 22:46:38 Phantom_Hoover: But what about the voice acting lovingly done by 3-year-olds? 22:46:45 shachaf: Don't believe the bears. 22:46:52 -!- DCliche has quit (Ping timeout: 252 seconds). 22:46:55 It's not terribly vital to the plot, fortunately. 22:47:32 That's what they tell you. Then you're buying speakers and dealing drugs on the street. In the "ghetto" "hood". 22:47:36 "Ghood". 22:52:07 shachaf 22:52:08 are 22:52:10 are you still there 22:56:05 Phantom_Hoover: [] 22:56:19 Does it make sense now? 22:56:26 I didn't really watch it. 22:56:37 -!- Jafet has quit (Quit: Leaving.). 22:56:41 Honestly, it's not much to ask. 22:57:21 -!- Jafet has joined. 22:57:54 Honestly, it is. 22:58:12 But you would be SO ENLIGHTENED :( 23:02:00 > show{-lol-}3 23:02:01 "3" 23:03:04 a lot of programming language tutorials tend to say something like "comments are ignored" 23:03:42 but it would be more accurate to say something like "comments can be thought of as a single space" 23:03:52 > (show)3 23:03:53 "3" 23:03:58 Comments aren't whitespace, they just separate tokens. 23:04:02 (Except in C, where they actually are whitespace.0 23:04:11 no comments are defined as whitespace in the Haskell Report 23:04:37 * kallisti gets out his language lawyer SPECTACLES. 23:05:34 -!- iconmaster has quit (Ping timeout: 252 seconds). 23:06:33 whitespace-> whitestuff {whitestuff} 23:06:34 whitestuff-> whitechar | comment | ncomment 23:06:42 -!- augur has quit (Remote host closed the connection). 23:07:23 Racist. 23:09:15 nearly all programming languages are racist. when did _you_ last see a pl which allowed blackspace? 23:09:33 sorry, african-americanspace 23:09:38 oerjan: That's why I invert the colours in my terminal. 23:09:51 from what I can tell, it technically has to do with how the syntax of function application is not defined as whitespace. 23:10:19 -!- nooga has quit (Ping timeout: 240 seconds). 23:10:46 kallisti: you're babbling again 23:11:25 function application is just an adjacency of two of a particular set of tokens. 23:12:28 if function application were literally defined as whitespace, then (f)x would not be valid. 23:12:46 how do you define something as whitespace? 23:12:59 by specifying what whitespace is, and then specifying that this thing involves whitespace. 23:13:02 kallisti: more precisely, it's about separation of lexical analysis and parsing 23:13:09 oerjan: yes 23:13:27 where whitespace is thrown away before the latter 23:15:36 -!- iconmaster has joined. 23:18:05 octal-> octit{octit} 23:18:21 -!- monqy has joined. 23:18:27 monqy: bye 23:18:38 hm i was going to say it's octet, but that's something else 23:18:43 hi 23:19:07 an octit is three bits, anyway 23:19:10 oerjan: an octet is base-256 :P 23:19:26 oerjan: it's the breasts of cephalopod mollusks obviously. 23:19:34 presumably a bintet is base-4 23:19:38 ...right. 23:19:43 so a base-8 digit is a tritet 23:19:47 base-(2^3) 23:20:14 *bitet methinks 23:20:34 elliott: actually i think octet is the same as the musical term, so it would be duet and trio 23:20:42 :D 23:20:46 that's awesome 23:21:09 duet, trio, quartet, quintet, sextet, septet, octet, nonet and dectet 23:21:15 or possibly duo? those have slightly different meanings 23:21:27 that last one is base-1024. perhaps not very useful 23:21:30 or am i confusing with norwegian again 23:21:32 oerjan: well ^ is a quote from wp 23:21:34 so duet methinks 23:21:40 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 23:21:41 duo is more informal i think 23:21:51 duet ofc can refer to http://en.wikipedia.org/wiki/Duet as well 23:23:48 oh heh it seems i looked at that page at _precisely_ the moment wikipedia logged me out 23:24:12 gave some strange layout error 23:25:01 oh wait no 23:25:42 > deriv (\x -> cos x) (x :: Expr) 23:25:43 1 * negate (sin x) 23:26:09 i got confused by being brought to wiktionary when clicking duo 23:26:27 -!- Patashu has joined. 23:26:34 check this 3d fractal out http://www.youtube.com/watch?v=jYsbFreUMkg&feature=g-all-lik&context=G27426daFAAAAAAAALAA 23:30:39 Prelude Data.Number.Dif SimpleReflect> deriv cos (x :: Expr) 23:30:40 1 * negate a 23:30:41 uh.... 23:30:42 what? 23:31:52 kallisti: what 23:31:59 I don't know. 23:33:03 the only thing I can think of is maybe I broke something when I installed the latest version of GHC from source? 23:33:10 but so far everything has been fine. 23:33:26 I just reinstall numbers and it's still producing the same output. 23:33:33 > deriv cos (x :: Expr) 23:33:34 1 * negate (sin x) 23:34:20 By any chance did you define x = asin a? :-) 23:34:27 uh, no. 23:34:54 > deriv cos (asin a :: Expr) 23:34:55 1 * negate (sin (asin a)) 23:34:55 -!- iconmaster has quit (Ping timeout: 255 seconds). 23:35:15 Prelude SimpleReflect> x 23:35:15 x 23:35:15 Prelude SimpleReflect> y 23:35:15 y 23:35:15 Prelude SimpleReflect> cos x 23:35:17 cos x 23:35:20 etc 23:35:35 so something is weird with Data.Number.Dif 23:36:05 kallisti: did it use to work before? 23:36:12 -!- Phantom_Hoover has joined. 23:36:12 yes. 23:36:28 it's been a while since I've installed the new GHC 23:36:30 the dif thing hasn't been updated since 2009. 23:36:35 so, no. 23:36:38 it's not that 23:36:48 elliott: that's not quite what I meant. 23:37:10 are you implying it's a ghc bug 23:37:14 no 23:37:28 I as implying that the error has something vaguely to do with that module 23:37:30 and not SimpleReflect 23:37:32 the two modules being used. 23:37:44 not that they suddenly uploaded a new version and it broke. 23:37:59 kallisti: so what happens if you do map (deriv cos) [0..] 23:38:10 er, *sin 23:38:14 er no 23:38:16 **cos 23:38:32 I get a lot of numbers in (-1,1) 23:38:40 oh no 23:38:42 not that. 23:38:45 I get a lot of numbers. :) 23:38:58 > map (deriv cos) [0..] 23:38:59 [-0.0,-0.8414709848078965,-0.9092974268256817,-0.1411200080598672,0.7568024... 23:39:04 actually yes 23:39:06 I get a lot of numbers in (-1,1) 23:39:16 kallisti: but are they the same as abovE? 23:39:18 *e 23:39:32 yes. 23:39:47 ok so it works for Double, but not simplereflect? 23:40:02 maybe it _is_ something to do with simplereflect as well 23:40:33 Prelude SimpleReflect Data.Number.Dif> deriv cos (0 :: Expr) 23:40:34 1 * negate a 23:40:44 18:39 < oerjan> ok so it works for Double, but not simplereflect? 23:40:48 I believe that is an accurate statement 23:41:33 presumably it breaks because Expr does not provide a genuine group/ring 23:42:02 cos = lift (cycle [cos, negate . sin, negate . cos, sin]) 23:42:11 lift :: (Num a) => [a -> a] -> Dif a -> Dif a 23:42:12 lift (f : _) (C x) = C (f x) 23:42:12 lift (f : f') p@(D x x') = D (f x) (x' * lift f' p) 23:42:12 lift _ _ = error "lift" 23:42:25 see http://hackage.haskell.org/packages/archive/numbers/2009.8.9/doc/html/src/Data-Number-Dif.html 23:43:46 Prelude SimpleReflect Data.Number.Dif> negate b 23:43:47 negate a 23:43:49 found it 23:44:14 Prelude SimpleReflect Data.Number.Dif> negate (var "the queen of france") 23:44:14 negate a 23:44:25 > negate x 23:44:26 negate x 23:45:05 > 0 - x 23:45:06 0 - x 23:45:14 * kallisti tries to reinstall simplereflect 23:45:36 negate = withReduce $ fun "negate" `iOp` negate `dOp` negate 23:45:46 looks ok to me 23:45:56 kallisti: where is your simplereflect from? 23:45:59 that's a quote from the show package 23:46:07 how do I figure that out... 23:46:14 i dont know, you installed it 23:46:18 I have a feeling when I reinstall it, it will be fixed. 23:47:01 :t iOp 23:47:02 Not in scope: `iOp' 23:50:26 no that didn't fix it 23:50:30 here's some relevant information: 23:50:31 http://sprunge.us/bQQf 23:50:43 oh well 23:50:47 ~who knows~ 23:51:12 oops 23:51:14 adam@maria:~$ ghci --version 23:51:14 The Glorious Glasgow Haskell Compilation System, version 7.2.2 23:51:20 that line was missing 23:51:21 from my paste 23:53:24 * Phantom_Hoover → sleep 23:53:26 -!- Phantom_Hoover has quit (Quit: Leaving). 23:55:59 :t intExpr 23:56:00 Not in scope: `intExpr' 23:56:43 anyone with GHC 7.2 want to see if they can reproduce? 23:57:55 kallisti: what do you get from negate (undefined :: Expr) ? 23:58:32 negate a 23:58:36 it's basically constant for anything 23:59:21 elliott: what are some things I should have done before compiling and installing GHC? 23:59:28 I basically just removed ghc via apt-get 23:59:43 kallisti: which version of simplereflect was installed?