00:03:06 Gregor: I mean, it's more work on whatever's driving cunionfs, but I think achieving the same without something this generic is basically impossible. 00:09:12 -!- pikhq has joined. 00:09:21 -!- pikhq_ has quit (Ping timeout: 248 seconds). 00:22:26 elliott: About how easy do you think creating a package is going to be with kitten? (please say trivial) 00:22:51 pikhq: Like, three, four lines for a GNU package? 00:23:12 Add another one to that if it's "GNU-ish" (autotools and the like) but not a GNU package (so you have to specify a tarball location). 00:23:20 So yeah, trivial. 00:23:31 So, nothing obscene like ebuilds, or Debian. Good. 00:24:26 I mean, it'll get longer if you specify your own configuration options and the like (packages have configs in Kitten). 00:24:39 And a little longer if there's a service. 00:24:55 And /ideally/ if there's configuration you should expose that so it can all be done in a unified manner, but... 00:25:00 Yeah, four lines for simple stuff. 00:35:16 # For UML and non-PC, just ignore all options that don't apply (We are lazy). 00:35:16 ignoreConfigErrors = (userModeLinux || stdenv.platform.name != "pc"); 00:35:16 Pro 00:46:59 -!- oerjan has joined. 00:55:38 hi oerjan 00:55:44 hi elliott 00:58:03 hi oerjan 00:59:03 hi elliott 00:59:19 -!- pikhq_ has joined. 00:59:24 hi oerjan 00:59:29 -!- pikhq has quit (Ping timeout: 258 seconds). 00:59:39 hi oerjan 00:59:50 no uyuo ruined it 01:00:00 hi shachaf 01:00:07 Bah, that uyuo. 01:00:22 such a spoilsport 01:03:17 the mezzacotta comic is ominous today. 01:07:16 hi shachaf 01:07:24 oklopol hi 01:07:36 elliott: hi 01:07:45 hi 01:17:39 elliott wins 01:18:22 -!- Sgeo|web has joined. 01:26:00 Man. There's organizations advocating the use of romaji or kana for Japanese writing exclusively. 01:26:13 They themselves publish their material in standard Japanese script. 01:26:18 FAIL 01:28:39 well if they published it in more than one form it would be ok... 01:29:12 it's hard to do marketing if the audience doesn't understand you :P 01:29:42 Essentially every Japanese speaker can read romaji or kana. 01:30:18 as easily as standard format? 01:30:36 Romaji is just the Latin alphabet, as used for romanization of Japanese, and kana is the phonetic script used in Japanese, in conjunction with Chinese characters. 01:31:09 or wouldn't be sort of like funetikal inglish, wer yu kan rid it but it is slow an awkward? 01:31:16 *it be 01:31:37 It'd be slow and awkward like funetikal inglish, yes. 01:31:52 For much the same reasons, in fact. 01:32:29 mhm 01:32:54 oh good point 01:32:58 Except, of course, that romaji and kana are actually *taught* in public education, as knowledge of both are necessary for literacy. :) 01:33:27 i press half- 01:33:29 baked 01:33:36 then realize this is the best comic ever 01:33:37 http://www.mezzacotta.net/archive.php?date=1281-04-18&vote=3 01:34:16 oh no you made me vote 3 01:34:42 i did? 01:34:58 It also doesn't help that the current linguistic trends are in the *opposite* direction from what they advocate. Japanese is slowly but surely increasing the amount of kanji used. :) 01:35:07 either that or it just said "thanks for helping us bake this comic" 01:35:10 maybe it's just weird 01:35:21 oh lolol 01:35:37 yeah don't press that link ppl :D 01:35:38 better clip off the part from & on 01:35:54 http://www.mezzacotta.net/archive.php?date=1281-04-18 BETTER LINK 01:35:56 http://www.mezzacotta.net/archive.php?date=1281-04-18 BETTER LINK 01:35:56 http://www.mezzacotta.net/archive.php?date=1281-04-18 BETTER LINK 01:35:56 http://www.mezzacotta.net/archive.php?date=1281-04-18 BETTER LINK 01:36:02 JUST IN CASE 01:36:09 SOMEONE READS THE LOGS IN ORDER 01:36:42 i'll balance it out with a 2 >:) 01:36:58 nnnnnooooooooooooooooooooooooo 01:41:31 http://www.mezzacotta.net/archive.php?date=1748-04-04 01:43:57 yes good 01:46:45 isn't that from the hall of fame, istr it or a similar one 01:47:56 indeed it is 01:57:56 * oerjan smells a monthly windows update check 02:08:27 -!- Lymia has quit (Remote host closed the connection). 02:17:47 hm or not 02:29:52 -!- Madoka-Kaname has joined. 02:29:52 -!- Madoka-Kaname has quit (Changing host). 02:29:52 -!- Madoka-Kaname has joined. 02:36:14 elliott: Please note that I also have no experience with kernel modules :P 02:42:20 Gregor: Oh dear :P 02:42:54 Gregor: That's especially worrying considering that unionfs and aufs are both large codebases :P 02:43:38 Well. 02:43:41 Not that large, but still. 02:46:15 Frankly I don't think it would be wise to start from an existing codebase. Dynamic per-process union is in some ways fundamentally different from static (or changeable only for all processes) per-system union ... 02:48:09 Gregor: Oh yeah I totally agree 02:48:15 Gregor: I'm just saying, hard task :P 02:48:26 Gregor: OTOH it's likely that the existing solutions are filled with cruft and overcomplication. 02:48:34 So it's probably not worth worrying too much about it :P 02:51:09 But yeah, if you have any ideas for atomic branch-changing of multiple processes that'd be nice, since the only interfaces I can think of are kinda ugly... 02:56:26 * Gregor googles for "how to write a kernel module", because that's how he rolls. 02:58:19 -!- Darth_Cliche has joined. 02:59:49 it's the dark side of bad writing! 03:00:28 Gregor: Doesn't the kernel come with docs on that :P 03:01:35 elliott: Yeah, and that was the first Google result! 03:01:50 Gregor: You forgot to append "for dummies". 03:02:03 I would buy "Linux Kernel Module Writing For Dummies". 03:02:50 X-D 03:03:10 I seem to recall once having a book titled The Idiot's Guide for Dummies. 03:03:28 Brain Surgery for Dummies 03:03:52 It's easier than when you're working on a smart person's brain. 03:06:13 I was thinking that maybe outside package updates /shouldn't/ propagate into a "with " context after all because the libblah version changing mid-build is not what you want. But I think that's wrong because, well, it's your own fault for upgrading while running a build outside of the system. 03:06:26 So yeah, still needs more logic than a simple "this but with more directories" system. 03:16:17 -!- Sgeo|web has quit (Ping timeout: 265 seconds). 03:20:54 -!- MDude has changed nick to MSleep. 03:37:31 -!- centrinia has quit (Quit: Leaving). 03:43:38 pikhq_: There's no way to change gcc's default flags easily, right? 03:43:45 At least I gather that modifying spec files is a huge pain 03:46:25 Just spec files. 03:46:52 Though it's actually not that hard to modify a spec file after the GCC build is done. 03:46:57 It's just a text file. 03:47:55 pikhq_: Hmm... where's it stored? 03:48:06 Gregor: What about The Complete Idiot's Guide to Dummies? 03:49:33 oh hm 03:50:01 elliott: $prefix/lib/gcc/$tuple/$version/specs 03:50:17 http://www.amazon.co.uk/Complete-Idiots-Guide-Dummies-Stupidity/dp/1580081746 03:50:24 pikhq_: ls: cannot access /usr/lib/gcc/x86_64-unknown-linux-gnu/4.6.2/specs: No such file or directory 03:50:33 By default, a spec file is not actually installed there, and gcc uses one that's compiled in; use -dumpspecs to get that. 03:50:42 Ah. 03:50:43 However, if the spec file *is* there gcc uses it instead. 03:50:48 %{!fsyntax-only:%{!c:%{!M:%{!MM:%{!E:%{!S: %(linker) %{!fno-use-linker-plugin:%{flto|flto=*|fuse-linker-plugin: -plugin %(linker_plugin_file) -plugin-opt=%(lto_wrapper) -plugin-opt=-fresolution=%u.res %{!nostdlib:%{!nodefaultlibs:%:pass-through-libs(%(link_gcc_c_sequence))}} }} %{flto|flto=*:% %{!nostartfiles:%S}} %{static:} %{L*} %(mfwrap) %(link_libgcc) %o %{fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp)} %(mflib) %{fsplit-stack: --wrap=pthread_create} %{fprofile-arcs|fprofile-generate*|coverage:-lgcov} %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}} %{!nostdlib:%{!nostartfiles:%E}} %{T*} }}}}}} 03:50:53 I... 03:51:08 Okay, so it's a bit obtuse because they stick a lot of logic in it. 03:51:20 a paragon of readability 03:51:29 Like, this is how they actually implement many of the flags. 03:51:44 http://sprunge.us/IDUC 03:51:47 It's... not too bad. 03:52:08 pikhq_: How portable are the built-in files? 03:52:10 One per architecture? 03:52:25 Just wondering how I could /generically/ modify one in a portable package... 03:52:55 elliott: The built-in spec file is basically a generic file with a few arch-specific bits filled in. 03:53:02 Right. 03:53:15 For instance, the path to the dynamic linker, and the m64/m32 logic. 03:53:38 Is there a way to override the path to the dynamic linker at some stage /before/ mucking with spec files? :P 03:53:56 Yes, but that's mucking with GCC source instead. 03:53:56 I suppose that's a binutils thing too... (for ld(1)) 03:54:08 pikhq_: Suxx 03:54:19 How do I do it for ld(1) :P 03:54:42 ld(1) is ignorant of it. 03:55:39 Its only knowledge of the dynamic linker comes from an argument to it. 03:56:04 pikhq_: Huh, I thought it could link without specifying that... 03:56:27 You *really* are not meant to call ld directly. 03:57:51 OK, I guess I can make this work then. 03:58:07 23:55:52 < pikhq_> You *really* are not meant to call ld directly. 03:58:09 what 03:58:28 coppro: For general-purpose "building a normal program" use, I mean. 03:58:50 Obviously, if you're doing, well, anything more complicated then you should. 03:59:31 i like how coppro quoted something literally two lines up 03:59:54 Probably the best example of a good time to use ld is building a kernel. 04:00:25 Though I suppose you *could* go through the compiler frontend there, it's really acting as a giant no-op. 04:02:17 coppro: Tell me clang has a better way to modify this shit than spec files 04:08:53 pikhq_: -ffreestanding, dawg 04:09:35 Gregor: BAH 04:09:59 Hmmm, I wonder if I am sold on Nix's runtime dependency model 04:10:44 It doesn't have any false positives, but I'm not entirely convinced it has no false negatives either 04:12:13 I solved the atomic branch change problem Gregor, you just need to write it as an @ module and you'll get atomicity FOR FREE :| 04:12:18 * elliott helpful 04:27:46 elliott: I don't know what spec files are 04:27:49 so I dunno 04:28:11 coppro: How'd I build clang to use a different path to the dynamic linker 04:28:20 Specs files are http://sprunge.us/IDUC :P 04:33:39 elliott: oh, ok, not quite that bad I don't think 04:33:42 but kinda bad 04:34:00 I think Driver/Driver.cpp or DriverOpts or something is where that is processed 04:34:03 it's all hardcoded 04:34:29 coppro: well it's easy with gcc too if i patch the source :P 04:44:06 pikhq_: Bah, I might need to make / a unionfs after all 04:45:20 -!- DCliche has joined. 04:47:28 -!- Sgeo|web has joined. 04:48:48 -!- Darth_Cliche has quit (Ping timeout: 260 seconds). 05:00:45 "the C library function system() has a hard-coded reference to /bin/sh." 05:00:47 glibc, friends. glibc. 05:02:13 so very glib, c 05:02:32 Hey, who has libc.so ? 05:02:41 ssssssssssssh 05:02:48 we don't talk about that here 05:02:55 hey Gregor ;D 05:03:50 elliott: Hmm. I'm not sure what it could do other than be compiled with a reference to the shell. 05:04:02 Admittedly, it should be a configuration option. 05:04:33 -!- Patashu has joined. 05:05:04 What happened with libm.so, that's Gregor's right? 05:19:18 Nope, I have libdl.so. 05:20:18 -!- bd_ has quit (Ping timeout: 260 seconds). 05:20:23 -!- bd_ has joined. 05:46:17 -!- DCliche has quit (Quit: You are now graced with my absence.). 06:02:28 Yay, I think the Secret Project actually does help me immensely. 06:02:38 This is worrying; I now depend on both ais523 and Gregor. 06:11:38 oerjan: you should really look forward to the near future, wherein you get to deal with me implementing a lazy functional language from scratch 06:11:39 >:D 06:12:02 i can help a lot with laziness, yes 06:12:49 oh snap.e 06:14:03 wow oerjan is snape my typoes lead to discoverieres 06:15:44 man tcb passwords will fit so well with this system. so well. 06:17:12 hmm! since nix is like a functional make, i wonder what a functional tup would look like... oh ... wait ... oh god 06:17:18 pikhq_: tup is the upstart of build systems 06:18:40 pikhq_ quick be mortified with me 06:18:59 Oh. Dear. 06:19:22 It is literally based on the events-over-dependencies model oh god tup cannot handle only building some targets. 06:19:40 oerjan I need to get very, very drunk help me out here do you have alcohol in Trondheim I have booked a plane ticket. 06:20:33 elliott: Actually, tup can handle only building some targets. 06:20:48 pikhq_: How? 06:21:12 I have no idea on the implementation details, but "tup upd foo" will only build foo and its dependencies. 06:21:37 pikhq_: I suspect it marks what targets every target "contributes" to in the DB. 06:21:51 Which is... just an emulation of the dependency model, fast only because it's cached. 06:23:13 elliott: sure, it's just ten times as expensive as in england, is all 06:23:32 oerjan: oh don't worry. i won't be needing my money any more. 06:24:13 o kay 06:24:18 @ask ais523 How does the Secret Project handle scheduling being non-deterministic? 06:24:18 Consider it noted. 06:24:45 @ask ais523 Also, what kind of incredibly rough time estimate would you give for an open-source release of working code? 06:24:46 Consider it noted. 06:28:45 oerjan: btw i am dead serious about looking forward to the near future. you are going to have so much fun. 06:29:12 >:D >:D >:D> :D>:D> :D> :SD: S:A"|D: AS"|d; 06:30:21 zombie smilies 06:31:28 noooo nixos-jfp-final.pdf is so short i have already read it all 06:31:34 you betrayed me paper 06:31:58 elliott: http://thepiratebay.org/torrent/6554331/Papers_from_Philosophical_Transactions_of_the_Royal_Society__fro 06:32:01 have fun. 06:32:16 too big........ 06:32:48 CAN'T HAVE YOUR CAKE AND EAT IT WAIT WHAT THAT MAKES NO SENSE. 06:33:26 http://content.yieldmanager.edgesuite.net/atoms/5a/10/ce/6b/5a10ce6be873ac8fc50583ea7bddb9.jpg ;; this ad.................. 06:33:36 GET YET GENETICALLY MODIFIED WOMEN WITHOUT THE ABILITY TO SAY "NO" 06:33:40 s/YET/YER/ 06:33:58 elliott: I'm sorry but my internet is adfree 06:34:07 you're missing out on so much 06:34:11 ads have become truly surreal lately 06:34:19 in fact, when I try to pull up that image in a tab by itself 06:34:24 adblock removes it. 06:34:27 so I clicked that 06:34:33 it's trying to make your life worse. 06:34:35 and it turned into a blank tab. so I had to refresh rapidly to see it. 06:35:29 elliott: I don't know it's pretty nice. I go to websites and only see typical internet shit 06:35:45 instead of all this other, lower-quality internet shit around the top, bottom, and sides. 06:36:12 I kind of forgot that thepiratebay had ads, actually. 06:36:32 does facebook have ads? 06:36:54 a few. 06:37:41 man, they're still trying to prosecute aaron swartz? 06:37:55 prose. cute. 06:38:02 CakeProphet: ? 06:38:13 that's how I read prosecute after looking at it again. 06:38:35 heh 06:39:11 Aaron Swartz is a heroic swashbuckler of the internet. 06:39:35 you're thinking of guybrush threepwood 06:42:28 ...who? 06:42:40 Cake "too lazy to google" propoojweijwei2kker 06:43:17 uh 06:43:33 anyone who doesn't know who guybrush threepwood is lives a very sad life 06:43:39 and needs to play the first two monkey island games 06:43:52 nah 06:43:56 (third is decent, laters are crap) 06:44:01 * CakeProphet plays CALL OF DOOTY BLACK OP ZOMBIES FUCK YEAAAAAH 06:44:05 CakeProphet: no. you _really_ need to. 06:44:07 also dwarf fortress. 06:44:24 ron gilbert is judging you. tim schafer is judging you. 06:44:27 feel their judgment. 06:44:38 ouch. 06:44:54 i even heard a mutter from schafer. he thinks you probably haven't even played grim fandango. i don't think he likes you any more, CakeProphet/. 06:45:05 incidentally snake is the best game ever made. 06:45:09 but only with no walls. 06:45:15 and wraparound screen. 06:45:33 it's a fascinating and telling metaphor for hubris. 06:47:12 the walls ruin the game completely. 06:47:37 as it confines you. it's no longer just about your vainglorious lust for little square pixel foods. 06:48:01 Seriously though anyone who hasn't played the first two Monkey Island games has lead an incomplete life. 06:50:52 CakeProphet thinks I'm joking; I'm not joking. 06:52:50 elliott: did you play amazon trail? 06:52:57 that game was better. 06:53:13 CakeProphet: I'm going to rip your limbs apart. 06:53:27 RIP YWROUIER;SDF WEHT LIMBS FKGOP 06:54:06 The score largely consists of reggae, Caribbean and dub-inspired music. 06:54:23 * CakeProphet lights a blunt and plays some Monkey Island. 06:55:02 oh, new homestuck. time to sleep. 06:55:16 wat 06:55:17 CakeProphet: play the secret of monkey island for fuck's sake. download scummvm. you can find the thing on any site. get the cd version so you get the mt-32 score. 06:55:22 do it. 06:55:35 I'll totally do that, howeve 06:55:35 r 06:55:42 I will not tell you anything about my gameplay experience. 06:58:49 -!- monqy has quit (Quit: hello). 07:00:19 -!- elliott has quit (Ping timeout: 276 seconds). 07:01:03 sometimes I feel like dedicating my whole life to the creation of perfect video games. 07:05:28 for example 07:05:35 Blind Psychic Kung Fu Master 07:05:43 in which you play a... blind psychic Kung Fu master. 07:06:07 you play the game entirely with audio cues. 07:06:52 you also have sound-based psychic senses that you can use, like sonar. 07:08:58 also a slow-motion power in which you fine-tune your highly trained kung fu master reflexes for a brief while. 07:09:58 also but there will be spectacular epic fight cutscenes. 07:10:07 with no graphics. 07:12:24 I guess there could be some kind of helpful visual interface. 07:12:31 but the idea would be that the entire game is playable by a blind person. 07:14:24 CakeProphet: Epdeet 07:14:27 Updoot 07:14:37 NOW NOW NOW 07:15:26 wat 07:15:49 -!- GreaseMonkey has quit (Quit: The Other Game). 07:15:50 I'm just going to wait 5 years from now after he finishes the whole thing 07:15:57 and then just read/watch/play all of homestuck. 07:16:07 Just. Watch. Now. 07:16:12 Noooooooow 07:16:25 fine. 07:22:17 longest load screen ever. 07:29:01 I assume you've seen it by now? 07:29:22 Or do you mean as the loader of the intermission? 07:29:36 (i.e. you're joking) 07:32:33 cascade 07:32:34 CakeProphet: there's a weird bug when you click replay 07:32:38 no I haven't seen it. 07:32:55 ...you haven't seen Cascade yet? 07:33:08 Go watch that, then the first [S] of the intermission 07:33:35 ....I'm watching it right now, obviously. 07:33:38 as I just talked about it loading... 07:34:41 dude this Cascade thing must have taken forever to mak =. 07:36:05 -!- oerjan has quit (Quit: This thing needs a reboot). 07:43:14 -!- oerjan has joined. 07:48:54 @tell elliott Homestuck update. 07:48:55 Consider it noted. 07:49:43 @tell Phantom_Hoover Homestuck update. 07:49:44 Consider it noted. 07:50:19 Sgeo|web: I think elliott knows.. 07:52:29 Oh, I see it now 07:52:39 Well, night all 08:12:36 -!- Ngevd has joined. 08:33:22 -!- copumpkin has quit (Ping timeout: 248 seconds). 08:33:53 -!- Ngevd has quit (Ping timeout: 248 seconds). 08:33:55 -!- copumpkin has joined. 08:58:16 -!- asw has joined. 09:22:22 -!- oerjan has quit (Quit: leaving). 09:40:10 -!- asw has quit (Quit: Leaving). 10:29:08 -!- Sgeo|web has quit (*.net *.split). 10:29:12 -!- Madoka-Kaname has quit (*.net *.split). 10:29:13 -!- FireFly has quit (*.net *.split). 10:29:15 -!- oklopol has quit (*.net *.split). 10:29:15 -!- Slereah_ has quit (*.net *.split). 10:29:15 -!- quintopia has quit (*.net *.split). 10:29:16 -!- variable has quit (*.net *.split). 10:29:16 -!- lifthrasiir has quit (*.net *.split). 10:29:18 -!- pikhq_ has quit (*.net *.split). 10:29:19 -!- Nisstyre has quit (*.net *.split). 10:29:19 -!- Zwaarddijk has quit (*.net *.split). 10:29:22 -!- yorick has quit (*.net *.split). 10:29:23 -!- twice11 has quit (*.net *.split). 10:29:24 -!- lambdabot has quit (*.net *.split). 10:29:25 -!- CakeProphet has quit (*.net *.split). 10:29:27 -!- Patashu has quit (*.net *.split). 10:29:29 -!- HackEgo has quit (*.net *.split). 10:29:31 -!- atehwa has quit (*.net *.split). 10:29:34 -!- EgoBot has quit (*.net *.split). 10:29:34 -!- shachaf has quit (*.net *.split). 10:29:35 -!- Deewiant has quit (*.net *.split). 10:29:35 -!- fungot has quit (*.net *.split). 10:29:35 -!- fizzie has quit (*.net *.split). 10:29:41 -!- coppro has quit (*.net *.split). 10:29:43 -!- chickenzilla has quit (*.net *.split). 10:29:44 -!- aloril has quit (*.net *.split). 10:29:47 -!- bd_ has quit (*.net *.split). 10:29:49 -!- MSleep has quit (*.net *.split). 10:29:49 -!- SimonRC has quit (*.net *.split). 10:29:50 -!- yiyus has quit (*.net *.split). 10:29:50 -!- ineiros has quit (*.net *.split). 10:29:50 -!- mycroftiv has quit (*.net *.split). 10:29:50 -!- rodgort has quit (*.net *.split). 10:29:52 -!- myndzi has quit (*.net *.split). 10:29:54 -!- mtve has quit (*.net *.split). 10:33:31 -!- glogbackup has joined. 10:33:32 -!- bd___ has joined. 10:33:32 -!- derrik has joined. 10:33:32 -!- Patashu has joined. 10:33:32 -!- Madoka-Kaname has joined. 10:33:32 -!- pikhq_ has joined. 10:33:32 -!- lambdabot has joined. 10:33:32 -!- Zwaarddijk has joined. 10:33:32 -!- atehwa has joined. 10:33:32 -!- oklopol has joined. 10:33:32 -!- CakeProphet has joined. 10:33:32 -!- Slereah_ has joined. 10:33:32 -!- coppro has joined. 10:33:32 -!- FireFly has joined. 10:33:32 -!- quintopia has joined. 10:33:32 -!- yorick has joined. 10:33:32 -!- variable has joined. 10:33:32 -!- EgoBot has joined. 10:33:32 -!- shachaf has joined. 10:33:32 -!- lifthrasiir has joined. 10:33:32 -!- chickenzilla has joined. 10:33:32 -!- fizzie has joined. 10:33:32 -!- fungot has joined. 10:33:32 -!- Deewiant has joined. 10:33:32 -!- HackEgo has joined. 10:33:32 -!- twice11 has joined. 10:33:35 -!- glogbackup has left. 10:33:40 -!- MSleep has joined. 10:33:40 -!- ineiros_ has joined. 10:33:40 -!- aloril has joined. 10:33:59 RIP freedom of the press 10:34:32 -!- mycroftiv has joined. 10:42:56 -!- rodgort has joined. 10:52:17 -!- SimonRC has joined. 10:52:17 -!- myndzi has joined. 10:52:17 -!- yiyus has joined. 11:16:12 -!- sebbu2 has changed nick to sebbu. 11:16:51 Are we? :\ 11:19:03 are we what? 11:19:05 who is we? 11:19:21 oh. 11:19:50 well, no. the extradition appeal failed, so he's going to Sweden for questioning and formal charging. 11:20:51 but the US may try to extradite him so that they can prosecute him. Though, I believe it would be a difficult case for them. 11:22:20 I find it strange that he's been under arrest this entire time without any formal charges. 11:23:53 but that's just how the Swedish legal system works I guess. they don't issue formal charges until after questioning, or something. 11:23:54 -!- myndzi\ has joined. 11:26:49 -!- myndzi has quit (Ping timeout: 252 seconds). 11:33:27 > var "Hello, World!\n" 11:33:28 Hello, World! 11:34:10 > fix (fun "I told you about the stairs, bro") :: Expr 11:34:11 I told you about the stairs, bro (I told you about the stairs, bro (I told ... 11:49:09 -!- sebbu has quit (Read error: Connection reset by peer). 11:49:30 -!- sebbu has joined. 11:50:47 -!- sebbu has quit (Changing host). 11:50:47 -!- sebbu has joined. 12:01:30 -!- Ernestas14 has joined. 12:01:40 -!- Ernestas14 has left. 12:22:25 -!- Vorpal has joined. 12:29:34 -!- derrik has quit (Quit: back to 3d). 12:39:16 -!- mtve has joined. 12:43:33 -!- copumpkin has quit (Ping timeout: 260 seconds). 12:43:58 -!- copumpkin has joined. 13:02:07 -!- Patashu has quit (Ping timeout: 260 seconds). 13:41:13 -!- augur has quit (Remote host closed the connection). 14:10:37 -!- augur has joined. 14:12:19 -!- augur has quit (Remote host closed the connection). 14:12:44 `quote 14:12:51 500) _ | |__ _ _ ___ | '_ \| | | |/ _ \ | |_) | |_| | __/ |_.__/ \__, |\___| 14:13:01 ... what a great quote 14:13:20 -!- augur has joined. 14:13:44 `delquote 500 14:13:46 ​*poof* 14:13:50 `quote 14:13:53 596) well, oerjan has a lot of opinions on this, so I'll hand it over to him 14:13:55 A part was missing 14:13:58 Unless it was a typo 14:14:04 Such as ... the funny part? 14:14:26 -!- Phantom_Hoover has joined. 14:14:28 Well, I find something like 1% of the existing quotes funny 14:14:39 This is because you are: terrible. 14:14:40 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 14:14:41 So I've given up caring about that 14:14:48 `quote 14:14:51 404) hey fhet's zeees OouooH SNEP IT'S A FOooCKING TIGER 14:21:51 Dammit HackEgo, stop letting down the side. 14:33:43 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:07:25 -!- copumpkin has joined. 15:10:12 -!- tiffany has joined. 15:15:31 -!- MSleep has changed nick to MDude. 15:19:21 -!- bd___ has changed nick to bd_. 15:58:53 -!- monqy has joined. 16:00:09 -!- derdon has joined. 16:36:03 -!- sllide has joined. 16:40:46 Well, I find something like 1% of the existing quotes funny <-- I mostly agree 16:45:22 god bless military industrial complex america 16:48:19 CakeProphet, planning to follow that remark up with anything? 16:50:28 -!- BeholdMyGlory has quit (Excess Flood). 16:50:49 -!- BeholdMyGlory has joined. 16:53:20 No, it's just a sincere idle thought. 17:05:49 "Mangas slid down the wall, leaving a trail of something black behind them. When they hit the ground they opened and closed and in doing so improvised a sort of locomotion that brought them ever closer, inch by inch, flap by flap, to the bed where I lay paralyzed. I lost sight of them as they drew closer, but then felt, with an odd calmness, the cold wet touch of mangas sliding up my leg." ­— Dinosaur Comics 17:10:19 -!- CakeProphet has quit (Ping timeout: 258 seconds). 17:25:14 Gregor, ... lol 17:25:30 Gregor, is that mangas as in Japanese comics? 17:25:44 Yup 17:26:14 I guess I have to check it out for the context, though that probably won't help 17:40:02 -!- copumpkin has quit (Ping timeout: 248 seconds). 17:40:42 -!- copumpkin has joined. 17:55:05 -!- pumpkin has joined. 17:56:55 -!- copumpkin has quit (Ping timeout: 260 seconds). 17:59:47 -!- elliott has joined. 18:00:07 -!- copumpkin has joined. 18:00:57 -!- copumpki_ has joined. 18:01:35 -!- pumpkin has quit (Ping timeout: 240 seconds). 18:01:45 07:48:54: @tell elliott Homestuck update. 18:01:45 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 18:01:53 do you really think that will in any way help 18:02:48 07:32:55: ...you haven't seen Cascade yet? 18:02:48 07:33:35: ....I'm watching it right now, obviously. 18:02:48 07:33:38: as I just talked about it loading... 18:02:54 oh wait cakeprophet isn't here 18:03:26 14:12:44: `quote 18:03:26 14:12:51: 500) _ | |__ _ _ ___ | '_ \| | | |/ _ \ | |_) | |_| | __/ |_.__/ \__, |\___| 18:03:26 14:13:01: ... what a great quote 18:03:26 14:13:20: -!- augur has joined #esoteric. 18:03:26 14:13:44: `delquote 500 18:03:32 Gregor: You just deleted a part of history. 18:04:16 -!- copumpkin has quit (Ping timeout: 240 seconds). 18:04:53 -!- copumpki_ has changed nick to copumpkin. 18:04:54 -!- copumpkin has quit (Changing host). 18:04:54 -!- copumpkin has joined. 18:33:03 -!- elliott has quit (Quit: Leaving). 18:39:35 -!- elliott has joined. 18:39:39 Well that was unexpected. 18:43:05 -!- sebbu has quit (Read error: Connection reset by peer). 18:43:27 -!- sebbu has joined. 18:43:27 -!- sebbu has quit (Changing host). 18:43:27 -!- sebbu has joined. 18:50:55 ais hurry up and answer my inconsequential questions. 19:04:15 -!- ais523 has joined. 19:04:40 yes good hi ais523 19:04:44 i summoned you 19:05:09 it was just coincidence 19:05:10 ais523: You have 2 new messages. '/msg lambdabot @messages' to read them. 19:05:12 but perhaps a useful one 19:05:15 @messages 19:05:15 elliott asked 12h 40m 57s ago: How does the Secret Project handle scheduling being non-deterministic? 19:05:15 elliott asked 12h 40m 29s ago: Also, what kind of incredibly rough time estimate would you give for an open-source release of working code? 19:05:31 Yesssssss finally my amazing questions will be answered 19:05:40 elliott: it does handle scheduling being non-deterministic, but the explanation as to how is not a simple one 19:05:41 Oh wow, @ask actually makes it say "elliott asked". 19:05:42 Exciting. 19:05:49 ais523: Is that another way of saying it's secret? 19:06:12 no, it's a way of saying that I will explain it eventually, probably, but am not feeling up to it right now 19:06:23 as I've only just got online 19:06:26 maybe later today 19:07:12 heh 19:08:10 ais523: What about this one: Would there be a way of giving the running program access to a filesystem from the host? (/not/ a block device or anything) 19:08:17 (Read-only access) 19:08:40 elliott: yes, I've been doing that for testing, by mounting the host directory read-only inside the test filesystem with a loopback mount 19:08:57 ais523: great 19:09:10 ais523: I'm trying really hard to think of a non-packaging use case for this and I'm stumped :P 19:09:10 -!- ive has joined. 19:09:31 god 19:09:33 *good 19:09:49 note that the part of the Secret Project you know about is only a moderately small part of the Project as a whole; it's just the bit that has to be done first 19:09:51 ais523: no! bad :( 19:09:56 and if it's useful in its own right, all the better 19:10:14 yeah, I figure waiting and then mangling it to fit my needs is probably easier than rolling my own 19:10:44 ais523: I take it the second question is being deliberately not answered :-P 19:10:58 oh, I don't know the answer 19:11:03 it really depends on how busy I am with other things 19:16:33 -!- yuyu has joined. 19:16:38 -!- yuyu has quit (Read error: Connection reset by peer). 19:18:57 ais523: Last question! Tell me it isn't written in the same style DNA Maze is. 19:19:10 it isn't, AFAIR 19:19:13 but I haven't looked at it for a while 19:19:24 surely DNA Maze's style can just be fixed with indent(1) if you don't like it, though? 19:19:28 That's... worrying :P 19:19:44 ais523: Well, sure, but that makes merging more difficult... 19:21:51 I love how Nix essentially has safePerformIO :: (Hashable a) => IO a -> Hash -> a 19:22:16 safePerformIO m hx = unsafePerformIO $ do { x <- m; when (hash x /= hx) $ fail "oh no"; return x } 19:37:22 -!- Darth_Cliche has joined. 19:46:06 -!- sebbu has quit (Read error: Connection reset by peer). 19:46:31 -!- sebbu has joined. 19:46:31 -!- sebbu has quit (Changing host). 19:46:31 -!- sebbu has joined. 19:54:45 ais523: oh, would the secret project support exposing a network interface to the program being run? I could just give it the eth0 device through the FS, right? 19:55:09 elliott: no, I don't think it would 19:55:19 hmm, why not? :/ 19:55:28 certainly the project as a whole couldn't; the part you know about theoretically could, I guess, but it'd need to implement the networking syscalls 19:55:32 I don't /think/ I need it, but it would reduce a lot of duplication 19:55:42 the problem is, how can you run something completely repeatably when it's connecting to something you don't control? 19:55:57 ais523: oh, I'm fine with it violating repeatability; this is a special case 19:56:07 as long as the network is the only way to violate it 19:56:12 as opposed to all the other ways you can 19:57:03 that, umm, rather defeats the point of the secret project, but I doubt it'd be that hard; you'd just let socketcall(2) fall through to the default blocking or non-blocking syscall impl 19:57:45 ais523: it's for a good reason :P 19:58:44 ais523: in Nix-style systems, retrieving the source tarball for a package is done by having that be its own package whose "build" script just uses wget or the like and then places the result in the store; this is forced to be pure because you have to specify an SHA hash of the resulting file 19:58:50 and the whole thing fails if it doesn't match 19:59:16 -!- pumpkin has joined. 19:59:21 ais523: I could just run those without sandboxing, but I'd still have to e.g. run them as an unprivileged user, chroot them in, to avoid malicious behaviour exploiting the fact that it's run outside of the Secret Project 19:59:31 why do you need perfect reproducibility for something like that? it doesn't fall under the secret project's definition of reproducibility because it doesn't control the timing 19:59:33 ais523: it would be easier if I could just use "the Secret Project, but with networking" 19:59:44 ais523: for sandboxing 20:00:13 ais523: I'm just saying that reproducibility offers sandboxing as a side-effect 20:00:15 oh, I said the secret project wasn't designed for security, although I guess it may end up sandboxing things anyway 20:00:19 yep 20:00:28 ais523: and I happen to need reproducibility most of the time, but just sandboxing for this case 20:00:38 it'd be nice if I could rely on one thing to do that, rather than having two very similar mechanisms 20:00:43 differing only in that one allows network access 20:01:23 I mean, an unprivileged account and a chroot isn't /that/ much of a pain, but I'd be happier if I could use the same mechanism :) 20:02:00 -!- copumpkin has quit (Ping timeout: 252 seconds). 20:02:06 well, it may be possible, but would be really hackish 20:02:38 that, umm, rather defeats the point of the secret project, but I doubt it'd be that hard; you'd just let socketcall(2) fall through to the default blocking or non-blocking syscall impl 20:02:41 that doesn't sound very hackish 20:02:58 well, it violates the invariants that the secret project is based on 20:03:18 btw, I'm looking at the source, it seems to be One True Brace 20:03:21 which you're happy enough with, I guess? 20:03:26 sure :P 20:03:43 complete with literal formfeed characters to separate unrelated functions 20:03:49 * elliott uses Linux style with varying indentation width 20:04:00 Linux style is basically a specification of K&R/1TBS, though 20:04:08 ais523: that's not 1TBS... 20:04:15 ais523: that's some awful hybrid 1TBS/GNU style, then :P 20:04:29 elliott: 1TBS is an indentation style, right? 20:04:33 formfeeds are not indentation 20:04:45 ais523: no, it's a formatting style 20:04:51 it also tells you where to put braces, for one 20:07:29 wow, it's bizarre seeing someone use SCM to mean something other than VCS 20:08:52 hmm, wow, I think `pureWriteIORef :: IORef a -> a -> b -> b` is actually pure 20:09:06 pureWriteIORef ref v x = unsafePerformIO (writeIORef ref v >> return x) 20:09:24 elliott: http://pastie.org/pastes/2800788/text?key=c9nqhgeel5yd8hcu4jzq 20:09:32 you were asking about the Secret Project's scheduling rules 20:09:40 and there's the relevant parts, with a bit of censorship applied 20:09:58 ais523: wtf is that censorship for? :P 20:10:08 it's a Secret Project, right? 20:10:17 so bits of it have to stay secret 20:10:21 so wait, how do you convince linux not to use its normal scheduler? 20:11:54 generally speaking, all but one process is either in a blocking syscall, or stopped 20:11:59 so only one process can actually run 20:12:39 ais523: umm, what if i fork two processes doing for(;;);? 20:12:43 should multiple processes get knocked out of a blocking syscall simultaneously for whatever reason, they're each stopped at the syscall return in arbitrary order, and banned from communicating in any way with other processes until the Secret Project has a good handle on which ones are and aren't working 20:12:50 the Secret Project doesn't handle infinite busyloops 20:13:27 ais523: what about if I start two subprocesses, alarm(15), then put them both in a busyloop of incrementing a global i variable 20:13:31 then exit(i) in the signal handler? 20:14:06 it doesn't handle that either 20:14:28 nor does it have to be able to, for its intended purpose; and besides, the way it works, it can't 20:14:41 ais523: it's not exactly perfect repeatability then, is it? 20:14:50 I could imagine someone doing something like that to produce a random seed 20:14:53 I didn't say it was; you said that 20:15:06 well, you've strongly implied that's what it's for, otherwise why go to all the effort? :p 20:15:19 that is what it's for, but it's not designed to work on arbitrary programs; just a very large subset of them 20:15:26 for instance, you couldn't run it on itself 20:15:52 and I've already established that it actively resists being debugged (running gdb inside or outside it causes mad things to happen, as does running valgrind inside or outside it) 20:16:06 well, OK 20:16:13 actually, I wonder if that valgrind thing should worry me 20:16:21 packages might try and run a test suite at build-time 20:16:52 ais523: anyway, I suppose it'll be good enough :) especially since the Nix guys have problems with such simple things as the system clock or hostname leaking into builds 20:17:26 valgrind internal-errors on the Secret Project with a request to report a bug 20:17:37 but if I did report what was causing it, I'm reasonably sure the reply would be "then don't do that" 20:17:46 ais523: you've said 20:20:03 ais523: here's a quote you might like: "In the presence of patch sets between arbitrary releases, it is not directly 20:20:03 obvious which sequence of patches or full downloads is optimal. To be fully gen- 20:20:03 eral, the Nix substitute downloader runs a shortest path algorithm on a directed 20:20:03 acyclic graph that, intuitively, represents components already installed, avail- 20:20:03 able patches between components, and available full downloads of components." 20:20:56 elliott: why acyclic? 20:20:58 -!- Ngevd has joined. 20:21:08 ais523: I don't think that would work 20:21:16 Hello! 20:21:35 if you want an alpha release, then you can get it either by getting a beta and reversing the patches between it and the alpha, or applying patches forwards from the previous release 20:22:55 -!- GreaseMonkey has joined. 20:22:56 -!- GreaseMonkey has quit (Changing host). 20:22:56 -!- GreaseMonkey has joined. 20:23:48 ais523: in this case, "getting a beta" is the thing to be avoided 20:23:49 -!- pumpkin has changed nick to copumpkin. 20:23:59 ais523: the user isn't a time traveller, so they have files from the past only 20:24:06 elliott: what if you don't want the latest version? 20:24:11 ais523: you don't understand 20:24:13 the files may be from the past, but in the future of the version you want 20:24:17 ais523: you have a pre-alpha, and need to update to a beta 20:24:21 but there's not patches between every single release 20:24:24 in-between 20:24:25 only some of them 20:24:54 elliott: say you have version 16, and want to update to version 17alpha5; 17beta1 is already out 20:25:16 then going forwards to 17beta1 and then back to 17alpha5 may be the smallest set of patches to use 20:25:38 well, OK 20:26:03 ais523: OTOH, wanting to update to 17alpha5 is an incredibly unlikely scenario in context 20:26:28 ais523: and if you do want to, downloading the binary from scratch is an acceptable cost to save calculation time for people who don't do insane things 20:26:34 it has a feature you need and 17beta1 has a critical bug that 17alpha5 doesn't? 20:26:43 yes, but full downloads are always available 20:26:49 this is about optimisation, not making things possible in the first place 20:26:54 elliott: the point is that finding the shortest route in a DAG is the same algo as finding the shortest route in a directed graph 20:27:09 so it doesn't cost you anything to ban cycles 20:27:19 sure, but the graph itself is bigger 20:30:11 ais523: anyway, avoiding implementing a reverse patch algorithm is one reason :P 20:30:44 It's my birthday tomorrow 20:30:48 elliott: wow, I just got a wallop claiming that vim was the best editor ever 20:30:49 Then I'm on TV Friday 20:30:57 Then fireworks display Saturday 20:30:58 -!- pikhq has joined. 20:31:01 ais523: on your /local machine/? 20:31:04 -!- pikhq_ has quit (Ping timeout: 240 seconds). 20:31:05 elliott: no, on Freenode 20:31:08 oh 20:31:09 wtf? 20:31:11 paste it 20:31:29 [wallops] Holy editor war, batman! Vim's first public release was two decades ago, today! It sure is birthday-y around here as of late. Anyway, congrats to the best editor, ever! Join #vim to congratulate or have good-natured editor bantering ;) 20:31:43 hmm 20:31:51 that looks designed to incite a flamewar 20:31:52 I really want to troll-and-run #vim now 20:31:59 they're /encouraging/ it, aftera ll 20:32:14 VIM SUX EMACS SUX NOTEPAD IS THE ONE TRUE EDITOR 20:32:15 there we go 20:32:46 incidentally, I commented on an editor war on Reddit a while back: http://www.reddit.com/r/programming/comments/lotys/lines_of_lisp_and_c_code_in_emacss_source_code/c2uknyy?context=3 20:32:51 I'm not a big editor person-y type thing 20:33:10 Begins with c 20:33:16 Sounds vaguely French 20:33:20 Associated with wine 20:33:22 Hard to spel 20:33:23 l 20:33:30 critic? 20:33:32 Connossoure 20:33:34 aha 20:33:38 Something like that 20:33:45 condiment 20:33:46 connoisseur 20:33:53 connoisseur. 20:33:53 my IRC client has a spellchecker ;) 20:34:02 Mine does, but I wasn't close enough 20:34:05 ais523: mine doesn't, what package is that again? it's been bugging me 20:34:05 :p 20:34:14 (I have aspell, it just doesn't work in gtk...) 20:34:15 It gave me Connecticut 20:34:28 :D 20:34:44 elliott: I'm using Konversation 4, obtained via kubuntu-desktop 20:34:53 which has a really crazy insane number of dependencies 20:34:58 and I couldn't tell you which one it is specifically 20:34:59 XChat, Ubuntu 11.04 20:35:00 I really hope Arch has a kubuntu-desktop package 20:35:06 Which is probably the worst Ubuntu 20:35:11 all distros should have a kubuntu-desktop package :) 20:35:16 (kubuntu-desktop exists for the purpose of depending on pretty much the whole of KDE) 20:35:38 ais523: /plus/ whatever kubuntu adds 20:36:06 yep 20:38:07 "Clearly, we could produce patches between all Xs and Y s. This policy is 20:38:07 “optimal” in the sense that the client would always be able to select the abso- 20:38:07 lutely shortest sequence of patches. However, it is infeasible in terms of time and 20:38:07 space since producing a patch takes a non-negligible amount of time, and most 20:38:07 such patches will be large since they will be between unrelated components (for 20:38:07 instance, patching Acrobat Reader into Firefox is obviously inefficient)." 20:38:15 how does one patch Acrobat Reader into Firefox under NixOS? 20:38:25 dammit, I got the meme wrong 20:38:31 serves me to go by WP article titles rather than their contents 20:41:18 hmm... does anybody know HTTP better than I do here? 20:42:30 aha, I was right 20:42:39 (w3.org knows HTTP better than I do) 20:44:13 [elliott@dinky ~]$ time ( { for i in {1..9}; do echo "GET /$i HTTP/1.1"; echo; done; echo "GET /10 HTTP/1.1"; echo "Connection: close"; echo; } | nc google.com 80 >/dev/null ) 20:44:18 good command lines 20:44:49 Does it work? 20:44:54 yep 20:45:05 Then they are very good. 20:45:41 ais523: here's another quote you might like: "A good value for k would be around 2, e.g., k = 1.9." 20:45:53 Also e.g. k = 2 :-P 20:47:38 -!- centrinia has joined. 20:51:45 pikhq: Has anyone compared patching times / memory use of bps vs. e.g. bsdiff? 20:51:57 Hmm, I wonder if I could parallelise the process somewhat... 20:52:24 Hello centrinia 20:52:32 hi centrinia 20:52:34 `welcemkrmo 20:52:35 Hello Ngevd, elliott. 20:52:36 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcemkrmo: not found 20:52:37 `welkom 20:52:38 `? skdlf 20:52:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welkom: not found 20:52:40 `? welcome 20:52:40 skdlf? ¯\(°_o)/¯ 20:52:41 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 20:52:52 `ls bin 20:52:53 Does everyone get a welcome? 20:52:54 ​? \ addquote \ allquotes \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ google \ json \ k \ karma \ karma+ \ karma- \ learn \ log \ logurl \ macro \ marco \ paste \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ ping \ prefixes \ qc \ quote \ quotes \ roll \ runperl \ toutf8 20:53:00 centrinia: No! Just you. Also new people. 20:53:05 `paste bin/? 20:53:07 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26175 20:53:17 Phantom_Hoover: use `url for things like that 20:53:18 avoids pasting 20:53:52 What's a stationary point again? 20:54:23 Are they when the gradient is 0? 20:55:42 It can also be a point where the gradient is not defined. 20:55:54 Oh good 20:55:59 centrinia, they can? 20:56:13 Oh, right, discontinuities in the gradient. 20:56:16 I am just looking at the wiki. 20:56:35 ais523: do things like segfault-catching work under the Secret Project? 20:56:35 Ngevd isn't meant to know about that :P 20:56:40 -!- pikhq_ has joined. 20:56:54 -!- pikhq has quit (Ping timeout: 255 seconds). 20:56:57 Wait, that is a critical point. 20:57:20 elliott: it can catch segfaults itself 20:57:22 I was wrong earlier. 20:57:24 centrinia, erm, yeah. 20:57:25 although it doesn't do anything with them yet 20:57:33 ais523: that... isn't the point 20:57:35 it could pass them to the program's segfault interrupt handler if you wanted it ot 20:57:36 *to 20:57:41 I think that's actually what it does 20:57:47 ais523: I mean things like libsigsegv 20:57:54 which let you use segfaults to e.g. expand a BF tape 20:58:01 yep, I think it could handle that 20:58:02 if you do the mmapping just right so it's on a page boundary 20:58:04 great 20:58:24 it may handle that already, in fact 20:58:42 ais523: I'm just checking that build processes that use software which pull tricks like this will work :) 20:58:53 e.g. SBCL does the "mmap a gigantic private heap" t hing 21:00:42 ais523: you said that the Secret Project can't be run under gdb, but does gdb work inside it? 21:00:58 elliott: no 21:01:04 right 21:02:10 ah, hmm, not only does gdb go wrong, but so does the Secret Project 21:02:12 must be a bug in it somewhere 21:03:48 heh, I just had a silly conservative GC idea, that I just realised never frees anything 21:03:51 perfect! 21:05:44 http://a6.sphotos.ak.fbcdn.net/hphotos-ak-snc7/s720x720/316901_284913304864672_100000380143871_936853_1298194009_n.jpg 21:06:13 I... 21:06:23 Apparently it's a board game 21:07:40 # Set the maximum number of FUSE mounts allowed to non-root users. 21:07:41 # The default is 1000. 21:07:41 # 21:07:41 #mount_max = 1000 21:07:56 Is... is that the church in Hexham which elliott tells me is the only interesting thing in it? 21:08:07 I said it was interesting? 21:08:39 The gaol's better 21:08:46 But yes 21:32:49 which was the last windows version that was sold on floppy? 21:32:53 I guess windows 3.x 21:32:55 95. 21:33:00 pikhq_, really? Heh 21:33:05 pikhq_, how many floppies? 21:33:48 13. 21:34:10 95 OSR 2.1 came on 26. 21:34:12 Vorpal: Windows Server 2008 21:34:15 enterprise edition 21:34:20 -!- augur has quit (Remote host closed the connection). 21:36:40 Waaaait. Holy crap 98 could be had on floppies. 21:36:49 39 floppies. 21:36:50 I have it on CD 21:37:01 pikhq_, but was it ever distributed as that? 21:37:14 Yes. *Barely*. 21:37:18 wow 21:38:00 They were also 1.7M floppies. 21:38:02 wtf, google earth doesn't display territorial boarders in the sea. 21:38:20 I want to know if there is international water between Canda and Greenland, but I can't find info on that ANYWHERE 21:38:51 pikhq_, ... that is rare. I never seen any of those. Can a normal computer read them? 21:39:17 and how was that identified, yet another hole in the cover? 21:40:23 I want to know if there is international water between Canda and Greenland, but I can't find info on that ANYWHERE 21:40:32 Vorpal: Sorry, but you can still be prosecuted for crimes committed in international waters. 21:40:37 elliott, har, har 21:40:43 You'll have to go into space for your private time. 21:43:37 -!- Ngevd has quit (Quit: early morning tomorrow). 21:44:44 "Subversion gets Suspended" — Introversion website 21:44:50 NOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO 21:45:08 Old news 21:45:08 imagines n as m 21:45:13 Phantom_Hoover: Now we're going to have to use CVS!!! 21:45:16 phantom hoover moos loudly 21:45:30 deewiant confuses it for mews 21:45:55 Vorpal: Yes, actually. 21:45:55 monqy: comfuses 21:45:58 momqy 21:46:08 pikhq_, to witch question? 21:46:13 pikhq_, the borders or the floppy? 21:46:14 Phantom_Hoover: ahahaha "In the end, after all that development and years of work, you still completed the bank heist by walking up to the first door, cracking it with a pin cracker tool, then walking into the vault and stealing the money." 21:46:18 Vorpal: "Can a normal computer read them?" 21:46:19 I remember googlestalking monqy and it turned out he was some mother? 21:46:20 ah 21:46:29 monqy is the best mother 21:46:32 `quote uncle 21:46:34 221) elliott: just to bring you up to speed, you are now my baby nephew. wtf, elliott is a nephew and his uncle is here? what Heck yes I'm elliott's uncle. 21:46:48 elliott, where is that quote from ("in the end..." 21:46:49 ) 21:46:55 Vorpal: http://forums.introversion.co.uk/introversion/viewtopic.php?t=2967 21:47:01 I'm a mother??? 21:47:08 monqy: yes happy birthday 21:47:09 Microsoft actually used it for quite a while. 21:47:26 i don't remember getting pregnant........... 21:47:27 monqy's child? 21:47:32 Bastards. 21:48:12 monqy's child is multiple bastards? That kid's got talent. 21:48:29 congratulations monqy ! 21:48:37 So wait, even Introversion didn't know what the hell Subversion was about? 21:48:41 This... explains a lot. 21:49:07 elliott: have I mentioned that you're on the verge of saying your first word? 21:49:13 "I was imagining Uplink developed into a bigger game with more replay value (as in: there are still challenges even after you've learned how to hack a bank)." 21:49:15 Amen. 21:49:30 Those banks are insanely broken. 21:51:02 -!- derdon has quit (Remote host closed the connection). 21:51:22 elliott, BtW, have located debit card. 21:51:29 Phantom_Hoover: Buy a kitten. 21:51:32 Will buy Humble Bundle post-haste. 21:51:40 Pay more than the average of 21:51:40 $4.71 to get The Binding of 21:51:40 Isaac and Blocks That Matter! 21:51:42 Also a kitten, although what if my cat doesn't like it? 21:51:45 Phantom_Hoover: See, it's going to force you to be a good person. 21:51:49 elliott, BASTARDS 21:52:13 -!- Patashu has joined. 21:52:13 elliott, pirate them for me to see if they work? 21:52:23 (By which I mean send me your download link._ 21:52:44 That feels wrong!!!!!!!! Also that would let you do awful things to my order. 21:53:06 Phantom_Hoover: IIRC the Binding of Isaac is 2D, so you'll be fine. Voxatron is software-rendered, so your GPU is irrelevant. 21:53:08 You mean giving all your moneys to them. 21:53:16 Blocks That Matter looks 2D too. 21:53:19 So you'll be fine. 21:53:56 elliott, "The Binding of Isaac" isn't worth it, "Blocks That Matter" is 21:54:15 Vorpal: The Binding of Isaac has gotten rave reviews from literally everything and Super Meat Boy was great, so... you're probably wrong. 21:54:25 I've heard mixed things about it 21:54:52 elliott, well try it yourself. It looks insane. Sure the gameplay may be good, but I referred to the setting and the plot 21:55:13 Also anything with Roguelike-style world generation is the best. 21:55:15 it is just disturbing from what I seen 21:55:41 Vorpal: this is because you are (a) Swedish; (b) therefore, a wuss. 21:55:47 -!- SgeoN1 has joined. 21:55:54 The only non-wussy Swede is olsner and that is why he is also the only non-terrible Swede. 21:56:01 elliott, no you are just as insane and disturbing yourself 21:56:08 elliott, anyway what about FireFly and BeholdMyGlory? 21:56:12 They're not people. 21:56:18 elliott, oh? 21:56:28 Wtf reisub didn't work 21:56:49 SgeoN1: Do you have magic sysrq on>? 21:56:52 s/>// 21:57:16 Not sure? 21:59:16 SgeoN1: Check? 22:00:43 /proc/sys/kernel/sysrq contains 1 22:01:06 SgeoN1, are you on a laptop? 22:01:17 Yes 22:01:47 SgeoN1, Does fn on the sysrq button do anything according to the legend on the keyboard 22:02:15 No 22:02:16 sysrq doesn't work reliably on my laptop, Fn-PrtSc supposedly gives SysRq, but well, not really 22:02:59 SgeoN1: a safe way to test is fn+printscreen+b! 22:03:02 The SAFEST way. 22:04:37 !? 22:05:46 I think I'll try with w 22:06:04 Or m 22:06:44 I think I once did REIBUS backwards because I forgot that you need to reverse 'busier'. 22:06:47 Works without Fn not with 22:07:49 Phantom_Hoover: REIBUS isn't BUSIER backwards. 22:08:23 elliott, it's a miracle my computer still works at all, frankly. 22:08:42 Phantom_Hoover: It's REISUB; let me guess, you didn't pause for a few seconds between letters either? 22:08:59 I don't remember? 22:15:46 elliott, SgeoN1: fn-prtsc-h should be a good way to test 22:15:54 and it does nada for me 22:15:59 He already tested. 22:16:08 hm 22:16:30 "Figure 5 shows the build algorithm for derivations in pseudo-code. The operator ← denotes assignment, and x [← symbol with a ∪ above it] y is shorthand for x ← x ∪ y." 22:16:37 They're reinventing C notation X-D 22:17:00 heh 22:29:12 hmm, I don't think I like the path this paper is taking 22:29:24 what path did it take 22:29:51 not sure yet :) 22:31:39 "We fix this problem by computing hashes modulo self-references. 22:31:40 Essentially, this means that we ignore self-references when com- 22:31:40 puting the hash. First, when computing the hash of contents(p), 22:31:40 we zero out all occurrences of the string hashPart(p)." 22:31:40 cute 22:31:57 ais523: how to solve a fixed-point for a hash function: zero out the self-reference hole :D 22:32:15 heh 22:32:32 hmm... wonder what happens if you deliberately insert something that would be a self-reference but zeroed 22:32:37 maybe it changes it to the hash :D 22:33:01 ah! 22:33:04 "It is necessary to encode the offsets 22:33:04 of the occurrences of h into the hash to prevent hash collisions for 22:33:04 strings that are equal except for having either h or 0-strings at the 22:33:04 same location." 22:33:36 -!- augur has joined. 22:36:07 -!- ive has quit (Ping timeout: 258 seconds). 22:45:57 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:49:19 ais523: how to solve a fixed-point for a hash function: zero out the self-reference hole :D <-- isn't that how a lot of embedded hash style checksums are done? 22:49:30 dunno 22:49:41 this is more clever though 22:49:44 because it notes the offsets 22:49:57 so you can't cause a collision by deliberately taking something with a self-reference and turning it into 0s instead 22:50:11 hm 22:50:12 hmm, what's the chance that a cryptosecure hash has a fixed point? almost 1, isn't it? 22:50:42 ais523: I think 1 22:50:45 ais523: except, no 22:50:49 ais523: it's 1 if every hash value is possible 22:50:58 whether every hash value is possible or not sounds /very/ hard to estimate 22:51:06 let alone prove 22:51:26 elliott, iirc stuff like checksum in some of gzip, zip, rar and so on or similar work by computing the hash with a dummy value (such as all zeros) in place of where the hash goes, sounds quite the same? 22:51:29 elliott: actually, if any hash value is impossible, it's 1 22:51:37 ais523: huh? 22:51:44 because then two well-formed hash values have to map onto the same hash by the pigeonhole principle 22:51:48 Vorpal: it's similar 22:51:53 ais523: oh, right 22:51:57 I had it backwards :) 22:51:59 if all are possible, then it's possible but unlikely that they all go round in cycles of 2 or more 22:52:45 ais523: I remember a while back some idiot web designer guy started a "distributed search" for an SHA-1 fixed-point, waving away people who gave statistics as to the incredible unlikelihood of one being found by brute force with "if enough of us try it might just work!!!" 22:52:58 i cried :'( 22:52:59 ais523, non-crypto secure hash that doesn't have that property (unless I misunderstood you): f(a) = b, f(*) = a 22:53:10 where a and b are strings 22:53:26 Vorpal: in that case, the only well-formed outputs are a and b; both are possible, so it's possible that there's no fixedpoint 22:53:28 and in fact there isn't 22:53:43 ais523, well yes 22:53:54 here it is!!! 22:53:54 http://elliottkember.com/kember_identity.html 22:53:58 moron even named it after himself 22:54:00 wait, /another/ elliott? 22:54:04 also dear god those colour highlights are unbearable 22:54:07 ais523: oh god you're right 22:54:19 at least not hird 22:54:21 i'm changing my fucking name, this means there are at least two abject morons with my first name 22:54:23 as their first name 22:54:27 in fact, three if you count me! 22:54:32 heh 22:54:42 I assume there are at least 2 people called Alex who are morons, just because it's a really common name 22:54:48 elliott, is "Elloitt" spelled like that very rare? 22:54:55 err 22:54:57 s/oi/io/ 22:54:58 Vorpal: I... suspect not a single person is called that 22:55:00 Oh 22:55:03 elliott, yeah typo :P 22:55:05 Well Elliot is the most common spelling by far 22:55:10 Eliot is also common 22:55:12 ah 22:55:14 As is, I think, Eliott 22:55:16 elliott, and your spelling? 22:55:20 Elliott is not all that common :P 22:55:23 right 22:55:33 Elloitt is probably the name of a kid with illiterate parents. 22:55:43 Fun fact, my name means "Ruler of the Elves". I am what I hate. 22:56:03 elliott, I believe there are like less than 5 people in Sweden with both my first and my last name. And one other if you include my middle names. 22:56:12 ais523: looks like there's a 37% chance there's no such input for MD5 22:56:15 the latter is just weird. Chances are pretty low 22:56:22 Fun fact, my name means "supported of Yahweh". 22:56:29 Vorpal: I doubt there's another Elliott Hird on the globe 22:56:33 elliott: 1/e? 22:56:38 that would be my guess as to the probability 22:56:39 ais523: yep: http://ograll.blogspot.com/2009/06/mathematics-of-perfect-hash.html 22:56:42 Fun fact, my name means "Ruler of the Elves". I am what I hate. 22:56:45 No dude what about Cacame. 22:56:52 Phantom_Hoover: I'm not Cacame! I'm Elliott! 22:56:55 I'm pretty sure my first+last name is unique among living people. 22:57:05 pikhq_: Unknown? 22:57:08 elliott, well I doubt my name occurs at all outside Sweden. It might just show up in Norway or Denmark I guess 22:57:11 probably not 22:57:16 It most certainly isn't if you count people still alive. 22:57:31 Erm. 22:57:35 People who have ever lived. 22:57:44 "I've found one! 22:57:45 Not exactly a complete match but I'm done wasting cycles.. 22:57:45 md5('deadbeefdc84955dfb53442f741f4ec9') == 1ebb63c68f0e40e6902e0deadfeefbfa" 22:57:53 pikhq_, oh? what is it? 22:57:54 * elliott facepalms 22:58:06 it doesn't even have "deadbeef" in both 22:58:07 Vorpal: Josiah Worcester 22:58:11 I see dead feef 22:58:11 "I doubt it exsists, considering, which guy making such a algorithm would not make sure that would never happen? 22:58:11 I would at least try to prevent it, since it kind of breaks the purpose of the algorithm(a one-way algorithm)" 22:58:13 OK, I give up on these comments 22:58:25 pikhq_: both the forename and surname are not unheard of 22:58:34 ais523: Though not exactly common. 22:58:37 indeed 22:58:40 Phantom_Hoover: I'm not Cacame! I'm Elliott! 22:58:46 Yeah but get a beard on strings? 22:58:50 OK fine. 22:58:51 both my forename and surname are really common 22:59:01 I strongly suspect Worcester is more common as a place name. :P 22:59:04 Also make Hexham get conquered by dwarves, i.e. Scots. 22:59:16 I would be up for warring with the Scots. 22:59:19 This place is boring. 22:59:39 Nonono, we'd conquer you, and then the English would kill and eat most of your family and your wife. 22:59:55 Ah. 23:00:51 ais523, I know 23:00:58 -!- calamari has joined. 23:01:03 Vorpal: Josiah Worcester <-- yeah... those are both quite rare 23:01:05 -!- zzo38 has joined. 23:01:18 pikhq_, btw, isn't "Worcester" the name of some food stuff 23:01:21 as in "Worcester-foo" 23:01:31 or am I confusing it with something else? 23:01:33 Worcester sauce. 23:01:37 Phantom_Hoover, ah, thanks 23:01:48 It's a bit like spicy vinegar I think. 23:01:55 ah, okay 23:02:00 (I have only actually tasted Worcester sauce crisps.) 23:02:06 (They are good.) 23:02:14 Wow, this guy uses those awful italic background-highlights everywhere. 23:02:17 (I foolishly clicked on to his site.) 23:02:27 Phantom_Hoover, from the name it sounds like it comes from UK, is that the case? 23:02:31 It's like he just discovered highlighter pens. 23:02:37 Phantom_Hoover: It's... not like spicy vinegar. 23:02:43 It's fermented fish apparently? 23:02:49 No don't call it that. 23:02:52 Nobody thinks of it like that. 23:02:54 That is the road to hell. 23:02:58 It's just made out of magic. 23:03:16 wtf? 23:03:16 Maybe you English people don't, but here in Scotland we like our food in some state of decay. 23:03:21 Phantom_Hoover, you mean Worcester sauce ~ surströmming? :D 23:03:28 Worcester sauce is fermented fish? But fish sauce is fermented fish. 23:03:29 except more fluid 23:03:39 Gregor: It's made from like a billion things plus anchovies :P 23:03:42 I thought Worcester sauce was related to soy sauce. 23:03:43 Ah. 23:03:45 I approve of the idea that worcester sauce is made of magic 23:03:48 Gregor: "The ingredients of a traditional bottle of Worcestershire sauce sold in the UK as "The Original & Genuine Lea & Perrins Worcestershire sauce" are malt vinegar (from barley), spirit vinegar, molasses, sugar, salt, anchovies, tamarind extract, onions, garlic, spice, and flavouring." 23:03:56 But yeah, it's like soy sauce but with more... flavour. 23:03:58 And a bit less salty. 23:04:04 ah 23:04:10 "The "spice, and flavouring" is believed to include cloves, soy sauce, lemons, pickles and peppers." 23:04:14 Gregor: Worcester sauce is very much a form of fish sauce. 23:04:14 elliott, approximately surströmming :P 23:04:22 Basically they just threw everything into a blender. 23:04:31 approximately liquid surströmming :P 23:04:32 Yet another sauce that's secretly not vegetarian :P 23:04:36 Phantom_Hoover: Seriously though try some Lea & Perrins it's good. 23:04:43 Vorpal: Also, "Worcester sauce" is slightly shortened for "Worcestershire sauce". 23:04:45 OK so incidentally, people who think Tesla was the most intelligent person ever and we've irrecoverably lost so much stuff because we just didn't listen fools: the worst/ 23:04:48 Phantom_Hoover, ah 23:04:49 err 23:04:51 pikhq_, ^ 23:04:57 damn tab-last-spoke-first 23:04:58 Anyone who calls it Worcester sauce is a bad person. 23:05:01 The shortening goes even further for Japanese; it's just "sôsu". 23:05:07 http://upload.wikimedia.org/wikipedia/commons/6/65/Dimitri_Torterat_-_Bottle_of_Worcestershire_sauce.jpg ;; look, it _says_ Worcestershire on the bottle. 23:05:11 Would it even be possible to make Haskell have a bijective function type <-> that you could, in addition to possibly conversion of some reversible esolangs, also be able to prove things such as: forall a b c n. Not (Either (Maybe (Maybe (Maybe n)) -> Maybe a) (Maybe (Maybe (Maybe n)) -> Maybe b) <-> (Maybe (Maybe (Maybe n)) -> Maybe c)) 23:05:11 Vorpal: I guarantee your local food store has worcestershire sauce 23:05:16 pikhq_, like "sauce"? Lol 23:05:19 Vorpal: Yup. 23:05:19 elliott: Everyone just calls it wfhdioasfhoisder sauce. 23:05:33 http://upload.wikimedia.org/wikipedia/commons/5/5f/Leaperrins.png 23:05:38 DOUBLY APPETISING 23:05:48 DOUBLY DIGESTIBLE 23:05:51 Vorpal, think of the most racist way to say in Japanese; that is how the Japanese say it, 23:05:57 olsner, sure? That would be OKQ8's small food section that is closest I think. ;P 23:06:04 elliott, so digestible. 23:06:07 Like 23:06:20 Phantom_Hoover: Actually, most people really suck at mock-Engrish. 23:06:26 you put it in your mouth and it turns into crap in like 10 seconds it's so digestible 23:06:34 Phantom_Hoover: X-D 23:06:39 olsner, I suspect the closest Coop Forum has it. Maybe even the local ICA Maxi. 23:06:45 pikhq_, yes, there's nothing I hate more than poorly-executed racism. 23:07:07 Vorpal: Those are the worst store names. 23:07:14 elliott, yes 23:07:20 Vorpal: okq8? that's not a food store, that's a gas station 23:07:24 Over here we just call it the co 23:07:25 op 23:07:36 (That line break is part of the name, it seems.) 23:07:39 Phantom_Hoover: No no now it's "the co-operative" all-lowercase. 23:07:49 olsner, indeed. But they sell milk and some other basic food stuff iirc 23:07:50 Phantom_Hoover: The MOST STUNNING REBRAND. 23:07:54 olsner, like, one wall 23:07:54 the coöperative. 23:07:56 Phantom_Hoover: (I kind of miss the old 23:07:57 co 23:07:57 op 23:07:58 logo.) 23:08:06 They changed it???????????? 23:08:11 Phantom_Hoover: Dude. 23:08:21 Phantom_Hoover: http://upload.wikimedia.org/wikipedia/en/e/e2/Cooperativebrand.svg 23:08:28 i am 23:08:30 so sad 23:08:33 http://upload.wikimedia.org/wikipedia/commons/2/21/Drighlington_co-op.jpg 23:08:40 elliott, this logo is horrible: https://en.wikipedia.org/wiki/File:Coop_Forum.png 23:08:46 my childhood 23:08:48 is dead 23:08:52 Phantom_Hoover: Have you heard their adverts I can never stop laughing whenever I hear "GUD WITH FUD". 23:08:55 -!- copumpkin has joined. 23:09:01 Vorpal: Ow. 23:09:04 coop is never said as two words in swedish (although it does mean co-operative something), it's just ko:p 23:09:29 if my pseudophonetic writing makes sense 23:09:33 OMG .coop is a TLD. 23:09:37 Phantom_Hoover: No shit??? 23:09:40 chicken.coop 23:09:47 Phantom_Hoover, hey, they called "coop forum" "Obs!" when I grew up. 23:09:50 Phantom_Hoover: Taken. 23:09:57 best name 23:10:07 Phantom_Hoover: By the Montana Poultry Growers Cooperative. 23:10:21 ouch 23:10:27 the joke is lost there.... 23:10:27 * Phantom_Hoover → sleep 23:10:29 -!- Phantom_Hoover has quit (Quit: Leaving). 23:10:46 elliott, anyway how is "ICA" such a terrible food store name? 23:10:54 Vorpal: ais523, for one! 23:11:02 what? 23:11:10 elliott, at least they don't change name every 5 years or so like coop does 23:11:24 co-operative food ... they specialize in food that doesn't fight you when you try to eat it? 23:11:53 Yes. 23:11:57 elliott, I don't ever remember these guys changing their logo: https://en.wikipedia.org/wiki/File:Ica_logo.svg 23:11:58 It's like Milliways. 23:12:17 I believe it is a franchise organisation with a common brand actually. 23:12:27 ais523: Heyyyy, everyone calls it Concurrent Idealised Algol. Do they just acronym it differently to avoid "CIA"? :p 23:13:30 it's Idealised Concurrent Algol in the papers I've seen 23:13:48 elliott, anyway: https://en.wikipedia.org/wiki/ICA_AB 23:14:01 ais523: http://www.google.co.uk/search?aq=f&gcx=c&sourceid=chrome&ie=UTF-8&q=idealised+concurrent+algol 23:14:12 all top results say "Concurrent Idealised ALGOL" or "CIA" 23:14:21 ais523: first result that doesn't is that dan ghica guy :P 23:14:28 elliott: they're all the same paper :) 23:14:33 oh, haha 23:14:59 ais523: hmm... there's a different paper referencing CIA on the second page and the ones that don't are Ghica too :P 23:15:02 gah, you just made me lose my /dev/null game through distraction 23:15:03 -!- MDude has quit (Ping timeout: 255 seconds). 23:15:04 I THINK HE'S HIDING THE TRUTH FROM YOU 23:15:06 whoops 23:15:21 ais523, how, nethack is turn based! 23:15:28 ais523: I... will give you my first-born? 23:15:37 DIED : ais523 (Val-Dwa-Fem-Law) 232346 points, killed by a disenchanter on jaafar.devnull.net 23:15:40 ouch 23:15:41 Vorpal: I was paying too much attention to elliott and not enough to my HP 23:15:47 `addquote Vorpal: I was paying too much attention to elliott and not enough to my HP 23:15:48 elliott: it's OK 23:15:49 704) Vorpal: I was paying too much attention to elliott and not enough to my HP 23:15:57 also, that's not a massively good quote 23:15:57 ais523: No, I just really don't like children. 23:16:02 haha 23:16:16 ais523, it is kind of funny out of contecxt 23:16:18 * elliott gets a great idea 23:16:21 context* 23:18:12 ais523: quick, what should I call the command to delete the last quote that was brought up? 23:18:28 elliott: `dellastquote? 23:18:46 ais523: how inelegant! 23:18:52 I was thinking `begone 23:18:59 that'd do too 23:19:03 watch out for race conditions 23:19:16 e.g. if there's been a `quote in the last 5 seconds, do nothing 23:19:31 ais523: meh, `revert 23:19:35 unquote? 23:19:40 olsner++++ 23:19:45 beautiful 23:19:48 perfect 23:20:26 `quote 23:20:29 No output. 23:20:32 oops :/ 23:20:35 how... 23:20:39 `url bin/quote 23:20:41 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/quote 23:20:49 hmm... 23:20:54 what's wrong with that? 23:20:55 oh, duh 23:21:23 `run echo hi | tee >(cat >test); cat test 23:21:24 sh: Syntax error: "(" unexpected 23:21:29 :/ 23:21:34 `run echo hi | tee >>(cat >test); cat test 23:21:36 sh: Syntax error: "(" unexpected 23:21:37 `run echo hi | tee ><(cat >test); cat test 23:21:38 sh: Syntax error: redirection unexpected 23:21:42 Vorpal: hepl 23:21:47 what are you doing 23:21:55 Vorpal: you how know <(...) passes an fd from a subshell? 23:21:58 I want that, but for output 23:22:05 elliott, I don't think that works 23:22:07 so that tee writes to a subshell instead 23:22:09 elliott, you could use a | pipe 23:22:15 Vorpal: no i can't 23:22:17 i need to tee it 23:22:17 like tee | (cat >test) 23:22:18 I guess 23:22:22 that... 23:22:24 do you know how tee works? 23:22:33 elliott, well obviously it won't work here 23:22:43 but basically I don't think you can do what you ask for 23:22:51 -!- ais523 has quit (Remote host closed the connection). 23:22:59 maybe something like ... 7<(foo) >&7 would work? except that I think it doesn't work 23:23:16 olsner, looks to me like it would get two inputs? 23:23:19 `quote 23:23:21 300) Why do you want to have sex in everything? I don't want. 23:23:25 `quote 23:23:27 340) haha, god made one helluva blunder there :DS "WHOOPS HE AIN'T DEAD YET!" "luckily no one will believe him because christians are such annoying retards" 23:23:29 `quote 23:23:31 146) ais523: killer bunnies can be harmed by domesticated canines only. 23:23:34 `quote 23:23:35 Vorpal: yes, but at a file descriptor you don't care about 23:23:36 -!- pikhq has joined. 23:23:37 239) Is there a name for something where I'm more attracted to someone if I know they've had a rough past? Sgeo, "Little Shop of Horrors" 23:23:44 `unquote 23:23:46 ​*poof* 23:23:49 `quote 239 23:23:51 olsner, well sure, but foo will see it as output, not input 23:23:51 239) And to think: if only we wouldn't celebrate birthdays, there would be no birthday paradox, and we could get by with half as long hash functions. (What do you mean it doesn't work that way?) 23:23:52 `run bash -c "echo hi | tee >(cat >test); cat test" 23:23:55 hi 23:24:03 pikhq: oh, heh 23:24:07 `rm test 23:24:08 No output. 23:24:11 `help 23:24:12 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/ 23:24:17 >(...) is a bash/zsh/probably ksh-ism. 23:24:24 oh, wait 23:24:26 this is probably a bad idea 23:24:29 every `quote causes a commit 23:24:32 ...eh, who cares :) 23:24:32 And HackEgo's /bin/sh is, of course, dash. 23:24:40 `revert 787 23:24:42 Done. 23:24:43 (just to undo my test delete) 23:24:50 ah, so bash supports 23:24:56 supports it, but it isn't posix 23:24:58 well right 23:25:02 `quote 23:25:04 590) The fact that the elves will be happy with this will hopefully be counteracted by the fact that I plan to drop them into the magma cistern. 23:25:05 `unquote 23:25:08 ​*poof* 23:25:09 `unquote 23:25:11 cut: lastquote: No such file or directory \ rm: cannot remove `lastquote': No such file or directory 23:25:15 yay :P 23:25:23 `revert 787 23:25:25 Done. 23:25:25 er 23:25:31 elliott, every quote causing a commit? ouch 23:25:35 `revert 793 23:25:36 Done. 23:25:37 elliott, lets see what Gregor says to that 23:25:43 Vorpal: shrug :) it already runs "hg commit" 23:25:46 just ends up as an empty commit 23:25:55 he squashes the repo anyway 23:26:27 (see http://codu.org/projects/hackbot/fshg/index.cgi/shortlog/cdae49db4615) 23:26:45 -!- pikhq_ has quit (Ping timeout: 255 seconds). 23:27:57 if you addquote after the last quote, does unquote remove quote's quote rather than addquote's quote? 23:28:20 No you should require a parameter 23:28:30 [elliott@dinky nondet]$ ./a.out 23:28:31 [elliott@dinky nondet]$ echo $? 23:28:31 14 23:28:31 [elliott@dinky nondet]$ ./a.out 23:28:31 [elliott@dinky nondet]$ echo $? 23:28:31 14 23:28:33 [elliott@dinky nondet]$ ./a.out 23:28:35 [elliott@dinky nondet]$ echo $? 23:28:37 14 23:28:37 zzo38, ... the whole point was to NOT require that 23:28:39 wow 23:28:41 olsner: hmm, yes 23:28:45 olsner: I can fix that if you want :P 23:29:05 Vorpal: Then there is no way that it could work properly, I think. 23:29:06 oh! 23:29:07 i'm an idiot 23:29:11 elliott: I could be convinced that it's a surprise feature though 23:29:21 zzo38, ... it is supposed to refer to last quote all the time 23:30:19 Vorpal: You could make it do that, but what if someone add one in between? 23:30:37 Even possibly by private message? 23:31:08 zzo38, ask elliott 23:33:20 if delquote and unquote prints which quote actually got deleted, you can fix it when there was a race condition and you didn't win 23:33:51 hmm, you're not allowed to printf from a signal handler, right? 23:34:00 elliott, definitely not 23:34:10 right :) 23:34:15 that explains why redirecting to a file made my program silent 23:34:25 * elliott wonders how to do this 23:34:36 elliott, see man 7 signal, it has a list of safe functions about halfway down 23:34:47 yeah, but unless one of those is write i don't care much :P 23:34:59 elliott, what are you trying to do? 23:35:07 write my Secret Project-breaking program 23:35:10 elliott, one of them is write 23:35:17 oh, it is? 23:35:20 then why doesn't printf work :( 23:35:24 elliott, probably not on stdio 23:35:26 elliott, stdio buffers 23:35:31 printf might malloc, and iirc glibc's printf does indeed malloc 23:35:33 you can't use write "on stdio" 23:35:38 elliott, indeed 23:35:44 elliott, that is kind of the point 23:35:50 but fine, I'll use a static buffer 23:35:51 le sigh 23:35:58 does sprintf malloc 23:36:03 elliott, it might 23:36:21 but does it :) 23:36:23 elliott, none of the stdio functions seem to be safe 23:36:27 according to that docs 23:36:32 hmph 23:36:36 actually fstat 23:36:42 but that is useless to yo 23:36:43 you* 23:36:45 i could use write if i just used an unsigned char 23:36:48 but i'd have to reduce my wait time 23:37:23 elliott, anyway what are you doing? 23:37:29 write my Secret Project-breaking program 23:37:37 elliott, I meant how are you doing that 23:37:51 elliott, as in, what is the thing you are making use of to break it 23:37:53 Vorpal: by relying on the timing of busyloops: 23:37:56 volatile unsigned char i = 0; 23:37:56 void handle(int sig) 23:37:56 { 23:37:56 write(0, &i, 1); 23:37:56 } 23:37:56 int main() 23:37:58 { 23:38:00 signal(SIGALRM, handle); 23:38:02 ualarm(1, 10000); 23:38:03 elliott: as I remember it, all the *printf functions do indeed call malloc (in glibc), even the ones you expect to be safe and even if you don't use any fancy features 23:38:04 for (;;) i++; 23:38:06 } 23:38:12 elliott, heh 23:38:20 erm 23:38:21 is 0 stdout 23:38:25 because redirecting it isn't doing shit 23:38:26 (at least I think that's why I had to write my own simple printf in my malloc) 23:38:31 olsner: gross 23:38:32 elliott, lets see what ais has to say about that 23:38:38 Vorpal: i already asked him 23:38:41 he said it doesn't handle that 23:38:42 0=stdin, 1=stdout, right? 23:38:48 elliott, ah 23:38:49 olsner: oh... writing to stdin just happened to work :) 23:39:05 elliott, impressive 23:39:08 [elliott@dinky nondet]$ ./a.out | head -c 100 >a 23:39:08 [elliott@dinky nondet]$ ./a.out | head -c 100 >b 23:39:08 [elliott@dinky nondet]$ diff a b 23:39:08 Binary files a and b differ 23:39:08 there we go 23:39:12 Vorpal: not really, it'll point to /dev/tty 23:39:26 ah 23:39:53 conclusion: you can technically get a PRNG going properly in the Secret Project :) 23:39:58 it won't be very good, though 23:40:06 anyway, I don't think there's any way to exploit this without trying really hard to 23:40:16 so the risk of it happening accidentally is nil 23:40:20 yeah 23:40:26 elliott, you could apply whitening to the PRNG 23:40:26 what does the secret project do, and how is it interesting that you can make a PRNG in it? 23:40:52 olsner, it tries hard to make executing a linux binary deterministic 23:40:53 olsner: makes linux deterministic 23:41:05 unless you do a tricky busyloop :P 23:41:06 olsner, it is ais523's secret project 23:41:19 elliott, there might be other ways to exploit it 23:41:21 hard to tell 23:41:34 Vorpal: nah, anything that does a syscall will be forced to be deterministic, I think 23:41:35 elliott, anyway you could use the above way to seed a proper PRNG. 23:41:40 or maybe just any blocking syscall 23:41:42 so it's ... not so secret after all? or was the secret recently revealed? 23:41:56 Vorpal: anyway, that's what i meant 23:41:58 olsner, the secret is in wtf ais plan to use it fore 23:41:59 for* 23:42:05 elliott, ah 23:42:05 Vorpal: btw, if ais is clever this won't work 23:42:11 Vorpal: he could fake alarm/ualarm 23:42:16 elliott, to do what? 23:42:17 Vorpal: he isn't providing a clock, after all 23:42:23 so it could just allow N context switches 23:42:24 or whatever 23:42:25 and then trigger 23:42:27 heh 23:42:36 Vorpal: I think you could exploit it with two threads, though 23:42:38 one busylooping increment 23:42:42 and one repeatedly doing: 23:42:43 finite busyloop 23:42:45 read value 23:42:53 the values you get would differ on each run 23:42:57 yeah 23:42:58 basically replacing alarm() with a loop :) 23:43:02 hmm 23:43:05 I should implement that in this 23:43:18 I wonder if I could use clone() to avoid dealing with pthreads :) 23:43:36 elliott, how does SP work wrt multi-core? If it effectively causes -j1 then it is pretty useless for your purpose 23:43:58 Vorpal: well, it's a deterministic scheduler, so it obviously can't do SMP 23:44:01 Vorpal: but -j1 isn't that bad 23:44:10 elliott, lets build openoffice 23:44:10 Vorpal: this is going to be done on build machines, they don't have anything better to do all day 23:44:16 Vorpal: dude, I can just build three packages at the same tmie 23:44:17 time 23:44:17 at -j1 23:44:21 that's like -j3 23:44:21 well sure 23:44:29 they're build bots, they have nothing better to do :P 23:45:03 elliott, still if a user ever wants to build a package locally for whatever reason (patching it or changing options or whatever) that will be painful 23:45:15 not that painful, it's never going to do much more than a small division of the time it'll take 23:45:31 if you can wait an hour you can wait ten :) 23:45:39 Vorpal: but it's true, I could deal without the scheduler parts 23:45:51 Vorpal: but I could always just rip out the rest 23:45:59 elliott, assume an 8 core system. Assume a build time of 8 hours (probably not that unrealistic for openoffice -j1...) 23:46:12 now you could potentially cut it to close to 1 hour 23:46:21 probably a bit more due to deps 23:46:34 Vorpal: that's hardly any better, since your computer will be much closer to functionally useless for the latter :) 23:46:45 who the fuck builds their own openoffice, anyway? 23:46:55 good question 23:46:58 Vorpal: btw, you can still benefit from -j just like single-core machines do 23:46:59 for io-bound stuff 23:47:12 like compiling :p 23:47:17 elliott, anyway what about 7 hours and using -j7 on an 8 core machine. You can still run fine on one core 23:47:39 you bought an 8 core machine just to compile openoffice? 23:47:53 elliott, btw iirc suexec of apache needs a PRNG during compile time iirc. I have a vague memory of reading a convoluted explanation for that. 23:47:57 elliott, XD 23:48:05 Vorpal: it can have a prng 23:48:08 it'll just have a constant seed 23:48:23 so Vorpal is secretly an openoffice developer? 23:48:33 it's his shame 23:48:36 I think the name "q" is too short I can call a program "AstroQ" instead, and based on Swiss Ephemeris. Another idea would be the feature that you can input dates in Discordian calendar (both literal and standard interpretations) 23:48:44 shouldn't we be talking about libreoffice nowadays 23:48:45 olsner, no 23:48:50 zzo38: I like AstroQ 23:48:52 elliott, oh, good point 23:49:11 Vorpal: if you have a source for that suexec thing that'd be fun 23:49:40 elliott: OK. 23:50:07 hmm, I think this paper would be more interesting if it had sold me on its original premise 23:50:36 elliott, this was back during like apache 1.3 or something I read it. 23:51:14 elliott, I can't find any mention of it in the modern apache docs 23:51:18 :( 23:51:22 so who knows, I might even misremember 23:51:33 i could buy it needing a prng at runtime 23:51:37 but at build time? binary packages would destroy that 23:51:44 hm 23:52:23 god, if there's one thing i hate more than slavery, it's two-column pdfs 23:52:30 elliott, why? 23:52:38 i have to scroll up whenever i reach the bottom of a page 23:52:39 it's stupid 23:53:06 elliott, that wasn't what I asked. Anyway those PDFs are obviously intended for printing or viewing on an upright display 23:53:15 note: my current desktop monitor can't be rotated :( 23:53:44 elliott, the question was obviously "why is slavery that almost as bad as two-column pdfs" 23:54:16 heh 23:54:55 anyway rotating monitors tend to be annoying to rotate. The cables get stuck in the wrong place and so on. 23:56:05 elliott, so, what paper are you reading= 23:56:07 s/=/?/ 23:56:18 thing about nix 23:56:43 oh, "Building the product can take 8/number_cores hours on a reasonably recent processor ..." 23:56:46 looks like Vorpal knew the build time for libreoffice, further proof that he is indeed one of them 23:57:18 olsner, that was a pure speculation. I seem to remember something like 6 hours though 23:57:42 olsner, anyway I selected that because the numbers became easy: 8/8=1 23:59:06 `fetch http://sprunge.us/gPij 23:59:07 2011-11-02 23:59:07 URL:http://sprunge.us/gPij [243] -> "gPij" [1] 23:59:15 `run mv gPij bin/delquote; chmod +x bin/delquote 23:59:17 No output. 23:59:20 `addquote poop butt 23:59:22 705) poop butt 23:59:25 Vorpal: right, the only problem is that that's exactly what we'd expect one of them to say 23:59:26 `unquote 23:59:28 cut: the delimiter must be a single character \ Try `cut --help' for more information. \ *poof* 23:59:31 yay 23:59:36 `quote 705 23:59:38 No output. 23:59:49 well, it kind of works