00:02:02 -!- TeruFSX2 has joined. 00:05:36 -!- TeruFSX has quit (Ping timeout: 264 seconds). 00:07:24 -!- nooga has quit (Ping timeout: 264 seconds). 00:17:10 -!- GreyKnight has joined. 00:20:47 @ask zzo38 Under "games" on zzo38computer.org, hangman has a weird line type. Can you explain? Also, I can't access the root menu by sending a blank selector, only "root". 00:20:47 Consider it noted. 00:26:39 `welcome shachaf 00:26:41 shachaf: 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.) 00:26:49 hi 00:28:00 welcome to #esoteric 00:28:11 GreyKnight: thanks 00:28:21 It's just not the same when it's not from elliott. 00:29:56 -!- GreyKnight has set topic: The international hub for exothermic voodoo programming and astral software projection and deployment. | http://codu.org/logs/_esoteric/. 00:33:42 -!- TeruFSX2 has quit (Ping timeout: 252 seconds). 00:35:54 -!- greyooze has joined. 00:36:16 -!- GreyKnight has quit (Ping timeout: 252 seconds). 00:36:57 -!- greyooze has changed nick to GreyKnight. 00:38:01 `quote 00:38:03 117) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's work and passing it off as our own. 00:38:35 `quote 00:38:36 635) but yeah the caliphates expanded their empire by conquering people and then forcing them to either convert to Islam or die. [...] i thought it was sort of, convert to islam or pay extra taxes, but i guess it varied a lot. 00:38:49 `quote 00:38:51 284) elliott, it was an artful robbery! wait, murder 00:38:55 `quote 00:38:57 `quote 00:38:57 350) You have no idea how desperately I want to avoid being a GC guy :P Every year I go to ISMM and Doug Lea gives me a bizarrely-cheery "Hello!" and I'm like "awww shit I'm in memory management" 00:38:58 691) fizzie: wait the germans burned lapland? they also burned finnmark. oerjan: It's a bit of what they do. This was the time when we no longer were such good friends any more, and told them to go away. 00:39:23 finnmark is a place? 00:39:25 or was maybe 00:39:35 `echo hi 00:39:38 hi 00:39:40 `quote 00:39:40 `quote 00:39:40 `quote 00:39:41 `quote 00:39:41 `quote 00:39:46 692) oh jesus my mother is trying to ship bear grylls with miranda hart aerio;jghaeirugha 00:39:47 699) There.... is a box of Gardasil next to the butter in my fridge. At least my sandwich will be immune to cervical cancer *and* genital warts, I suppose. 00:39:47 819) My latest FB post: The worst part of floating point math is not the fact that 0.1 + 0.2 yields 0.30000000000000004, but trying to explain to people why their language is horribly broken if 0.1 + 0.2 does NOT yield 0.30000000000000004. 00:39:47 401) * Sgeo is risking massive forest fires The bacon is worth it 00:39:47 273) django is named after a person? thought it would be a giraffe or something 00:40:27 692 or 401? 00:41:54 * GreyKnight takes aim at 692 00:42:44 delquote 692 00:42:49 my aim sucks 00:42:55 `quote aim 00:42:57 94) if you claim that the universe is more than 3D the burden of proof is on you to produce a klien bottle that doesn't self intersect ^ I learned that trick from atheists \ 184) oerjan: What, can girls aim their penises better? \ 291) anyway I've stopped ``trolling'' since appare 00:43:06 `delquote 692 00:43:11 *poof* oh jesus my mother is trying to ship bear grylls with miranda hart aerio;jghaeirugha 00:43:16 `quote 00:43:16 `quote 00:43:17 `quote 00:43:17 `quote 00:43:17 `quote 00:43:19 759) Very much like "cen" is Latin for "horse", "yak" is Latin for "yak". 00:43:19 318) my most fresh dream is one where I'm at a soup contest and a chicken really wants to participate but he's disqualified so he becomes the judge. when all the soups are done and he's ready to taste them he just stares at the soup and then I become the chicken and I really want to make soup 00:43:19 549) Hulu's movie selection is like MST3K without the MST3K characters. 00:43:20 367) The wickedest man of all. Surpassed only in wickedness by the wicked witches of the west and east. you talking about me again? Yes. k 00:43:20 133) Never ever use a quote which contains both the words "aloofness" and "gel" (verb). 00:43:57 none seem particularly bad, mass pardon 00:44:12 `quote 00:44:12 `quote 00:44:13 `quote 00:44:13 `quote 00:44:13 `quote 00:44:14 746) thank you verse I'm not quite innocent 00:44:15 216) Deewiant: Did you take the course at some point and/or were you taking it now and/or did you actually already graduate and/or are you still in Otaniemi anyway? 00:44:15 670) A quick look as WIikipedia ways that Wicca is a specific form of paganism related to witchcraft. That agrees with what I know from that Scoobie Doo movie with the wiccans in it. 00:44:15 648) i cnat eve begin to understand what you meant with that "one" 00:44:16 49) I think hamsters cannot be inert. 00:44:41 746? 00:44:49 -!- sgeo_ has quit (Read error: Connection reset by peer). 00:44:55 `quote dream 00:44:57 156) catseye: Please wake up. Not recorded for this timezone. The big spider is not your dream \ 241) back to legal tender, that expression really makes me daydream. Like, there'd be black-market tender. Out-of-town hug shops where people exchange tenderness you've NEVER SEEN BEFORE. \ 251) Gregor, yeah, but P 00:45:10 -!- sgeo has joined. 00:47:42 it's nearly 01:00, I'mma sleep 00:47:50 -!- GreyKnight has quit (Quit: zzz). 00:48:27 @ask monqy only you can save mankind 00:48:28 Consider it noted. 00:52:46 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:53:09 -!- Phantom__Hoover has joined. 01:00:50 @ask shachaf 01:00:51 Consider it noted. 01:00:58 @tell ion 01:00:59 Consider it noted. 01:01:03 @messages 01:01:04 shachaf said 5s ago: 01:01:08 @massages 01:01:09 ion asked 18s ago: 01:01:15 ion: Consider yourself told. 01:01:22 * ion considers himself told. 01:01:58 @tell ion off 01:01:59 Consider it noted. 01:02:17 sgeo: less nested. lessted. 01:02:44 See, I'm not the only one who brings chit-chat from other channels into here! 01:02:46 @@ @tell shachaf @echo @echo @echo @echo 01:02:47 Consider it noted. 01:03:04 @clear-massages 01:03:04 Messages cleared. 01:03:19 -!- TeruFSX2 has joined. 01:13:08 -!- carado has quit (Ping timeout: 246 seconds). 01:34:31 kmc: Do you know, if you have void foo(void (*)(void *p, T *x), void *p); which calls the function n times with the pointer you pass it, how to interface with it from GHC? 01:34:57 !bfjoust weird >(+)*20(>)*5([-[++[>([-[++[(>(+)*100[+][-][+.])*21]]])*22]]]>)*23(+)*112[[+][-][+]] 01:35:00 You could use foreign "wrapper" but that seems like overkill when you have an extra pointer right there. 01:35:09 Score for quintopia_weird: 17.8 01:35:15 haha 01:35:44 Ideally you'd be able to take apart a GHC closure and put it back together on the other end, but in this case let's say you just want to foreign export a function and pass an IORef for each iteration -- is there an easy way of doing that? 01:35:45 there's a nasty bug in that that is the only reason it can beat space_hotel. it amuses me. 01:38:06 I guess you could use a StablePtr? 01:43:22 shachaf: i don't quite follow 01:43:33 do you want to use a haskell function as the first argument to 'foo'? 01:43:37 Yes. 01:43:48 Ideally I want to use a Haskell closure. 01:44:09 But without actually generating executable code at runtime. 01:44:16 I think StablePtr is the answer to "how to do it explicitly". 01:44:33 right 01:44:56 you would get a StablePtr to a function and use that for 'p'? 01:45:28 elliott, Phantom__Hoover Fiora 01:46:35 kmc: That'd work. 01:46:40 I guess you can't really do better than that. 01:48:23 StablePtrs also need to be managed explicitly, but I suppose you can't do much about that. 01:59:32 !bfjoust even >(+)*20(>)*5([-[++[>>>([-[++[(>>(+)*105(+.)*46)*21]]]>)*22]]]>)*23(+)*112[[+][-][+]] 01:59:35 Score for quintopia_even: 6.6 01:59:38 hehe 03:09:43 fizzie: I just failed to type Functor twice in a row, typing Fungot instead. 03:09:44 I blame you. 03:09:56 ANd now a third time. 03:09:58 fungot! 03:09:58 shachaf: the present is a passed future is to invent a computational model 03:10:05 thx 03:32:04 -!- MDude has quit (Ping timeout: 248 seconds). 03:38:07 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 04:03:43 hey language lawyers, in C is &(f->a) undefined behavior for NULL f? 04:04:05 As in offsetof()? 04:05:14 yes offsetof might use that 04:05:50 which is why i am not sure 04:06:07 I doubt that it's undefined, and that's so frequently an implementation of offsetof, I'd be surprised if any compiler choked on it. 04:06:21 someone is seeing compiler behavior which would be easily explained if &(f->a) is undefined 04:06:58 Hm 04:09:30 http://stackoverflow.com/questions/7897877/how-does-the-c-offsetof-macro-work claims that defining your own offsetof that way is UB. 04:09:37 specifically: void f(struct foo *x) { g(&x->a); } void g(int *a) { if (a) { ... } } 04:09:41 segfaults on f(NULL) 04:10:22 Really? 04:10:26 Hm. 04:10:51 that is how they have described their problem to me 04:10:56 i have not attempted to reproduce it 04:12:14 Well, that's a different matter, though. 04:12:22 That can be UB even if getting the address isn't UB. 04:12:43 Are you allowed to do if (invalid_pointer) ? 04:13:00 I'm pretty sure void *p = malloc(n); free(p); if (p) { ... } is UB 04:13:27 hmm 04:13:39 that is strange but believable 04:13:56 There was the example of some machine (IBM something?) that had registers that could only contain valid pointers. 04:14:30 how would you even represent NULL on this platform? 04:14:53 NULL might be a special case. 04:15:29 I don't remember the details exactly. 04:15:41 This was one of mauke's example UB programs. 04:16:29 But I think the C standard specifically said you can't do almost anything with invalid pointers. 04:17:09 #musl is the place to ask. 04:27:20 -!- evincar has joined. 04:45:53 -!- Arc_Koen has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 05:59:33 -!- Nisstyre-laptop has joined. 06:00:31 -!- FreeFull has quit. 06:06:37 Gregor, should I note that ShaFuck has been broken? http://shinhoge.blogspot.kr/2012/12/shafuck-is-not-unbeatable.html 06:07:10 OH NOOOOOOOOOOOOOOO 06:07:49 No, he did it wrong. 06:08:06 “with the caveat that comments are not allowed” 06:08:13 That's been in the description since the beginning. 06:08:47 okay, to be precise the *current implementation* of ShaFuck has been broken 06:09:10 you should fix a security hole ;) 06:09:14 -!- TeruFSX2 has quit (Ping timeout: 255 seconds). 06:13:20 What the heck?! 06:13:25 Why does my implementation accept this?!?!?! 06:13:41 default: 06:13:41 fprintf(stderr, "Unrecognized operation '%c' (%02X)\n", 06:13:41 shaprog.buf[pi], (unsigned char) shaprog.buf[pi]); 06:13:41 exit(1); 06:15:07 Gregor: http://esolangs.org/w/index.php?title=ShaFuck&action=historysubmit&diff=35114&oldid=34130 06:15:27 that check is only run when the instruction is about to be executed 06:15:30 you mentioned it before, but i'd just like to compliment "The Eval that Men Do" 06:15:51 lol 06:15:58 Yeah, I understand now. 06:16:32 usually puns in paper names just piss me off but i like this one for some reason 06:16:56 X-D 06:18:11 -!- monqy has joined. 06:22:27 elliott monqy Fiora 06:22:30 I'm a bit late 06:29:59 -!- sebbu has quit (Read error: Connection reset by peer). 06:30:27 -!- sebbu has joined. 06:59:32 -!- Bike has quit (Ping timeout: 248 seconds). 07:00:45 -!- Bike has joined. 07:09:31 -!- popl has joined. 07:18:32 @quote badpun 07:18:32 danharaj says: unsafeCoerce should be renamed to badPun 07:19:27 Jafet: Did you used to hang out in ##C++? 07:21:01 Possibly 07:21:27 Ok. 07:22:06 @quote jafet c++ 07:22:06 jafet says: "Zygomorphism" sounds like a reproductive disorder 07:22:11 @quote jafet c\+\+ 07:22:11 No quotes match. Maybe you made a typo? 07:22:25 @quote Jafet c\+\+ 07:22:25 Jafet says: [on ##c++] They're not nasty; their niceness is just distributed over more people. 07:24:29 Jafet: I hung out there in a past life. I seem to remember you, is all. 07:24:31 It's nothing. 07:25:14 I should not have brought it up. 07:25:15 -!- popl has left. 07:28:46 But now it's brought up, and can never be taken down. :/ 07:30:34 Send me a DMCA notice 07:56:21 -!- yiyus has quit (Ping timeout: 244 seconds). 08:18:56 -!- Yonkie has joined. 08:19:35 -!- Bike has quit (Quit: leaving). 08:25:06 -!- yiyus has joined. 08:49:14 -!- epicmonkey has joined. 09:00:39 -!- carado has joined. 09:07:15 -!- nooga has joined. 09:24:01 -!- carado has quit (Read error: No route to host). 09:24:41 -!- carado has joined. 09:41:30 -!- davidwerecat has quit (Ping timeout: 264 seconds). 09:41:40 -!- evincar has left. 09:45:25 -!- oerjan has joined. 09:49:22 -!- copumpkin has quit (Ping timeout: 265 seconds). 09:49:55 -!- copumpkin has joined. 09:50:17 -!- epicmonkey has quit (Ping timeout: 255 seconds). 09:53:18 @tell GreyKnight finnmark is a place? <-- yes it is (norway's largest county (by area, not population), it got rebuilt after the germans burnt it); for some reason this amazes certain people on this channel... 09:53:18 Consider it noted. 09:57:22 don't believe him, it's just their name for finland and he's being incredibly racist. 09:59:18 we've been autonomous from the democratic republik of the norways for _years_ 10:02:08 @tell GreyKnight Other county names you may find amusing - oh heck let me just list them all: Akershus, Aust-Agder, Buskerud, Finnmark, Hedmark, Hordaland, Møre og Romsdal, Nord-Trøndelag, Nordland, Oppland, Oslo, Rogaland, Sogn og Fjordane, Sør-Trøndelag, Telemark, Troms, Vest-Agder, Vestfold, and Østfold. 10:02:08 Consider it noted. 10:02:28 hi oerjan 10:02:30 did you hear about 10:02:32 SUPER LENSES 10:02:32 hi shachaf 10:02:35 monqy: hi 10:02:40 oh no 10:02:42 :( 10:02:44 does "Møre og Romsdal" mean "more of romsdal" 10:02:51 or moors of Romsdal 10:02:53 oklofok: no. 10:03:03 you are in trondheim no? 10:03:07 yes. 10:03:16 no = norway in that ofc 10:03:25 OKAY 10:03:37 so there were some positions advertised in your uni 10:03:47 toronhaimo no 10:03:55 (-- emperor akihito) 10:04:49 "og" means "and", hth 10:05:01 i know 10:06:39 i know like 3 norwegian words _fluently_ 10:07:20 Telemark is a place? 10:07:43 cool 10:07:54 i suppose that's where the term comes? 10:08:23 so "o/" if you get adjoints 10:08:28 in category theory 10:08:32 because i don't. 10:08:57 (i won't ask about them, just interested) 10:09:02 the skiing term? yes. 10:09:04 (^ for oerjan) 10:09:53 Is Oppland very high opp? 10:09:57 i vaguely get adjoints. i understand that free and underlying functors are adjoint, and that composing adjoints gives (all) monads 10:10:30 fizzie: they do have mountains, although i think it's more in the "up from the coast" sense 10:10:50 Do they also have ircops? 10:10:50 it's the only county not to have a coast 10:10:56 there's this paper about how CA are comonadic and how some known results come from that fact for free 10:11:20 oerjan: "Oppland is, together with Hedmark, one of the only two landlocked counties of Norway." 10:11:33 Is Wikipedia or oerjan the liar? You decide! 10:11:51 hey you're not a liar just because you make an off-by-one error. 10:11:54 they counted it twice because it's also landlocked from above. 10:12:03 that's why the name 10:12:21 -!- evitable has joined. 10:12:26 -!- evitable has quit (Client Quit). 10:12:33 that was inevitable. 10:12:47 i misremembered a quiz answer from the newspaper. oppland is the only one to have _neither_ a coast nor a border with a neighboring country. 10:13:00 monqy: did you learn lenses yet 10:13:02 monqy: don't 10:13:07 monqy: forget everything you know about lenses 10:13:36 does inevitable also mean someone who cannot be evited anywhere because they're not on facebook 10:14:03 eviting is a facebook term now? 10:14:24 * oerjan is inevitable *MWAHAHAHAHA* 10:14:25 shachaf: that's my plan 10:14:33 i'm not 10:14:35 i'm on facebook 10:14:43 *gasp* 10:14:55 been for like half a year now 10:15:03 monqy: because we've just made lenses 10:15:06 A BILLION TIMES BETTER 10:15:10 at LEAST 10:15:11 it was quite a thrill at first, you should try it 10:15:45 i can be your friend, i'm trying to get to 10000. 10:15:55 shachaf: does that mean we can do polymorphic update with fields that must be the same type? 10:16:56 oerjan: type Iso s t a b = (Functor f, Functor g) => (g a -> f b) -> g s -> f t 10:16:59 ...i refuse to believe anyone on this channel can get to 10000 without becoming famous first. 10:17:25 um Iso is already known isn't it? 10:17:49 oops this is different 10:18:03 or is it. 10:18:18 to know, i would first have to know the original Iso properly. 10:18:34 oh well i assume i'll read all about it on reddit. 10:19:28 wait, maybe oklofok _is_ famous. he could be in a black metal band without having told us. (or perhaps having told and us forgetting.) 10:20:04 oerjan: It's different. 10:20:24 * oerjan vaguely recalls oklofok looks like he's in a black metal band, despite never having seen a picture of him. 10:20:36 i have been in at least one metal band at pretty much any given moment of my life. 10:20:57 oerjan: i think i have like 20 friends on fb atm 10:20:59 `runc int main(void) { printf("%s", -0x80000000 > 0 ? "C is tricksy" : "logic still holds"); } 10:21:01 yay my prejudices are correct! as always. 10:21:03 C is tricksy 10:21:30 oklofok: i'd like to see a picture of you in a metal band as a baby. 10:21:57 i don't like doing gigs so fame is not really a threat 10:22:02 ok 10:22:48 i've been on three gigs as a singer for other bands, and that's it unless you count performances at school 10:24:13 elliott, monqy Fiora 10:24:16 4:14 10:24:20 `runc int main() { puts(__typeof__(0x80000000)); } 10:24:22 No output. 10:24:40 fizzie: um i assume that 8 is the sign bit... 10:25:19 alternatively the type is unsigned 10:25:33 oerjan: 0x80000000 ends up unsigned, yes. 10:25:38 `runc int main() { printf("%z, %z", 0x80000000, -0x80000000); } 10:25:41 %, % 10:25:45 0x7fffffff would be signed, as would 0x100000000. 10:25:49 `runc int main() { printf("%d, %d", 0x80000000, -0x80000000); } 10:25:52 -2147483648, -2147483648 10:26:01 You're printing them wrong. 10:26:12 They're unsigned ints and you're telling printf to print signed ints. 10:26:14 `runc int main() { printf("%s", 0x80000000); } 10:26:17 /hackenv/bin/runc: line 3: 283 Segmentation fault $t 10:26:33 `runc int main(void) { printf("%s", -(int)0x80000000 > 0 ? "C is tricksy" : "logic still holds"); } 10:26:35 logic still holds 10:26:41 OKAY 10:27:06 `runc int main(void) { printf("%s", -0x100000000 > 0 ? "C is tricksy" : "logic still holds"); } 10:27:09 logic still holds 10:27:26 AAAAAAAAAAAAAAAAAAAAAa 10:27:27 That one works because it doesn't fit in unsigned int either, and therefore goes to signed long (or long long). 10:27:54 ok then, C _is_ tricksy. 10:28:02 `runc int main(void) { printf("%s", -2147483648 > 0 ? "C is tricksy" : "logic still holds"); } 10:28:05 logic still holds 10:28:13 And that one works because decimal constants have different rules than octal/hex constants. 10:28:19 -!- ais523 has joined. 10:29:05 ais523: fizzie is abusing C again, ban him! 10:29:30 oerjan: isn't C /made/ to be abused? 10:29:38 ...point. 10:29:44 Just look at how it's dressed. It's obvious it wants to be abused. 10:31:54 okokokokokokokokokokokokokokokokokoko 10:35:03 Also also, 2147483648 is unsigned in C90 if LONG_MAX < 2147483648, but signed always in C99. So -2147483648 > 0 might end up true too, e.g. on a "32-bit" C90 system. 10:37:31 `lang c int main(void) { printf("abc\n"); } 10:37:32 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: lang: not found 10:37:46 I did try "interp c" and it didn't work out at all. 10:38:26 In fact, none of the 'gcccomp'-based ones really seem to be working. 10:38:39 `interp c printf("abc"); /* IIRC it has a template */ 10:38:56 cat: /bin: Is a directory \ Does not compile. \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./ 10:38:57 Just look at that mess. 10:49:18 -!- keb has quit (Read error: Connection reset by peer). 10:49:44 -!- keb has joined. 10:52:22 -!- carado has quit (Ping timeout: 246 seconds). 10:59:13 -!- ais521 has joined. 10:59:35 Hello 11:01:25 I didn't know you could run two versions of ais at the same time. 11:04:01 it's a highly dangerous prospect 11:04:23 -!- epicmonkey has joined. 11:06:48 Ais Dismikroutsikos. (By way of analogy from Hermes Trismegistus, via a complete lack of knowledge of Greek.) 11:06:48 most likely some feather operation went wrong and duplicated a version retroactively instead of replacing it 11:07:50 it will have happened during another test of the implementation 11:09:05 Perhaps it "wioll haven be" happened. 11:10:08 ("You can arrive (mayan arivan on-when) for any sitting you like without prior (late fore-when) reservation because you can book retrospectively, as it were when you return to your own time. (You can have on-book haventa forewhen presooning returningwenta retrohome.)") 11:10:53 ais521: you should really pick a less confusing nickname. 11:11:48 I'll just go back to the old one then 11:11:52 -!- ais521 has changed nick to AnotherTest. 11:12:08 :( 11:13:43 YetAnotherTest 11:14:25 -!- AnotherTest has changed nick to YetAnotherTestBe. 11:14:36 -!- YetAnotherTestBe has changed nick to AnotherTest. 11:14:54 Well YetAnotherTestBeforeTheActualRelease was too long 11:37:08 -!- copumpkin has quit (Ping timeout: 265 seconds). 11:37:41 -!- copumpkin has joined. 11:40:17 ParoleCandidate 11:51:40 -!- asiekierka has quit (Excess Flood). 11:52:57 -!- asiekierka has joined. 12:10:49 most likely some feather operation went wrong and duplicated a version retroactively instead of replacing it ← this is entirely possible, you can even do it intentionally if you feel like it; the easiest way is to retroactively set an object to something that contains a copy of itself 12:11:11 then you can repeat arbitrarily many times, in order to create an object that's based entirely on itself, as far back as anyone checks 12:11:43 and this is how, I hope at least, you can retroactively change an ancestor of a Feather implementation to always have been written in Feather 12:11:56 as you might gather, though, I've never actually been able to make it work 12:13:13 i get a "trying to switch quantifiers" vibe 12:14:33 from "for all n you can get it to be feather back to that n" to "you can get it to be feather for all n" 12:14:48 which is not necessarily mathematically sound 12:15:48 or, the thing about "as far back as anyone checks" is that you need to repeat that far, which is uncomputable in advance 12:19:53 -!- epicmonkey has quit (Remote host closed the connection). 12:20:03 -!- epicmonkey has joined. 12:34:10 -!- copumpkin has quit (Ping timeout: 265 seconds). 12:34:43 -!- copumpkin has joined. 12:36:38 oerjan: nah, you have retroactive changes, so you start by picking an arbitrary number of times to repeat 12:36:49 should someone check back further than that, then you retroactively change it to be more 12:38:09 as long as you have enough monitoring to detect the check... 12:38:22 this sounds vaguely totalitarian :P 12:38:55 WE HAVE ALWAYS BEEN AT WAR WITH EAST ASIA 12:41:38 oerjan: well the great thing is, by default the monitoring is perfect, but you can retroactively change it to be imperfect and get back in history that way :) 12:41:56 OKAY 12:42:12 DOUBLEPLUSGOOD 12:50:29 How many characters can an average human read a second? 12:50:35 42 12:50:51 I really need this in fact 12:51:37 ah. sadly that means murphy's law triggers and you will find the entire universe keeping the information from you. 12:52:07 Well, I guess I'll just determine an average speed of reading a character by testing it 12:52:33 I SENSE A BIASED SELECTION OF AVERAGE HUMANS HERE 12:54:15 It doesn't matter really 12:54:26 I just a somewhat realistic number 12:55:08 18.4 is probably good 12:55:18 well good enough 12:57:10 "While the average adult reading rate is 250 words per minute --" Wikipedia "Speed reading" article. 12:57:43 `run words 250 | wc 12:57:49 1 25 169 12:57:56 THERE YOU GO 12:58:22 250 words is 25 words? 12:58:29 I SENSE POSSIBLY A BUG HERE 12:58:58 I'm not sure if words' length distribution is particularly reliable either. I remember it being discussed, though. 12:59:20 Well, 18 aw actually pretty close to 20.8333 12:59:23 *was 12:59:29 assuming a word is about 5 characters 12:59:39 5 is a good estimate for that. 12:59:43 > 5*8 12:59:44 40 12:59:57 Well, I guess a character isn't necessarily 8 bits. 13:00:13 -!- oerjan has quit (Quit: leaving). 13:01:56 hm 13:02:31 let's say that it takes about .5 to make a mouse click if you don't have to move the mouse and your finger is already on it? 13:02:35