00:00:02 actually why would that be necessary... 00:00:10 -!- Robdgreat has left. 00:00:29 oh hm 00:01:07 ...there's not mascarpone on the wiki. 00:01:09 *no 00:01:17 http://catseye.tc/projects/mascarpone/README.markdown.html 00:02:23 oi elliott 00:02:26 it's tomorrow now 00:02:35 "New operations can be defined as strings of symbols, and these symbols are given meaning by an interpreter that is "captured" in the definition, similar to the way that lexical variables are captured in closures in functional languages." 00:03:13 Phantom_Hoover: yeah, gimme a few minutes 00:03:32 i think that means you can cheat by having it map to a function instead. 00:03:47 and i vaguely recall the implementation did that, or was it emmental... 00:04:07 well implementing emmental was surprinsigly easy 00:04:19 you just stored new symbols as a list of symbols 00:04:38 and when you're looking for the definition of a symbol, you look for it in the list of definitions 00:05:10 and when you've find it, you look for the definition of each symbol in the definition, in the tail of the list of definitions 00:05:21 mascarpone is slightly more tricky 00:05:35 I was planning to have some kind of functions yes 00:05:52 but it's all so abstract 00:05:59 this reminds me of some of ais523's problems with Feather. 00:06:18 that is also ridiculously meta-circular. 00:07:39 btw I have no idea what "the way that lexical variables are captured in closures in functional languages" is 00:08:31 can you tell me more about feather? 00:09:03 no, he can't 00:09:04 nobody can 00:09:09 `? feather 00:09:12 feather? ¯\(°_o)/¯ 00:09:17 not even hackego can 00:09:46 hahahahha 00:09:46 but seriously, feather's a vague concept wrapped in years of in-jokes 00:09:48 i think the meaning there is that interpreters "close over" operations in that you can't get the operation "out" of the interpreter except in the way specified in that interpreter's semantics 00:09:57 -!- Phantom_Hoover has quit (Quit: Leaving). 00:10:03 -!- Phantom_Hoover has joined. 00:11:41 but it's the interpreter that is captured in the operation 00:12:22 oh, yeah, other way around 00:12:28 the way I see it an interpreter is a (symbol * operation list) list 00:13:00 and an operation is (symbol list) * interpreter 00:13:01 Arc_Koen: yeah that doesn't work for the bottom interpreter 00:13:10 yes 00:13:30 so interpreter would be something like Null | Initial | New of (symbol * operation list) list 00:13:39 so technically it's potentially not infinite 00:13:43 so that would be ok by me 00:13:51 but I have a hard time explaining that to ocaml 00:14:16 because there's no equivalent to the "let rec x = f(y) and y = g(x)" for types 00:14:44 that is, if I define operations first, ocaml is gonna tell me it doesn't know what "interpreter" means 00:14:44 it is probably better to see an operation as some function performing whatever action the operation actually should perform. 00:14:56 and i would guess that's what the implementation does. 00:14:56 yeah, ok, I'll try to do it that way 00:15:02 hm, perhaps i'm misunderstanding the page, but it seems just like reified environments 00:15:15 I don't want to look at chris' implementation before I do my own 00:17:04 wait, how do you put strings on the stack? 00:17:22 oh, wait, nevermind, it's obvious. 00:18:19 oi elliott it has been a few minutes 00:18:28 i want more minutes 00:21:49 btw the wiki seems to handle the /// page badly 00:22:16 that is, "Slashes" is the redirect and /// the page, so /// is categorized, but links to /// directly don't work 00:22:17 yeah, mw uses / for subpages 00:23:30 @tell atriq My son looks a bit like me, he can put away the plates after dinner now thanks to edwardk! <-- hum... 00:23:30 Consider it noted. 00:23:55 Arc_Koen: i sometimes nag elliott about that. 00:24:02 shachaf: someone is porting Mosh to AIX 00:24:10 ha 00:24:11 Phantom_Hoover: not in the main namespace of esolang 00:24:25 It's not about subpages. 00:24:29 It's about me being irresponsible. 00:24:38 Irresponsible 00:24:41 as long as we agree on that! 00:24:42 good name for an esolang 00:24:47 kmc: How's the Android port doing? 00:24:48 kmc: is mosh available for plan 9 yet 00:24:55 actually mosh does something that plan 9 should never be made to do 00:25:46 Arc_Koen: it used to work at the time /// was a featured language, but somehow it broke again. 00:25:49 shachaf: somebody has a fork of connectbot that does mosh 00:25:51 elliott: which 00:26:14 also did you see http://content.dell.com/us/en/enterprise/d/campaigns/xps-linux-laptop.aspx 00:26:21 kmc: which what 00:26:22 what if we tried \/\/\/ 00:26:27 oerjan: I broke it 00:26:27 it's an ultrabook-ish laptop from dell that comes with ubuntu 00:26:48 and is also like all cloud and shit 00:27:46 elliott: by upgrading, i assumed? 00:27:55 kmc: Yep. 00:28:02 What's with the resolution? 00:28:20 oerjan: no 00:28:24 oerjan: I changed the config 00:29:09 shocking! 00:29:25 Arc_Koen: "I'm actually not sure what concatenative exactly mean". it means that syntactic concatenation denotes semantic composition 00:29:38 oh 00:29:48 nothing more? 00:29:49 broadly, it means that if you get two valid programs and append their sources, the meaning of the resulting program is the function composition of those two programs 00:30:02 (in a traditional stack language, your semantics are a function from stacks to stacks) 00:30:02 'nothing more'? but that's cool 00:30:08 something something monoids 00:30:23 so if you have 3 3 + that's the composition of the program that takes a stack and pushes 3 to it, that same program again, and the program that takes two elements off the top of the stack, adds them, and pushes the result back 00:30:32 yes yes that's the idea in carriage 00:30:34 which gives you a program which pushes 6 to a stack 00:30:48 Bike: I don't think you need an identity for this to be well-defined, actually 00:30:53 just a semigroup 00:31:11 but I mean, apart from possible nameclashes in more complex languages 00:31:29 I think that many many languages are concatenative 00:31:30 no? 00:31:59 many actual real programming languages? 00:32:00 not really 00:32:20 I guess you can sort of argue that C is sort of concatenative kind of, but not really 00:32:47 am i concatenative 00:32:57 well the fact that you need a function called main is embarrassing 00:34:32 elliott why do i get the sense you are not doing anything relating to dwarf fortress 00:35:20 i guess ocaml fits better than C 00:35:38 Phantom_Hoover: a minute ok 00:35:39 !! 00:35:47 hm wait what about imports 00:35:55 or can ocaml have those anywhere 00:36:05 yes, anywhere 00:36:08 I'm pretty sure 00:36:23 haskell must have them at the top, alas 00:36:28 HAHA 00:36:30 and also has that pesky main 00:36:40 Ocaml is better than Haskell THERE YOU HAVE IT 00:36:57 haskell has a better name and logo though 00:37:16 i assumed that was so you could chase imports without reading the whole file 00:37:19 i am glad haskell makes you organise imports reasonably 00:37:25 oerjan: well haskell has to process modules to parse 00:37:27 because fixity 00:37:48 well that's a separate last parsing step now 00:37:59 so guys do you all know about alonzo church's son dating haskell curry's daughter 00:38:12 because everyone should know that 00:38:16 Phantom_Hoover: vaguely rings a bell 00:38:22 I think I've heard of it before 00:38:43 shachaf: you should be able to query the unicode character database via DNS 00:39:00 where are the CS paparazzi when you need 'em 00:39:05 (i think that was superturing's origin story) 00:39:50 wait 00:39:52 Phantom_Hoover: that is the coolest thing ever 00:39:55 kmc: Any idea why UnicodeData.txt is incomplete? 00:39:57 both superturing's parents are functional? 00:40:03 shocker 00:40:11 it is? 00:40:14 what do yo umean 00:40:33 Doesn't contain a bunch of codepoints. 00:40:48 Like U+3456 㑖 00:41:26 I'm referring to ftp://ftp.unicode.org/Public/UNIDATA/UnicodeData.txt 00:41:32 ah 00:41:37 Where else should I get my up-to-date Unicode information? 00:41:38 Qed. 㑖 00:44:14 That is a weird-looking character. 00:44:28 人 + 仲. Really? 00:44:42 huh 00:44:50 OK, 人 is also not in there. 00:44:58 (which is of course 人 + 中) 00:45:12 shachaf: The *hell*? 00:45:17 You'd think U+4EBA would be there, right? 00:45:28 It's missing all those what'sitcalled characters. 00:45:50 Yeah. 人 was definitely in the first Unicode version with CJK. 00:46:00 The typical kindergartner knows it. 00:46:08 Only some of these characters display here. :( 00:46:09 oh that's not actually a big box? 00:46:18 i guess i got a double width replacement box :3 00:47:35 pikhq_: Maybe it's just not part of UnicodeData.Txt 00:47:38 s/T/t/ 00:48:12 ftp://ftp.unicode.org/Public/UNIDATA/CJKRadicals.txt seems to have it. 00:48:28 Makes sense. It *is* a radical. 00:48:49 Can't I get one file with all the codepoints in a uniform format? 00:49:02 I thought UnicodeData.txt was supposed to be complete! 00:49:30 help 00:50:15 so elliott how 'bout that minute huh 00:50:56 how about some more minutes 00:51:20 zomg ftp://ftp.unicode.org/Public/UNIDATA/BidiMirroring.txt 00:51:23 kmc: ☝ 00:51:33 I feel like I should've known about that. 00:52:13 haha nice 00:52:47 wtf "PARAPHRASE BRACKET" 00:52:50 who uses that 00:56:09 ftp://ftp.unicode.org/Public/UNIDATA/NamesList.txt 00:56:12 Maybe that's the file I need. 00:56:23 Of course I'll need to write a more complicated program to process that. :-( 00:57:49 I'm not sure I understand what @/expand is for in macarphone. 00:58:13 i like the idea of a kid who loves Japan and always reads about Japan on the Internet (like you do) but doesn't have Japanese fonts 00:58:21 and so he thinks that Japanese people use a writing system where you put four hex digits in a box 00:58:24 and learns to read this 00:59:23 kmc: that sounds like the plot to a really bad short story 00:59:32 yeah 00:59:47 better as a minor character detail in a story 00:59:59 are the han characters in unicode ordered in any particular way? 01:00:05 by stroke or something 01:00:10 They're ordered by codepoint. 01:00:42 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:01:03 19F0KHMER SYMBOL TUTEYASAT * represents the second Ashadha in the lunar calendar during the Adhikameas leap year 01:01:06 This is great. 01:01:15 Lots of details UnicodeData.txt doesn't have. 01:01:43 @+These form a set of four quine corners, for quincuncial arrangement. They are also used in upper and lower pairs in mathematic, or more rarely in editorial usage as alternatives to half brackets. 01:01:43 Unknown command, try @list 01:01:52 what 01:01:58 -!- jfischoff has quit (Quit: jfischoff). 01:02:16 These form a set of four corner brackets and are used editorially. They are distinguished from mathematical floor and ceiling characters. Occasionally quine corners are substituted for half brackets. 01:02:48 thank you 01:03:17 This style is sometimes known as open-face or blackboard-bold. Double-struck symbols already encoded in the Letterlike Symbols block and omitted here to avoid duplicate encoding. Considerable variation in font style is acceptable, as long as the glyphs retain the visual element of doubled strokes. 01:03:34 1F374FORK AND KNIFE = restaurant, meal * glyph may show a fork and spoon * glyph may show a crossed fork and knife * glyph may show a fork and knife with a plate 01:04:26 i like all the emoticons, myself 01:04:35 iirc there are some ones for catgirlfaces 01:04:44 monqy: do you want to be in the succession fort...... 01:04:50 idk 01:05:55 monqy: :{ 01:06:45 kmc: that sounds like the plot to a really bad short story <-- reminds me of a part of the plot to a book series about swedish (i think?) immigrants to america. one guy got this swedish-english phrase book and learned it by heart. only when he tried to speak with americans did he discover that english isn't spoken as it is spelled. 01:07:30 But does the name list have 1F4A9 PILE OF POO? 01:08:02 = dog dirt 01:08:14 ook 01:08:54 1F4A0 DIAMOND SHAPE WITH A DOT INSIDE = kawaii, cute * meaning of cuteness is based on association of glyph with shape of a flower 01:10:11 oerjan: haha 01:12:17 💠 01:12:34 🍴 01:15:27 01:15:57 wtf 01:16:06 monqy: i want to start the fortress but it's impossible to play df properly without listening to its background music but i don't want to :{ 01:16:24 elliott: what if you get over your issue w/ its background music 01:17:19 those things take time, monqy 01:17:40 monqy: df has atmosphere 01:18:01 that explains why the dorfs don't all croak immediately 01:52:12 typical, i get at least 40 http://ompldr.org/vZ2kycw/iqtest.PNG 01:52:59 monqy: lens now allows you to implement unsafeCoerce 01:53:10 "exciting new feature?" 01:53:10 shachaf: yay! 01:55:20 and i can find no reasonably canonical interpretation that gives one of the numbers listed. 01:55:35 -!- madbr has joined. 01:55:41 I kinda wonder... are there any ARM systems-on-a-chip that can do über-low-latency sound processing? 01:56:06 (the question is "how many squares do you see", btw) 01:57:17 oerjan: I see 1024000 01:57:22 they're all very little 01:57:28 O KAY 01:57:46 madbr: there are SoC's with integrated DSP 01:58:23 oerjan: do 'you' get it 01:58:41 a combination of that and running a RTOS on the ARM part should suffice for many things 01:59:30 hmm 01:59:45 isn't the main CPU a lot faster? 01:59:57 depends what you are doing i guess 02:00:11 i don't know really 02:01:56 elliott: some small electric pixies explained it to me. 02:04:15 i wonder if i may be a housecat http://www.sheldoncomics.com/archive/121129.html 02:04:18 kmc: sound synthesis 02:04:55 physical modelling algo with a delay line, bandpass filter, nonlinearity, exciter plus a bunch of effects 02:06:09 -!- c00kiemon5ter has joined. 02:06:41 `welcome c00kiemon5ter 02:06:45 c00kiemon5ter: 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.) 02:07:13 elliott, monqy Fiora there was an update a bit earlier 02:07:57 it has occured to me that the itflabtijtslwi deadfish could be converted to use decimal (and so allow bigger numbers) if i could just find a way to do multiplication in a fixed number of substitution commands. 02:08:05 ohai o/ 02:08:12 kmc: tbh I've never worked with DSPs 02:08:25 kmc : mostly because you never get access to them anyways 02:08:30 (on cell phones) 02:09:55 which i _think_ i can reduce to sorting a list of unary numbers 02:13:08 which i still don't know how to do. 02:21:26 yeah on cell phones it's almost impossible to get low latency 02:22:00 they are built for angry birds and youtube, not for music 02:22:17 (well, making music that is... consuming music is a-ok of course) 02:22:29 and even angry birds is a stretch 02:22:36 And they're not that good at any of it. 02:22:39 Welp, got my new business cards. 02:22:43 Printed on the back of playing cards. 02:22:52 Gregor: I saw. Those things are awesome. 02:23:19 I'm still unsure X-D 02:23:32 Shoulda made it pony themed. 02:23:48 Yeah, maybe not. 02:23:59 I think “they're playing cards” is plenty eccentric. 02:24:11 I mean "instead of playing cards". 02:24:34 can you actually play cards with 'em? 02:24:43 But whatever. There's many ways of being eccentric, and all of them pretty nice. 02:25:05 Bike: Yes. 02:25:16 Bike: Except that he won't have a deck for long. 02:25:28 That's ok, he can just downgrade to Pinochle. 02:26:01 It is a real, complete deck of playing cards, yes, but I don't intend to use them as such since that would defeat the whole “business card” thing ;) 02:29:43 -!- sebbu2 has quit (Ping timeout: 245 seconds). 02:35:42 -!- kmc has set topic: Hagfish are usually not eaten owing to their repugnant looks, as well as their viscosity and unpleasant habits. | http://codu.org/logs/_esoteric/. 02:36:47 The hagfish is kept alive and irritated by rattling its container with a stick, prompting it to produce slime in large quantities. This slime is used in a similar manner as egg whites in various forms of cookery in the region. 02:57:06 -!- Arc_Koen has quit (Quit: Comment on appelle un mec qui pilote un avion ?). 03:20:18 -!- jfischoff has joined. 03:28:09 -!- david_werecat has joined. 03:34:25 -!- sebbu has joined. 04:02:09 -!- oerjan has quit (Quit: Onght iodg). 04:18:20 -!- sebbu2 has joined. 04:21:23 -!- sebbu has quit (Ping timeout: 245 seconds). 04:31:30 "poëtic" 04:31:45 that is the most pretentious use of diæresis i have seen 04:31:47 Well, if "noël", why not "poëtic"? 04:32:02 i don't think even the new yorker would do that 04:32:11 Probably not. 04:32:18 kmc: Do you know of a good XCompose configuration file? 04:32:21 The excuse for "noël" is that it's spelled that way in French. 04:32:23 ISTR the default one is really awfully terrible. 04:32:43 http://mainisusuallyafunction.blogspot.com/2010/10/typing-mathematical-characters-in-x.html 04:33:03 the default one is pretty good as far as actual letters, i've found 04:33:06 mathematical characters such as ꙮ 04:33:34 I'll ask pikhq_ instead. 04:33:38 Hey pikhq_! 04:33:39 but i want to use e.g. da do de di for ♬♩♫♪ 04:33:53 shachaf: i don't have that one 04:34:04 i did add the unaccented greek alphabet though 04:34:20 kmc: How do you type ꙮ? 04:34:27 A66E? 04:36:04 copy pasta 04:36:12 elliott: you could use the spanish keyboard tbh 04:36:22 elliott: I use the default. 04:36:24 madbr: huh? 04:36:26 qwerty and has a lot of common accents 04:36:35 elliott: I guess I'll have to ask you if you find a better one. 04:36:37 that's not really my use-case 04:36:51 pikhq_: i think i found one that redid the whole thing from scratch with the one problem that i didn't like the combos it used 04:36:59 if you just want accented latin characters, the default xcompose is fine 04:37:35 don't think it covers vietnamese, but most european languages using the latin alphabet 04:37:37 Yeah. You can type "Erdős" just fine that way. 04:37:43 I would kind of like LaTeX support :P 04:37:44 yeah =o 04:37:47 faux-LaTeX that is 04:37:54 Doesn't do Vietnamese, yeah. 04:37:56 elliott: there's a gtk input mode 04:38:03 yeah but I think it's bad 04:38:05 = limited 04:38:05 or... whatever thingy gtk uses 04:38:07 yeah probably 04:38:18 insert gnome bashing here 04:38:22 mathematical characters like ☭ 04:38:39 'Course, Vietnamese is a Roman alphabet rendering stress test. 04:38:44 shachaf: you should write a c compiler named cccp 04:39:02 oh it is already a research group name 04:39:04 sigh 04:39:16 bet it's awkward when they get visiting postdocs from baltic states 04:39:18 kmc: how do you tell what Multi_key is in your setup, do you know? 04:39:31 well, it's just an X keysym 04:39:35 you can bind it with xmodmap 04:39:48 but i guess for the default you woud have to look in the keyboard layout definition files 04:39:57 mm... thanks 04:39:59 I suspect by default it's unbound. 04:40:16 probably 04:40:17 or just open xev and then mash all keys 04:40:22 It's Win here. 04:40:25 yeah that was my previous method 04:40:40 i already have win as hyper. i think i'm running out of weird modifier keys to use. 04:40:52 on thinkpads you can use Fn as Multi_key 04:40:54 i wonder what to put compose on 04:40:57 i use right-alt as my xmonad key 04:41:04 I guess I could use right win 04:41:04 because it sends a key event if you press and release it without pressing anything else 04:41:06 Right-win. 04:41:18 oh, it does? that's news to me 04:41:18 kind of awkward to press tho :( 04:41:30 i should buy a happy hacking keyboard so all the keys i can possibly press are readily accessible 04:41:43 Yeah, but composing glyphs is a relatively infrequent thing. 04:41:47 and switch to colemak and become a hermit and retreat into the antarctic wastelands and kill myself 04:41:49 i suppose i could use H-Menu instead of Menu for wm shit 04:42:33 i have left ctrl for opening browser tabs, left win for opening native apps, left alt for alt, right alt for WM actions, right win for Compose, and right Ctrl for nothing because it's a fucking pain to hit 04:42:48 i also have Fn send Esc if you press and release, but I don't use it much 04:42:51 elliott: Alas, I don't have the option. 04:42:54 there is a hack to use Caps Lock as both Ctrl and Esc 04:43:02 should switch to that 04:43:08 i mainly use Ctrl-[ for Esc these days 04:43:38 pikhq_: well antarctica is a little inaccessible I admit, but suicide? 04:43:55 elliott: I was referring to the entire list. 04:44:06 Suicide is essentially always an option, of course. 04:44:14 colemak is for people who think dvorak is too mainstream 04:44:35 what a terrifying thought 04:44:38 A profoundly suboptimal option, but nevertheless. 04:44:43 well if I am going to switch to an obscure keyboard layout 04:44:53 then I better switch to the one whose superiority to QWERTY I am most convinced of 04:45:22 i think it's pretty clear that both dvorak and colemak are superior to qwerty 04:45:46 oh, are there good studies now? 04:45:47 maybe colemak is slightly better than dvorak, maybe not, buti don't think it matters 04:45:54 kmc: I phrased it badly 04:46:00 and dvorak is much more standard 04:46:03 "I'd better switch to the one that I am most convinced is best" 04:46:25 well I don't use other people's keyboards very much but it's awkward enough to switch to Dvorak on those that I'd rather just remember how to type with QWERTY 04:46:34 it is not that awkward 04:46:48 if i have to use someone else's computer for more than 5 minutes i would usually want to switch it 04:46:56 I mean I already use xmonad and customise the programs I use fairly heavily 04:46:58 switching to dvorak takes about 30 seconds in most operating sysem 04:47:03 so someone else's computer is always going to be awkward 04:47:18 winter is always going to be cold so you might as well go outside naked 04:47:19 some people restrict themselves to almost-stock settings and the like to avoid that painfulness and that's fine but those aren't my priorities 04:47:58 kmc: I don't find the gain compelling enough for the (expected) loss in the vast majority of my computer-using time given that the scenario it helps with is already moderately painful 04:48:13 ok, fine 04:48:36 when i went to the computer store to evaluate laptop keyboards, it was very useful that i could switch them to dvorak 04:49:16 "i went to the [...] store" — kmc, noted jokester 04:49:17 -!- sebbu has joined. 04:49:32 idgi 04:49:37 -!- sebbu has quit (Changing host). 04:49:37 -!- sebbu has joined. 04:52:37 idgieither 04:52:38 -!- sebbu2 has quit (Ping timeout: 245 seconds). 04:53:11 kmc: yo I'm gonna practice being a keyboard nerd since I know quite a fair bit about keyboards and it'd be a shame not to turn this knowledge into smugness: 04:53:20 kmc: you don't have to type on laptop keyboards to know they're all shit 04:53:32 hehe 04:53:40 sure but i still want to know which one is least shit 04:54:00 kmc: You should get a Model M. 04:54:04 model ms suck 04:54:05 "the one true keyboard?" 04:54:07 well they don't suck 04:54:10 but they're seriously overrated 04:54:10 model m = the future 04:54:15 (I typed on a Model M for >a year) 04:54:43 agree 04:54:58 i used a real model m for a few years and a unicomp model m clone for a few more 04:55:23 even ignoring practical constraints like it has a ton of useless keys and is fucking huge and makes a racket, the buckling springs are just way too heavy really 04:55:42 unless you have mechanical fingers of steel or whatever I'm pretty sure another keyboard will be better for typing 04:56:04 useless keys? 04:56:11 but it's the mythical keyboard of Real Hackers from before I was born so it must be good 04:56:24 You know what's overrated? 04:56:29 Not having → and End keys. 04:56:32 Calling things overrated? 04:56:36 meh screw keyboards, you should become a gun nerd 04:56:52 there you can argue the superiority of designs almost 100 years old 04:57:00 kmc: it's probably easier to kill people with a model m than a gun 04:57:12 call the mythbusters 04:57:23 this seems like a good time to bring up how much I fucking loathe numpads 04:57:27 and wish they would retroactively never have existed 04:58:15 shachaf: oh got yeah I can't live without home/end 04:58:36 I have to admit that numpads... suck 04:58:57 elliott: They're there for those people that want to input lots of numbers but can't be bothered to learn to touch type. 04:59:01 i.e. morons 04:59:16 well for spreadsheets/accounting and stuff I assume they are more efficient than the numpad 04:59:21 if you only input numbers all day, presumably it is less finger movement 04:59:22 yeah 04:59:22 but it should really just be a separate device 04:59:23 well, my laptop keyboard is numpad-free 04:59:24 suck it haters. 04:59:33 and indeed you can buy USB numpads! 04:59:39 so all we have to do is bring USB back in time 04:59:50 indeed you can find USB numpads for free in basements 05:00:03 bike: that's fine 05:00:42 bike: it's when they start removing other stuff like home, end, pgup, pgdown, F keys, delete, insert... 05:00:57 Without a numpad it's harder to play NetHack! 05:01:03 For people not used to vi-style keys 05:01:04 No, it's easier. 05:01:09 hjkl is the future, sgeo. 05:01:13 Those aren't people, Sgeo__. 05:01:15 like irc 05:01:16 bike: no way 05:01:28 irc is the messaging system of the future 05:01:44 Insufficiently XJSONML 05:01:45 irc navigated via hjkl. 05:02:01 ... I'm sorry for inventing that 05:02:05 bike: you can't do that, hjkl types letters 05:02:09 also wrong shape 05:02:16 has to be reverse T shaped 05:02:18 madbr: you hit i before you want letters 05:02:18 like WASD 05:02:22 no, see, you just get a virtual keyboard, which you move around on with hjkl 05:02:27 lol 05:02:46 IJKL would be acceptable 05:02:54 HJKL is the wrong shape 05:02:57 colemak tries to keep zxcv in place 05:03:01 if i was making a keyboard layout 05:03:06 i would try to keep hjklyubn in the same place 05:03:16 and you would squander half of the home row 05:03:21 that's ok 05:03:27 vikeys is no squandering 05:03:34 Because he'd make the left side chorded. 05:03:35 hjkl belongs on VT terminals 05:03:46 'j' is one of the least used letters in English and it has the best possible spot in QWERTY 05:04:08 * pikhq_ uses it :( 05:04:20 but what about words like "jalopy" 05:04:35 My name starts with the most important QWERTY letter! 05:04:35 the only less used letters are x, q, and z 05:04:42 you should feel special then 05:05:05 Josiah "pikhq" Worcester does. 05:05:36 kmc: "p. sure the most important qwerty letter is h" 05:06:40 the most important letter is q 05:06:43 q is the awesome 05:06:48 for once i agree with quintopia 05:06:51 I did stick it in my nick. 05:06:52 seriously q is the best fucking letter in the alphabet 05:06:56 -!- jfischoff has quit (Quit: jfischoff). 05:07:40 elliott: which is why no language has that sound? 05:07:42 elliott: how do you type that upside down 'd' 05:07:46 agreement? this is too much. i may have to recant in order to not agree with elliott 05:07:46 hurf durf 05:07:47 except arabic 05:08:00 even jews have given up on q 05:08:03 but it's hard to recant a plain fact 05:08:29 madbr: fuck languages 05:08:33 they can be as wrong as they want 05:08:36 q will still be the greatest 05:08:42 it doesn't even matter how it's pronounced 05:09:23 I vote we replace "k" with "q". 05:09:34 Fucq "k". 05:10:35 minnna, qe- wo qiȳu- tè qaqou! 05:11:23 -!- epicmonkey has joined. 05:14:34 -!- jfischoff has joined. 05:19:20 -!- jfischoff has quit (Client Quit). 05:22:14 -!- Frooxius_ has joined. 05:22:24 -!- Frooxius has quit (Read error: Connection reset by peer). 05:22:27 -!- Frooxius_ has changed nick to Frooxius. 05:31:11 -!- epicmonkey has quit (Read error: Operation timed out). 05:37:08 elliott = a jerk 05:38:10 Why can't I su nobody? 05:38:17 -!- madbr has quit (Quit: Radiateur). 05:57:34 jerk elliott 05:57:36 jelliott 05:58:10 elliott (n) a jerk. 05:59:45 quelliott 05:59:49 -!- sirdancealot8 has quit (Ping timeout: 248 seconds). 06:10:39 -!- Frooxius has quit (Ping timeout: 244 seconds). 06:20:13 kmc: quelliott is like qualia but all the qualia are horrible. 06:20:55 kmc: Also how come the incorrect URL highlights I was talking about stay *even when irssi scrolls*? 06:21:03 Like, they move up with the scrolling. 06:22:50 -!- Frooxius has joined. 06:24:31 kmc: How do you do diæreses with the default compose setup? 06:24:39 compose " letter doesn't seem to -- oh 06:24:51 I was doing it wrong. :( 06:28:17 -!- FreeFull has quit. 06:30:36 Oh: I talked to that kid again today 06:30:44 what kid 06:31:05 The one who thinks prepared queries don't fully protect against SQL Injection 06:31:31 His new argument: The null byte breaks stuff, and according to him, PHP and most other languages except for Pascal use C-style strings 06:31:55 it must be sad to be trapped in the seventies 06:32:10 the null byte "breaks stuff" 06:32:18 elliott, not his words, sorry 06:32:18 because somehow your input string gets a null byte in the middle of it 06:32:28 despite your strings being null-terminated 06:32:36 elliott, assumed to be because of malicious user 06:32:49 Sgeo__: what? 06:33:00 i'm saying it is impossible to have a nul in the middle of a null-terminated string 06:33:04 hopefully you agree 06:33:12 Yes 06:34:03 I checked out and noted to him that the SQLite and MySQL prepared query C-level APIs, for the parts where you give the API a string, it asks for a length (SQLite makes it optional either give length or assume nul-terminated string) 06:34:30 He said he definitely did attack a PHP script that used MySQL prepared queries with a null byte 06:36:25 not sure why you are bothering to argue with this idiot 06:38:26 Oh, also with the null-terminated thing: He talked about using the null byte to do weird file system stuff. I said that was an OS-level issue, he said no because it works on both Windows and Linux 06:38:46 Found a page in the PHP documentation that mentions it, he just sort of said that it was wrong 06:38:54 hahaha 06:38:56 not sure why you are bothering to argue with this idiot 06:39:17 Sgeo__: "Weird file system stuff"? 06:39:27 pikhq_, not his words, sorry 06:39:45 Like... Terminating a path early? 06:39:53 yes 06:40:01 I think 06:40:21 not sure why you are bothering to argue with this idiot 06:46:50 -!- Frooxius has quit (Ping timeout: 244 seconds). 06:51:25 -!- david_werecat has quit (Ping timeout: 260 seconds). 06:54:06 -!- Bike has quit (Ping timeout: 264 seconds). 06:54:56 -!- Bike has joined. 06:58:10 -!- rapido has joined. 06:58:34 -!- rapido has quit (Client Quit). 07:01:21 -!- Tod-Autojoined has joined. 07:01:21 -!- TodPunk has quit (Read error: Connection reset by peer). 07:22:30 kmc: it would be cool if mosh provided fully local line editing falicities controlled by special control codes!!! i anticipate the chance of this feature getting added to be 0 07:22:34 wow that sentence is awkward 07:47:22 -!- augur has quit (Remote host closed the connection). 07:55:50 -!- epicmonkey has joined. 08:12:10 -!- epicmonkey has quit (Ping timeout: 246 seconds). 08:24:37 -!- oklopol has joined. 09:15:14 -!- sebbu2 has joined. 09:15:14 -!- sebbu2 has quit (Changing host). 09:15:14 -!- sebbu2 has joined. 09:17:41 -!- sebbu has quit (Ping timeout: 244 seconds). 09:18:46 -!- Bike has quit (Ping timeout: 256 seconds). 09:26:19 -!- epicmonkey has joined. 09:35:44 -!- Phantom_Hoover has joined. 09:40:58 -!- Phantom_Hoover has quit (Read error: Operation timed out). 09:48:25 -!- augur has joined. 09:56:21 -!- Phantom_Hoover has joined. 10:49:26 Phantom_Hoover: guess what i didn't do 11:02:29 elliott, fuck's sake man 11:08:40 I found a definition of ? that tricked me for a short while 11:09:03 It's a bit cheaty, but it doesn't even work anyway 11:09:14 oh? 11:09:35 a ? b = (a+b)/2 + 2 11:09:59 btw what is? 11:10:01 If I did the math right (I didn't write it down), a ? a = a + 2 and a ? a ? a = a + 3 11:10:13 Unfortunately a ? a ? a ? a != 4 11:11:08 monqy, a vague notion of some operation, such that addition is sort of like repeated ? 11:11:35 I think it's kind of fun that that given operation works for a?a and a?a?a but not a?a?a?a 11:11:48 so what are the properties said ? has to satisfy 11:12:59 Ideally, repeating it should result in addition, and it shouldn't be too trivial 11:13:14 in what sense / in what sense 11:13:49 i think Sgeo__ is unhappy with the successor function and wants to invent his own 11:13:51 Hard to pin down what I think is too trivial, but as far as the first in what sense: a?a = a+2; a?a?a = a+3; a?a?a?a = a+4, etc. 11:14:14 ummm the successor function is unary Phantom_Hoover 11:14:30 a ? b = Sa 11:14:32 too trivial??? 11:14:40 not commutative 11:14:54 you have to give things up monqy .............. to achieve ur dreams 11:15:27 heck it's!! not even associative!!! 11:15:32 I don't think I'm too worried about commutativity. But that definition is definitely too trivial. (Also wrong, but hey... although, come to think of it) 11:15:54 is not associative what you mean by wrong 11:16:10 What I mean by wrong is a?a = a+1 when I was looking for a?a = a+2 11:16:18 oh 11:16:29 "that too" 11:16:42 Although, I guess looking for an operator where a?a = a+1 might be more fruitful... and again ignoring trivial things >.> 11:16:47 a ? b = Sa unless this is the first ? and then it's a instead 11:16:58 definition of ?: a ? a = a + 1 11:17:09 a ? ... ? a = n where n is the number of a appearing in there 11:17:17 a ? b = a + (b/a)???? 11:17:27 'a promising start' -people 11:17:48 Sgeo__: ps what associativity is ? 11:17:50 or can you pick either 11:18:20 Doesn't matter, I guess 11:18:31 11:18:45 Also, I think f(a,b) = ln(e^a + e^b) is a fun operator 11:19:07 I was sort of hoping that that or a variation of it could be used for this, but it's fun in and of itself, I think 11:19:35 how about the "cool associativity" where a ? a ? a ? a = (a ? a) ? (a ? a) 11:19:46 :=, rather 11:20:00 the Double Cool Associativity whereby a ? a ? a = a + 3 11:20:05 ":=" 11:20:21 the real joke: people who make a distionctioneoi rjowrjeoi wjeroi jweo fjowfj iowjf iowjef owjf kfwpfl [wlf lwf[p lw] r;f]3[r; ]f/; f ew,f ;lwker lp[ro[ 3- 2o=- =`= -=` 0-3i -4 k1o 11:20:21 associativity where my dreams come true??? yes please 11:20:25 o1-o fkl 4po jng 11:20:30 monqy: do you ever give up 11:20:37 that was me giving up on writing that sentence 11:20:56 what was the sentence............................... 11:21:04 i dont know 11:21:05 its lost 11:21:06 forever now 11:21:07 :[ 11:21:08 R. I. P. 11:22:09 If you have the properties that a ? a = a + 2 and a ? a ? a = a + 3, then (a ? a ? a) ? (a ? a ? a) = (a + 3) ? (a + 3) = a + 3 + 2 = a + 5 -- but you also wanted a ? a ? a ? a ? a ? a in general to be a + 6, which is perhaps a bit of a problem. 11:22:54 i don't think sgeo cares about associativity though, which is weird given the way he was writing his stuff!!! 11:23:04 Also going backwards from a?a?a = a+3, a?a = a+2, I suppose then a = a+1. 11:23:05 "it's almost like he hadn't thought it through" 11:23:32 fizzie: imo Double Cool Associativity solves these problems? and more? 11:23:58 Double Cool probably solves anything, it's so cool. 11:24:23 fizzie: other solutions: infinity number system where every number is infinity 11:24:26 a = a+1? no problem 11:24:35 a+5 = a+6? no problem 11:25:24 Well, is it really a big deal to say that ((a ? a) ? a) ? a not always = (a ? a) ? (a ? a) 11:25:25 ? 11:25:37 sgeo i think the a = a + 1 thing might be more of a problem 11:27:01 it's unfair to say that a = a + 1 when he hasn't even explained his notation 11:27:12 maybe a = a + 2!!!!! 11:27:34 well 11:27:43 if we say that + is defined in the "usual" manner 11:28:01 a + Sb = a ? (a + b) -- adjust for associativity 11:28:16 a + 1 = a -- base case 11:28:30 i dont quite know why you wouldnt just go with a ? a = a + 1 tho 11:28:40 not like 1 is privileged as a base-case for repeaty thirng rj jwraw klsf aew; ';. 11:28:42 i gave up again 11:28:44 * Sgeo__ can live with a ? a = a + 1 11:28:52 then whats a ? (a + 1)!!!!!!! 11:29:24 monqy: 4 11:29:43 Reason I was thinking a ? a = a + 2 is because a + a = a * 2 11:31:17 i'll let fizzie figure it out 11:31:27 Q: 11:31:32 ps, thats a smiley 11:38:51 -!- augur has quit (Read error: Connection reset by peer). 11:39:05 -!- augur_ has joined. 11:46:02 " Well, is it really a big deal to say that ((a ? a) ? a) ? a not always = (a ? a) ? (a ? a)" if you don't have associativity, computations become harder usually. 11:46:40 i mean calculations 11:57:11 Fuck 11:57:27 Suppose a?a = a+1 11:57:42 Then (a+1)?(a+1) = a+1+1=a+2 11:58:10 But, ideally, (a?a)?a = a+2 = (a+1)?a 11:58:23 So (a+1)?a = (a+1)?(a+1) 11:59:25 duh 12:00:38 oh was the idea to change the definition so that a?a = a+1 for all a but you still get some nontrivial operation? 12:00:44 so that a?b may not be a+1 12:01:05 Pretty much, yeah 12:01:12 then why do you say a+2 = (a+1)?a 12:01:37 oklopol: because the point is to have addition be "repeated ?" 12:01:45 so you have to define addition inductively by ? 12:01:51 that's a very good poitn 12:01:52 point 12:02:24 in any case is there an associative operation on N such that a?a = a+1 for all a? 12:02:36 And the end result will probably be the successor operation, ignoring the second argument of ? :-P 12:02:52 oklofok, there's an operation 12:03:08 Not sure if it's associative, but 12:03:18 log_2(2^a + 2^b) = a?b 12:03:22 if you want to have addition be repeated ?, then i'm pretty sure it has to be successor . takeleftarg 12:04:11 hmm 12:04:22 a?a = log_2(2*2^a) = log_2 2 + log_2 2^a = 1 + a 12:04:29 Deewiant: that's ruled out by Sgeo__'s undefined nebulous triviality rule 12:04:45 Sgeo__: so what's a?b? 12:04:54 log_2(2^a + 2^b) 12:04:55 presumably 12:05:00 yeah 12:05:41 then (a?b)?c = log_2(2^log_2(2^a + 2^b) + 2^c) = associative 12:05:42 cool 12:06:07 but is (a?a)?a = a+2?????????????? the mysteries 12:06:30 oh i though he checked that 12:06:35 i guess it's not 12:06:47 or is it :D :D 12:06:51 i dont think it is 12:06:56 No. At least, I'm fairly sure the answer is no. I came up with the general thing against the whole ? idea when wondering about this particular operation 12:06:57 It's not 12:06:57 god (W|A) doesn't seem to think so either 12:07:01 yeah 12:07:33 You would have to have that (a+1)?a = a+2 thing if you wanted (a?a)?a = a+2. 12:07:34 so you have an operation that's associative such that a?a = a+1 12:09:46 in general, (a+n)?a = a+n+1 for all a with that idea 12:09:56 i mean what fizzie just said 12:10:29 and we require nothing for a?b where b is less than a 12:10:38 erm 12:10:41 a is less than b 12:10:46 oi elliott are you ever going to do that thin 12:10:51 g 12:11:15 so that's the characterization right, any binary function such that a?b = a+1 when b \leq a 12:11:40 Phantom_Hoover: ye but im tired right now so do you really want me to set up the fortress in that state 12:11:48 consider how horrifying awake elliott fortresses are 12:11:59 just do worldgen and pick an embark then 12:12:06 in particular, you can make it commutative right 12:12:24 a?b = max(a, b) + 1 12:13:00 so, this is the unique commutative binary operation f such that addition is repeated f i guess 12:13:30 we could publish this in the journal of ridiculous theorems 12:13:31 congrates Sgeo__ 12:14:52 oklopol: If it's repeated with both arguments being the result of the previous, there are others 12:16:02 so my requirement was a + b = ((((a?a)?a)?a)?...)?a where a appears b+1 times on the right 12:16:11 with yours, err 12:16:25 that's just a?a = a+1 12:16:45 p. sure Sgeo__ meant what oklopol meant 12:16:47 and then Sgeo__'s is a commutative associative operation 12:16:57 or pretty much anything else. 12:17:07 I just wasn't sure what you meant with "addition is repeated f" 12:17:19 sure 12:17:21 -!- myndzi has quit (Ping timeout: 246 seconds). 12:17:30 but Sgeo__ already solved it for that def 12:17:38 Deewiant: + : ? :: * : + 12:17:43 -!- myndzi has joined. 12:17:44 elliott: Yes I know 12:17:58 Deewiant: that was just a random string of symbols 12:18:04 elliott: No it wasn't 12:18:29 Deewiant: im upset 12:18:30 elliott's just a very lucky guy 12:22:15 -!- Phantom_Hoover has quit (Read error: Operation timed out). 12:36:11 -!- Phantom_Hoover has joined. 12:38:36 fizzie: do you know of a thing to get outgoing messages automatically split when they're too big w/ irssi 12:38:46 i found this ancient perl script to do it but idk if it's any good or whatever 12:38:56 scripts.irssi.org splitlong.pl is what I use. 12:40:09 Except I use it with a /set splitlong_max_length 400 which is overly cautious, but the default -- which is calculate the exact limit programmatically -- sometimes miscalculates stuff due to things like freenode cloaks. 12:40:45 (The "fis@iris.zem.fi" it believes will be in the message is shorter than the real "fis@unaffiliated/fizzie".) 12:41:06 what i found was http://scripts.irssi.org/html/autowrap.pl.html 12:41:39 fizzie: solution: get rid of your cloak since you have a cool hostname?? 12:42:12 Well http://scripts.irssi.org/scripts/autowrap.pl and http://scripts.irssi.org/scripts/splitlong.pl they're quite similar, except autowrap always uses that limit of 400, it seems. 12:42:21 Slightly curious that I hit the same number independently. 12:42:27 wow, Debian has literally a kajillion identds 12:43:15 And it binds to event_send_text vs. sig_command_msg so it might affect some cases where the other would not, but it's split everything I've typed just fine. 12:43:36 The cool hostname unworks if I connect to a non-IPv6 server these days. :/ 12:44:08 fizzie: I connect with this fancy SSL thing. And then authenticate with this fancy SASL thing. 12:44:12 It feels like the future times a billion. 12:44:16 oh god 12:44:17 -!- sebbu has joined. 12:44:17 -!- sebbu has quit (Changing host). 12:44:17 -!- sebbu has joined. 12:44:21 my server is the one doing the connection 12:44:24 and linode supports ipv6 12:44:28 i could make it connect with ipv6 12:44:32 monqy: should i do this 12:44:36 i don't know if i can handle that much future 12:44:43 but 12:44:45 the future is forever 12:45:11 the lazerfuture 12:45:31 -!- sebbu3 has joined. 12:45:51 oklopol: http://www.worldipv6launch.org/measurements/ 12:45:53 the future is forever. 12:46:43 fizzie: do you use a specific identd 12:46:47 -!- sebbu2 has quit (Ping timeout: 260 seconds). 12:46:49 what's with the giant dip on the 28th of september 12:46:51 I wrote one once but I can't be bothered to use something that isn't apt-get!! 12:47:05 Phantom_Hoover: the future briefly ceased being forever 12:47:50 elliott: I seem to be using oidentd, but I don't have a very special reason for it. 12:48:59 -!- sebbu has quit (Ping timeout: 260 seconds). 12:49:46 http://outside.hut.fi/2_days.png GRAPH 12:49:52 -!- sebbu has joined. 12:49:57 -!- sebbu3 has quit (Ping timeout: 256 seconds). 12:50:18 Why do I get an IP address instead of a hostname 12:50:42 Where? 12:50:48 In /whois 12:51:03 elliott: I use oidentd. 12:51:51 fizzie: That looks cold. 12:51:59 Deewiant: Perhaps Freenode does the bidirectional check? 12:52:03 It's cold in the other H town too but probably less cold. 12:52:04 $ host 109.75.188.190 12:52:04 190.188.75.109.in-addr.arpa domain name pointer 109-75-188-190.reverse.cust.as47215.net. 12:52:07 $ host 109-75-188-190.reverse.cust.as47215.net 12:52:07 Host 109-75-188-190.reverse.cust.as47215.net not found: 3(NXDOMAIN) 12:52:22 Why do I have a hostname that doesn't work 12:52:22 I see fizzie isn't using a secure connection. 12:52:29 Naughty. 12:52:42 That should go back to 109.75.188.190 so that everyone would accept the reverse as genuine. 12:52:47 (How do I get irssi to prefer IPv6 servers for the irc.freenode.net thingy?) 12:52:53 Why doesn't it D-: 12:52:56 -!- monqy has quit (Quit: hello). 12:53:19 You can say -6 to /connect and /server. 12:53:37 I tried SSL/TLS with IRC, but WeeChat’s upgrade without dropping connections (as well as Irssi’s for that matter) doesn’t work with encrypted connections. 12:54:23 ion: For irssi that's not a problem since it doesn't get new releases. 12:54:32 heh 12:54:35 fizzie: is there a way to -6ify my existing server entry without retyping my settings :( 12:54:38 Oh noes, you'll have to disconnect for a few seconds! YOU MIGHT MISS SOMETHING IMPORTANT 12:54:51 elliott: /save and edit the config file? 12:54:57 That could work. 12:54:59 Deewiant: like a commoner! 12:55:12 Maybe if you add the server with the same name, it only edits the explicitly specified settings? Then again, maybe NOT. 12:55:15 deewiant: It’s not about missing messages, it’s about unnecessary quit/join spam. 12:55:24 Oh, I should set up the verify-server-SSL-key thing too. 12:55:27 What if someone IMPERSONATES FREENODE? 12:55:33 Especially if you use nightly builds and upgrade daily. 12:55:48 I did think about maybe SSLing, I think bip does that. But it doesn't do the SASL auth. 12:55:49 I think that's a reasonable source of quit/join spam 12:55:50 (it is so about missing messages) 12:55:59 elliott: What if YOU HAVE CHATTED ON A FAKE NETWORK ALL THIS TIME? 12:56:08 What if I'm a fake fizzie too. 12:56:17 You should "verify my key", if you know what I mean. 12:56:21 (I don't know what I mean.) 12:56:59 * ion signs fizzie’s public key, if you catch my drift 12:58:50 I think if I mosh into my dtached irssi which connects with IPv6 ~verified~ SSL and authenticates with SASL using an identd that might just be too many things and I would explode. 12:58:59 My key has 18 signatures. And apparently expired in 2006. 12:59:06 (I don't get much PGP'd mail.) 12:59:09 Oh hey, /server -6 irc.freenode.net DTRT. 12:59:15 It just didn't show it as DoingTRT in /server list. 12:59:22 Or maybe that's the creation time. 13:00:28 Oh, oidentd looks Totally Bloated. 13:00:33 Hierarchical configuration files and everything! 13:01:35 elliott: That's weird; "/server blah" is supposed to just connect to blah, not edit the server list. 13:02:01 ("/SERVER disconnects the server in active window and connects to the new one. It will take the same arguments as /CONNECT.") 13:02:44 I never liked that /server command in irssi. I was always worried that I'd accidentally disconnect. 13:02:49 fizzie: Or was it /server add? 13:02:55 Apparently it was: /server add -6 irc.freenode.net 13:02:56 That would make more sense. 13:03:05 It's nice that it did the right thing. 13:03:22 Nicer than I've grown to expect of this client. 13:03:23 -!- sebbu3 has joined. 13:03:42 -!- sebbu3 has quit (Changing host). 13:03:42 -!- sebbu3 has joined. 13:04:31 elliott: The right thing to do with Irssi is to add a network (/network add Freenode IIRC), add a server to that (/server add -auto -network Freenode -6 irc.freenode.net IIRC) and connect using the network name (/connect Freenode IIRC). 13:05:08 That’ll let you add alternative servers in case one is down and it will also connect correctly on startup. 13:05:14 I believe this was already done, and the point was just to modify the settings of the server. 13:05:26 And you’ll be able to add channels to be joined automatically to networks. 13:05:49 -!- sebbu has quit (Ping timeout: 246 seconds). 13:05:50 ion: I did that! 13:05:59 ion: My network has one (1) server. 13:06:02 I never anticipate it having any more. 13:06:10 My freenode server has the host name "freenode", and my ircnet server is called "ircnet". (The bouncer listens to all connections in the same port and differentiates networks by the password, but irssi refuses to accept multiple identical host:port servers, so I have to use dummy names and /set proxy_address 127.0.0.1, which is stupid.) 13:06:27 elliott: what network? 13:06:28 fizzie: Do people actually use IRCNet? 13:06:33 oklopol: f re node 13:06:34 finnish people do 13:06:36 Sure. 13:06:44 no one else 13:06:48 IRCnet is probably the most popular network among Finns. 13:07:43 And now, a languages joke: http://i.imgur.com/fIB5o.png 13:07:49 http://irc.netsplit.de/tmp/networks/top10_2012u.png -- it's still quite high up there. 13:08:18 Beats Undernet and EFnet in users quite clearly. 13:08:48 Also Freenode has an interestingly strong week-periodic thing, stronger than the other networks. 13:09:03 I suppose it's because SERIOUS BUSINESSMEN use it for SERIOUS BUSINESS. 13:09:08 EFnet scares me a bit. 13:09:36 i've used quakenet, freenode, ircnet, ef 13:09:40 aaand dal 13:09:41 I thought EFnet was at least bigger than Undernet. 13:09:52 I've used those same networks as o. 13:09:53 ef is kind of iffy 13:10:12 I'm currently on QuakeNet, FreeNode, IRCnet, EFnet, and OFTC, and I've also used Undernet and maybe Rizon. 13:10:31 I'm no longer in anywhere else than Freenode and IRCnet. :/ 13:11:27 And I've been on Ustream and other specific things with non-IRC-client programs. 13:11:41 i'm on free and quake because those are the only places where people get sad if i don't show up on channels, and i can't manage to make irc autoconnect when my computer explodes and i have to restart. 13:11:56 what the heck is webchat 13:12:09 fizzie: Can you write an identd for me? 13:12:48 What it should do is if you have an ~/.identrc it runs that passing the server that's asking for the identity, and uses its output as the identity. 13:12:56 oklopol: http://webchat.xs4all.nl/ I think 13:12:57 I don't think I can be bothered. 13:13:07 fizzie: Okay, but how about: reconsider? 13:13:13 so how many shoes do you people have, i apparently have like 10 pairs 13:13:17 Deewiant: It's listed as a network, though. 13:13:24 Deewiant: That one connects to real networks. 13:13:36 fizzie: Oh, darn, missed that. 13:13:42 I only read most of the left column. 13:13:58 It seems to mean irc.webchat.org. 13:14:03 most of them don't even have a sole 13:14:14 Which is some kind of a thing. 13:14:17 And there's also www.webchat.org, which is its homepage. 13:14:25 Yes, but I don't understand it. 13:14:39 Deewiant: Do YOU use an identd??? Wait, maybe you answered already. 13:14:46 elliott: Nope. 13:14:54 elliott: (Can't you tell with /whois?) 13:15:06 Deewiant: That would be... cheating. 13:15:06 I've used the XS4ALL webchat from some HTTP-only airports. 13:15:46 oklopol: Not enough: I need to buy new shoes ASAP because there is lots of snow everywhere and all my current shoes result in wet socks in such an environment. 13:16:18 Deewiant: Speaking of whois, what's this as47215.net all about? It seems to be some kind of a German webhost/colo place. 13:16:54 i have the same problem 13:17:04 fizzie: Yes, I have a virtual server from DE.Punkt. 13:17:04 guys 13:17:14 maybe you should live somewhere it doesn't snow 13:17:16 and i actually prolly have better suited shoes but changing shoes is such an emotional rollercoaster. 13:17:33 fizzie: I (think I) changed the RDNS now via the Web UI, but if it worked it hasn't propagated yet. 13:18:25 Why does freenode even bother to make ident requests? 13:18:26 Well, I can query their nameservers directly, of course; it did work. 13:18:28 I mean, it's 2012. 13:19:37 I guess I'll install oidentd since nullidentd requires inetd. But still, ew. 13:21:09 oklopol: I have something like five or six pairs of shoes maybe, if you count everything? But only one pair of borderline sensible winter ones. 13:21:30 All the shoes are kind of different type of shoes, I don't really have redundant shoes. 13:21:31 I have one (1) pair of shoes I actually wear. 13:21:33 They're awful. 13:22:07 My wife takes care of the redundant shoe ownership tasks in our household, which is I think a reasonably common setup. 13:22:15 I have three pairs of outdoor shoes currently, two of which are redundant in the sense that I use them only when it's warm, and interchangeably. 13:22:35 fizzie: If alt+ produces "OD" and "OC" for left and right respectively, what's misconfigured? 13:22:38 I'm so sick of this stuff not working. 13:22:44 It never seems to get better. 13:23:44 elliott: I don't know how you managed to make the alt key not work, to be honest. 13:23:52 -!- sebbu has joined. 13:23:52 -!- sebbu has quit (Changing host). 13:23:52 -!- sebbu has joined. 13:24:13 fizzie: Come on, it's like, not worked out of the box in Ubuntu for years and stuff. 13:24:17 P.S. this is in bash. 13:24:26 This is one of the most persistently broken things. 13:24:38 Oh hey. 13:24:41 I think it might be mosh's fault. 13:24:43 kmc!!!!!!!!!! 13:24:57 They seem to produce [D and [C for me in zsh, and do some kind of cursor movement in bash. 13:25:41 -!- sebbu3 has quit (Ping timeout: 245 seconds). 13:25:42 Alt in general, including keys in irssi, have worked out of the box for me pretty much always. Though in bash alt-arrows seem to insert [D and [C for me. 13:25:52 I don't know what they should do there. 13:26:09 http://www.freenode.net/certfp/certfp-irssi.shtml guys what is this about 13:26:20 it seems to be a totally different thing to the things i have been setting up 13:26:22 -!- Arc_Koen has joined. 13:26:27 it's... setting yourself up a certificate so freenode can verify you??? what is this 13:26:38 is this the sasl stuff 13:26:44 Yes, it seems to be a client certificate. 13:26:47 that i have a script handle for me 13:26:50 I did not know they even did client certificates. 13:26:50 right but what is that 13:26:56 does it have a point??? 13:27:04 it looks sort of like you can get passwordless logins by doing this 13:27:12 but i have no idea how it differs from sasl in terms of goodness or whatever 13:27:23 It's X.509, it's like X-X-Xcellent. 13:27:55 "CertFP allows clients connected via SSL with a client SSL certificate to authenticate to services using the SHA1 fingerprint of their client SSL certificate. One must have registered with services." 13:28:02 I wonder if this is some kind of a new dealie. 13:28:33 this seems possibly fancier than sasl?? 13:28:55 It seems vaguely sensible in the sense that if you're doing SSL already, it's sort of in the same rigamarole. 13:29:10 I wonder if they've managed to not screw up the cloak thing when authenticating over that thing, though. 13:29:29 Since the usual nickserv-pass-in-PASS thing they did screw up. 13:29:33 Cloaks work for me with SASL if that helps? 13:29:40 And I've used NickServ pass in server password for forever. 13:29:44 My cloak's always worked. 13:30:24 SASL is I think the only guaranteed thing. 13:30:47 With server-pass it sometimes doesn't manage to enable the cloak before joining, if services are being laggy. 13:31:02 I hear SASL is sometimes non-guaranteed i.e. times out or something. 13:31:19 I guess that might happen. But when it works, it always happens before anything else can happen. 13:32:07 Now, if you want to verify the Freenode server SSL certificate against a certificate authority (CA), then you’ll need to download the CA certificate from the authority that signed the server certificate. In this case, its Gandi.net, and their CA certificate file can be found here: http://crt.gandi.net/GandiStandardSSLCA.crt. However, using the file in its native DER format for Irssi wasn’t working for me. So, using openssl, I converted the bina 13:32:14 be found here: http://crt.gandi.net/GandiStandardSSLCA.crt. However, 13:32:17 using the file in its native DER format for Irssi wasn’t working for me. So, using openssl, I converted the binary 13:32:20 DER data file to PEM format, at which the Freenode certificate would properly verify: 13:32:23 Sometimes I just don't trust technology, you know? 13:32:24 (TODO: Get that wrapping thing being a thing.) 13:33:56 Mhm, bip can do client SSL certificates, maybe I should also set up that Freenode thing. 13:34:00 Though later. 13:34:09 Let's try this. 13:34:12 -!- elliott has quit (Quit: Reconnecting). 13:34:21 -!- elliott has joined. 13:34:30 Oh man. 13:34:31 I wonder what is the difference between "local minimum found" and "local minimum possible" from MATLAB fminunc. 13:34:38 Did that, like, work? 13:35:32 You are at least identd'd. 13:35:39 And I set ssl_verify, so I assume that's... working. 13:36:11 Aha but. 13:36:15 13:34:21 -!- hostname : li278-81.members.linode.com 178.79.159.81 13:36:18 That doesn't look very IPv6. 13:36:26 (Is there a way to tell whether I'm using an IPv6 connection?) 13:36:38 13:34:15 -!- Your host is morgan.freenode.net[64.32.24.176/6697], running version ircd-seven-1.1.3 13:36:47 That doesn't look very six. 13:36:48 I guess that isn't terribly reassuring. 13:37:04 Is there no SSL IPv6 service or something? 13:37:17 Why are you using a server in the USA? 13:37:18 That doesn't sound like it'd make sense. 13:37:31 Deewiant: I'm just using irc.freenode.net, man. 13:37:34 fizzie: Wait, what doesn't? 13:37:49 Also did you know: a whole two (2) people have edited the Esolang wiki anonymously using an IPv6 address. 13:37:57 Not having SSL for the IPv6. 13:38:02 elliott: Yeah, and I question the sensibility of that. 13:38:20 Deewiant: Well, what would you rather I do? List a bunch of servers manually and keep that up to date? 13:38:27 I'm using chat.eu.freenode.net; it's a compromise. 13:38:38 This server is in London anyway, that's basically the US. 13:39:00 I think I'm also using chat.eu.freenode.net, possibly with one manually listed server before that. 13:39:17 elliott: did you know someone could get the nick ehird right now if they wanted to 13:39:19 "Shame they don’t allow auto-identification using client-side SSL certificates, like OFTC does." "@bloogle Yeah, but the SASL auth is every bit as good, if not better if using DH-BLOWFISH" 13:39:21 Okay, I also have lindbohm manually before it, but it's all cyclic so it's not really "prioritized". 13:39:23 Truly, future-predictors. 13:39:39 http://sprunge.us/NXbZ -- see which continent is more like future. 13:39:41 shachaf: I don't expect anyone except maybe shachaf t otry that. 13:39:56 Why would I try that? 13:40:17 Well, you just looked up the last time ehird was logged into, so you must have some interest in the name. 13:40:29 Not 'ardly! 13:40:33 elliott: By the way, is there an equivalent of Bazaar for a Setter? 13:40:41 Foo a b t = (a -> b) -> t 13:41:12 So that Setter s t a b = s -> Foo a b t, of course. 13:42:24 Hey, there's a rajaniemi.freenode.net that's in some "TKK Comnet/FUNET" block, in Finland. 13:42:26 Sounds like you just wrote it? 13:42:28 That's news. 13:43:13 fizzie: I bet you can't change just the server field of an irssi server. :( 13:43:19 elliott: Is there a name for it? Does it have interesting features? 13:43:33 shachaf: It's a monad. 13:44:01 elliott: I bet so too, since it'd identify the server to change by the host:port pair. 13:44:32 Oh. 13:44:35 I set ssl_verify without ssl_cert. 13:44:38 Does that do anything? 13:45:01 elliott: As in (r ->)? 13:45:32 elliott: It sounds like it'll then try to verify the server's certificate against who-knows-what certificates. Ideally the ones in /usr/share. 13:46:59 Deewiant: I set ssl_capath to /etc/ssl/certs. 13:47:00 If that helps. 13:47:11 So is that, like, the right thing? 13:47:55 + 13:47:57 It has the standard set of trusted certs, at least. 13:48:42 /server add -6 -ssl -ssl_verify -ssl_capath /etc/ssl/certs -auto -network freenode chat.eu.freenode.net 6697 13:48:45 Bit of a mouthful. 13:49:00 Let's try that. 13:49:02 -!- elliott has quit (Quit: Reconnecting). 13:49:10 -!- elliott has joined. 13:49:18 Hmmmm. 13:49:23 This is still not IPv6. 13:49:43 I wonder what on earth is wrong. 13:50:58 -!- jix has quit (Ping timeout: 246 seconds). 13:51:23 -!- fizzie has quit (Quit: jumpin' jumpin'). 13:52:23 someone should add ithkuil to the joke Deewiant linked 13:52:48 I think instead Deewiant should help me get IPv6 working. 13:52:59 I don't know much about IPv6. 13:53:42 What! But you're Finnish. 13:54:09 I don't have IPv6 connectivity on any machine I own. I could set it up in my LAN but I haven't bothered. 13:54:17 I don't think we have it at work either. 13:55:02 elliott: IPv6 is the devil. 13:55:23 By having fewer IP addresses than humans, we keep the resource valuable. 13:55:38 "ipv4 addresses: earth's greatest export?" 13:56:43 -!- fizziew has joined. 13:56:46 But what about THE INTERNET OF THINGS? 13:57:14 Also what is this stupid delay in reconnecting, I have the stupidest bouncer, it's stupid. 13:57:42 I'm MISSING MESSAGES here. Not that it's about that. 13:58:56 -!- fizzie has joined. 13:59:20 -!- fizziew has quit (Client Quit). 13:59:26 fizzie: OK, so you get to help me instead!! 13:59:33 To wit: WHY ISN'T IT WORKING FIX IT. 13:59:35 (Shocking news: it was myself who was the stupid.) 14:00:28 I don't know why it is not working, but why don't you just "nc -6 chat.eu.freenode.net 6667" to see if that goes anywhere? 14:00:41 Also I have a CLIENT CERTIFICATE now. 14:00:51 I am also using a SECURE CONNECTION. 14:01:19 You are also using a Lithuanian server instead of rajaniemi. 14:02:15 Deewiant: I use chat.eu.freenode.net and you still complain? 14:02:46 13:49:04 -!- - Welcome to barjavel.freenode.net in Paris, FR, EU. 14:02:53 I... don't think that's Lithuania, Deewiant. 14:03:00 It was about me, I think. 14:03:04 elliott: You are not fizzie. 14:03:23 Deewiant: I put {rajaniemi, lindbohm, chat.eu} to the list, and apparently the cycling thing was at chat.eu at the time when I fixed the stupid bit. 14:03:32 heh 14:04:52 Deewiant: OK but I actually am fizzie. 14:05:14 Oh no, am I elliott then? I... I'm not sure I want to. It sounds difficult. 14:05:20 elliott is fizzie? 14:05:29 WAR is PEACE. 14:05:31 fizzie: I think elliott isn't telling the truth. 14:05:41 fizzie: Is this client certificate stuff easy to set up? 14:05:42 Because Finland ≠ Hexham, right? 14:05:47 Maybe I'll do it næxt. 14:05:57 nc: invalid option -- '6' 14:06:00 fizzie: A good start. 14:06:12 * elliott wonders which of 70 flavours of netcat this is. 14:06:40 elliott: GNU, methinks. 14:06:55 elliott: It was reasonably easy for bip, I don't know about irssi. Probably it's just one setting, since Freenode doesn't actually verify the client certificate, it just uses the fingerprint from it. 14:07:15 Ithinks because recently openbsd-netcat started conflicting with GNU netcat in Arch and I went with GNU and it says the same thing. 14:07:33 Deewiant: Well, *I*thinks no GNU software would say "nc -h for help". 14:07:39 "telnet -6", then. 14:07:42 And not even accept --help. 14:07:52 elliott: Well, you didn't say that bit. 14:08:19 Deewiant: Re the client setting: I was thinking more of the making a certificate part. 14:08:21 (The one I tried with was the netcat-openbsd of Ubuntu something-at-work, and it has a -6.) 14:08:33 -!- imelliott has joined. 14:08:39 Hello im friends 14:08:50 imelliott-- 14:08:59 Deewiant im sad 14:09:03 Please dont 14:09:14 Mellow elliott. 14:09:26 What a concept. 14:09:32 Inconceivable! 14:09:39 So um this thing works fine, I am tempted to: blame the whole SSL thing? 14:10:10 Turn off SSL and see if it works in irssi? 14:11:53 I got a v6'd SSL connection just fine, though. But maybe it's worth a try. 14:11:56 Deewiant: But... 14:12:02 Deewiant: What if people spied on me? 14:12:13 If you're only here, you're publically logged anyway. 14:12:31 HTH. 14:12:37 Wow, "publically". 14:12:50 You could also try /connect -6 or something. Though the -6 setting *should* end up in there for listed servers too, I think. 14:13:05 elliott: Don't be elsewhere while you're testing. 14:13:14 -!- imelliott has quit (Ping timeout: 246 seconds). 14:14:04 Deewiant: Incidentally, since you found out about Lithuania... does that client certificate fingerprint also show up in /whois to others? 14:14:37 fizzie: No, only that and "is using a secure connection" apart from the usual. 14:15:45 Hokay. Makes sense. 14:16:00 elliott: Is it also a comonad? 14:16:05 elliott: When a ~ b, that is. 14:17:14 I think that it is once again blizzard time. --> 14:17:30 It's like bullet time, except you dodge snowflakes. 14:26:02 -!- yhoje has joined. 14:27:26 -!- yhoje has left. 14:27:56 -!- yhoje has joined. 14:36:12 -!- yhoje has quit (Ping timeout: 264 seconds). 14:40:04 -!- yhoje has joined. 14:46:19 -!- yhoje has quit (Ping timeout: 264 seconds). 14:52:57 -!- yhoje has joined. 14:58:35 -!- atriq has joined. 14:58:57 -!- yhoje has quit (Ping timeout: 252 seconds). 15:00:37 -!- nooodl has joined. 15:05:25 I like today's Girl Genius 15:05:25 atriq: You have 1 new message. '/msg lambdabot @messages' to read it. 15:06:18 @tell oerjan it was something about Plated letting us traverse self-similar descendants 15:06:19 Consider it noted. 15:07:37 atriq: Did you hear: upon was renamed to onceUpon, and uponTheDeep was renamed to upon? 15:09:10 I did not! 15:09:24 This makes it somewhat harder to use lens to sing Adele songs in Haskell! 15:11:59 Although slightly easier to recite Grimms' Fairy Tails 15:12:46 fairy tails are tastier than gator tails 15:17:27 I'll trust you on that, having never tasted either 15:23:00 -!- Frooxius has joined. 15:25:39 -!- boily has joined. 15:43:31 uh 15:43:42 I can't escape ' in my terminal any longer 15:43:53 for instance echo '\' prints a backslash 15:44:31 it should do that, I think 15:44:44 try echo "\"" 15:45:25 yeah, but the " quotes usually cause a lot of problems 15:45:41 for instance if the string I want can be interpreted as bash commands or something 15:45:51 -!- Phantom_Hoover has quit (Read error: Operation timed out). 15:49:54 -!- Phantom_Hoover has joined. 16:01:22 -!- jfischoff has joined. 16:05:53 elliott, OK so seriously, are you ever going to start that fort. 16:06:04 Because if you aren't then just say so. 16:07:08 Deewiant: Blizzard time indeed; I just waited 35 minutes on the Konemies bus stop, from 17:25 to 18:00, because the 17:35 510 failed to apparate at all. (Unless it's this one and really late.) 16:08:24 Arc_Koen: I tend to use 'blabla'\''bleble' if I want the string blabla'bleble as an argument. 16:08:38 Phantom_Hoover: yes 16:08:40 Phantom_Hoover: tomorrow 16:08:40 Phantom_Hoover: promise 16:08:49 Admittedly the '\'' sequence looks quite crummy, but it works. 16:08:52 you promised yesterday 16:08:55 several times 16:09:25 Phantom_Hoover: i've been busy ok 16:09:47 fizzie: hey can you @tell elliott get ipv6/client certificates working 16:10:15 @tell ellitt get ipv6/client certificated workdjsjud 16:10:16 Consider it noted. 16:10:16 fizzie: hmmmmmm ok thanks 16:10:20 Whoops. 16:10:21 weird though 16:10:57 fizzie: :( 16:10:58 c'mon 16:11:03 lambdabot doesn't let you self-@tell!! 16:11:05 Frozen fingers. 16:11:13 Hey my battery outruns. 16:11:26 elliott: can't you /nick and self-tell 16:11:28 @tell elliott hhhey get ipv6/client certificated workdjsjud 16:11:28 Consider it noted. 16:11:36 I think I hit it now. 16:12:10 fizzie: that's about as good as my typing, so it's good enough 16:12:10 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 16:12:16 Out of power oh no -> 16:12:17 quintopia: ye but that is like spammy & inelegant & stuf 16:13:11 so is the method you used, but whatev 16:13:16 @ty ?spammy & ?inelegant & ?stuf 16:13:17 (?spammy::a1, ?inelegant::a1 -> a, ?stuf::a -> b) => b 16:15:28 -!- ogrom has joined. 16:24:45 -!- atehwa has quit (Ping timeout: 246 seconds). 16:34:30 -!- AnotherTest has joined. 16:34:36 Hello 16:51:20 -!- nooodl_ has joined. 16:52:58 fizzie: I only had to wait 10 minutes, missing one 103 and the second coming late; fortunately these 10[23] buses apparate quite frequently around that time of day. 16:54:23 -!- nooodl has quit (Ping timeout: 246 seconds). 17:02:12 -!- myndzl has joined. 17:03:23 510 is not the most reliable bus line ever. 17:04:31 By "missing one" I mean that one didn't come at all, or then it was at least 3 minutes early which I think is exceedingly unlikely in this weather. 17:04:55 So there was a bit of unreliability all around. 17:07:22 -!- epicmonkey has quit (Ping timeout: 265 seconds). 17:07:59 -!- myndzi has quit (Ping timeout: 246 seconds). 17:08:00 -!- lightquake has quit (Ping timeout: 246 seconds). 17:08:00 -!- lightquake has joined. 17:16:37 -!- FreeFull has joined. 17:18:41 -!- oklopol has quit. 17:47:00 -!- ogrom has quit (Ping timeout: 255 seconds). 17:49:09 -!- jix has joined. 17:51:32 -!- atehwa has joined. 17:51:45 -!- Bike has joined. 17:54:48 -!- david_werecat has joined. 17:55:06 -!- david_werecat has quit (Client Quit). 17:55:06 -!- sebbu3 has joined. 17:55:27 -!- sebbu3 has quit (Changing host). 17:55:27 -!- sebbu3 has joined. 17:58:36 -!- sebbu has quit (Ping timeout: 265 seconds). 18:08:14 -!- atehwa has quit (Remote host closed the connection). 18:08:21 -!- atehwa has joined. 18:10:36 -!- jfischoff has quit (Quit: jfischoff). 18:16:49 -!- atehwa has quit (Ping timeout: 260 seconds). 18:17:53 -!- sebbu3 has changed nick to sebbu. 18:18:29 -!- AnotherTest has quit (Quit: Leaving.). 18:23:38 -!- atehwa has joined. 18:23:43 hi atehwa 18:27:57 -!- atehwa has quit (Ping timeout: 244 seconds). 18:28:15 Bye atehwa. 18:29:10 -!- epicmonkey has joined. 18:29:50 hi elliott 18:29:54 hi epicmonkey 18:36:42 Aaaaaaaaaaaaaaaaaah! 18:36:43 Help 18:36:58 -!- atriq has quit (Quit: aoiufhewpiufhaeeiufhweiupf). 18:38:31 -- | An slow, iterated SHA512 hash function to make dictionary attacks more 18:38:31 -- difficult. 18:38:32 defaultHash :: HashFunc 18:38:32 defaultHash a = (iterate hash a) !! 512 18:39:20 -!- ogrom has joined. 18:39:32 -!- ogrom has quit (Client Quit). 18:39:35 -!- david_werecat has joined. 18:40:02 An slow. 18:40:26 -!- atehwa has joined. 18:41:45 -!- soundnfury has joined. 18:44:37 -!- atehwa has quit (Ping timeout: 246 seconds). 18:46:41 Winslow. 18:50:42 -!- sebbu3 has joined. 18:50:48 that makes it look like (iterate hash a) !! n = SHA-n 18:51:02 -!- sebbu3 has quit (Changing host). 18:51:02 -!- sebbu3 has joined. 18:52:04 -!- jfischoff has joined. 18:53:41 -!- sebbu has quit (Disconnected by services). 18:53:48 -!- sebbu3 has changed nick to sebbu. 18:56:24 -!- Bike has quit (*.net *.split). 18:56:24 -!- lightquake has quit (*.net *.split). 18:56:25 -!- fungot has quit (*.net *.split). 18:56:59 funny how shachaf also posted the exact same four lines in #haskell-blah 18:57:21 olsner: What's wrong with that? 18:58:47 it's confusing because it resulted in slightly different conversations, only one of which contained what I thought I replied with 18:58:55 -!- Frooxius_ has joined. 18:59:09 also, duplication annoys me 18:59:46 I don’t really see a problem with IRC crossposting when both recipients are likely to find the message interesting. 19:00:09 olsner: Not my fault that you subscribe to both channels. Most inhabitants of one channel don't subscribe to the other. 19:00:54 there are like several people who are in both channels 19:01:24 I am on both channels and i didn’t get annoyed by that at all. 19:01:54 -!- Bike has joined. 19:01:54 -!- lightquake has joined. 19:01:54 -!- fungot has joined. 19:03:20 * shachaf resists the temptation to cross-post to every channel ion is in. 19:04:14 “Android is upgrading… optimizing app of 118” 19:04:39 What do you bet that “optimizing” in this context involves absolutely nothing that anyone would reasonably consider “optimizing” 19:05:42 iirc, there is something optimization-like (or perhaps just code generation) it does to the bytecode that gets cached 19:05:45 -!- Frooxius has quit (Read error: No buffer space available). 19:08:36 shachaf: What function is hash? 19:08:51 Maybe hash itself is SHA512 19:09:02 And it just happens to get ran 512 times too 19:10:05 shachaf: what code is that from? 19:10:55 snap-auth 19:11:16 The hash is SHA512, yes. 19:12:10 they should probably use PBKDF2 instead 19:12:18 i don't know how much it matters though 19:14:36 They should probably be using a number bigger than 512. 19:18:03 -!- zzo38 has joined. 19:18:57 But you can't use anything else than 512 iterations with SHA-512. It would be unseemly. 19:19:41 shachaf: that too 19:20:40 Django 1.4 defaults to 10,000 iterations of SHA256 19:21:02 Iterations? 19:21:12 They also don't use PBKDF2 or anything like that? 19:21:31 no i mean PBKDF2 with 10,000 iterations 19:21:44 Ah. 19:22:17 10,000 also seems low. 19:22:33 Er, actually, I have no idea how fast or slow PBKDF2 iterations are. 19:24:51 yeah it is kind of low 19:26:36 django's implementation takes 75 ms on my AMD Phenom(tm) II X6 1075T Processor 19:26:48 is claimed to be "four times slower than openssl's implementation" 19:29:19 i wonder if it's increased in the soon to be released Django 1.5 19:31:25 hm bcrypt is explicitly designed to foil GPU-based attacks 19:31:48 and small ASICs, but not FPGAs with lots of RAM 19:31:49 http://security.stackexchange.com/questions/4781/do-any-security-experts-recommend-bcrypt-for-password-storage 19:33:08 obviously i should do 100,000 iterations of SHA512 and then bcrypt that 19:33:11 that's defense in depth right 19:33:26 the maginot line of encryption 19:33:37 yeah 19:33:53 information security has a lot of maginot line situations 19:34:16 people work really hard to secure one area and then get owned by something trivial and completely different 19:42:02 Gregor: It's running a device-specific optimizer pass on the bytecode, actually. 19:42:47 Gregor: Swapping endianness, some constant propagation, etc. 19:42:53 -!- monqy has joined. 19:55:28 *snaps* 19:56:17 Do you like the symmetric variants I made which is related to some of asymmetric chess variants? 19:56:22 Gregor: Where should I find burritos in San Francisco? 19:56:55 shachaf: Literally anywhere. 19:57:25 Walk outside and look for a Mexican restaurant that isn't a chain. Probability is very high that you will find one within two blocks that will be good. 19:57:25 -!- oerjan has joined. 19:57:35 Hm. 19:58:19 happy australian mailman list reminder day, everyone! 19:58:19 oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. 19:58:24 @messages 19:58:24 atriq said 4h 52m 5s ago: it was something about Plated letting us traverse self-similar descendants 19:59:32 is that true for all of SF 19:59:42 04:31:30: "poëtic" 19:59:42 04:31:45: that is the most pretentious use of diæresis i have seen 19:59:42 i want to see a taqueria density heatmap 20:00:12 zomg poëtic 20:00:49 taquría, kmc 20:01:02 i recall poëta being used as an example of something needing a diæresis in latin 20:01:12 shachaf: have you seen http://www.jwz.org/images/5112789301_da50dca4bd_b.jpg 20:01:19 heh 20:01:49 kmc: Nope. 20:03:32 mathematical characters like ☭ <-- don't you know that dialectic materialism is _better_ than mathematics, duh 20:04:22 dielectric materialism is somewhere in between 20:04:46 ++ 20:05:15 kmc: is the joke that tenderloin is the most crime-ridden district in san francisco, or something? 20:05:21 that's one of the jokes 20:05:40 i don't get them all 20:05:50 mission is a hipster fixie 20:05:59 noe valley is full of kids i guess 20:06:17 and haight? 20:06:18 castro is full of gay men who work out all the time 20:06:22 haight is weird 20:06:46 though i think going down those hills on a unicycle would be terrifying 20:06:52 what is the point of fixed-gear bikes, by the way 20:07:05 being cool and different 20:07:16 FiDi is a folding bike for people who commute by train 20:07:54 well, having only a single gear gives you a simpler and more reliable bicycle 20:08:08 lacking freewheeling seems less useful 20:09:12 if they have a bike, shouldn't they just commute by bike? 20:09:38 not 30 miles from palo alto 20:09:41 though people do it 20:09:52 http://sf2g.com/ 20:11:30 -!- david_werecat has quit (Ping timeout: 264 seconds). 20:11:48 i guess that is the opposite direction 20:11:55 people who live in SF and bike to google every day 20:12:08 `addquote colemak is for people who think dvorak is too mainstream 20:12:16 hmm, I thought google was already in SF? 20:12:19 858) colemak is for people who think dvorak is too mainstream 20:12:36 the main google office is in Mountain View 20:12:56 `quote 20:12:57 `quote 20:12:57 `quote 20:12:58 `quote 20:12:59 `quote 20:13:00 which is part of the "San Francisco Bay Area" but about 40 miles from downtown SF 20:13:09 758) haters gonna make som valid points 20:13:10 and completely different as far as what it's like to live there 20:13:14 olsner, this is america, they don't like putting things next to other things 20:13:26 well SF itself is a proper dense city 20:13:38 but like every city (in Europe as well) it has sprawling suburbs around it 20:13:47 365) [on petrol] oklofok: it's actually poisonous, so I advise against drinking it ais523, also contains benzene, my carcinogen of choice. 20:13:50 227) (the former is a very deep theorem, i'd have had to read the whole book to understand it, so i didn't.) 20:13:52 851) unfortunately df is not yet able to simulate norway 20:13:52 297) anyway I've stopped ``trolling'' since apparently you guys don't like me claiming obviously false and absurd claims 20:14:44 the proper dense city part of SF is approximately a square 10 km on a side 20:17:36 huh, apparently there are people who prefer their bikes not to have brakes 20:18:48 hmm, so these chips are "fine cheese" flavored 20:21:10 The accomplishment of today: googled out why the VLC logo is a traffic cone. 20:21:18 "One day, people from the VIA association (VIA is a students' network association with many clubs ... amongst those is VideoLAN. More info here : http://www.via.ecp.fr ) came back drunk with a cone. They then began a cone collection (which is now quite impressive i must say). Some time later, the VideoLAN project began and they decided to use the cone as their logo." 20:21:26 Such a meaningful story. 20:22:29 ah, I collected a cone once ... they're bigger and heavier than you think and end up being not quite as fun as you expect 20:23:23 apparently you can write GCC plugins in Python now O_O http://gcc-python-plugin.readthedocs.org/en/latest/ 20:25:44 Does it mean you do not have to recompile GCC if you want it to do something else? 20:29:14 @tell Sgeo__ You realize ? must have the property a ? (a+k) = a+(k+1) for all natural numbers k? (also you have to decide whether it should work left or right associatively, like tetration.) 20:29:15 Consider it noted. 20:29:46 zzo38: that is already the case, gcc can load plugins from .so's 20:30:25 @tell Sgeo__ (tetration from exponentiation) 20:30:25 Consider it noted. 20:32:16 @tell Sgeo__ Sorry, k >= 2. 20:32:21 -!- HackEgo has quit (Read error: Connection reset by peer). 20:32:38 > "now what" 20:32:48 * oerjan swats lambdabot -----### 20:32:55 Consider it noted. 20:32:57 "now what" 20:33:03 -!- HackEgo has joined. 20:33:25 * oerjan also swats Sgeo__ for having so many underlines he's worried he'll not see the message. 20:33:33 * + -----### 20:37:38 -!- lambdabot has quit (Ping timeout: 256 seconds). 20:37:50 or for other reasons. 20:38:11 * oerjan swats everyone else for not mocking his swatting. -----### 20:42:00 -!- carado has joined. 20:42:25 swatting the void 20:42:29 -!- lambdabot has joined. 20:43:53 -!- sivoais has quit (Remote host closed the connection). 20:44:34 -!- sivoais has joined. 20:46:04 -!- sirdancealot8 has joined. 20:48:42 ok oklofok seems to have pretty much solved the problem. 20:49:19 That's what always happens. 20:49:39 -!- epicmonkey has quit (Ping timeout: 260 seconds). 20:50:13 CURSES FOILED AGAIN 20:51:15 -!- atehwa has joined. 20:52:30 curses, wrote (a+b)(c+d) in a different form not requiring parentheses againn 20:52:30 Sgeo__: You have 3 new messages. '/msg lambdabot @messages' to read them. 20:53:19 Going to go back to repeatedly hitting snooze 20:56:14 Sgeo__: ac+ad+bc+bd? 20:58:55 ac-dc 20:59:22 AC⚡DC 21:02:27 kmc: Expr + doctest = the future 21:02:52 > scanl1 f [a, b, c] :: [Expr] 21:02:53 [a,f a b,f (f a b) c] 21:03:29 nice 21:04:16 -!- EgoBot has quit (Ping timeout: 256 seconds). 21:04:41 -!- EgoBot has joined. 21:09:45 -!- Gregor has set topic: Phantom Hoovers are usually not eaten owing to their repugnant looks, as well as their viscosity and unpleasant habits. | http://codu.org/logs/_esoteric/. 21:29:38 > 1.2 * sqrt (16 ^ 7) 21:29:40 19660.8 21:30:08 The number of 7-character git hashes you need to get a 50% chance of collision. 21:30:14 > 1.2 * 16386 21:30:14 (More or less.) 21:30:16 19663.2 21:30:33 16386? 21:30:44 hm wait 21:31:01 * oerjan may have forgotten some of his powers of 2 21:31:08 > 1.2 * 16384 21:31:10 19660.8 21:31:14 that be better 21:34:16 :t (&) 21:34:17 a -> (a -> b) -> b 21:34:27 huh 21:34:44 > (0$0&) 21:34:46 The operator `Control.Lens.Getter.&' [infixl 1] of a section 21:34:46 must have... 21:44:17 -!- boily has quit (Quit: Poulet!). 21:51:12 -!- monqy has quit (Ping timeout: 250 seconds). 21:51:22 -!- monqy has joined. 21:56:13 -!- oklopol has joined. 21:57:07 -!- oklofok has quit (Ping timeout: 245 seconds). 22:01:00 The operator Control.Lens.Getter.& is a must-have. 22:06:45 > (0$0&&) 22:06:46 The operator `GHC.Classes.&&' [infixr 3] of a section 22:06:46 must have lower ... 22:06:50 > (0$0&&&) 22:06:51 The operator `Control.Arrow.&&&' [infixr 3] of a section 22:06:51 must have low... 22:12:47 > False&(True&(&&)&&&(&&)&uncurry(&&&)) 22:12:48 (False,False) 22:13:38 They are all must-haves, I see. 22:13:42 indeed. 22:14:22 hm... 22:16:15 i cannot see any way of chaining them in order. 22:16:34 :t (?a & ?b && ?c &&& ?d) 22:16:36 Couldn't match expected type `a0 -> b0' with actual type `Bool' 22:16:36 In the second argument of `(&)', namely `?b && ?c &&& ?d' 22:16:36 In the expression: (?a & ?b && ?c &&& ?d) 22:16:46 :t (?a &&& ?b && ?c & ?d) 22:16:47 Couldn't match expected type `a0 b0 c'0' with actual type `Bool' 22:16:47 In the second argument of `(&&&)', namely `?b && ?c' 22:16:47 In the first argument of `(&)', namely `?a &&& ?b && ?c' 22:18:13 :t (?a & ?b (&& ?c &&& ?d)) 22:18:14 Couldn't match expected type `Bool' 22:18:14 with actual type `a0 b0 (c0, c'0)' 22:18:14 In the second argument of `(&&)', namely `?c &&& ?d' 22:20:12 :t ((?a & ?b &&) ?c &&& ?d)) 22:20:14 parse error on input `)' 22:20:15 :t ((?a & ?b &&) ?c &&& ?d) 22:20:16 The operator `&&' [infixr 3] of a section 22:20:16 must have lower precedence than that of the operand, 22:20:16 namely `&' [infixl 1] 22:22:47 elliott, Phantom_Hoover Fiora monqy 22:28:57 -!- sebbu2 has joined. 22:28:57 -!- sebbu2 has quit (Changing host). 22:28:57 -!- sebbu2 has joined. 22:31:09 -!- sebbu has quit (Ping timeout: 260 seconds). 22:41:49 Is there the program to play MOD/S3M/IT/XM samples/instruments in Csound? 22:49:13 -!- Frooxius_ has changed nick to Frooxius. 22:54:06 -!- FireFly has joined. 22:59:57 -!- Bike has quit (Quit: Lost terminal). 23:00:00 -!- NihilistDandy has joined. 23:00:16 -!- Bike_ has joined. 23:02:36 -!- NihilistDandy has quit (Client Quit). 23:02:53 -!- NihilistDandy has joined. 23:03:42 -!- NihilistDandy has quit (Client Quit). 23:04:00 -!- NihilistDandy has joined. 23:04:08 -!- NihilistDandy has quit (Client Quit). 23:07:54 -!- david_werecat has joined. 23:10:08 -!- carado has quit (Ping timeout: 246 seconds). 23:26:58 -!- sebbu2 has changed nick to sebbu. 23:29:35 -!- monqy has quit (Quit: hello). 23:33:39 -!- Bike_ has changed nick to Bike.