00:00:16 who the heck uses axes to cut down trees nowadays 00:01:28 -!- sebbu2 has joined. 00:01:54 The game port IO port is just one byte; four bits for buttons (A1, A2, B1, B2), and four for the "has it timed out yet" bits for X/Y axes of joysticks A/B. 00:03:22 O, so that's how it works. 00:03:51 zzo38: Did you see that ion and I used your IRC server? 00:03:56 How does it know when to start though? 00:04:21 -!- sebbu has quit (Ping timeout: 264 seconds). 00:04:25 shachaf: I haven't looked. What channels did you use? (If it isn't one of the permanent channels, it won't be logged anywhere that it was even in use.) 00:04:38 It was one of the permanent channels. 00:04:44 I don't remember which. 00:04:50 Well, I can look. 00:04:58 Perhaps +TEXNICARD? 00:05:25 If you haven't even seen it after all this time, it doesn't seem like a very good way to contact you. 00:05:33 -!- sebbu2 has quit (Read error: Connection reset by peer). 00:05:46 -!- sebbu has joined. 00:05:47 Yes I found it now. 00:05:53 zzo38: It resets (by discharging the capacitor) on write, I think, and then you wait how long it takes for the bit to go from 0 to 1. 00:06:32 shachaf: You can use the SUMMON command to make my computer make noise and then that is a better way to contact me. 00:06:54 Is that an IRC command? 00:07:00 My client doesn't support it. 00:07:01 shachaf, http://www.d20srd.org/srd/psionic/monsters/elan.htm http://www.d20srd.org/srd/monsters/belker.htm 00:07:06 zzo38: Though there's a BIOS interrupt routine to do it, if you count that as "available to program". 00:07:15 shachaf: I'm sure it supports /QUOTE. 00:07:21 Sgeo_: ? 00:07:38 fizzie: Yes, but how am I to know about SUMMON? I'll forget it about by the time I want to contact zzo38 again. 00:07:57 shachaf: It's a STANDARD COMMAND, why would you FORGET. 00:07:59 shachaf: It is in the help file of the IRC server. 00:08:02 quote 00:08:36 fizzie: So why doesn't my IRC client support it? 00:08:37 shachaf: it's a fully standard command which only zzo38 implements, of course 00:08:38 checkmate 00:08:54 "The SUMMON command can be used to give users who are on a host running an IRC server a message asking them to please join IRC." 00:09:03 Are we sure this command wasn't added by zzo38? 00:09:38 It's a well-established command. 00:09:55 `pastelogs .*please 00:10:15 http://en.wikipedia.org/wiki/List_of_Internet_Relay_Chat_commands#SUMMON see 00:10:16 zzo38: What IRC server do you use? 00:10:18 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5108 00:10:26 shachaf: A variant of ngIRCd. 00:11:06 What Gopher server do you use? 00:11:19 One I wrote myself. 00:11:40 Is the code available? 00:12:05 Yes, although it is written in BASIC so you will need a BASIC compiler in order to use it. 00:12:32 oerjan: btw since you're a wiki admin now I can tell you to feature a language. 00:12:46 i was afraid of that. 00:12:46 zzo38: Why BASIC? 00:12:53 oerjan: Please feature Norwegian. 00:13:00 hm, i guess esme 00:13:33 shachaf: That is just what I used. If I rewrite it again today probably I use C, and make some other improvements too. 00:13:34 oerjan: um esme isn't even on the candidates list. 00:13:39 typical. 00:13:47 universe is cruel 00:14:00 oerjan: plz feature nynorsk hth 00:14:12 zzo38: What other servers do you run? 00:14:24 shachaf: eg trur ikkje det er nokon god idé. 00:14:55 Google translates that to: "I do not think there is any good idea." 00:15:01 Which seems correct, as these things go. 00:15:16 zzo38: If you count the BIOS joystick reading routine, you could say the precision on the PC is around 9 bits; it returns a 16-bit word, but the RBIL says "A 250kOhm joystick typically returns 0000h-01A0h". 00:15:18 factually correct, yet not translationary correct 00:15:24 (A correct statement, I mean, not a correct translation.) 00:15:27 help 00:15:30 shachaf: Apache HTTP server. I had Synchronet on at one time, but now I don't. However, I might put it back later, or a different telnet server. I also run a SMTP server I wrote myself, although it is usually inactive and nobody can connect. 00:15:42 oerjan: don't you mean translationarily correct 00:15:51 no. 00:16:00 or wait 00:16:02 yes. 00:16:07 zzo38: is the code for your smtp server available 00:16:15 shachaf: Yes, although it is written in PHP. 00:16:28 oh 00:16:39 no thanks 00:18:17 Also, it just concatenates all the messages into one file called "mailbox.txt", including headers and everything, and it can only deliver to a single email address. Furthermore, it isn't meant to be running all the time; it is meant only for a single message to be received, and it won't accept multiple simultaneous connections. It will play a sound when a message arrives, though. 00:18:43 Sgeo_: what's the "e t a" on `olist 898 00:19:21 I think it's supposed to come at wheneverrichburlewpostsit'o'Clock 00:19:32 hth 00:19:54 Are you hinting that it'll be posted today? 00:20:12 In the Z-machine, the JSTAT extension table word is sixteen bits long, and I am trying to figure out its format. It was never documented, implemented, or used, but its position in the file is known. 00:21:03 shachaf, it will definitely either be posted today or a date that comes after today. 00:23:05 ∀d.d`comesAfter`today => posted(today) /\ posted(d)? 00:23:19 s#/\\#\\/# 00:26:21 Are you hinting that it'll be posted at all? 00:29:16 darn i'm out of apples. bet a doctor will show up if i'm not careful. 00:30:28 oerjan: are you racist against doctors.............. 00:32:00 hey those doctors are dangerous, some of them will cut you up if you let them close 00:32:06 shachaf: that s command would've been a lot more fun if you hadn't used #s... 00:51:41 zzo38: What's the difference between port 194 and port 6667? 00:51:45 irc vs. ircd 00:52:59 one is de jure standard and one is de facto standard? 00:54:15 but which one is du jour standard 00:56:28 So zzo38 wrote his Gopher server in BASIC. That’s actually fitting. 00:56:57 A standard du jour would be a really annoying kind of standard. 00:57:49 a "non" kind of standard 01:00:41 So in the linear lambda calculus, the dual-cancellation function has the type ((a -> Bottom) -> Bottom) -> a. Looks suspiciously like the type of the "shift" operator in delimited continuations. 01:01:24 What's that? 01:01:31 What's which? 01:02:37 The type of shift. 01:03:10 And does this have to do with linearity specifically? 01:03:37 Mm. In Control.Monad.CC, it's p b -> ((m a -> m b) -> m b) -> m a. The first argument, p b, just indicates which limit you're using. 01:04:05 :t cont 01:04:06 ((a -> r) -> r) -> Cont r a 01:04:55 And yeah, I think this does have to do with linearity specifically. Like, in linear lambda calculus, Cont Bottom is essentially the identity. 01:06:39 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 01:07:14 So what's this going to look like. There's this function cancel :: ((a -> Bottom) -> Bottom) -> a. So the entire calculation is going to look like f (cancel g), where f :: a -> r and g :: (a -> Bottom) -> Bottom. 01:07:30 The function "cancel" is magically aware of both f and g. It has to produce something of type r. 01:08:11 Well, this is easy if you assume Bottom = r. 01:08:24 shachaf: Port 194 is standard, although usually much higher numbered port are used such as 6667 and numbers near it. 01:08:59 Which actually seems like a perfectly defensible assumption, because Bottom is the "most inconvenient possible type": it cannot be obtained, and, once obtained, it cannot be disposed of. 01:09:14 So it could be anything. 01:10:07 TTT. 01:10:27 (Isn't it weird how when people in this channel flip three coins, they almost always come up HTH?) 01:16:17 tswett: two of them are double-headed coins and one is a double-tailed coin hth 01:20:42 Oh, I see. TTH 01:20:57 In linear logic, I think the dual of X is the same as (X -o Bottom) because bottom is the unit for par and implication is done by the dual of left side, par, right, so dual(X) par Bottom = dual(X) so ((X -o Bottom) -o Bottom) can also X. 01:21:06 Isn't it? 01:21:15 Yeah, that's one interpretation. 01:23:19 -!- zzo38 has quit (Remote host closed the connection). 01:27:47 Some of the linear lambda calculus is described here: http://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf 01:56:42 -!- nooodl has quit (Read error: Connection reset by peer). 01:56:59 -!- nooodl has joined. 01:57:06 `? nooodl 01:57:08 noooodl is right 02:09:19 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:10:00 `learn nooodl is the correct spelling 02:10:04 I knew that. 02:13:07 Being told that I probably got ripped off :/ 02:13:30 `? nooodl 02:13:32 nooooodl is the correct spelling 02:13:35 good 02:14:10 In particular, that the 650M sucks 02:18:50 what 650M 02:19:20 the 650m 02:19:29 wait, that's not the amount of ram in your very expensive new machine? because if so, then yes, you have been. 02:20:21 (it's only slightly more than my frequently thrashing previous laptop had...) 02:20:34 Dual nVidia GeForce GT 650 M 02:20:50 aha. just the gpu then? 02:21:06 Yeah. And apparently it's not so great? 02:21:23 Oh, SLI 02:21:29 wait the sticker on my new laptop says approximately that, except 635M :P 02:21:50 also 2 GB after that 02:22:05 "Lenovo IdeaPad Y500 (59359559) Notebook Intel Core i7 3630QM(2.40GHz) 15.6" 16GB Memory DDR3 1600 16GB SSD 1TB HDD 5400rpm Dual NVIDIA GeForce GT 650M SLI" 02:22:11 *this sticker (it has more) 02:22:32 Paid 1159 for that, a few hundred more in warranty 02:22:35 Was I ripped off 02:22:58 * oerjan has no real idea, btw 02:23:28 i know what i got wasn't the top model, anyway 02:24:27 i hear that it's a bad idea to buy a Lenovo fooPad for foo /= Think 02:24:34 650M SLI with a 3630QM is a little pants-on-head stupid though 02:24:44 I wonder why they have 650M SLI, that seems a little weird 02:24:53 like, two small cards vs one big one (there must be some good reason?) 02:25:07 I remember the 680M being incredibly expensive, I guess that could be why 02:29:42 Would I at least have a chance of replacing the graphics card myself? 02:45:28 -!- noooodl has joined. 02:45:42 -!- zzo38 has joined. 02:48:45 -!- nooodl has quit (Ping timeout: 264 seconds). 02:53:14 -!- amca has joined. 03:30:13 -!- mnoqy has quit (Quit: hello). 03:32:44 -!- sacje has quit (Quit: sacje). 03:43:15 -!- Gracenotes has quit (Ping timeout: 240 seconds). 03:43:23 -!- Gracenotes has joined. 03:47:47 http://type.method.ac/ 03:47:51 Kern Type, the kerning game 03:48:58 It's kind of broken for me, but then again a lot of stuff is broken for me, blah 03:49:23 I wonder why 03:51:27 hm i got 100/100 on gargantuan 03:51:32 i think their scoring is broken!! 03:51:36 because i was p. far off 03:51:54 coppro, was that sarcastic? Because if you know why stuff is broken in my browser, please tell me 03:52:16 Sgeo_: nope :( 03:53:22 http://www.bulletproofexec.com/how-to-make-your-coffee-bulletproof-and-your-morning-too/ 03:55:36 And here I was hoping that bulletproof coffee would protect me from bullets. 03:56:00 i know! 03:56:10 this disappoints me 04:08:49 -!- Gracenotes has quit (Changing host). 04:08:49 -!- Gracenotes has joined. 04:11:48 -!- conehead has joined. 04:18:45 -!- conehead has quit (Ping timeout: 264 seconds). 04:39:07 help how do i parametricity 04:46:52 I just watched an animation that's 13 years old 04:49:10 okay? 04:49:44 you know the thing where you accidentally stumble onto a mathoverflow page? 04:50:00 no 04:50:30 hey Bike how do i parametricity 04:50:30 http://www.userfriendly.org/animation/episode1.html 04:50:39 I probably first watched this over a decade ago 04:50:59 shachaf: theta_1, theta_2, etc 04:51:22 Bike: θx 04:51:30 yes. 04:51:37 or should that be þx 04:51:45 I don't have bulletproof coffee, but I put heavy cream in black tea 04:51:47 sometimes 04:51:55 perhaps I should put butter in instead 04:52:02 Gracenotes's greatest weakness. 04:52:10 Now we know where to shoot! 04:52:24 my teapot? 04:52:35 Your coffee. 04:53:23 I don't have coffee 04:53:54 that is my weakness :( 04:54:03 drat and double drat! 05:09:06 elliott: you're like a grownup now arent you 05:09:15 17 05:09:25 whats your favorite beer 05:09:52 I've never had beer 05:10:19 well, sam smiths is worth looking into. i think ive only disliked their lager, for blandness 05:11:33 Would you have some idea about the format of "MID files" for Z-machine? I have the MID files for only one game (Sherlock), and all of them seem mostly the same: A note on command on channel 0 with velocity 64, some 0xFF command (possibly a delay?), and a note on command on channel 0 with velocity 0 (which is treated as a note off, due to the MIDI specification). 05:11:54 elliott: how drunk are you right now 05:11:55 -!- mnoqy has joined. 05:12:44 The only documentation I could find says it consists of a 16-bit length followed by a "sequence of commands"; it says it might have something to do with MIDI, but doesn't quite make it very clear. It also says the third byte of the sequence of commands tells it what note to play; it looks to me like it is actually the second byte which does that. 05:13:15 -!- Nisstyre has quit (Quit: Leaving). 05:25:01 Bike: elliott might be, on non-beer. i can assure you that i am, however. 05:25:19 on a scale!! 05:25:33 Bike: 0.0 05:25:33 what 05:26:22 not drunk enough imo 05:26:46 Bike: im like three pints in at least. 05:27:03 ,aybe more? probably more. its hard to tell. 05:30:51 -!- augur has quit (Remote host closed the connection). 05:31:21 -!- augur has joined. 05:31:25 -!- zzo38 has quit (Disconnected by services). 05:31:29 -!- zzo38 has joined. 05:33:06 The left speaker on my computer isn't working for some reason. 05:34:00 elliott: yay i solved my cabal install problem. turns out it only went wrong when running from inside winghci and worked fine on a real command line (after wiping out and repairing the database mess caused by the first attempt) 05:35:11 on the negative side, this of course will delay my switching to linux. 05:37:08 partially my problem was caused by the awkwardness in windows 8 of _getting_ to a command line, which caused me to start cabal from inside winghci in the first place. but now i've made a shortcut for it. 05:41:18 -!- sebbu2 has joined. 05:44:05 -!- sebbu has quit (Ping timeout: 248 seconds). 05:50:54 -!- amca has quit (Quit: Farewell). 06:09:40 oerjan: It is easy to get the command-line on Windows 8. Push Windows+R and then type cmd.exe 06:09:51 Same as Windows 7 and XP. 06:11:05 Luckily that still works on XP and all later version of Windows I have worked with on other computers. So does ALT+SPACE, ALT+F4, ALT+TAB, and all those other commands; they still continue to work just fine. 06:12:51 well i never learned the Windows+R shortcut before, or at least never remembered it. 06:13:12 that's a useful tric. 06:13:12 because it was easier to remember just going to the start menu 06:14:46 It looks like really confusing, but actually most of the same keyboard commands still work, even when running full-screen programs. 06:16:59 I don't know all of the programs in Windows 8 (my own computer doesn't have Windows 8), although it seems there are many full-screen programs; you can still push ALT+F4 to close a program and ALT+TAB to switch between them, even though they changed around all of the GUI stuff. 06:17:37 you can probably still press ctrl+insert to copy and shift+insert to paste 06:17:42 man, I'm going soft 06:17:43 MS likes their backwards compatibility 06:17:59 ꙮ.ꙮ 06:18:03 :'( 06:18:20 oh no, coppro is melting! 06:19:18 myndzi: Well, having the same keyboard commands work (and retaining cmd.exe; I am glad they did that and didn't force you to use PowerShell instead, which I almost expected them to do) is really the only reason I was able to figure out their computer in order to set it up for them. 06:19:35 hehe, i bet 06:19:40 gimme back dat command.com dammit 06:19:41 :P 06:19:46 i wanna edit my autoexec.bat 06:19:59 windows 8 is weird :'( 06:20:00 help 06:20:02 powershell has a lt of good things about it 06:20:08 but error messages is NOT one 06:20:21 i don't want a fuckin stack trace to tell me 'command not found' 06:21:02 Command.com is a DOS program though; it won't run in 64-bit Windows. You can still use a PC emulator to run DOS programs, though. 06:24:04 `quote 06:24:07 701) I swear my dreams are becoming increasingly rave + computer science oriented 06:24:09 shh, i'm just sayin' 06:24:13 `quote 06:24:15 93) Hooray! I'm an idiot. 06:24:15 you kids and your "windows" 06:24:16 ;) 06:24:17 taneb++ 06:31:29 Do you know what ".was-mid" files are? 06:31:47 Is it the case that a ".was-mid" file was a ".mid" file? 06:37:45 It doesn't appear to be, but it does seem to have something to do with MIDI. It doesn't use the ".mid" format, though; the only thing in the header is the length of the file. 06:39:51 The only ones I have seem to consist of a single note on channel zero of velocity 64 (there isn't any program change command), a delay (I don't actually know what it is, but it appears to consist of 0xFF followed by a 16-bit word; I assume it is a delay), and a note off (actually a note on with velocity zero, which the MIDI specification says is the same as a note off). 06:41:24 * copumpkin waves 06:41:32 yopumpkin 06:41:42 yochaf 06:42:03 yoyo 06:42:19 I don't know anything else about them (or how the delay is supposed to work), so I was wondering if someone else know. 06:43:45 -!- SirCmpwn has quit (*.net *.split). 06:43:46 -!- Sgeo_ has quit (*.net *.split). 06:46:53 -!- SirCmpwn has joined. 06:51:29 -!- Sgeo_ has joined. 07:47:24 -!- Taneb has joined. 07:47:35 Help 07:48:25 With what? 07:48:45 * oerjan rescues Taneb by swooping him up in a net 07:48:49 zzo38: Discovering what program generated/opened them would be helpful 07:49:05 I am on the Isle of Wight 07:49:20 oh dear, wights are dangerous 07:49:44 FreeFull: Yes, it would help. Unfortunately, I don't know. 07:49:51 The place is full of them! 07:50:35 don't let them touch you! i think! 07:50:44 zzo38: What is the creation date on them? 07:51:12 in other news, simon tatham still hasn't fixed that thing where undo doesn't work across accidentally pressing n 07:51:49 Taneb: You should try to move to the Isle of Wraith, instead; you can gain a lot of levels there. 07:52:24 Unfortunately my level is still quite 07:52:49 Low, I was aiming for the Isle of Rat 07:52:53 The date on them is 1994, although they were actually created before that. 07:53:28 DOS program territory then 07:53:51 Although could have still been a 16-bit Windows program 07:53:58 Either way, will be difficult 07:54:19 zzo38: You could write a converter to mid to see what they sound like 07:54:20 Does F_ 07:54:23 Bah 07:54:34 Stupid phone keyboard 07:55:02 -!- AnotherTest has joined. 07:56:00 Hello 07:56:29 Does F-E+V=2 work for solids not topologically isomorphic to spheres? 07:57:29 Taneb: Not in general 07:57:39 FreeFull: Well, from the information I have I think they were used on Amiga computers, as part of a game. 07:58:03 zzo38: Oh, that's good to know 07:58:05 FreeFull, thanks 07:58:33 There are also the audio files, and the format of those is documented; however, the ".was-mid" files are unknown; like I said the ones I have are all very similar and all are 11 bytes long. 07:58:51 I'm going to see if there are any .was-mid files on aminet 07:59:34 Taneb: see euler characteristic 08:00:03 oerjan, I alas am on my tiny phone 08:00:11 oerjan: how about switching to another browser at least 08:00:25 Taneb: let's say that the 2 tends to vary a bit hth 08:00:37 Nothing on aminet 08:00:47 The one with the voice "recognition" 08:01:35 Taneb: torus has 0 for example 08:01:40 Oh, the book I'm reading gets onto this 08:02:26 zzo38: I'd go ask over at pouet or an amiga forum 08:03:51 Yeah, it's talking about Euler characteristics now 08:05:18 "This way lies madness" 08:06:41 (on trying to define the concept of a hole) 08:06:53 Did you know, there is a number A for which floor(A^3n) is prime for all positive integers n? 08:07:10 can't you just say something about cuts and be done with it 08:07:14 Oh no! AltaVista is closing tomorrow! How can we find anything on the Internets any more? 08:07:37 fizzie: omg really 08:07:37 FreeFull: rings a bell 08:08:01 FreeFull, is that number computable? 08:08:32 elliott: http://yahoo.tumblr.com/post/54125001066/keeping-our-focus-on-whats-next "Please see below for product closure details and dates." "AltaVista (July 8, 2013)" 08:09:58 why does yahoo have a tumblr 08:10:00 Taneb: If the Riemann Hypothesis is true, yes 08:10:05 If not, I don't know 08:10:26 Bike: I think it's because they're hip? 08:10:29 fizzie: apparently AltaVista is "powered by Bing". 08:10:36 lol. 08:10:36 so I guess it's been dead a long time 08:10:56 "Now we can calculate g by drawing faces and so forth on our solids" so forth being moustaches, glasses, goatees, etc? 08:10:59 "If you’re a publisher and currently using Yahoo! WebPlayer on your site," who is this even written for 08:11:15 To stay up on all your favorite celebrity news, check out Yahoo! India OMG!. 08:11:53 "It’s a big day here at Xobni. We’ve been acquired by Yahoo! At this moment, we’re unpacking our boxes from San Francisco and settling in to the new Sunnyvale space at Yahoo! HQ." i love how i've never heard of these companies and their names are incomprehensible. 08:11:56 Bike: Yahoo owns tumblr 08:12:42 Bike: Xobni is "inbox" backwards. 08:12:49 "Yahoo! announced its intention to acquire Tumblr on May 20, 2013, for approximately $1.1 billion. The deal closed on June 20." 08:12:50 You can certainly comprehend that. 08:12:52 well they own flickr too but they didn't make a photo album announcing this 08:13:01 fizzie: you overestimate me, imo. 08:13:42 I searched "help" in AltaVista and one of the related searches was "depression help" and now I'm depressed. 08:13:50 imo, gonna take a risk and claim this is ironic. 08:13:57 no elliott 08:14:00 don't do it 08:14:05 "the worst risk" 08:14:55 Huh 08:15:38 Apparently "Kleine bottle" is a pun in German 08:15:47 take one alanisette and call me in the morning 08:16:11 fizzie: In December 2010, a Yahoo! employee leaked PowerPoint slides indicating that the search engine would be shut down as part of a consolidation at Yahoo!.[16] In May 2011, the shutdown commenced, and all results began to be returned on a Yahoo! page. 08:16:15 so they're shutting down, um, the main page and logo. 08:16:56 awesome. 08:17:25 Taneb: Small bottle, or? 08:17:26 elliott: And the logo is no longer the mountain logo either, so I guess that's a relief. 08:17:35 -!- epicmonkey has joined. 08:17:38 fizzie: you're old. 08:18:01 No, no, I just heard middle age doesn't begin before 36. 08:19:36 FreeFull flask/surface 08:21:07 https://www.youtube.com/watch?v=7od4JA2Y274 There is an old Polish show about someone in his middle age 08:27:37 -!- Bike has quit (Ping timeout: 276 seconds). 08:28:51 A GUI interface using Visual Basic to track an IP Address http://guivbip.codeplex.com/ 08:32:56 um isn't that, like, an ancient meme from some tv show 08:33:04 yes 08:33:49 okay then 08:36:15 Aaaaah the next chapter is about the normal distribution 08:38:25 someone take backup of Taneb's brain, stat! 08:39:04 Don't say that word! 08:39:13 backup? 08:39:37 "of"? 08:39:51 No! The s word 08:40:01 I see what you did there. 08:40:16 I love the normal distribution, it's so... normal... 08:40:21 ... 08:40:28 * oerjan swats Taneb -----### 08:41:23 the citizens of my country are non-normal probability distributions with means and variances 08:41:24 @botswat 08:41:24 Unknown command, try @list 08:41:30 -!- Yonkie has joined. 08:41:36 unfortunately, they are collectively normal :( 08:42:09 @slap ion 08:42:09 * lambdabot beats up ion 08:42:51 Does the "law of large numbers" mean that people who are... materially robust... are more likely to be normal? 08:43:49 (I think I mixed up the law of large numbers and the central limit theorem, there. Aw.) 08:44:25 -!- zzo38 has quit (Remote host closed the connection). 08:44:28 well it's not like statistics is an exact science! 08:45:05 In my defense, the central limit theorem involves large numbers of things. 08:45:20 -!- Yonkie has quit (Client Quit). 08:45:27 (rather, science is approximately just statistics, in the real world...) 08:46:32 well, you could do science without in-depth statistics. just require every study to give either a yes or no answer, and take the consensus of studies. 08:46:45 I had a not very good stats teacher for the harder part of stats I learnt 08:46:47 it would work reasonably well. 08:46:57 maybe. 08:47:38 Isn't that pretty close to "you could do science without statistics by pushing the statistical analysis from the scientists to the readers"? 08:49:30 That is what happens anyway. 08:50:01 The yes/no is partly decided externally, rather by the researchers (although they can make their best case). 08:51:34 Statistics affords a notion of certainty, though, so rather than taking a plurality, you take a maximum; the best most certain replicated paper and accept that. 08:54:52 Readers don't know how to do statistical analysis though 08:55:22 I'm not sure if some scientists do >.> ...or readers 08:55:37 -!- sebbu has joined. 08:56:52 -!- sebbu2 has quit (Ping timeout: 276 seconds). 09:07:42 -!- oerjan has quit (Quit: leaving). 09:08:36 -!- Taneb has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )). 09:13:59 -!- MindlessDrone has joined. 10:09:33 -!- oerjan has joined. 10:26:02 -!- nooodl has joined. 10:35:33 -!- QuackQuacker has joined. 10:41:44 `relcome QuackQuacker 10:41:48 ​QuackQuacker: 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.) 10:42:06 =] 10:44:05 -!- oonbotti2 has left. 10:54:02 -!- Koen_ has joined. 10:54:53 -!- Koen_ has quit (Read error: Connection reset by peer). 10:55:08 -!- Koen_ has joined. 10:55:16 -!- Koen_ has left. 10:56:04 -!- Koen_ has joined. 10:56:30 Koen_: wat 10:56:43 hmm? 10:56:54 I'm gonna need some context to answer that question elliott 10:57:01 :D 10:57:07 the quit/part cycles 10:57:14 oh 10:57:24 well I don't know, that tends to happen a lot this days 10:57:37 something with the client must be wrong 10:57:48 it only happens when I start it the first time 11:15:13 elliott: hey steve is in ##nomic wondering if anyone wants to ask him about The Old Days hth 11:18:46 oerjan: my only question is when he'll start using hth 11:19:12 i haven't started infecting him yet hth 11:19:38 oerjan: are you still using IE 11:19:44 yes hth 11:19:53 how about stop twh 11:20:07 maybe later hth 11:20:20 aah! 11:22:02 -!- Phantom_Hoover has joined. 11:23:27 oerjan: you can delay the nagging by picking a new featured language >:) 11:40:31 it's only me and steve talking in ##nomic and i'm too tired to keep up conversation :( 11:43:45 oerjan: tell him you need a nap. old people understand. 12:25:49 -!- mnoqy has quit (Quit: hello). 12:39:11 -!- augur has quit (Remote host closed the connection). 12:39:40 -!- augur has joined. 12:41:05 -!- augur_ has joined. 12:41:24 -!- augur has quit (Read error: Connection reset by peer). 13:04:33 -!- Deewiant has quit (Ping timeout: 248 seconds). 13:12:23 -!- Deewiant has joined. 13:37:30 -!- katla has joined. 13:39:53 -!- katla has quit (Changing host). 13:39:53 -!- katla has joined. 13:53:43 -!- oklopol has joined. 13:55:15 hi 13:59:23 -!- katla has changed nick to Guest49019. 13:59:23 -!- Guest49019 has quit (Killed (hubbard.freenode.net (Nickname regained by services))). 13:59:30 -!- Guest49019 has joined. 13:59:40 -!- katla has joined. 14:07:13 -!- oerjan has quit (Quit: NOW SLEEP). 14:13:51 -!- Guest49019 has quit (Quit: BitchX-1.1-final -- just do it.). 14:21:43 -!- katla has quit (Quit: katla has no reason). 14:28:40 -!- noooodl has quit (Quit: noooodl). 14:32:13 -!- oklopol has quit. 14:38:09 -!- augur_ has changed nick to augur. 14:39:42 -!- sacje has joined. 15:29:30 Why don't they make three-legged washing machines? Would be a lot easier to level, and never be unstable. 15:31:17 Guess it'd tilt easier, though... 15:33:50 -!- vanien has joined. 15:40:25 -!- vanien has quit. 15:40:55 -!- vanien has joined. 15:41:23 -!- vanien has quit (Client Quit). 15:41:51 -!- vanien has joined. 15:43:22 -!- Bike has joined. 15:59:49 -!- katla has joined. 16:01:36 hi 16:06:12 -!- zzo38 has joined. 16:41:41 -!- vanien has quit. 17:10:24 -!- ChanServ has set channel mode: -v Guest22624. 17:10:28 -!- Guest22624 has changed nick to Gregor. 17:33:23 fizzie, there's no reason for the thing to not be triangular in shape 17:33:35 Besides most rooms being rectangular :p 17:35:39 packing 17:35:42 ;) 17:35:58 also because the interior is cylindrical 17:36:44 I see no problem i packing triangular shapes together... assuming a house with proper geometry, at least :p 17:40:15 I was thinking they could turn the drum so that the axis of the cylinder is vertical, after which it'd fit reasonably neatly in a triangle, but I suppose then you couldn't get similar tumbling action. 17:44:19 yeah, front-load washers are better 17:44:43 All the top-load washers I've seen have had the drum in the same configuration as the front-loaders. 17:44:55 There's just been a door in the side of the drum. 17:45:47 Our old one lacked the "stop the drum so that the door points upwards" feature, so you had to manually rotate it around if it didn't happen to stop the right way around. (It never stopped the right way around.) 17:46:05 Front-load washers are still better, though, because you can stare at them, mesmerized. 17:48:15 Most cheap home washers here have vertical drums 17:48:45 There are some things Infocom defined but are unknown. One is the "picture font" in the Z-machine (font 2); I have recently figured out how that works and have implemented it in my Z-machine interpreter. However, there are some things that are still unknown. 17:49:59 One thing which remains unknown is the format of eight extension table words that were never used, implemented, or documented, beyond a short description of each that Infocom wrote. 17:51:40 They are four "mouse menu tables" (directions, inventory, frequent verbs, frequent words), a status word which the game is supposed to write to indicate which menus have been updated (I don't know which bit corresponds to which), a button event routine, a joystick event routine, a button status word, and a joystick status word. 17:52:10 It is unclear whether this means mouse buttons or joystick buttons or what, and the format of these status words is also unclear (all that is known is that they are sixteen bits each). Do you have any ideas? 17:54:43 There appears to be no way to know other than to guess. 17:55:01 Therefore, more people who make possible guesses and then see what seems better. 17:55:27 -!- AnotherTest has quit (Read error: Operation timed out). 17:59:10 I have asked elsewhere too, but also see if anyone in here also has any possible idea of what these things mean. 18:06:45 -!- AnotherTest has joined. 18:11:34 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:18:31 -!- pikhq has joined. 18:19:47 I live, I think 18:21:45 may the gods of apt-get be with me 18:21:58 I somehow feel I'm going to get in trouble by upgrading to wheezy... 18:22:47 pikhq: are you married yet? 18:23:49 Is pikhq getting married? Is #esoteric invited to the wedding? 18:23:51 is gnome 3 any good? I'm scared 18:26:55 is pikhq getting married with a gnome? 18:30:17 Is the wedding logic written mostly in JavaScript? I heard that was something they did in Gnome 3. 18:30:48 fizzie: is that actually true? 18:31:33 I somehow fear I'll have to turn on gnome classic 18:34:38 it looks way to fancy 18:34:44 AnotherTest: GNOME Shell, the major UI component in GNOME 3, is, I think, largely written in JavaScript. 18:35:12 Also there was the hulabaloo about making JavaScript the "official recommended language" of GNOME, though that didn't really mean much. 18:35:20 coppro: No. 18:35:35 :( 18:36:03 what's with the let's-rewrite-everything-in-javascript-hype 18:36:38 AnotherTest: I think they were more about recommending it for new code. 18:36:43 AnotherTest: Well, you see, Javascript has become the universal bytecode. 18:37:12 pikhq: Please elaborate 18:39:39 -!- conehead has joined. 18:41:04 Well, you see, WEB WEB WEB WEB therefore WEB 18:41:18 I really think you shoud use compiled programming languages when they will do. 18:46:59 -!- pikhq has quit (Ping timeout: 256 seconds). 18:56:08 -!- Nisstyre has joined. 18:56:58 JavaScript is a compiled language 18:57:19 this trend couldn't happen any sooner. nay, it is just in time. 19:03:02 Still, I think it isn't as good as some compiled programming language such as C. JavaScript isn't a particularly bad interpreted language, though. 19:04:23 How difficult is this as a proof-of-work? Determining a seed that has a specified feature at spawn (e.g. spawn area covered in lava) 19:08:58 you mean... in minecraft? 19:09:11 that's heavily dependent on mc's terrain gen internals then 19:09:12 Do you folks happen to know if you can fit a letter-sized magazine (not very thick) inside a C4 envelope? 19:16:36 Unfortunately I don't know. If I had such things I might try, but I don't know what C4 envelope is. 19:23:23 (I don't know the names of the different envelopes.) 19:23:39 It's one of the ISO 216 paper sizes; an envelope that reasonably fits an A4 sheet. 19:24:38 (Technically, the size of Cn is the geometric mean of An and Bn, while the size of Bn is the geometric mean of An and A(n-1).) 19:25:11 Based on the numbers, I think it might fit; letter is only 5.9 mm wider than A4, and a bit shorter. 19:30:12 are you mailing C4? I think you can get arrested for that! 19:31:42 -!- pikhq has joined. 19:32:03 -!- Lumpio__ has changed nick to Lumpio-. 19:39:00 -!- epicmonkey has quit (Remote host closed the connection). 19:41:47 -!- epicmonkey has joined. 19:49:31 -!- AnotherTest has quit (Quit: Leaving.). 20:08:01 -!- epicmonkey has quit (Ping timeout: 256 seconds). 20:26:22 -!- Taneb has joined. 20:26:35 Dammit, shachaf 20:27:31 Someone made a post about art styles on Tumblr and replied "That's a partially ordered set!" 20:27:38 I blame you for this 20:28:38 shachaf-- 20:28:41 :( 20:29:18 -!- QuackQuacker has quit (Remote host closed the connection). 20:31:25 (okay, to be fair, the original poster did pretty much describe art styles as a partially ordered set, and I appreciate shachaf teaching me all that stuff) 20:31:33 ( shachaf++ shachaf++ ) 20:38:52 :t \shachaf -> ((shachaf ++ shachaf) ++) 20:38:53 [a] -> [a] -> [a] 20:51:23 > (\shachaf -> ((shachaf ++ shachaf) ++)) "sha" "f" 20:51:24 "shashaf" 20:53:59 The book I am reading is proving very interesting 20:58:13 For pretty much the first time ever I am seriously tempted to ring up my local bookshop and ask them to order in some of the books from the "Further Reading" section 20:58:24 Especially the bit about topology I found pretty interesting 21:00:42 what book is it 21:01:12 In Pursuit of the Unknown: 17 Equations That Changed the World by Ian Stewart 21:02:07 It's a whistlestop tour around various realms of mathematics and a bit of physics 21:02:42 Not enjoying the current chapter, on the Fourier transform 21:03:05 oh 21:03:50 Taneb, what topological equations did he cover... 21:04:04 V + F = E + 2 21:04:16 ^ 21:04:27 Well, he wrote it as V - E + F = 2 21:04:45 Then introduced topology from its proof 21:05:44 what's wrong with fourier 21:08:11 Bike, he introduced it too fast and I wasn't already that familiar with it and also I fell asleep 21:08:18 I may start the chapter over 21:08:43 sleep is hard. 21:09:46 I find sleep too easy 21:10:01 dude fuck fourier 21:10:40 fourier's awesome srry 21:12:17 Fourier's, like, so 1800s. 21:12:53 Taneb: "and I replied"? 21:13:17 Or how am I blamed here, exactly? 21:13:26 shachaf: "reblogged and added a comment" 21:13:42 Taneb: I mean: Did you drop the word "I"? 21:13:43 And you taught me about partially ordered sets in such a way that they stuck in my mind 21:13:59 shachaf: yes, yes I did 21:14:09 Anyway, since when did I talk to you about partially ordered sets? 21:14:13 Which I realise completely changes the meaning of the sentence 21:14:15 I don't remember that. 21:14:37 It came up in a bunch of other things, mainly as an example of a category 21:14:43 In #fiora, iirc 21:14:49 Oh, oh, right. 21:15:07 I think I assumed you already knew whwat it meant, though. 21:15:33 Anyway, the "cool kind of partially" ordered sets "is semilattices". 21:17:28 I don't think art styles form a semilattice 21:18:02 Oh. 21:18:28 Well, at least the poset category of art styles has a terminal object. 21:18:31 Namely ASCII art. 21:19:18 (THE JOKE IS TERMINAL) 21:19:21 does that include an arrow labelled libcaca? 21:26:22 whats #firoa 21:26:55 Some place where I'm an op, apparently 21:27:42 Oh, katla mistyped 21:28:46 fully illuminated ranches of armenia 21:28:49 hth 21:42:52 -!- katla has quit (Quit: katla has no reason). 21:49:25 -!- nooodl has quit (Ping timeout: 248 seconds). 21:56:03 -!- variable has changed nick to constant. 21:56:06 -!- katla has joined. 22:12:13 -!- zzo38 has quit (Remote host closed the connection). 22:12:15 -!- Taneb has quit (Ping timeout: 250 seconds). 22:32:40 have you all seen http://en.wikipedia.org/wiki/Exit_Through_the_Gift_Shop 22:32:58 it's a pretty #esoteric movie 22:33:35 nope 22:37:41 how can a movie be #esoteric? 22:37:55 also, does anyone else in here know anything about quantum computation? 22:38:21 a tiny bit 22:39:21 i know that i should defer to someone with a copy of aaronson's book *ahem fiora* 22:47:16 quantum computation is weird 22:48:42 not compared to the stuff #esoteric usually deals with 22:55:54 Banksy directed a movie? 22:56:11 How does one do that while staying secretive? I thought Banksy stayed secretive 22:59:50 well, directors are already fuckin crazy 23:00:00 also he also has like, his own online store and website already. 23:01:31 Nielsen and Chuang is a good book on quantum computing 23:01:54 Sgeo_: when he's depicted in the film, he's wearing a hoodie over his face, and has a voice scrambler 23:01:59 I don't know about the directing part 23:02:22 presumably he has trusted associates who know his identity or have at least seen his face 23:02:59 ..nothing like A Scanner Darkly? 23:03:42 oh. Banksy himself. 23:03:43 Oh, I forgot it was kmc who linked, I thought I was randomly bringing up Banksy for no reason 23:04:14 kmc: is this anything like a Mary Sue of Banksy? 23:04:30 you mean a short story where he fucks spock? 23:04:54 god, who wouldn't 23:04:59 Sgeo_: amazing 23:07:44 i thought they'd found banksy and he was some boring middle class guy 23:08:41 boring middle class guy pride!! 23:08:43 -!- mnoqy has joined. 23:08:59 Hi okay 23:09:09 hi 23:13:27 -!- nooodl has joined. 23:47:07 this music video is made of ansi art. 23:50:16 Ansi art doesn't survive mpeg encoding very well 23:52:16 Phantom_Hoover: if banksy did not exist it would be necessary to invent him