00:03:49 -!- asiekierka has quit (Quit: ZNC - http://znc.sourceforge.net). 00:04:32 elliott, monqy Fiora Phantom_Hoover Whatever-Taneb-is-being-today 00:04:33 UPDATE 00:04:52 i do not want to think about my backlog any more 00:17:17 -!- GreyKnight has joined. 00:17:25 zzo38: how did the candles thing work? 00:18:40 "According to some mathematical theorem, 7 is a large enough n to get a perfect shuffle." 00:18:54 " Shuffling simulates an actual shuffle: the list is split into halves which are merged back together by repeatedly pulling the top card off one of the halves, randomly selecting one half or the other" 00:20:08 GreyKnight: Candles? Do you mean in the Dungeons&Dragons game? I am almost finished recording it and then you can read how it work. 00:20:20 yes and okay 00:20:48 You said "It is a little bit like a game of chess." which interested me 00:21:34 What I mean is that a few of the kind of tactics involved in chess have similar things in this game. 00:23:32 Like when you castle your level 20 Fighter with a stone golem? :o) 00:24:43 OK, but that isn't precisely what I was thinking of; read my recordings to see more specifically what it is in this case. 00:25:15 :o) means joke :-P 00:25:31 -!- carado has quit (Ping timeout: 246 seconds). 00:25:43 OK :o) 00:26:42 where are your recordings? 00:27:12 http://zzo38computer.org/dnd/recording/level20.tex 00:28:31 I think anticipation2 may be the first successful program that intentionally sets its flag to zero, and knows it's intentionally setting its flag to zero when it does so 00:28:32 I think that is how most people use the word "intentionally" :-P 00:28:37 zzo38: not on gopher?? 00:29:43 this is a different meaning that ais523 intentionally stumbled upon 00:30:13 Currently it is not on gopher but I may fix that. 00:30:31 However, that file alone is not sufficient because if you want to print it you need dungeonsrecording.tex as well. 00:31:06 I am just reading the text anyway 00:31:20 Is there a Tristan to go with Isolde? :o) 00:31:36 GreyKnight: No. 00:32:48 hopping forward is an interesting tactic, although risky if the enemy manages to identify what power you just used 00:33:00 (now they have a minute to prepare :-o) 00:33:13 Yes I know, it can be risky 00:34:08 how did you anticipate where the candles were to go? Was there a diagram drawn on the floor? 00:34:36 No; I did not manage to anticipate it. That was Isolde, not me (Kjugobe), anyways. 00:35:43 * oerjan wonders how zzo38 pronounces the "Kj" 00:36:04 oerjan: By itself it isn't, but with "Kju" it can be pronounced. 00:36:26 oh, well, how did Isolde anticipate it then :-P 00:36:47 GreyKnight: Badly. 00:36:48 oerjan: first name "Iuckqlwviv" 00:36:57 oh right 00:37:04 I think you need mouth-tentacles to pronounce it correctly 00:37:18 or to be granny weatherwax 00:37:19 (he is an illithid) 00:37:31 Yes, maybe it is difficult to pronounce without 00:38:49 GreyKnight: pronounced witjout mouth-tentacles 00:38:50 it's just that kjugobe is _very_ simply to pronounce for a norwegian with norwegian spelling rules :) 00:39:02 *simple 00:39:10 also for finnish 00:39:45 Iuckqlwviv might be easy to pronounce if you are from Hungary :o) 00:39:48 oerjan: O, I don't know Norwegian and Finnish spelling rules! Maybe, if you are Norwegian you can pronounce it that way. Otherwise, I will pronounce my way. 00:40:11 no, not hungary. czechia or georgia maybe. 00:40:32 finnish spelling rule is pretty much: pronounce it as it was IPA 00:42:23 only exception I can think of is ŋ being written as ng 00:43:05 nortti: nk maybe? 00:43:22 (those tend to go together in many languages) 00:44:06 oh 00:44:27 short ŋ was nk ans long ŋ was ng 00:44:38 wat 00:44:54 what? 00:45:13 nk = ŋk is what i meant, but maybe finnish doesn't do that 00:45:30 Now I have it on gopher named dnd/level20.tex 00:45:30 also i don't think ä and ö are the ipa forms :) 00:46:00 oh. forgot that 00:47:14 -!- greyooze has joined. 00:47:52 ä ia æ and ö is ə, I think 00:47:57 and if you look closely there are probably other details. e.g. is a pronounced as ipa a or ipa ɑ 00:48:06 -!- GreyKnight has quit (Remote host closed the connection). 00:49:09 I think a 00:49:49 wikipedia says ɑ 00:50:31 how is a pronoumced then? 00:52:35 further back. i believe the swedish short a is like that 00:52:38 I have typed the last few paragraphs now; where we are in the card playing room. 00:52:52 Actually I missed one. 00:53:24 wait 00:53:37 OK, now I am done. 00:53:47 it's not further back, it's _middle_ 00:54:07 and very low 00:55:43 ah. I never thought about those two as different letters (?) 00:56:05 phonemes 00:56:46 finnish spelling is derived from swediah, german and latin 00:56:54 *swedish 00:57:38 -!- greyknigget has joined. 00:57:55 -!- greyknigget has changed nick to GreyKnight. 00:58:23 "The phonemic contrast between front /a/ and back /ɑ/ is only partially maintained in Standard French, leading some researchers to reject the idea of two distinct phonemes.[11] However, the distinction is still clearly maintained in other dialects, such as that of Quebec." 00:58:36 -!- greyooze has quit (Ping timeout: 265 seconds). 00:59:23 i guess those two vowels tend to get merged and split a lot as languages evolve 00:59:58 norwegian has only ɑ 01:04:21 How I mean tactics of similar to chess game, is such as: confusion, repairing weaknesses, zwischenzug, counter, conservation of resources, and so on. 01:04:31 apparently swedish a is either IPA ä or ɑ 01:05:19 what exactly happened at the end there with the candles anyway 01:05:42 I thought it might be /pyrotechnics/ at first but that only creates light or smoke, not actual fire 01:05:54 maybe something similar or a modification of it 01:06:03 -!- TeruFSX has quit (Ping timeout: 276 seconds). 01:06:37 GreyKnight: I did finish typing what happened so far, by now; you can reread it. Yes I know it is not pyrotechnics; I thought of the same thing as you, there. I am unsure exactly what it is, but I know it is much bigger fire; and I do have some plans to defend against it. 01:06:39 GreyKnight: you dare to tell on 31 dec that pyrotechnics doesn't create fire? :P 01:06:58 i'm sure there will be plenty of firefighters to disagree with you 01:07:23 oerjan: They mean the spell called "pyrotechnics", which creates light, not fire. 01:07:38 THAT'S WHAT THEY WANT YOU TO THINK 01:08:26 Yes I think that is what they want you to think (whether or not it is correct). 01:10:29 -!- GreyKnight has quit (Ping timeout: 244 seconds). 01:12:31 My defense is partly inspired by Soltis's book "The Art of Defense in Chess". 01:12:35 mroman: i'm not sure if anyone answered you, but 3-SAT is NP because any logic circuit can be evaluated in time linear in the number of logic operations. 01:12:56 oerjan: Gregor has yet to install it. elliott objects to its installation. 01:13:28 -!- GreyKnight has joined. 01:14:44 wta. 01:14:44 quintopia: install what? 01:15:38 i don't recall elliott being against the principle of the new scoring... 01:15:49 Phantom_Hoover: so what is the plan for your Raspberry Pi? 01:15:53 uh 01:16:00 torrenting things basically 01:16:22 I was hoping for something marginally more esoteric. Are you using a befunge torrent client at least?? 01:16:35 oerjan: see the bfjoust talk page and the logs for the most recent day i posted to it 01:16:44 no 01:16:58 (chan logs, not wiki history) 01:17:05 perhaps an esolang based on torrenting? 01:18:06 some sort of distributed computation? 01:18:21 elliott: man, when did you stop being really annoying 01:18:23 i had an esolang bunny attack me the other night 01:18:50 is there a language based on algebra? where the only command is "solve this equation"? 01:19:01 fractran doesn't really count 01:19:18 there is that thing with diophantine equations 01:19:19 quintopia: chaitin wrote a lisp to diophantine equation compiler once, apparently. 01:19:34 Bike: sounds awesome 01:20:47 hey guys does anyone know of turing-equivalent graph colouring problems? 01:21:35 graph-coloring doesnt seem turing-complete 01:21:46 quintopia: why not? 01:21:48 unless you are talking infinite graphs? 01:21:54 of course 01:24:15 -!- GreyKnight has quit (Ping timeout: 252 seconds). 01:25:41 -!- GreyKnight has joined. 01:25:46 * GreyKnight shoots a firework at oerjan -----==> 01:26:43 coppro, well the context was heraldry 01:26:53 so infinite graphs would require... some thought 01:28:20 "It takes the compiler only a few minutes to convert the 300-line LISP interpreter into a 200-page 17,000-variable universal exponential Diophantine equation. The resulting equation is a little large" 01:28:52 the maxwell's equations of programming :') 01:29:04 Chaitin's conception of "a little large" is similar to ais523's conception of "intentionally" :-) 01:30:12 this little adventure takes place in Algorithmic Information Theory BTW 01:30:27 everything chaitin does takes place there 01:31:52 Chapter LXVII: Making Lunch 01:32:04 chapter of what? 01:32:49 I was making a joke 01:33:39 Jokes are hard. 01:37:54 I was just reading https://github.com/ginatrapani/todo.txt-cli/wiki/The-Todo.txt-Format from the logs earlier 01:38:22 "The beauty of todo.txt is that it’s completely unstructured [...] To get started, use special notation [...]" 01:38:59 The syntax rules are about three screenfuls long here 01:39:03 so is that thing seriously just for todo lists? 01:39:22 maybe i'm just not busy enough but i'd usually use just a list 01:39:43 or org-mode if i was writing for a productivity blog, maybe 01:39:45 * GreyKnight files "completely unstructured" alongside "intentionally" 01:39:46 (and "a little large") 01:40:03 Bike: well there is some software that helps you organise the list 01:40:06 and this is the syntax for it 01:40:13 I'll stick with hiveminder I think 01:40:31 at least it is more honest :-3 01:40:50 do you communicate with it via pheremones? 01:41:46 no but somebody should create a pheromone interface layer 01:42:54 "We use a lowercase x so that completed tasks sort to the bottom of the task list using standard sort tools." <-- erm x wasn't the last letter of the alphabet last time I checked 01:43:31 But maybe 'y' and 'z' and so on are not being used. 01:44:25 GreyKnight: as gone through before, this is someone who thinks "plain text" is easy and universal. 01:44:56 so, probably someone who's not even very good at English. and/or dumb. 01:45:01 zzo38: I may want to have a task such as "yell at elliott" or "zap oerjan"! 01:45:21 or "zot zzo38" 01:45:25 Bike: "This format has been developed and refined over the course of 5 years by the Todo.txt community of users and developers." 01:45:39 Is it ASCII sorting order? 01:45:41 or "zzo38's birthday" 01:45:51 GreyKnight: great, now i'm depressed 01:45:53 If that is it then you should use ~ if you want to put at the end. 01:46:20 zzo38: I guess it is? They don't say ¯\(°_o)/¯ 01:46:27 zzo38: sorting tools don't seem to be specified beyond "standard" (lol) 01:46:45 zzo38: also, tasks can apparently be arbitrary text, so zapping zzos is quite allowed... 01:47:05 (is that the correct plural of "zzo"? what is the significance of 38? so many questions) 01:47:13 Bike: I liked how they think txt files are OS agnostic too. As far as I know Notepad.exe STILL can't handle line endings other than CRLF. 01:48:00 zzos 1--37 were dismal failures. But the lessons learned from them led to the construction of the biggest and best yet 01:48:16 GreyKnight: bush hid the facts 01:48:34 about zzo38? 01:48:53 http://en.wikipedia.org/wiki/Bush_hid_the_facts quite possibly 01:51:20 hah that's awesome 01:53:22 http://tech.groups.yahoo.com/group/todotxt/message/3229 <-- CHOMP 01:53:55 thank goodness for plain text 01:55:01 "Yes that solved the problem.... sort of" 01:55:09 "The easy fix is to use wordpad instead of notepad." awesome. 01:56:16 The MS-DOS text editor, Visual Studio, and other programs, support LF line endings and CRLF line endings. 01:56:30 Although it doesn't work with Notepad. 01:57:20 Wordpad, the text editor for Real Men 01:58:40 i kind of have to respect notepad's continuing lack of features, though. unless it can read mail since XP but I doubt it? 01:59:46 -!- Nisstyre-laptop has quit (Quit: Leaving). 02:02:15 http://tech.groups.yahoo.com/group/todotxt/message/4611 <-- I have no idea what a MIT is or what's going wrong with that command 02:02:28 looks like sed vomited all over the terminal 02:03:52 «can't read 11 s/{[0-9]\{4\}\.[0-9]\{2\}\.[0-9]\{2\}}/{2012.10.26}/: No such file or directory» wow, i almost want to know how you fuck up that bad 02:05:58 I'm starting to think that Racket isn't as flexible as I'd like 02:08:03 -!- GreyKnight has quit (Quit: Reconnecting…). 02:08:14 Paint did get more feature-ful though 02:08:37 -!- GreyKnight has joined. 02:09:15 "There’s no [...] tags or flags" There are both of those things :-I 02:09:31 today i am learning how to make bastardized pirozhki out of biscuits in a can 02:15:01 GreyKnight: yeah, i edited that article to tone down their paean to the mythical format of "plain text" 02:21:30 what's with british people using 'stone' as a unit of weight 02:22:16 People use units of mass as units of weight all the time, this one is no different 02:22:28 that's not what i object to 02:22:40 it's just a weird unit that nobody else uses or even knows about 02:23:34 perhaps the imprecision is a virtue though 02:24:04 it's easy to obsess over weight fluctuations of 1 lb or 1 kg[f] 02:24:05 shrug, I consider the Imperial system a waste of my brain cells to remember anyway :-) 02:24:25 in a way that is counterproductive 02:24:32 (it amuses me slightly that America is one of the great bastions of Imperial measure though, what with the whole Independence thing) 02:25:01 except we don't use quite the same system, either 02:25:04 iirc the american imperial units are all slightly different from the british ones 02:25:14 a US fluid ounce is significantly different from a UK fluid ounce 02:25:15 for Independence, presumably 02:25:18 yes 02:26:12 olsner: that and the refusal to use SI is enough evidence to make me think they deliberately want to be incompatible :-) 02:27:37 I discovered recently that many Americans don't know what a fortnight is 02:28:07 I think we should revive the use of sennight just to mess with their heads B-) 02:28:46 about that, it's really quite weird how everyone seems to agree on the seven-day week 02:29:42 it fits neatly into a lunation 02:29:48 (as much as anything else anyway) 02:32:41 olsner, romans had an 8-day week 02:33:04 the french revolutionary calendar had 10-day weeks! 02:33:06 (although they thought it was 9-day because romans didn't understand counting) 02:33:14 it also had Pantsless Days 02:33:59 Phantom_Hoover: Do you mean that the last day of one week was the same as the first day of the next week? 02:34:59 yes 02:38:38 Today is Prickle-Prickle, the 72nd day of The Aftermath in the YOLD 3178 02:39:39 sounds like something out of dwarf fortress 02:41:17 looks like a discordian date 02:41:41 the aftermath is my favorite month. 02:44:10 secundo kalendas januarii 02:45:44 oh wait 02:45:51 *pridie kalendas januarii 02:46:41 (that's today btw) 02:49:03 http://www.kickstarter.com/projects/onetesla/onetesla-a-diy-singing-tesla-coil 02:49:03 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:49:14 this was developed at the hackerspace two blocks from my house :) 02:49:45 singing tesla coils are pretty old hat, i thought 02:49:48 http://www.roman-colosseum.info/roman-life/julian-calendar.htm (possibly beware of popups) 02:52:16 Phantom_Hoover: sure, many people have made them, but i don't know about an easy to assemble kit 02:53:18 -!- DHeadshot has joined. 02:55:20 this is neat because it's something that anybody can build with basic soldering skills in an afternoon 02:55:37 and it seems to be reasonably and safely designed, with MIDI / computer connectivity 02:55:49 no, it does not fundamentally advance humanity's understanding of the laws of physics 02:56:48 the midi interfacing bit is not just optically isolated but actually lives in a separate box with a fiber optic cable to the HV board 02:59:40 -!- TodPunk has quit (Read error: No route to host). 03:00:24 -!- WeThePeople has quit (Quit: Leaving). 03:00:51 -!- GreyKnight has quit (Quit: zzz). 03:02:23 -!- TodPunk has joined. 03:02:26 $250 is steep though 03:02:31 i might get one if the price goes down post-kickstarter 03:02:54 -!- oerjan has quit (Quit: Good night). 03:26:24 -!- nooodl_ has quit (Quit: Leaving). 03:27:56 -!- Phantom_Hoover has quit (Remote host closed the connection). 03:47:11 -!- TodPunk has quit (*.net *.split). 03:47:11 -!- zzo38 has quit (*.net *.split). 03:47:11 -!- oonbotti has quit (*.net *.split). 03:47:12 -!- Gracenotes has quit (*.net *.split). 03:47:24 -!- TodPunk has joined. 03:47:30 -!- Gracenotes has joined. 03:51:49 -!- zzo38 has joined. 04:07:15 It would be cool to have one, but yeah, that price is a bit high. 04:15:37 For purpose of making some computer game, I wanted to make the second C preprocessor. Instead of "CPP" it can be "CPQ" the second one, which run after the first C preprocessor. Which finds commands with $ first to do replacements, and then further reads it to remove duplicate definitions and so on. 04:15:58 I am not exactly sure what to start with. 04:16:13 But I do have some ideas about how to write such a program. 04:17:35 * Sgeo wonders if zzo38 would enjoy Racket 04:20:04 Racket? 04:27:20 -!- DHeadshot has quit (Ping timeout: 244 seconds). 04:29:53 Is there a C parser code which I can change to what I need? 04:32:13 -!- copumpkin has joined. 04:43:49 zzo38, Racket is a Scheme derivative that, among other things, lets you make new languages that smoothly interoperate with other Racket modules 04:44:16 Redefining function application, defining a different reader, etc. 04:46:16 OK 04:47:43 I'm currently reading a tutorial about implementing Brainfuck as a Racket language 04:50:01 Some examples of what I wish of a second C preprocessor (I have some ideas how to implement but not quite): 04:51:20 $macro(red,x,y) { int @z=(x); hello(z,y); } red(1,2) becomes int _newname0=(1); hello(_newname0,2); 04:51:42 int x=5; void xxx(int) {} int x=5; becomes int x=5; void xxx(int) {} 04:51:55 int x; void xxx(int) {} int x=5; becomes int x=5; void xxx(int) {} 04:52:31 int a[]={1,2,3,,,,}; becomes int a[]={1,2,3}; 04:53:49 $pool(256); 'Apple'+'0'+'Car'+'Bat'+'Car' becomes "Apple","Bat","Car"; 256+'0'+258+257+258 04:56:52 void xxx(void) { $promote(-1) { int global1; } return; } becomes int global1; void xxx(void) { return; } 04:58:56 Furthermore there must be $template and $data commands 04:59:27 Is there anything like this which already exist? 05:22:39 One problem seem to be, that in C some commands you will have the } terminates it but in other cases it is not terminated unless a semicolon. 05:25:18 -!- TeruFSX has joined. 05:26:58 Will it work for this kind of preprocessor to just require that they all end in a semicolon or separated by a semicolon (like Haskell does)? 05:32:02 -!- sebbu2 has joined. 05:32:03 -!- sebbu2 has quit (Changing host). 05:32:03 -!- sebbu2 has joined. 05:35:44 -!- sebbu has quit (Ping timeout: 260 seconds). 05:40:53 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 05:56:29 -!- WeThePeople has joined. 06:03:11 -!- Nisstyre-laptop has joined. 06:03:17 For example, is this valid? void xyz(int x, double***y) { putchar(x); *y=0; }; int uuu=9; (notice a extra semicolon) 06:06:21 No, it is not 06:06:58 Is it allowed in GNU? 06:10:22 Is there a way to work around? 06:10:29 Well, gcc doesn't care. 06:11:37 Do other compilers which support GNU extensions care? 06:12:07 They might, but I don't care about other compilers. 06:13:15 -!- WeThePeople has quit (Quit: Leaving). 06:13:40 some compilers actually bother to warn about extraneous semicolons 06:18:07 I mean such as clang with GNU89 mode. 06:20:16 Which compilers make such warning and can it be suppressed partially? 07:10:44 What is the command in GCC to add an extra step after the preprocessor? 07:11:06 (For if the filename suffix is a certain suffix) 07:18:00 XKCD is kinda okay today, but the alt text is wonderful 07:21:37 http://goatkcd.com/1154/sfw [nsfw] 07:26:58 http://questionablecontent.net/view.php?comic=1829 07:28:06 i read a story about the search for the goatse guy once. i think his name might actually have been kirk? i forget. 07:29:16 To boldly go... 07:29:47 to boldly split infinitives where no one has split infinitives before 07:30:54 yeah i read that article 07:32:33 my friend is talking about how he put an Intel SSD in his original Xbox 07:32:55 i think he should put on neon lights and a big spoiler 07:33:21 Bike: it is, in fact 07:33:34 Bike: coincidental, though 07:33:46 Fiora: What's the matter with split infinitives? 07:34:00 sorry, just an old joke <_<; 07:34:04 coppro: or is it?? etc 07:34:07 I always attempt to pointlessly split infinitives 07:34:14 pff. 07:34:15 Fiora: or is it?? etc 07:34:22 Bike: no, it is. The comic was posted before goatse's identity became well-known 07:34:30 I know. 07:35:57 Bike: Did you work out the type derivatives thing? 07:36:44 4:20 split infinitives every day 07:37:09 eh? no. 07:58:41 -!- epicmonkey has joined. 08:24:11 -!- TeruFSX has quit (Ping timeout: 245 seconds). 08:32:19 -!- etb has quit (Remote host closed the connection). 08:36:14 -!- WeThePeople has joined. 08:37:38 You know how I know that Clojure has utterly poisoned my brain? 08:37:51 everyone keeps telling you so? 08:37:54 I am impressed by the foo in (let foo () ...) being first-class 08:38:01 Seriously impressed 08:38:03 It's a bit nuts 08:38:10 wha 08:38:11 I should not be this impressed 08:38:47 clojure doesn't lack recursive lexical functions, does it 08:39:05 It lacks them being tail-recursive 08:39:18 what's that got to do with first-class-ness? 08:39:47 Well, it's also the fact that with that let it's sort of anonymous, don't need to letfn 08:39:50 >.> 08:40:09 Maybe I'm just slowly forgetting Clojure 08:40:11 it's the exact opposite of anonymous, "foo" is right there! it is nonymous 08:41:31 I tend to think of "anonymous" as "not exposing a name to the outside directly" 08:42:02 hi 08:42:08 whats up with this?? 08:42:09 "not pushy" 08:42:15 indeed, what is up with this 08:47:28 hi monqy 08:47:31 good night 08:47:36 good night shachaf 08:48:06 Do you know how in GCC to tell it to add an additional step after the preprocessor for files with a certain suffix, while otherwise treated them as a C source file? I looked at the document of spec strings but am not sure how to do it. 08:52:26 You'd have to just separate those steps. 08:52:41 gcc -E > foo.tmp; othertool foo.tmp > foo.i; gcc foo.i 08:53:08 There is not a way to specify it in the spec strings? 08:57:32 echo -e '#!/bin/sh\ncpp "$@" | foo' > /usr/local/bin/cpp 08:58:02 -!- WeThePeople has quit (Quit: Leaving). 08:59:05 Awesome, I can in fact write macros that redefine #%app within their lexical scope 09:00:07 perfectly safe 09:00:35 http://pastie.org/5601436 09:00:42 The result of that is "HONK" 09:01:13 aight 09:03:22 Jafet: I don't think GCC will work like that though 09:04:08 No, because it's dumb and hardcodes the path to its favourite cpp 09:04:35 But you can force it to use another one 09:05:04 with stocks and a riding crop 09:05:30 I think CPP is built-in to GCC though. 09:06:07 Even though it can be told to run only the preprocessor, and there are spec strings to control them, I don't know how to make it run differently. 09:07:36 You can't tell it to run another cpp? Weak. 09:07:52 You can specify such that .ZZ are C++ source files or whatever, and check the prefix within a spec string, but I don't know how to make spec strings run additional programs. 09:08:55 It also says you can use pipes but it doesn't really explain how. 09:09:00 zzo38: you should make a variant of the unix 'top' utility and name it 'zztop' 09:10:36 -!- Taneb has joined. 09:16:52 Why the hell am I still subscribed to totheark on Youtube 09:17:00 I haven't watched Marble Hornets in months 09:18:25 -!- Bike has quit (Quit: quit). 09:22:40 -!- epicmonkey has quit (Read error: Operation timed out). 09:37:18 -!- Sgeo has changed nick to Sgeo_. 09:37:58 -!- Sgeo_ has changed nick to Sgeo. 09:56:14 -!- AnotherTest has joined. 09:56:19 Hello 09:56:58 hello 09:57:57 which are our markov bots again? 09:59:24 `help 09:59:26 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 09:59:31 `ls bin 09:59:34 ​? \ @ \ WELCOME \ addquote \ allquotes \ anonlog \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ fuck \ google \ hatesgeo \ hi \ interp \ joustreport \ jousturl \ json \ karma \ karma- \ karma+ \ learn \ log \ logurl \ lua \ luac \ luarocks \ luarocks-admin \ macro \ maketext \ marco \ No \ pastaquote \ paste \ 10:01:06 `rm bin/hi 10:01:09 No output. 10:01:27 -!- Nisstyre-laptop has quit (Quit: Leaving). 10:02:05 `rm bin/fuck 10:02:08 No output. 10:02:13 -!- Nisstyre-laptop has joined. 10:04:04 `quote 10:04:06 329) I figured out something about C program. If you use ? : a lot then you don't need as much parentheses but it makes it more difficult to understand. 10:05:33 what were bin/hi and bin/fuck 10:05:48 maybe they were worth keeping... 10:05:52 no they weren't 10:06:05 hi was "echo hi" and fuck was "printf '%s' '$1' 10:07:08 oh 10:08:56 `log 10:08:58 2003-07-27.txt:02:09:56: Gravy made out of people! 10:13:30 fizzie: do you realize you've been here nearly 10 years? 10:35:46 I figured out how it might be done, by using the COLLECT_GCC and COLLECT_GCC_OPTIONS environment variables (which are not available inside of spec strings, but are available to the programs called by spec strings, and COLLECT_GCC_OPTIONS but not COLLECT_GCC needs to be processed by eval) 10:38:45 -!- Nisstyre-laptop has quit (Quit: Leaving). 10:46:11 -!- ais523 has joined. 11:03:09 -!- zzo38 has quit (Remote host closed the connection). 11:13:12 -!- oonbotti has joined. 11:17:32 coppro: Noooo... that can't be right. 11:17:43 fizzie: check the logs 11:18:06 It must be some kind of a mistake. Maybe some of the years were skipped. 11:18:55 -!- carado has joined. 11:44:46 -!- monqy has quit (Quit: hello). 11:58:05 -!- Phantom_Hoover has joined. 12:14:47 (It's not even "nearly 10 years", it's over it already: "[2002-12-14 22:21:33] -!- fizzies [fizban@bistromath.gehennom.org] has joined #esoteric") 12:16:06 So, have you mastered the esoteric? 12:17:42 That's not quite my first join either, since it seems there was a "fizzie [fizban@colin.befunge.org]" on-channel at that time; it seems to be just when I got my new (well, then-new) IRC box up and running. 12:18:35 Yeah, Mon Dec 09 07:24:10 2002 would have been the first. 12:19:22 And there were already six other dudes/duders/dudettes present. 12:20:45 Oh, one's a bot. 12:21:25 A dudit 12:21:41 (navigator, dbc, lament, deltab, exarkun; and very soon after, calamari.) 12:26:46 -!- augur_ has joined. 12:29:08 -!- augur has quit (Ping timeout: 248 seconds). 12:31:52 -!- AnotherTest has quit (Quit: Leaving.). 12:32:01 -!- AnotherTest has joined. 12:52:36 -!- zzo38 has joined. 13:27:24 -!- sebbu has joined. 13:27:43 -!- sebbu has quit (Changing host). 13:27:43 -!- sebbu has joined. 13:30:34 -!- sebbu2 has quit (Ping timeout: 240 seconds). 13:44:36 -!- copumpkin has joined. 13:52:39 -!- sebbu has quit (Read error: Connection reset by peer). 13:53:51 -!- sebbu has joined. 14:05:50 -!- Taneb has quit (Quit: Leaving). 14:08:47 -!- oklopol has joined. 14:16:30 -!- WeThePeople has joined. 14:34:37 -!- carado has quit (Ping timeout: 246 seconds). 14:35:49 -!- hubs has joined. 14:36:24 -!- hubs has changed nick to etb. 14:37:38 -!- WeThePeople has quit (Ping timeout: 245 seconds). 14:37:57 -!- Nisstyre has quit (Quit: Leaving). 14:44:42 -!- oerjan has joined. 14:53:03 -!- WeThePeople has joined. 14:53:08 -!- Taneb has joined. 15:03:16 -!- nooodl has joined. 15:08:08 -!- mig22 has joined. 15:18:12 -!- mig22 has quit (Ping timeout: 264 seconds). 15:29:02 -!- mig22 has joined. 15:29:27 -!- Taneb has quit (Quit: Leaving). 15:34:14 19:44:23: but > and :t pass an expression to mueval, which has some charset problem 15:34:14 elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. 15:34:17 oerjan: incorrect 15:34:21 oerjan: :t actually uses ghci directly 15:34:43 i think i corrected myself 15:35:16 It was TOO LATE FOR THAT. 15:35:35 in any case, it's clearly a heap of charset messes 15:35:54 oerjan: The problem is not with mueval, it's with lambdabot. 15:36:22 lambdabot is using the same mueval as before, but the version of GHC it's using has been upgraded. 15:36:35 % mueval -e 'let ä = 42 in ä' 15:36:37 :1:5: parse error on input `�' 15:36:47 ah right, the new charset selection system... 15:36:54 % ghc -e 'let ä = 42 in ä' 15:36:57 42 15:37:04 Hmm. 15:37:10 Perhaps I'm wrong, then. 15:37:14 Why did it use to work with mueval? 15:37:20 dunno 15:38:16 ion: what are the relevant environment variables as you start mueval? 15:38:31 dunno 15:38:43 ... 15:39:12 i'm asking you to check, btw 15:39:24 What are the relevante environment variables? 15:39:26 also, for their values, not their identities 15:39:27 +typos 15:39:59 LC_* and LANG stuff, i assume 15:40:06 LANG, LC_CTYPE and LC_ALL are reasonably relevant for character sets. 15:42:14 % env -i LANG=en_US.UTF-8 HOME="$HOME" PATH="$PATH" mueval -e 'let ä = 42 in ä'; env -i LANG=en_US.UTF-8 HOME="$HOME" PATH="$PATH" ghc -ignore-dot-ghci -e 'let ä = 42 in ä' 15:42:17 :1:5: parse error on input `�' 15:42:18 42 15:42:50 LANG does not override what LC_FOO are set to, FWIW. 15:43:02 env -i 15:43:59 ghc uses utf-8 for files regardless, this is documented 15:44:31 *for haskell files 15:44:43 % env -i HOME="$HOME" PATH="$PATH" mueval -e 'let ä = 42 in ä'; env -i HOME="$HOME" PATH="$PATH" ghc -ignore-dot-ghci -e 'let ä = 42 in ä' 15:44:47 mueval-core: Enum.toEnum{Word8}: tag (56515) is outside of bounds (0,255) 15:44:50 :1:5: lexical error at character '\56515' 15:45:30 > 'ä' 15:45:30 mueval: recoverEncode: invalid argument (invalid character) 15:45:45 Onneksi ääkköset eivät ole enää ongelma. 15:49:49 Myöntävä vastaus. 15:50:38 -!- ais523 has quit (Read error: Operation timed out). 15:51:12 Ääliö, älä läiky. 15:52:07 Älä rääkkää kääkkää. 15:52:15 Kenelle soitat ääliö 15:52:31 Kenelle kellot soivat. 15:53:02 Kokko kokosi kokon Kokkoon. Koko kokonko kokosi? Koko kokon. 15:53:28 Vesihiisi sihisi hississä. 15:54:17 Onkiva rovasti on kiva rovasti sillä onkiva rovasti onki varovasti. (This loses something in the textual representation.) 15:55:10 Onkiva dean dean is nice it has a nice fishing rod gently Dean 15:55:35 Weird, I got: "Onkiva dean dean is nice because onkiva dean angling gently." 15:55:36 poor google translate is very confused 15:56:47 it suggested replacing an onkiva with on kiva, so I did that 15:57:02 Also Wiktionary says "rovasti" is "canon, provost" which I find more likely. It's a church title, and "provost" probably has the same roots. 15:57:36 provost is "test cheese" in Swedish 15:57:46 or perhaps sample cheese 15:58:13 "From Medieval Latin prōpositus, from Latin praepositus (“placed in front”)." 15:59:44 "Bonfire bonfire gathered the pile. Size kokonko your size? Size bonfire." I think you're right, it must be all confuzzled. 15:59:48 fungot: Can you do better? 15:59:50 fizzie: was mixed with something very like fear seized the whole assemblage on the vaguely hexagonal pillar beyond the first gate, had not troubled me; and nigger-man was admitted as much for help as for companionship. we decided to find a bell or peal of bells in the tower whose narrow, louvre-boarded lancet windows his fnord had studied so often. here he knew strange things had happened. 16:00:00 Apparently not. 16:01:03 "Bonfire bonfire gathered the pile." could be part of a nursery rhyme about burning witches 16:03:46 fungot: what do you think about witch hunts? 16:03:48 olsner: as i thought of the lands and persons i had left seemed involved in a passage from any given dimensional plane to the next opening and began to climb the worn stone steps which must originally have emerged to earth somewhat southwest of the present day, was fnord though no one seemed to him to continue, since conditions so singular are fnord but the rationalism of my mind and made me wish fervently that i might wake up 16:04:25 Interestingly Google has interpreted "kokosi" correctly in the first sentence (as "gathered", the third-person singular imperfect tense of verb koota 'to gather'), but not in the second (where it has opted for "your size", from the noun koko 'size' with the second-person singular possessive suffix -si). 16:05:06 * oerjan bans fungot for saying the n word 16:05:07 oerjan: perception envisaged. edmund carter had dared to see. i moved toward the window and let himself down to the express office i was informed that no shipment for me had arrived. my next act, performed amidst a growing alarm, was to convey press reports to the arkham for fnord and forgiveness. zann said that he had 16:05:31 -!- mig22 has quit (Ping timeout: 260 seconds). 16:05:37 the n word? fnord? 16:05:55 I think oerjan meant "narrow". 16:06:03 Whoops, I said it too. 16:06:18 no, it was a different word with the same syllable structure 16:07:40 Somehow I was reminded of http://basicinstructions.net/storage/2012-03-08-mobyrerun.gif 16:07:45 ^style 16:07:45 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 16:07:56 lovecraft. "of course" 16:08:44 ^style europarl 16:08:45 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 16:08:46 fungot: Any policy resolutions for the upcoming new year? 16:08:49 fizzie: mr president, i should like to mention a couple of, in order not to affect the fishing industry after the year 2000 on whether a " brave new world, preferring instead to turn the new rules, either. since irradiation is practised in the member states have expressed. we are committed to promoting the dialogue. amendment to the corbett report the second report on fraud prevention for 1996, and this without specifying what 16:09:32 fungot should learn to match quotes and parens 16:10:07 Oh ho, you hit The Bug again. 16:10:09 (The Perl version knows how to do that.) 16:10:24 perl version!? 16:10:36 There's a Perl version of the babbling that I use for testing. 16:10:40 -!- mig22 has joined. 16:11:02 Also for fun, since it can take an initial context. So you can use it as a "continue the sentence" thing. 16:11:16 ah, you should port that to fungot 16:11:20 olsner: the commission is nonetheless proposing to extend the period mentioned. i can assure you, however, as stated in the letter does not, in my opinion, zero risk does not stop there. i fully support my colleague, mr monti, i will insist on what i see as two quite fundamental points. the first is that the mental confusion of the same opinion from the international community to keep support for the right of those regions whic 16:12:04 olsner: http://sprunge.us/OURc 16:12:25 * olsner is such a bonus pretzel! 16:12:49 Oh no, the explosions have begun. 16:13:22 (It's 13 minutes past 6pm here; fireworks are permitted past 6pm.) 16:13:44 -!- AnotherTest has quit (Quit: Leaving.). 16:13:45 6h before the new year? poor dogs and owners 16:14:29 I think there's generally a burst at around this time, then it simmers down, and then heats up again for the 9pm-to-midnight period. 16:15:07 I wonder if there are any regulations at all here 16:15:25 We have this... rocky hilltop with no buildings kind of thing to one direction of the house, a lot of people launch their fireworks from there. 16:15:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 16:16:08 Apparently the allowed time interval is from 6pm to 2am. 16:16:20 explosions have begun here too. like, two days ago. 16:17:41 The firework sales started on December 27th, and there were a couple of booms back then too. 16:17:47 But only very sporadically. 16:18:07 ok i guess it was sporadic until today 16:18:30 fizzie: does new year exist in finland 16:18:32 does finland exist 16:18:46 `? finland 16:18:47 yes, and no, respectively 16:18:47 Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. 16:18:48 can new years exist in a place that doesn't exist? 16:20:12 -!- Taneb has joined. 16:20:51 -!- mig22 has quit (Ping timeout: 244 seconds). 16:23:29 -!- mig22 has joined. 16:29:47 -!- mig22 has quit (Ping timeout: 260 seconds). 16:30:36 -!- mig22 has joined. 16:31:56 -!- sebbu2 has joined. 16:33:45 -!- Phantom_Hoover has joined. 16:35:54 -!- sebbu has quit (Ping timeout: 272 seconds). 16:39:07 -!- sebbu2 has changed nick to sebbu. 16:44:43 -!- mig22 has quit (Ping timeout: 245 seconds). 16:53:26 -!- mig22 has joined. 16:57:47 -!- mig22 has quit (Ping timeout: 255 seconds). 17:00:06 -!- sebbu2 has joined. 17:00:15 -!- mig22 has joined. 17:00:25 -!- sebbu2 has quit (Changing host). 17:00:26 -!- sebbu2 has joined. 17:01:36 -!- Bike has joined. 17:02:21 -!- Taneb has quit (Ping timeout: 265 seconds). 17:03:28 -!- sebbu has quit (Ping timeout: 245 seconds). 17:14:04 -!- mig22 has quit (Ping timeout: 244 seconds). 17:15:22 -!- ais523 has joined. 17:15:48 -!- Taneb has joined. 17:23:17 -!- Nisstyre-laptop has joined. 17:26:59 Uses for Godel, Escher and Bach by Douglas Hofstadter number #427: holding down the circle button so you get loads of bolts on Ratchet and Clank 17:30:09 -!- Bike has quit (Ping timeout: 276 seconds). 17:33:57 most uses of geb are a result of its physical properties though 18:04:59 -!- TeruFSX has joined. 18:05:17 happy australian mailman mailing list reminders day! 18:06:06 ais523: what do you call the one that comes right before new year's specifically 18:06:29 new year's eve, I guess 18:07:20 I mean the reminders occasion 18:07:22 -!- Taneb has quit (Quit: Leaving). 18:07:38 australian mailman mailing list reminders eve, presumably 18:07:49 no, that would be the day before new year's eve 18:12:42 Apparently my blog made it to Planet Clojure 18:12:49 https://github.com/ghoseb/planet.clojure/commit/3e6b511d81acd1cde2f1fa2e63f44d3f48eab550 18:13:12 Although it's not like it's only the best and brightest who make it there 18:13:30 *cough* Ryan Kelker *cough* 18:13:39 yes mr. comet, now you are famous! 18:21:07 also the oldest post on your main page lacks at least a clojure tag. 18:30:22 -!- Bike has joined. 18:32:27 Good point 18:32:58 who is ryan kelker 18:33:16 Added the tag. No idea how that interacts with Planet Clojure 18:33:33 kmc: who is clojure 18:34:19 roland "lispy" clojure, french mad scientist supervillain 18:34:38 kmc, the guy who posted this http://www.reddit.com/r/Clojure/comments/122ll8/free_clojure_course/ and http://www.reddit.com/r/Clojure/comments/zrs7c/doseq_vs_for/ 18:36:36 are they bad or something 18:40:11 I think the person doesn't understand Clojure that well 18:40:19 Yet believes he is capable of teaching it 18:41:01 "The loop function / The doseq function / The for function" nice 18:45:20 i just can't not paste this http://phenomena.nationalgeographic.com/2012/12/24/the-quantum-earthworm/ 18:46:16 underground alchemists 18:53:49 that sounds like half of #haskell :/ 18:54:16 half of #haskell are underground alchemists, check 18:54:30 -!- GreyKnight has joined. 18:55:36 kmc: #haskell is better now! 18:55:38 haha, just kidding 18:55:51 :/ 18:57:02 The answer to a portion of the badness seems obvious: Two lambdabots 18:57:10 One with Caleskell, one with Realskell 18:57:15 how about just one lambdabot 18:57:17 with haskell 18:57:24 I think there is only one Caleskell thing now 18:57:36 but it is also the one Cale is least likely to get rid of 18:57:37 By Realskell I mean non-Caleskell Haskell 18:57:58 yes but Caleskell barely exists any more 18:58:19 Oh, what's the remaining Caleskell thing 18:58:23 I misread that line atfirst 18:58:25 at first 18:58:33 :t (.) 18:58:34 Functor f => (a -> b) -> f a -> f b 18:58:48 -!- GreyKnight has quit (Ping timeout: 245 seconds). 19:03:55 -!- augur_ has quit (Read error: Connection reset by peer). 19:04:04 -!- GreyKnight has joined. 19:04:08 -!- augur has joined. 19:07:42 fooo 19:08:30 :t 2 3 19:08:32 (Num a, Num (a -> t)) => t 19:08:34 ^^^^ 19:08:40 :t x 19:08:41 Expr 19:08:50 :t 3 x + 7 19:08:52 kmc: read ":t 2 3" again 19:08:52 (Num (Expr -> a), Num a) => a 19:08:59 oh ok 19:09:00 > 2 3 19:09:03 Could not deduce (GHC.Num.Num (a0 -> t)) 19:09:03 arising from the ambiguity chec... 19:09:16 kmc: the f/x/etc. things might be Caleskell but they're also very useful for pedagogy 19:09:19 so I don't count them 19:09:27 > foldr f z [a,b,c,d] 19:09:29 f a (f b (f c (f d z))) 19:09:30 etc. 19:10:26 they are useful yeah 19:11:29 -!- copumpkin has quit (Ping timeout: 252 seconds). 19:12:02 -!- copumpkin has joined. 19:12:08 -!- GreyKnight has quit (Ping timeout: 245 seconds). 19:16:23 -!- GreyKnight has joined. 19:16:34 Half of #haskell are earthworms 19:19:06 `quote 804 19:19:08 804) * oerjan makes a brainfuck derivative for quoting xkcds 19:22:26 -!- monqy has joined. 19:22:49 * GreyKnight shoots oerjan with a firework -----==> 19:22:52 * kmc makes a brainfuck derivative for stabbing people in the face over the internet 19:24:06 * GreyKnight makes a firework for deriving people over the Internet 19:24:20 * oerjan makes a brainfuck derivative for bricking brains. checkmate Phantom_Hoover! 19:26:30 I want to read more of http://phantom-hoover.tumblr.com/ 19:26:40 but there are only two posts :< 19:27:21 Hmm I'm hungry 19:30:07 GreyKnight, read my blog instead? 19:30:17 -!- GreyKnight has quit (Quit: Reconnecting…). 19:30:38 19:30:48 -!- GreyKnight has joined. 19:31:20 Phantom Hoover's tumblr is funny. Mine is not. 19:31:24 * Sgeo has a sad 19:32:30 I'm going to be AFK later 19:32:31 on the bright side, your tumblr is written by you 19:32:48 Heading out east 19:36:11 IIRC it is ghostwritten by someone else 19:36:14 I don't recall who 19:38:13 -!- WeThePeople has quit (Ping timeout: 244 seconds). 19:39:48 GreyKnight: Taneb 19:43:37 -!- GreyKnight has quit (Quit: Reconnecting…). 19:43:52 -!- GreyKnight has joined. 19:51:35 sadly my tumblr is inactive now 19:52:12 in the wake of hate mail 19:52:34 hate mail for what? 19:52:47 my tumblr 19:53:38 -!- WeThePeople has joined. 19:53:58 `welcome WetThePeople 19:53:59 WetThePeople: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:54:22 i mean, what was the hate about 19:54:36 brainfuck derivatives, what else 19:54:48 heh 19:55:01 oh, not like, an unpopular homestuck ship? 19:55:30 i have this nagging suspicion neither Bike nor Fiora has seen Phantom_Hoover's tumblr 19:55:43 nope 19:55:47 nope 19:56:03 oh is it that prettycurehentaixxx one that followed fiora? i bet it is 19:56:13 http://phantom-hoover.tumblr.com/ 19:56:35 ... just two posts? XD 19:56:45 god damn it, i thought you were joking 19:56:50 pester taneb if you want more 19:57:51 -!- GreyKnight has quit (Ping timeout: 244 seconds). 20:04:42 -!- sebbu2 has changed nick to sebbu. 20:06:58 -!- Phantom_Hoover has quit (Remote host closed the connection). 20:08:08 -!- Phantom_Hoover has joined. 20:19:38 you could cover Immi 20:31:48 -!- c00kiemon5ter has quit (Quit: c00kiemon5ter). 20:34:56 -!- c00kiemon5ter has joined. 20:38:27 I wish it was socially acceptable for men to use purses. 20:38:48 it's socially acceptable for you to hit jerks with them so go for it 20:38:50 I also hate the fact that at least on this matter I'm valuing social acceptability over function 20:39:12 It isn't? 20:42:14 maybe strike a balance by using a messenger bag? 20:42:30 I use one instead of a purse anyways most of the time 20:42:44 Is it socially acceptable to wear a backpack outside of school contexts? 20:43:01 -!- c00kiemon5ter has quit (Quit: c00kiemon5ter). 20:43:11 I always felt weird with that, it's actually kind of frustrating 20:43:24 it was infinitely easier to carry my laptop in a backpack than with my messenger bag 20:43:30 since my back is way stronger than my arms or shoulders 20:43:40 but after graduating from school I felt like an idiot wearing it 20:44:30 -!- GreyKnight has joined. 20:45:53 * shachaf tends to carry a backpack most places. 20:46:06 I have my backpack on pretty much everywhere 20:46:23 Perhaps I should go to school to get rid of that habit. 20:50:21 -!- greyooze has joined. 20:50:26 -!- GreyKnight has quit (Ping timeout: 255 seconds). 20:50:27 -!- c00kiemon5ter has joined. 20:50:32 Sgeo: http://sgeo.tumblr.com/post/38587255013/straight-translations-of-monads-from-haskell-to-x is interesting, I didn't know people were exporting monads to other languages 20:50:34 you should write more about the hows whys and wherefores :-) 20:50:44 -!- greyooze has changed nick to GreyKnight. 20:51:26 I could rant about the how nots 20:51:59 I'm going to get going soon 20:56:32 `quote 20:56:33 100) like, just like I'd mark "Bob knob hobs deathly poop violation EXCREMENT unto;" as English alise: that's great filler ais523: well it contains all the important words in the english language... 20:57:31 `quote profunctor 20:57:33 No output. 20:57:37 `quote functor 20:57:38 857) [after discussing lens] they seem to be the fashion of this winter hagb4rd is wearing this season's Lens, a stunning little ensemble with functor trim 20:57:47 all i can think is "prolapse", weird 20:57:52 `quote variant 20:57:54 198) 22:55 < qfr> How am I supposed to develop software in Haskell if I can't even prepare my projects in UML?! It seems like an impossible task. HAHA [...] this is amazing, like meeting a Mormon or something \ 213) I need a new desktop background j-invariant: Try http://codu.org 20:58:40 i like this guy 20:58:41 `quote 213 20:58:42 213) I need a new desktop background j-invariant: Try http://codu.org/spinners.png (tiled) uhrghoaudp 20:59:04 hey, i actually used to use that as my background. 20:59:05 Going now 21:00:58 Sgeo is off to have a social life 21:01:13 what 21:01:15 that's absurd 21:02:05 coppro: we know Sgeo has a social life 21:02:09 but his social life is indeed absurd 21:02:16 haha 21:02:35 -!- TeruFSX has quit (Ping timeout: 255 seconds). 21:03:07 my social life is pretty absurd 21:05:23 -!- GreyKnight has quit (Ping timeout: 255 seconds). 21:07:58 -!- sirdancealot has quit (Quit: KEEP SPARKS. FLAME AWAY.). 21:08:50 -!- sirdancealot has joined. 21:17:00 -!- etb has quit (Remote host closed the connection). 21:17:33 -!- flood0r2 has joined. 21:18:50 -!- flood0r2 has quit (Remote host closed the connection). 21:19:03 -!- flood0r2 has joined. 21:19:39 -!- flood0r2 has quit (Remote host closed the connection). 21:25:43 ais523: http://zem.fi/egostats/plot_tapeheat.png 21:26:11 ty 21:26:48 (I also made the per-program-and-tape-length plots have a fixed cell width, like quintopia suggested, which indeed made them look better.) 21:27:11 (Your program is kind of the odd one out.) 21:29:11 -!- etb has joined. 21:30:59 fizzie: yeah, it does a full tape clear 21:31:12 so when it wins, it's often either at its own flag, or has been going back and forth for most of the game 21:36:19 I think you could make monads in whatever programming language or other stuff if you know what category it is; such as, Haskell is pure functions but in other programming language it might not be do you mean monads on the pure function category, or something else? However, impure functions with side effect does form a category too, it is the (Kleisli IO) category. 21:37:22 awwww 21:37:41 all the episodes of jam got taken down from youtube when i was only halfway through 21:39:41 -!- TeruFSX has joined. 21:46:37 What if some programming language is made to use monads with some category other than functions? 21:50:06 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 22:00:22 zzo38: i once tried to find out what would be the monads of a prolog-like language, which is based on relations instead of functions. and whether the definite clause grammar syntax was a monadic syntax. couldn't wrap my head around it properly, though. 22:00:46 oerjan: there's an established relation between its grammar thing and monads, I think 22:01:17 I think a relations can form a category too. 22:01:20 (the usual DCG interpretation is essentially state threading like the State monad in haskell) 22:01:38 zzo38: sure they do, i just don't know what kind of monads that category has 22:01:57 Yes, I don't quite know either. 22:02:00 Yaaarrr it's 20-13 here now. 22:02:16 x (R . S) y = exists z. x R z & z S y is the usual composition 22:02:16 fizzie: it is 7 there? 22:02:20 There is a identity monad for all categories though. 22:02:24 fizzie: Happy using the wrong timezone, Finnish fuckers!!!! 22:02:25 for binary relations 22:02:26 nortti: It's 7 here. 22:03:31 elliott: do you think that because i've discussed this question here before, or because you have an actual reference? :P 22:03:58 oerjan: I forget, but I've definitely heard it before, and I think not from you 22:04:06 (possibly both at the same time, in which case i've forgotten the reference) 22:07:31 fireworks at ten? 22:07:36 idiots 22:08:22 Fireworks from six to two. 22:08:51 fireworks from yesterday to next week 22:10:38 Fireworks all year. 22:17:27 -!- TeruFSX has quit (Ping timeout: 276 seconds). 22:18:10 The category of relations is the Kleisli category of the set monad on the category of functions. Therefore, will a monad transformer possibly tell you anything about monads on a category of relations? 22:22:09 do monad transformers give monads on the kleisli category of the underlying monad? 22:23:16 I don't know. 22:23:48 But I wonder if monad transformers could tell you anything at all about such things. 22:24:19 i don't know either, but that would mean you at least get some monads 22:25:12 -!- Vorpal has joined. 22:25:37 the pure morphism should have type forall a. Kleisli m a (...something...) 22:26:08 or forall a. a -> m (...something...) 22:26:46 where something shouldn't be a itself unless you want the identity monad 22:27:26 it seems unlikely to me that every monad transformer gives something of that form 22:28:39 It seems unlikely to me too 22:30:18 But does WriterT do that? 22:30:55 a -> m (w, a) 22:31:14 :t runWriterT 22:31:15 WriterT w m a -> m (a, w) 22:31:23 -!- nooga has joined. 22:31:25 weeeeeeee 22:31:44 so return of WriterT rewraps to the right type 22:31:51 eat okay 22:31:54 wait no 22:32:01 star ham 22:32:17 :t runWriterT . return 22:32:19 (Monad m, Monoid w) => a -> m (a, w) 22:32:27 yes it does 22:33:04 okay 22:34:02 so T = (, w) 22:35:23 Are you talking about corepresentability or somethin'? 22:35:31 and then we need mu : T (T a) -> m (T a) 22:35:53 i've seen an argument between theorietic physicists 22:36:06 shachaf: no, we're wondering if WriterT (and perhaps some other transformers) gives a monad in the kleisli category of the underlying monad 22:36:06 in Max Planck Institute 22:36:22 it looked as follows: 22:36:36 one guy writes pi sigma tau on the blacboard 22:36:43 10 minutes later 22:36:59 mu :: ((a, w), w) -> m (a, w) 22:36:59 pacific standard time? 22:37:00 the other guy erases pi and puts lambda instead 22:37:25 Bike? 22:37:31 who's Bike anyway? 22:37:35 bike is bike 22:37:37 are you drunk 22:37:42 what are bikes? we just don't know 22:37:44 exactly 22:37:58 i've got a bike, you can ride if you'd like 22:38:03 & stuff 22:38:11 hi Bike 22:38:20 do you like corepresentability or representability more 22:38:25 "choose wisely" 22:38:29 elliott: how did you know? 22:38:40 Corepresentability is a dog. 22:39:25 @hoogle ((a, w), w) -> m (a, w) 22:39:26 No results found 22:39:56 nooga: it was kind of obvious 22:40:42 :t return . writer . join . runWriter 22:40:44 (Monad ((,) a), Monad m, MonadWriter w m1) => Writer (a, w) a -> m (m1 a) 22:40:57 You should use (w,) instead of (,w) 22:41:05 (,w): THE ENEMY 22:41:17 shachaf: sadly transformers disagrees 22:41:27 sadly transformers is a liar 22:42:12 I agree that (w,) would be a better way to define it (and it should be itself defined as a monad) 22:45:29 :t return . writer . join . runWriter :: Monad m => ((a, w), w) -> m (a, w) 22:45:30 Couldn't match expected type `((a, w), w)' 22:45:31 with actual type `Writer w0 a0' 22:45:31 Expected type: ((a, w), w) -> (w, (w, w1)) 22:45:42 oh hm 22:46:05 :t return . join . writer 22:46:06 (Monad m, MonadWriter w m1) => (m1 a, w) -> m (m1 a) 22:46:24 -!- oerjan has quit (*.net *.split). 22:46:24 -!- mroman has quit (*.net *.split). 22:46:32 -!- mroman has joined. 22:46:33 -!- oerjan has joined. 22:46:33 :t return . join . writer :: Monad m => ((a, w), w) -> m (a, w) 22:46:34 Could not deduce (Monad ((,) a1)) arising from a use of `join' 22:46:34 from the context (Monad m) 22:46:34 bound by the inferred type of 22:46:37 Ignoring wrappers and stuff, (return . join) would obviously be the correct type, at least. 22:48:19 :t return . join . map writer . writer :: Monad m => ((a, w), w) -> m (a, w) 22:48:20 Couldn't match expected type `(a, (a, w))' with actual type `[b0]' 22:48:20 Expected type: [a0] -> (a, (a, w)) 22:48:20 Actual type: [a0] -> [b0] 22:48:37 * oerjan decides to ignore the wrappers 22:49:37 Hhttp://www.cs.earlham.edu/~jeremiah/linux-pix/linux20shark.jpg 22:50:59 does linux even have that level of WordArt 22:52:00 -!- Nisstyre-laptop has joined. 22:53:49 obviously you just write a TRIVIAL raytracer as a bash script 22:54:17 `addquote obviously you just write a TRIVIAL raytracer as a bash script 22:54:21 891) obviously you just write a TRIVIAL raytracer as a bash script 23:07:53 -!- WeThePeople has quit (Quit: Leaving). 23:11:50 happy new year etc. 23:14:15 oerjan: fuck you it's not new yea'rs yet 23:14:19 UTC+1? 23:14:19 FUCK YOU and FUCK THE NEW year 23:14:26 UTC+norway 23:14:46 ÜτÇ 23:14:59 Happy happy new year's day day 23:15:56 Hapy nyr. 23:16:25 `words --finnish --norwegian 10 23:16:28 kuva ressaksjon jøyalaistid sykeoritselvist lasterämilliardean herrettelever persona hipeämme trenemenevimme korrekursidi 23:16:44 Happy jøyalaistid, everyone. 23:17:10 happy jøyalaistid 23:17:19 But see if you have the monad laws to make a writer monad on a category of relations. 23:19:05 Happy new year! 23:19:24 (at least in UTC+1) 23:19:36 `words --swedish 10 23:19:38 insens bråks förarna nationenskansens ohyggarna lovspännis ogärnblick infotoket arkt involutslöj 23:19:48 clearly you must mean göalaistid 23:19:49 Vorpal: Happy involutslöj too. 23:20:31 And an ogärnblick lovspännis också. 23:21:41 fizzie, what the hell? 23:21:49 just keep the ohyggarna away 23:22:08 Don't start any bråks. 23:22:17 fizzie, "involutslöj" look more like Finnish than Swedish to me 23:22:46 Vorpal: UTC+1 ISNT REAL 23:22:48 aka "Vorpal has no idea how finnish works" 23:22:51 elliott, oh? 23:22:59 oerjan, true 23:23:43 Vorpal: tycker du inte det är löjligt med involutionar? 23:23:53 `words --gaelic 10 23:23:54 I don't think there's any Finnish word that would end in a "j". 23:23:55 h-eòla slaid deilinn sìth thar camhnapag rìochadh shèidh cè fis 23:23:57 oerjan, "involutionar"? 23:24:03 Hey, my user account is there. 23:24:57 fizzie: fis is Finnish for "a really dumb terrible person", right 23:25:11 `words --esolangs 20 23:25:12 oddball v-- jump shersuble colambda crab unisp sheltaplex betal numberwatesyze kayak bline etaplet bub fob toi formula hatercal p xs 23:25:18 Vorpal: sorry, *involutioner 23:25:41 HATERCAL 23:26:15 some of those are clearly missing in the wiki 23:26:49 sheltaplex and colambda in particular 23:26:53 `run words --esolangs 20 #MORE 23:26:55 chinter per alpaca 01_ nullfuck/w/ind rever eneversioncom 2d-ref hat2.0 ihat arbf nhohnhehr limp boat ver minitum bet thesquiem mdpn bit 23:26:58 oh wait 23:27:03 colambda exists 23:27:12 hat2.0, the best language for hats. 23:27:20 hat2.0 is also right next to ihat. 23:27:33 At least it's obvious whose bot HackEgo is. 23:27:48 fizzie: You didn't answer my question :,( 23:28:16 elliott: IT DOES NOT EXIST 23:28:24 OK, make up HATERCAL then. I think list of ideas does now have section about names, with some things written there. 23:28:33 elliott: fis is norwegian for fart, hth 23:28:56 HATERCAL 23:29:20 Vorpal: sorry, *involutioner <-- I have no idea what that is? 23:30:32 http://en.wikipedia.org/wiki/Involution might help. 23:30:52 ah, I see 23:31:50 * oerjan looks up the esoteric meaning 23:33:10 -!- TodPunk has quit (Read error: Connection reset by peer). 23:33:13 numberwatesyze sounds like the polish version of numberwang 23:33:20 -!- Tod-Autojoined has joined. 23:33:41 nooga: you get right working on that. 23:34:41 HATERCAL is like intercal except with a rather different politeness calibration. also it has GOTO. 23:35:19 ais523 cannot maintain it, as it uses "DAMN YOU" obligatory in places 23:37:00 COMPILER LANGUAGE WITH NO PRINTABLE ACRONYM 23:37:32 *ACRONYM FIT TO PRINT 23:38:46 not sure that's an improvement. but then, what in HATERCAL is. 23:39:24 except the GOTO, which complements the flow control in the way ais523 has suggested. 23:43:00 the esoteric involution article is clearly relevant btw: 23:43:04 "As an example, the so-called descent of the Monad into matter means an involution or involving or infolding of spiritual potencies into material vehicles which coincidentally and contemporaneously, through the compelling urge of the infolding energies, unfold their own latent capacities, unwrap them, roll them forth; and this is the evolution of matter." 23:43:20 is that leibniz or something 23:43:34 – Gottfried de Purucker 23:44:05 same first name 23:45:17 -!- oerjan has set topic: As an example, the so-called descent of the Monad into matter means an involution | http://codu.org/logs/_esoteric/. 23:45:30 oerjan: ? 23:45:45 nooga: numberwatesyze sounds like the polish version of numberwang 23:45:56 what's numberwang? 23:46:08 `words --esolangs 20 23:46:10 hev dumbf*ck mempovar murin con bytep underix wikipleaseporth fullfuck-- rever shack bak 2d-ref shogoriendevia fanjix incal evil cha fugue flog 23:46:29 THAT'S NUMBERWANG 23:46:43 shogoriendevia 23:46:43 pitty people 23:46:52 also http://esolangs.org/wiki/Numberwang 23:47:24 provide context of kmc's statement' please 23:48:04 elliott: i wonder how it got that, i don't recognize any of the pieces 23:48:31 last ' -> , 23:49:12 oddball v-- jump shersuble colambda crab unisp sheltaplex betal numberwatesyze kayak bline etaplet bub fob toi formula hatercal p xs 23:49:21 nooga: ^ 23:49:41 and? 23:50:00 nooga: it's an autogenerated esolang name 23:50:08 am I supposed to approve that this shit is polish version of numberwang? 23:50:50 no, you are supposed to _make_ the polish version of numberwang, duh 23:51:00 * oerjan thinks people are _so_ slow today 23:51:01 pierdolę 23:51:37 DON'T MESS WITH ME, I HAVE GOOGLE TRANSLATE 23:53:24 nooga: this should help you get started http://translate.google.no/translate?sl=en&tl=pl&js=n&prev=_t&hl=no&ie=UTF-8&eotf=1&u=http%3A%2F%2Fesolangs.org%2Fwiki%2FNumberwang 23:53:39 -!- etb has quit (Ping timeout: 276 seconds). 23:53:46 the worst thing is, i'm entirely sober 23:53:59 I completely understood the english version 23:54:09 but it's unbelievably stupid 23:54:18 and oerjan 23:54:40 I know that hi-voltage alcohol is almost unavailable in Norway 23:54:49 that's a pitty 23:54:53 come to PL 23:55:05 it's ok i had aquavit on christmas eve 23:55:17 0.2l ? :P 23:56:12 no, a small glass. 23:56:27 0.1ml ?:P 23:56:31 also i'm not complaining about not having alcohol. 23:56:39 yes 23:56:47 because you're boring Norwegian 23:56:51 i just realized i was behaving as if i was drunk above 23:57:01 you were 23:57:33 i'll tell you a story 23:57:50 also i am fully assuming you are drunk. you're polish after all. 23:58:11 I'm not drunk constantly, mind You 23:58:28 and pilish is for nails 23:58:33 polish* 23:58:40 IF YOU SAY SO 23:58:42 Polish is the word