00:35:25 17:34 kmc left #haskell? 00:35:28 17:35 :( 00:47:26 -!- monqy has joined. 00:49:15 :( 00:55:05 The reports of kmc's departure are greatly understated. 00:58:31 -!- Jafet1 has quit (Quit: Leaving.). 01:04:37 hey fizzie where's that colour averaging thing you made 01:10:55 "Clark County is home to many tax-conscious conservatives, who came to income-tax-free Washington but settled close enough to the border to shop in sales-tax-free Oregon." 01:11:44 O, so do they only have to pay federal taxes then? 01:11:59 Or, do they have to pay property tax too? 01:12:10 probably both 01:12:24 and other income-related federal taxes like social security and medicare 01:12:29 which aren't part of federal income tax proper 01:13:06 Maybe not, but the federal income tax tacks it on. 01:13:22 also i don't know the law in WA specifically, but in general if you buy stuff tax-free in another state (or online) and bring it home, you might owe something to the state where you live 01:13:26 "use tax" 01:13:49 That's how it is in CA. 01:14:07 Yep, in WA too. 01:14:42 in NY they make a guess about how much shit you bought online based on your income 01:14:59 and charge you that by default 01:15:06 but you can / might be required to itemize it under some circumstances 01:16:58 this is also why Amazon has no engineering offices in Cambridge MA 01:17:20 if they did, then all Amazon purchases from MA would be subject to sales tax, because the company has operations in the state 01:18:15 however it sounds like the MA government is going to start requiring them to pay tax regardless 01:18:31 so now they will open an engineering office 01:18:44 and hire MIT grads to work in the code mines 01:21:39 government gotta get paid 01:30:10 http://en.wikipedia.org/wiki/File:Rowan_Williams_-001.jpg 01:30:16 loving the cropping of this picture 01:34:43 -!- oerjan has quit (Quit: leaving). 01:38:54 -!- Phantom_Hoover has quit (Quit: Leaving). 01:40:43 http://www.bbc.co.uk/news/world-middle-east-19746994 love the infographic 01:56:45 Maybe in Famicom Hangman I should have a time limit to push a letter, or a time limit to solve the puzzle, or both 01:59:35 If you have other ideas, then I might put that in too. 02:16:54 it should be able to read mail 02:17:51 Read mail? Why? How do you expect it? 02:23:21 -!- DHeadshot has joined. 02:52:06 -!- quintopia has quit (Ping timeout: 245 seconds). 03:01:05 -!- quintopia has joined. 03:07:13 -!- DHeadshot has quit (Ping timeout: 245 seconds). 03:21:31 -!- NihilistDandy has quit (Quit: Computer has gone to sleep.). 03:24:30 -!- copumpkin has quit (Ping timeout: 256 seconds). 03:25:06 -!- copumpkin has joined. 03:55:55 -!- augur_ has joined. 03:59:08 -!- augur has quit (Read error: Connection reset by peer). 04:01:14 shachaf: Do you know how PaX KERNEXEC works on amd64? 04:01:32 kmc: Nope. 04:01:56 What's KERNEXEC? 04:02:29 it's the feature which prevents executing userspace memory while in kernel mode 04:02:33 Oh. 04:02:38 on i386 this is easily accomplished with segmentation 04:02:58 on amd64 they instrument each ret and indirect jump/call in the kernel 04:03:12 specifically they 'or' the target with 0x8000000000000000 04:03:32 if the target was a userspace address, the resulting address is non-canonical and there is a general protection fault 04:04:08 Ah, makes sense. 04:04:17 this is more efficient than a test + conditional branch, but is still kinda slow 04:04:22 It'll stop working when we all get real 64-bit CPUs! 04:04:29 to make matters worse, you need to keep 0x8000000000000000 around in some register 04:04:47 it's true! 04:05:32 -!- Nisstyre-laptop has joined. 04:05:38 i wonder if ksplice could use gcc plugins usefully 04:06:01 of course it would only work for distros using newish GCC 04:06:25 also i wonder if there is a good channel for geeking out about systems and security things 04:06:44 There's ##systems which is pretty quiet. 04:07:19 too bad 04:07:45 also i am easily annoyed by macho hacker personalities, which are common in security 04:07:58 I think it's mainly pkhuong and sbahra. 04:08:34 kmc: You should start your own channel! 04:08:37 nah 04:08:56 I'd be in it so you could tell me all the "shachaf: Did you know" things. 04:12:42 Speaking of systems, i made a small stripboard circuit with a MAX232 equivalent and a GPS receiver and i’m running a stratum 1 NTP server now (for no particular reason). 04:12:54 shiny 04:17:18 shachaf, uh 04:17:28 What do you think of the parens scoping discussion? 04:17:58 Also, are you in there becasue of me. 04:19:45 No. 04:19:58 I think that I'd rather avoid discussions with that particular individual. 04:49:11 -!- copumpkin has quit (Ping timeout: 245 seconds). 04:49:46 -!- copumpkin has joined. 06:40:20 @ask monqy hi are you 06:40:21 Consider it noted. 06:41:19 -!- mig22 has joined. 06:42:07 The part of the (AMD) manuals which speaks of canonical addresses specifically says that you shouldn't play tricks with them. 06:42:25 Well, I suppose to be exact it just says not to stuff things in the unused bits, but I suppose that sorta-counts too. 07:09:57 -!- Jafet has joined. 07:20:19 @messages? 07:20:19 monqy: You have 1 new message. '/msg lambdabot @messages' to read it. 07:20:22 @messages 07:20:22 shachaf asked 40m 2s ago: hi are you 07:51:48 -!- atriq has joined. 07:59:38 :) 07:59:43 Well 07:59:46 I say ":)" 07:59:52 : ) 07:59:52 But I really mean ":(" 07:59:55 : ( 08:08:30 "I say :), and you say :(", isn't that from a Beatles song. 08:12:04 hi are you monqy 08:12:38 -!- atriq has quit (Remote host closed the connection). 08:13:06 -!- atriq has joined. 08:14:04 Minecraft froze and took my mouse with it, so I panickd 08:14:08 *+e 08:14:19 Also, I need help with Ubuntu. Dare I join #ubuntu? 08:17:03 It doesn't sound necessarily productive. 08:17:17 They have 1514 people in there. 08:17:27 (Probably a different number by now.) 08:17:33 1512 08:31:52 -!- oerjan has joined. 08:46:06 xkcd XD 08:46:51 -!- Phantom_Hoover has joined. 08:46:53 -!- zzo38 has quit (Remote host closed the connection). 08:47:48 -!- monqy has quit (Quit: hello). 09:35:28 -!- oerjan has quit (Quit: leaving). 11:05:22 You know what VRML feature I just noticed to be rare to nonexistent in other 3D chat things? A feature to make something always appear to be facing the camera 11:06:58 "The primary time to ask questions is when the teacher is in human form. At all other times please raise your hand. (this gesture is not yet implemented) 11:07:28 Without the virtual-world context, that would be a very interesting statement to encounter. 11:53:56 -!- Arc_Koen has joined. 11:55:05 hello 11:55:13 Hey 12:18:33 -!- ais523 has joined. 12:19:36 -!- ais523 has quit (Read error: Connection reset by peer). 12:19:43 -!- ais523_ has joined. 12:25:27 -!- ais523_ has quit (Read error: Connection reset by peer). 12:25:33 -!- ais523__ has joined. 12:55:49 -!- Jafet has quit (Quit: Leaving.). 13:08:54 I think I prefer Toshiba tech support to Samsung 13:08:59 Did I show this image here? I think I showed this image here. Anyway, sunlight, it's fancy: http://users.ics.aalto.fi/htkallas/sunshine.jpg 13:09:03 (Also on the topic: naming files "csb.jpg", "p1.jpg", "test.jpg", "random.jpg" and so on makes it pretty hard to find a particular file later on.) 13:09:06 AARGh 13:09:09 THEY SPELT MY NAME WRONG 13:09:21 (Though it turns out that random.jpg is a picture of a computer with hostname 'random'.) 13:09:26 hahaha 13:09:35 you know nothing of having your name spelt wrong 13:09:50 guys I think I beat you all on the topic 13:10:11 last time my father had to write my name on an official paper, he asked me to show him my id 13:10:27 I was once booked into a hotel under the name "Random" 13:10:36 no you guys have it easy 13:11:09 everyone says my name wrong until they've been corrected for at least a month 13:11:17 There is (or at least was; maybe he/she changed it) a child in New Zealand named "Number 16 Bus Shelter". 13:11:22 this includes people who have only ever heard my name, never seen it spelt 13:11:31 That's pronunciation, not spelling. 13:11:35 COMPLETELY different. 13:11:47 it's like mouth spelling! 13:11:53 (We speculated that that's where e was conceived.) 13:12:44 Source: http://www.nzherald.co.nz/lifestyle/news/article.cfm?c_id=6&objectid=10523288 -- includes other great child names, such as "Fish and Chips", "Sex Fruit" (rather descriptive), and the topic of the article, "Talula Does The Hula From Hawaii". 13:13:06 Is this the e who writes poems? 13:13:14 "A lawyer for Talula Does The Hula From Hawaii had reported the nine-year-old was so embarrassed about her name that she had not revealed it to her friends and was other wise known as 'K'." 13:14:38 There are probably similar lists from every country; I know I've seen one from Finland. (Even though both countries have rules about not allowing "offensive" names.) 13:15:15 offensive to common sense 13:24:28 On that occasion the mother had named her daughter O.crnia but was prepared to concede to a condition of a parenting order so it could be adjusted to Oceania. 13:25:04 "the judge who made the girl's name official couldn't interpreted my handwriting wrong" 13:27:54 I'm starting to see Black Holes and Revelations/The Resistance/The 2nd Law as a cycle of concept albums 13:28:25 -!- kinoSi has quit (Read error: Connection reset by peer). 13:29:22 -!- kinoSi has joined. 13:30:16 Except Exogenesis Symphony happens either after the 2nd Law or millenia earlier 13:30:56 Actually, it goes quite well with "Animals" 13:30:58 No 13:31:03 "Explorers" 13:46:54 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:06:54 -!- mig22 has quit (Quit: mig22). 14:07:30 -!- copumpkin has joined. 14:18:39 -!- io_ has joined. 14:35:24 -!- ais523__ has changed nick to ais523. 14:41:55 -!- io_ has quit (Remote host closed the connection). 14:54:04 -!- atriq has quit (Remote host closed the connection). 15:24:45 -!- i50640235 has joined. 15:25:27 -!- i50640235 has left. 15:29:54 -!- ISteffyxo has joined. 15:31:49 -!- AnotherTest has joined. 15:31:58 Hello 15:32:03 -!- ISteffyxo has quit (Client Quit). 15:35:23 -!- kinoSi has quit (Read error: Connection reset by peer). 15:35:51 -!- kinoSi has joined. 15:48:30 -!- Vorpal has joined. 15:49:16 -!- Vorpal has quit (Client Quit). 15:53:29 -!- Vorpal has joined. 16:11:52 -!- FreeFull has joined. 17:13:44 Daily piece of useless information: according to OED, 'triage' is pronounced as /ˈtraɪɪdʒ/, and "in sense 2 [assignment of degrees of urgency to wounds or illnesses] also /trijaʒ/, /ˈtriːɑːʒ/". (I would've gone with the something like the latter options even in general.) 17:16:38 Also, Steam's Portal 2 update log mentions the item "Fixed performance issue with lasers", and I can't figure out whether that's "fixed (performance issue with lasers)" or "fixed (performance issue) with lasers". 17:19:24 the former I suppose 17:19:34 but you never know! 17:20:42 I can imagine Valve fixing things with lasers, it sounds appropriate. 17:21:40 -!- zzo38 has joined. 17:25:15 -!- carado has joined. 17:25:33 -!- carado_ has joined. 17:26:15 -!- carado has quit (Read error: Connection reset by peer). 17:37:28 -!- strong has joined. 17:38:05 -!- strong has quit (Read error: Operation timed out). 18:05:23 -!- Gregor has set topic: OK people, we need a new featured language. NOW. | http://codu.org/logs/_esoteric/ | http://esolangs.org/wiki. 18:07:15 Just feature slashes 18:11:26 Just go back and forth? That's a good idea X-D 18:13:14 -!- atriq has joined. 18:13:39 No, I think you should pick a different one every time. 18:13:46 Unless none are eligible. 18:14:17 (I think that was the joke, zzo38) 18:16:55 There is arule not to nominate yourself, but I think it ought to be allowed if none others are eligible. 18:17:15 I don't think there's an immediate need for that 18:17:28 I don't mean now. 18:17:38 I'm gonna double-suggest Malbonge, Underload, and Deadfish 18:19:03 And it is possible to ask someone really nicely to nominate your language 18:20:45 I like everything about Funciton except for the interpreter being in C#. 18:21:54 Re-implement it in ORK 18:24:36 what qualifies a language to be featured? 18:24:44 People suggesting it 18:24:50 oh okay 18:24:50 And it being good enough. 18:24:56 but 18:24:57 And elliott making it featured 18:25:01 what makes it good enough 18:25:10 http://esolangs.org/wiki/Esolang:Featured_languages/Candidates 18:25:10 The Test™. 18:25:39 oh okay 18:25:40 well 18:26:00 i will nominate Aubergine, even though I don't even know if it will pass The Test™ 18:26:16 I just like it a lot 18:26:33 Do not try to understand The Test™. Just know that The Test™ is watching you. Waiting. Testing®. 18:27:01 ‽ 18:27:53 Do not fear The Test™. 18:27:55 Love The Test™. 18:27:59 Give yourself to The Test™. 18:28:33 ohhhh, Test™! I do so love you! Take me now! Or let me take you! *swoon* 18:28:45 *The Test™ 18:29:01 -!- jiella has joined. 18:29:39 did i fail? :( 18:30:17 Misspelling the name of The Test™ only affects how many Post-Test Morale Beatings™ you will receive. 18:31:57 quintopia, feel free to nominate Aubergine. 18:37:56 -!- comex has quit (Remote host closed the connection). 19:05:59 http://www.bbc.co.uk/news/technology-19760977 19:06:02 That's news now? 19:07:13 -!- carado_ has quit (Remote host closed the connection). 19:07:32 -!- carado has joined. 19:08:48 i did 19:08:54 Yay! 19:08:56 atriq: 19:08:59 I saw 19:13:22 hmm, Kipple is in the list, but I think its wiki page needs clarifications 19:13:31 Then fix it. 19:19:37 -!- oerjan has joined. 19:19:56 -!- olsner has joined. 19:20:58 Arc_Koen: your request about 3-cell reversible brainfuck looks complicated :) 19:21:14 haha 19:21:24 i _think_ one can define reversible collatz functions, and do reversible minsky machines with them. 19:22:04 then one needs to do ordinary reversible brainfuck and/or turing machines with the minsky machines 19:22:18 and reversible collatz functions with the 3-cell brainfuck 19:22:50 basically the usual path of reductions needs to be redone reversibly 19:23:15 ordinary=unbounded number of cells, but possibly with bounded values 19:26:43 I think atriq needs a wiki page 19:26:45 oh hm http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.2776 is prior work from the minsky machine part onwards 19:26:59 AnotherTest, why do you say that? 19:27:30 atriq: because you're probably the most active user 19:27:35 and you are pretty known I think 19:27:36 I'm really not 19:27:39 and you want it yourself 19:27:50 (I think you even said that once) 19:28:14 I wondered if I ought to make a page 19:28:24 And decided against it? 19:28:25 nothing on the first page at least for collatz functions 19:29:17 atriq: okay. I do find you deserve it though 19:31:10 I'm not sure what to think 19:32:59 Well this is just my opinion of course 19:33:17 and I'm not a member of this community for a very long time 19:33:27 unlike most others 19:33:52 I've been hear just over a year 19:33:58 *here 19:35:01 -!- atehwa_ has quit (Ping timeout: 245 seconds). 19:40:53 Anyone else's thoughts? 19:45:41 if you had such a page, what would be in it? 19:45:53 A bit about me? 19:46:08 you would of course have to mention the Hexham Anomaly 19:46:16 Yes 19:46:57 And my lost programming language 19:47:08 (not actually lost, merely kind of embarrassing) 20:00:02 fizzie: ok, new version of my kipple interpreter, going eve further away from the specs - now "i", "o", and "io" all refer to the same stack, which is actually not a stack 20:00:23 and there is a special stack called "i@" which is actually not a stack either, and can be used to input numbers 20:00:48 To boldly go where no Kipple interpreter has gone before. 20:01:14 there are so many esolangs 20:01:16 if you have any other ideas they are very welcome 20:01:54 though at some point I might need to rewrite it all over, rather than adding stuff here and there in the code and hoping it will still work 20:02:18 note than now, (i+0) is a cat program 20:02:56 How do you "vote" for a featured language that is already a candidate? 20:03:06 tell elliott 20:03:15 ah ok 20:03:29 (because it takes a value from the input stack, duplicates it, and push the result to the input stack, which happens to be the output stack, and continue doing so until the input stack is empty, which happens when end of file has been reached) 20:05:29 AnotherTest, vote eodermdrome! 20:06:33 I was thinking of voting for that, but the one problem that I have is that there is no implementation available 20:06:47 * Arc_Koen tries... OK, it turns out it is not a cat program, because the input stack is actually kind of a stack, which means i+0 only "peeks" at the top of the input stack (effectively reading a char from input and pushing it on the stack), and pushes a copy to output... so next iteration the same char will be read again... so it's actually a program that reads one char from input and prints it in an infinite loop 20:07:04 I think that the featured language should have an implementation that can be downloaded 20:07:23 I haven't really written any substantial Kipple ever, so I don't have any ideas. I have just a vague feeling that the major impracticality in writing a larger Kipple program is the lack of any sensible way to do subroutines. (Then again, that's not very practical in many other languages either.) 20:07:24 why 20:07:25 so (i>o) or (o>i) or (io>io) or (i hmmm 20:07:41 true 20:07:52 it's about novel concepts, not implementation 20:08:28 Phantom_Hoover: I'm pretty sure the featured language candidate list page contain a recommendation that the wiki page contain a link to an implementation 20:08:45 Phantom_Hoover: yes, but if someone [new] visits the wiki, they will perhaps see the featured language, click on it and then want to try it out 20:08:54 if there is no implementation however, that is not possible 20:09:04 you can't just 'try out' eodermdrome 20:09:06 also, I think the implementation often learns one a lot about the concept 20:09:08 that's why it's cool 20:09:35 Phantom_Hoover: well make use of it in any way 20:09:47 a visual implementation of befunge (as in, a very very very very very very very very very very slow interpreter that actually shows the stack and the instruction pointer) is the best way to show the power of befunge to a newcomer! 20:09:55 it's so completely different from the norm, you can't just say "oh well it's but cut way down" 20:10:42 Yes, but that doesn't render an implementation unneeded, right? 20:11:07 i don't think it's necessary 20:11:27 fizzie: how about a special execute stack that would execute chars pushed onto it as if they were kipple instructions 20:12:36 -!- AnotherTest has quit (Quit: Leaving.). 20:14:14 well, it would be more handy to have an execute command that would execute a stack as a kipple program, but I like the idea to have special stacks only, and no more commands 20:15:09 i had such a visual interpreter for spiral once 20:15:24 until those people at the computer repair place erased it 20:15:45 so maybe it acts as a regular stack, until a special "trigger" character is pushed onto it, at which point it executes itself 20:16:22 so you can push your subroutines to stacks, and when you want to execute a subroutine, you push a copy a the right stack to the execute stack, then push the trigger character to the execute stack 20:17:45 but then you could say that if it requires a special character, you could have *any* stack be executable, when the trigger character is pushed on them 20:18:06 I think none of those are the best idea. 20:18:36 but then to be able to use the trigger character on a stack, you'd have to escape it somehow 20:18:36 Perhaps, make one command which trigger the stack, what it does depend on which stack is selected (if it is not a special stack, it does nothing). 20:18:47 hmmm 20:18:50 I like that 20:19:11 though currently the input/output stack is already interactive, so they can't really be triggered 20:20:10 (so that would mean using separate stacks for input and output again) 20:22:06 You could change it so that, it is input if you read the empty I/O stack, but otherwise you just read back the output, once triggered then its contents are send to output and it then becomes empty. Would this work? 20:24:26 hmm 20:24:36 well my first version had separate input and output stacks 20:25:15 the output stack was a regular stack, except with the side effect that when something had to be pushed onto it, it was printed out (but still pushed on the stack) 20:26:13 and the input stack was also a regular stack, except that if it was empty and something tried to pop it it would return a char read from stdin instead of 0 (other stacks return 0 when empty) 20:26:40 -!- Nisstyre has quit (Quit: Leaving). 20:27:06 in the new version I merged those two stacks, so trying to pop io would read a char from input, and trying to push x io would print x out (but not push it on any stack) 20:28:40 so you're suggesting that it become a regular stack, except that if it's popped when empty it returns a char from stdin instead of 0, and if it's triggered its content is outputted and it is then cleared? 20:28:51 yes I guess that would work 20:29:15 I do have some problems though - it is sometimes possible to "peek" instead of pop 20:29:49 A peek is just a dup followed by a pop on a stack 20:30:12 yes but it's troublesome when the in and out stacks are merged 20:30:36 it's like an anti-lazy evaluation 20:30:48 for instance imagine the kipple program (i blabla) 20:31:04 it's a loop that says "execute content of the loop until i is empty" 20:31:23 -!- Nisstyre-laptop has quit (Ping timeout: 245 seconds). 20:31:58 to know whether input is empty when using interactive io, my current solution is to read on char from io : if it's end of file then the stack is considered empty; else it is considered not empty, but that char must be kept for the next time someone tries to read i 20:32:59 (otherwise the program "(i>o)", which is supposed to be a cat, would print only every other character) 20:33:12 pretty much how i feel too much of the time http://www.mezzacotta.net/owls/?comic=489 20:33:55 oerjan you're... 20:34:18 DON'T FINISH THAT SENTENCE OR I'LL KILL YOU 20:34:34 ha you don't know where I live 20:34:41 (come to think of that, you probably do) 20:34:47 ... 20:34:48 and i mean _all_! 20:34:56 Somethings telling me Belgium 20:35:06 somewhere on earth, close enough. you _did_ read the comic, i assume. 20:35:33 * oerjan slips off to steal the dea^Wpeace moon from darths & droids 20:36:02 no that was a complete coincidence (sponsored by the Heart of Gold spaceship) 20:37:49 ah. 20:40:16 fizzie: oh and I forgot to say, I added a super-useful-essential-and-revolutionary stack which is called "dump" and is always empty (everything that is pushed to it is destroyed instead) 20:41:07 I guess it should be called "0" instead, seeing as popping it always gives a 0 but that would require too much modifications on the code for such a useless stack 20:41:51 It could be called "zero". Or "null". 20:42:04 i like that idea 20:42:11 It does sound a bit like /dev/zero. 20:42:28 is it a good idea? 20:42:54 `run echo hi >/dev/zero; echo success 20:43:05 success 20:43:26 `whois Taneb 20:43:30 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: whois: not found 20:43:31 Wait 20:43:34 Who is Taneb 20:43:42 It's not in the topic I have no idea 20:43:46 `? Taneb 20:43:49 Taneb is not elliott, no matter who you ask. 20:43:55 Okay, that narrows it down 20:43:58 `? elliott 20:44:01 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? 20:44:06 Hmm 20:44:09 `? Ngevd 20:44:13 ​򔳷wUf2.Ƨ\Ӗ!~iꆡ.B 20:44:21 That doesn't help at all 20:44:36 `? help 20:44:39 help? ¯\(°_o)/¯ 20:44:56 humm 20:44:58 "Data written to a null or zero special file is discarded. Reads from the null special file always return end of file (i.e., read(2) returns 0), whereas reads from zero always return bytes containing zero (\0 characters)." I suppose it's arguable which it resembles more. 20:45:00 `? misspellings of croissant 20:45:03 misspellings of crosant? ¯\(°_o)/¯ 20:45:39 `? reasons to not buy chocolate filled crossaints 20:45:42 reasons to not buy chocolate filled crossaints? ¯\(°_o)/¯ 20:46:05 agh 20:46:10 clear proof that none exist 20:46:12 I never saw ꆡ before 20:46:19 It looks like a trident with a bit sticking out 20:46:21 Cross-saints. 20:46:22 im now not sure which is the correct spelling 20:46:44 `? itidus21 20:46:47 itidus21 just made some instant coffee. 20:46:50 `? itidus20 20:46:52 and how 20:46:54 itidus20's entry has been censored. 20:47:02 `? itidus19 20:47:05 itidus19? ¯\(°_o)/¯ 20:47:10 Are you ever itidus19? 20:47:19 FreeFull: what a fantasist interpretation. It's clearly an ear with a bit sticking out 20:47:49 Arc_Koen: What sort of ear looks like that? 20:47:50 in theory i can be itidus22... but i think i didnt actually register it 20:47:51 -!- comex has joined. 20:47:53 `learn itidus19 disappeared into a space-time anomaly 20:47:57 I knew that. 20:48:01 don't make fun of my ears :( 20:49:10 its a carry-over from chat networks where beginning or ending an id in _ is illegal 20:49:35 why that is has never been explained to me 20:50:09 -!- FreeFull has changed nick to _FreeFull. 20:50:17 -!- _FreeFull has changed nick to FreeFull. 20:50:29 as a result, people valued such ids immensely and apparently some have indeed been traded for cash 20:51:45 ... 20:51:49 Really? 20:52:01 `? oerjan 20:52:04 Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian. 20:52:11 `? haskell 20:52:14 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 20:52:23 `? ocaml 20:52:26 ocaml? ¯\(°_o)/¯ 20:52:42 `? homestuck 20:52:45 random example found in google http://ilegal-id.blogspot.com.au/2012/06/long-undy.html 20:52:45 homestuck? ¯\(°_o)/¯ 20:52:57 `? HackEgo 20:53:00 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 20:53:27 `learn Homestuck is a cult religion for disaffected teens. 20:53:30 I knew that. 20:53:34 atriq: sometimes reality is more ridiculous than fiction 20:53:34 `? homestuck 20:53:37 Homestuck is a cult religion for disaffected teens. 20:53:59 `? wikipedia 20:54:00 `? atriq 20:54:00 `learn Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. 20:54:03 wikipedia? ¯\(°_o)/¯ 20:54:13 are you ignoring me? :( 20:54:16 `? atriq 20:54:22 atriq or two 20:54:23 Too close together, perhaps 20:54:29 I knew that. 20:54:30 atriq or two 20:54:45 lol lol 20:54:49 oh god 20:54:58 `? Finland 20:55:01 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. 20:55:10 `? Hexham 20:55:13 Hexham is a European town. There are nine people in Hexham, and at least two of them are in this channel. Taneb looks after the ham. 20:55:19 Hmm 20:55:27 More information about this mysterious "Taneb" 20:55:40 atriq: iirc, you are Taneb 20:55:48 olsner, who knows? 20:55:58 (me, and evidently you) 20:56:00 olsner: that doesn't really help 20:56:01 THIS INFORMATION IS CLASSIFIED 20:56:06 atriq: I certainly don't 20:56:14 All I know, is soon I must sleep 20:56:17 -!- atriq has quit (Quit: GOODNIGHT). 20:57:13 In his house at Hexham, atriq waits dreaming. 20:57:19 actually i guess it helps a lot 20:58:01 what could be strange though is reading about someone and not realizing it is you 21:00:22 I sometimes have the opposite problem with people with similar names to mine 21:00:49 oerjan: Isn't it "dead atriq waits dreaming"? 21:00:56 "Did I write this? I have no memory of that!" 21:02:18 sighs.. and prepares to say something weird 21:03:01 if.. some species, presumably humans, had an organ which was a tictactoe board 21:03:19 due to humans all being different, it would have to differ somehow between individuals 21:03:44 or not so much a tictactoe board but an embodiment of the game of tictactoe 21:04:05 some kind of evolution of the toe? 21:04:35 atriq tac toe 21:04:48 maybe tic-tac toes would have mint glands 21:05:57 i guess that its like how almost everyone has 8 fingers, and almost everyone has dna 21:06:11 and yet each finger differs 21:06:45 so .. theres nothing profound to be found in this 21:06:59 8 fingers? I counted 10 at last count 21:07:01 -!- ais523 has quit. 21:09:20 using analysis.. i think it is impossible to take any physical sample of 2 humans and find them to be identical 21:10:53 are youa llowed to take them from the same human? 21:11:40 i guess so.. 21:12:04 this may well generalize to all matter 21:12:53 well, if there are two distincts samples, then Ocaml's == operator would always return false 21:13:12 anyway, I'll follow atriq's neat example 21:13:21 enjoy the rest of the night! 21:14:51 this not helping headache 21:15:51 oerjan: about you comment on *brainfuck, I did not mean to say I put it in the brainfuck-equivalent category because it was TC; I meant that 1) it was trivial to translate a brainfuck program into *brainfuck, and 2) the other way around was probably irrelevant seeing as how *brainfuck's additions were not really useful at all 21:16:19 well i don't agree. 21:16:50 also allowing pointers probably gives it a more than linear speedup to brainfuck in some cases. 21:16:57 well then it probably doesn't belong to that category 21:17:06 oh, I hadn't considered that 21:17:06 similar to having extra tapes in a turing machine 21:18:46 Arc_Koen: i really like your idea about a null stack 21:19:08 itidus: I almost not implemented it because I thought it was not useful at all 21:19:15 oerjan: Isn't it "dead atriq waits dreaming"? <-- i considered it, but the dead atriq is a racehorse. 21:19:38 I mean, you could use any stack as a null stack and just "pretend" it's empty 21:20:06 i suspect theres more to this idea 21:20:19 (though if you actually want to free memory because you're inside a very long (or infinite) loop and don't want leaks...) 21:20:44 but i just cant get my head around it 21:21:35 well I'm gonna read some pages of my book and go to sleep - if you have any idea you want to share, feel free to @tell me or to leave a message on User_talk:Koen 21:21:43 Arc_Koen: In that case you could manually dump it every now and then; 0>z? is pretty elegant-looking. 21:21:46 see you 21:22:14 for some reasons I always forget about the ? command 21:22:46 like, every ten minutes I tell myself "hmm, kipple seriously like a way to destroy information..." 21:22:54 s/lack/like 21:23:22 -!- Arc_Koen has quit (Quit: that's dr. turing to you, punk). 21:44:46 If you can peek instead of pop, what you can have is, if you peek an empty I/O stack, you get input which is then pushed onto the stack, so if you peek and then trigger then it copies input to output. 21:46:13 -!- atehwa has joined. 21:52:11 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 21:59:20 Once I have the dream where I recognized something as myself even though it is not; it is myself in real life but different from the myself in the dream. Actually, involving some memories from one myself remembered by the other myself even though they are actually two distinct people. 21:59:40 And I could tell it is different, too; just that I knew some of their memories. 22:16:39 -!- copumpkin has joined. 22:21:55 so i was pondering 22:22:12 shachaf: I have been advised to play http://haxathon.com/ 22:24:27 if you have some special value 5 whereby, a * 5 = 5, a + 5 = 5, a - 5 = 5, a / 5 = 5, for all values of a, and you had another similar special value 4, then it would seem 4 * 5 = 4 ? 5 22:25:40 or maybe what i am doing is really just writing fallacies 22:26:16 itidus21: well that's more or less how you prove a group has just one identity, a ring just one zero, and similar things 22:27:29 -> 22:31:04 kmc: Should I play that? 22:31:48 dunno 22:31:49 -!- Nisstyre-laptop has joined. 22:31:50 i haven't started yet 22:31:58 i have a blog post i should finish up before i fall down any more rabbit holes 22:38:30 @quote rabbit 22:38:30 Squarism says: wo utilizing any tricks, i want 20 miljon rabbits to mate with each other once.. how many mate event will there be 22:38:53 @quote rabbit 22:38:54 Squarism says: wo utilizing any tricks, i want 20 miljon rabbits to mate with each other once.. how many mate event will there be 22:39:48 -!- pikhq has quit (Ping timeout: 248 seconds). 22:41:48 today the zero width non-breaking space character came in handy 22:44:35 -!- Vorpal has quit (Ping timeout: 260 seconds). 22:46:36 kmc: *victory* 23:12:08 -!- ssue has quit (Remote host closed the connection). 23:28:13 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:28:51 kmc: Interesting. 23:29:11 -!- quintopia has quit (Ping timeout: 245 seconds). 23:33:36 -!- jiella has quit (Quit: Leaving.). 23:39:46 -!- quintopia has joined. 23:54:46 -!- carado has quit (Quit: Leaving).