00:00:37 google's front page was weird in 2006 00:00:47 * elliott_ has a copy of it in this directory for no obvious reason... 00:01:04 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:03:44 heh dagbladet.no has a title translating as "Judgement day may still be close - as now "Duke Nukem Forever" is finished." 00:04:21 they stole my joke CRY 00:04:29 i'm not going to find thesef iles am I :( 00:04:33 [asterisk]these files 00:04:40 oerjan: can you put a good word in with the synchronicity gods for me 00:04:57 you think they listen to ME? 00:05:15 Dear Synchronicity Gods; Please give Elliott Hird a clue. Amen. 00:05:20 : ( 00:05:26 who said i wanted a clue 00:05:32 i'm happy being clueless 00:05:48 that Ian guy sure talks a lot 00:05:49 well no they don't listen to me, that's true. You should be safe. 00:05:59 or maybe not. 00:08:03 this sucks :[ 00:10:05 i note my landlady chose the best possible week to take a vacation in mallorca... 00:10:26 people say mallorca? weird 00:10:35 might not see her again in a while. 00:10:42 what? 00:11:09 um that's how it's spelled, isn't it 00:12:30 i always see majorca 00:12:35 wp article title agrees with me 00:12:39 Majorca (or Mallorca) (Catalan: Mallorca, IPA: [məˈʎɔrkə] or [məˈʎɔrcə]; Spanish: Mallorca, IPA: [maˈʎorka]) 00:12:56 has she gone to Deutschland too? :D 00:14:06 -!- Patashu has joined. 00:15:46 maybe i should just generate a list of every single file on the drive to find it 00:17:32 the majorca spelling is not used in norwegian, neither is majorka which would be the complete retranscription (and which seems to be used in polish) 00:18:39 it probably does not have an old enough connection to norway to get a norwegianized name 00:20:13 -!- lithpbot has joined. 00:20:20 everyone say hi to my old old lisp bot 00:20:23 > 9 00:20:23 9 00:20:23 9 00:20:26 > () 00:20:27 () 00:20:27 () 00:20:29 ... 00:20:30 :D 00:20:33 good prefix choice 00:20:45 > (<) 00:20:45 (err) need at least 2 args, got 0 00:20:46 Overlapping instances for GHC.Show.Show (a -> a -> GHC.Bool.Bool) 00:20:46 arisin... 00:20:56 > (set x 9) 00:20:56 (err) unbound: x 00:20:56 Not in scope: `set' 00:20:58 > (define x 9) 00:20:58 9 00:20:59 Not in scope: `define' 00:21:02 > (undefine x) 00:21:03 None 00:21:03 Not in scope: `undefine' 00:21:05 > undefine 00:21:05 #native-function:9 00:21:05 Not in scope: `undefine' 00:21:08 > (gc) 00:21:09 (err) unbound: gc 00:21:09 Not in scope: `gc' 00:21:12 huh? 00:21:17 i bound gc 00:21:30 -!- lithpbot has quit (Remote host closed the connection). 00:22:13 -!- lithpbot has joined. 00:22:15 > (gc) 00:22:16 (47 47 27) 00:22:16 Not in scope: `gc' 00:22:27 ### running gc with 47 items 00:22:27 ### gc done, 25 items now 00:22:30 I wonder what on earth it freed? 00:22:32 > _prev 00:22:32 (py err) AttributeError: 'str' object has no attribute 'val' 00:22:32 Not in scope: `_prev' 00:22:37 > exit 00:22:37 #native-function:2b 00:22:37 Not in scope: `exit' 00:22:41 > (exit) 00:22:42 -!- lithpbot has quit (Remote host closed the connection). 00:22:42 Not in scope: `exit' 00:22:49 -!- lithpbot has joined. 00:22:54 > (lambda) 00:22:54 (err) need at least 2 args, got 0 00:22:54 Not in scope: `lambda' 00:22:56 > (lambda () x) 00:22:56 #function:41 00:22:56 Not in scope: `lambda' 00:23:33 > (define hog (lambda (n) (if (> n 9999) () (cons 'x (hog (+ n 1)))))) 00:23:33 #function:69 00:23:33 : 00:23:33 lexical error in string/character literal at chara... 00:23:38 > (hog 0) 00:23:38 (py err) AttributeError: 'bool' object has no attribute 'val' 00:23:39 Not in scope: `hog' 00:23:42 wtf? 00:23:48 -!- lithpbot has quit (Remote host closed the connection). 00:23:49 OH WELL 00:25:14 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 00:26:26 this would annoy Vorpal to no end if he could see it 00:30:20 -!- SgeoN1 has joined. 00:30:46 -!- Sgeo__ has quit (Ping timeout: 252 seconds). 00:30:46 -!- SgeoN1 has quit (Read error: Connection reset by peer). 00:30:55 -!- SgeoN1 has joined. 00:31:00 honk 00:31:06 HONK 00:34:10 i had to use tunes 00:35:31 -!- SgeoN1 has quit (Read error: Connection reset by peer). 00:35:44 oerjan: tunes are like flowers 00:35:53 mayhaps 00:35:55 -!- SgeoN1 has joined. 00:36:22 flowers in summer are like idiots in spring THIS IS FACTUAL 00:38:49 -!- Sgeo has joined. 00:38:56 -!- SgeoN1 has quit (Client Quit). 00:39:50 -!- augur has quit (Remote host closed the connection). 00:54:42 -!- Lymia has quit (Read error: Connection reset by peer). 01:01:37 [[ 01:01:39 [5] Please act expeditiously to remove the file-downloads found at the following URLs: 01:01:39 http://www.fileserve.com/file/cWAKEDR 01:01:39 ]] 01:01:41 --Sony, to GitHub 01:01:51 "we'll get right on it!" 01:05:15 it's gone 01:05:16 what was it? 01:06:11 something to do with ps3 homebrew it seems 01:06:17 based on the rest of the links in https://github.com/github/dmca/blob/master/2011-01-27-sony.markdown 01:06:24 which are less humorous as they actually link to github 01:06:25 :P 01:09:40 -!- pikhq has quit (Ping timeout: 240 seconds). 01:09:54 -!- pikhq has joined. 01:43:47 -!- augur has joined. 01:54:59 -!- h[a]gb4rd has joined. 01:55:07 -!- h[a]gb4rd has changed nick to hagb4rd. 01:58:07 the files are gone forever rip 02:06:30 -!- hagb4rd has quit (Ping timeout: 246 seconds). 02:15:50 What is with the full−width Latin, anyways? 02:28:18 Backwards compatjewbility. 02:28:24 Hey, Shift-JIS art would break without it. :p 02:32:10 "A 4.7 GB DVD-R full of one-time-pad data, if shredded into particles 1 mm² in size, leaves over 100 kibibits of (admittedly hard to recover, but not impossibly so) data on each particle." 02:32:28 has anyone ever actually recovered from those particles 02:35:12 -!- Sgeo has quit (Ping timeout: 246 seconds). 02:43:02 -!- Lymia has joined. 02:45:39 -!- Sgeo has joined. 03:08:31 elliott_: Shift-JIS art breaks without the right *fonts*... 03:11:08 (many of the characters used in Shift-JIS art are actually proportional, and so the art assumes the metrics of MS PGothic) 03:13:24 (IPAMonaPGothic also works) 03:14:13 (yes, the transcription is retarded; in Japanese, it's IPA モナーPゴシック) 03:19:10 well it's just the metrics right 03:19:33 ipamonapgothic is the free one right 03:19:40 designed to match the metrics 03:20:34 Yeah. 03:21:01 The whole effort wouldn't be even slightly necessary if they used a monospace font. 03:21:12 SLANDER 03:21:20 But *no*, they had to use a freaking proportional font. 03:21:22 can you find my old php code from oh-six pikhq i tried to today but i couldnt 03:21:27 i want to laugh at it 03:21:44 When monospace actually is a decent approximation for Japanese text. 03:22:14 (doing proper Japanese typesetting, however, is about on par with English typesetting in difficulty of getting right) 03:23:26 pikhq: rude :( 03:23:43 elliott_: Sorry, but I have never even *seen* your old PHP code to my recollection. 03:23:50 true 03:23:58 you should still find it though 03:24:11 I'm not about to spelunk for something I would only wince at. 03:24:22 ARE YOU INSULTING 03:24:22 MY 03:24:23 OLD 03:24:23 CODE 03:24:26 good decision 03:24:34 i just want to stare at it ;_; 03:24:40 but i found every php file on my old drive 03:24:41 Actually, "PHP code" is what makes it worthy of insulting. 03:24:46 and none of them 03:24:47 NONE OF THEM 03:24:49 are the ones im looking for 03:24:51 so im sad :( 03:24:58 i think i deleted them but i don't know why i'd do something so horrible 03:25:01 pikhq: oh no it was especially bad php code 03:25:09 i did not really understand sql or anything iehter 03:25:17 Oh, so it was average PHP code. 03:25:32 no 03:25:33 believe me 03:25:34 worse 03:25:39 i was ten and a huge idiot 03:25:48 i had started coding two years earlier, also in php 03:25:55 my very first php script used an Access database 03:25:56 i am not joking 03:26:04 Holy *fuck* you were young when you got in here. Just saying. :P 03:26:19 i was like twelve when i started coming here? 03:26:26 ok maybe eleven for a short while. but i didn't really talk much then ;D 03:26:29 Something like that. 03:26:35 i'd got over php, is the point 03:26:40 my debilitating illness had ended 03:26:42 ... Not that I should criticise too much. 03:26:51 I've been IRC'ing since like 9 or 10. 03:27:06 oh me too i just didn't come here until i was a bit less of an idiot 03:27:11 thank go 03:27:12 d 03:27:15 (a bit) 03:27:46 Yeah, I would've been, what, 16? 03:28:06 i used to think you were like AT LEAST twenty one in two thousand and seven 03:28:07 true facts 03:28:24 I've had people assuming that for over a decade now. 03:28:41 someone assumed i was like twenty in two thousand and six because i knew a lot about coding 03:28:41 at the time 03:28:44 i took it as a compliment 03:28:45 now 03:28:48 i realise that person was an idiot 03:28:57 For quite a bit less time, I've given that impression IRL. 03:29:11 (4, 5 years?) 03:29:13 i still look twelve :) 03:29:29 my darkest fear is that i will never not look twelve. ok not really but this is just ridiculous. 03:29:32 elliott_: I was contacted by a Microsoft recruiter around the age of 15 03:29:45 coppro: "Like to call back in 3 years?" 03:29:46 coppro: you should have lead them on 03:29:55 coppro: but let's be honest here, microsoft recruiters contact everybody 03:30:13 they contacted esr without even reading a single word he wrote, or they'd realise he's a raging shithead and not bother 03:30:26 They contacted *esr*? 03:30:27 Damn. 03:30:34 pikhq: yes 03:30:36 "If you had bothered to do five seconds of background checking, you 03:30:36 might have discovered that I am the guy who responded to Craig 03:30:36 Mundie's "Who are you?" with "I'm your worst nightmare", and that I've 03:30:36 in fact been something pretty close to your company's worst nightmare 03:30:36 since about 1997." 03:30:41 -- esr, neopagan and self-proclaimed sex god 03:30:55 *sigh* esr. 03:30:58 its like they found the ego button in his soul and pressed it until he exploded 03:31:02 http://esr.ibiblio.org/?p=208 03:31:04 pikhq: if I was at all interested, maybe 03:31:17 a job at ms would probably be nice, if you could sleep at night 03:31:29 It'd depend on what I was doing at MS, quite honestly. 03:31:44 i think a job working on windows might actually be interesting 03:31:52 not /fun/ necessarily but... interesting 03:32:04 i'd probably just sit there all day and read the code for fun... 03:32:14 uncontrollably 03:32:17 elliott_: Even *there*, it'd depend. 03:32:17 actually 03:32:23 i'd probably have huge trouble resisting the urge to copy it all to a usb stick 03:32:28 and upload it 03:32:29 Working on the kernel could legitimately be interesting, TBH. 03:32:29 huge trouble 03:32:47 pikhq: man can you imagine their development cycle though 03:32:53 i wonder how long it takes to recompile windows after a change 03:32:55 Working on APIs would make me want to stab a bunch of developers. 03:33:01 booting a version of windows you modified would feel really weird 03:33:06 it doesn't feel like the kind of os you could do that to 03:33:14 For the most part *not* developers in Microsoft, actually. 03:33:27 pikhq: if theres one thing the Old New Thing teaches me its that theres no way the kernel team doesnt have to deal with that too 03:33:29 ps apostrophes are for losers 03:33:53 but yeah the downside is 03:33:56 you'd have to use windows 03:34:00 and you'd be contributing to windows 03:34:21 The thing is, from what I know of it, the kernel for Windows is *actually well-designed*. 03:34:36 well do you mean nt or win subsystem 03:34:45 I mean NT. The *actual kernel*. 03:34:53 well the windows subsystem is a kernel too, to be honest 03:34:59 just at a higher level 03:35:27 Yeah, yeah, it is technically part of the kernel. 03:35:43 But it's more like an overcomplicated system call compatibility layer. 03:35:53 thats what a kernel is 03:36:11 No, no, I mean "like FreeBSD's Linux support" 03:36:20 yeah but that's what a kernel is 03:36:25 freebsd's is small because they're quite close 03:36:47 It's a mapping between a foreign system call layer and a native one? 03:36:52 You have a very strange notion of kernel. 03:37:10 yep, except sometimes the native one involves some memory-mapped jiggery rather than an int/sysenter/etc. call 04:00:26 -!- copumpkin has joined. 04:32:55 wow, raymond chen actually uses ie 04:33:17 Less surprising than it would have been a few years ago. 04:33:31 i know but still 04:33:41 IE at least seems to be a decent, tolerable browser now. 04:33:51 yeah but does anyone actually switch /to/ IE? 04:33:58 i'm worrying that he's never not used IE in his life now ;_; 04:34:07 Not in over a decade. 04:34:49 hehe "ive stopped using the netscapes it doesnt work with msn so im using the ies now" 04:34:54 Remember, Netscape used to suck. 04:34:57 am i roleplaying the 90s properly 04:35:30 No, really, Netscape was *worse* than IE for a while. 04:35:40 i know 04:36:40 http://blogs.msdn.com/b/oldnewthing/archive/2011/05/18/10165605.aspx#10165884 04:36:40 [In practice, the only time anybody set a nonstandard timeout was to set an extra annoying timeout. -Raymond] 04:36:41 lol 04:36:48 windows starts ignoring parameters because they're only used to annoy people 04:37:14 "We changed our API behavior because, y'know what, *you guys suck*." 04:37:48 next time on the old new thing "in windows 8 requests to create a borderless window result in your application being surrounded by not one but TWO normal window decorations and an angry letter being mailed to your parents" 04:38:04 "and if it can PROVE that you're about to draw your own border, it kills the programmer immediately" 04:38:13 If only. 04:38:26 Remember, some programs *in Windows* do that. 04:38:33 (well, at a minimum, WMP does.) 04:38:52 yes but as we've established everyone at ms hates everyone in a different team 04:39:01 the gui/office rivalry is potent 04:39:28 The hatred is often justified. 04:39:49 i bet like half the kernel is working around bugs in lotus and office 04:40:39 A good 7/8ths of the Windows team is probably working around application bugs. 04:40:51 Because they seem to absolutely fellate backwards compatibility. 04:41:31 its good for business 04:41:40 can you imagine the complaints theyd get if they broke old apps 04:41:43 To an extent. 04:42:26 so changing topic entirely, after reading that terrible new coding horror post im actually surprised that chrome doesnt update without restarting 04:42:37 it occurs to me that patching a running binary is not yet a solved problem 04:42:45 which is interesting because it should be! 04:43:28 "Patching" a running binary is a solved problem. You "merely" serialise your state and restart! :P 04:43:42 yeah but chrome updates every second 04:43:46 so that would get annoying 04:44:05 considering it updates silently i am honestly surprised that it does not start running the new version instantly 04:44:33 and i'm wondering if it's actually possible to do in-place updating with an updated() function that is called after the ptach 04:44:34 patch 04:44:41 I think it might be since Chrome uses that fancy update format that uses symbolic addresses 04:44:49 so it's not like code is just going to jump around the place and be impossible 04:45:15 I think it's not done because it would require the browser to pause 04:45:29 Patashu: would it? I don't see what would take so long 04:45:42 and you could always wait until the user does nothing for a few seconds :-) 04:45:43 even 1 second would annoy people with how frequently it updates 04:45:46 hah 04:46:01 i think there are harder problems than that :P 04:46:10 like, I don't know how thorough their symbolic thing is 04:46:20 could you apply the patch to the running memory image without addresses invalidating? 04:46:48 if so, then I think it could be as simple as doing that, then passing control over to an oops_you_just_updated() function, which I guess would have to handle the task of migrating data structures and updating the UI... 04:46:56 that's still quite manual i guess but it would be cool 04:48:11 so every pointer pointing into code would need to be updated? 04:48:26 Patashu: i don't think so, that's why they invented their new patch format isn't it? 04:48:32 or well hm 04:48:33 well, the code still changes size 04:48:37 i guess it fixes up the pointers itself 04:48:39 but i mean 04:48:41 their patching function is just a really compressed diff 04:48:43 they already do that patching already 04:48:47 that uses knowledge of the original function pointers 04:48:52 they already do that patching already, to the binary 04:48:58 so they can do it to the in-memory image too 04:49:09 they could copy the memory image aside and do it to that so it could be swapped quicker 04:49:17 yeah, but what if a function suddenly changes its internal state? 04:49:21 or is removed while it's being run? 04:49:32 Patashu: well it'd have to restore the browser to the start of the event loop or whatever 04:49:39 or whatever 04:49:40 i.e. if any functions are busy running it'd have to postpone it until it's at a predictable state 04:49:49 my worry is that e.g. they insert a field in the middle of a class 04:49:52 now all instances of that class need migrating 04:49:56 it's like sql migration but worse :) 04:50:05 BUT IT WOULD BE SO COOL. 04:50:08 it would be cool! 04:50:12 but it sounds like black magic stuff 04:50:30 i note that it's easy if you work at a higher level than machine code. 04:52:12 let's write a browser in LUA 04:52:16 then on the fly updating is -really- easy! 04:52:19 its called Lua 04:52:24 (says the guy not capitalising) 04:52:27 lower case? 04:52:30 yeah 04:52:32 well apart from the L 04:52:32 o 04:52:33 the L is uppercase :P 04:52:53 i dont see how lua would make it any easier than any interpreted language 04:52:57 well 04:52:58 it's easier 04:53:00 but not trivial 04:53:14 i mean you'll still have a bunch of values floating around without newly-added fields 04:53:27 so your whole application sort of has to deal with things randomly being uninitialised for seeminlgy no reason 04:53:32 which is a rather awkward way to code 04:53:41 yeah, i guess for anything carrying state it would still be tough 04:53:52 anything that's functional you can plug and play but you can already pretty much do that 04:53:58 but i'm thinking that with anything that has a semantic description of object types e.g. CLOS 04:54:13 (not things like python or ruby since they have no actual specification mechanism for types, its all in the initialisers) 04:54:18 you could have it actually migrate every object on-the-fly 04:54:28 and call added hooks in the program to assign default values 04:54:32 i dunno 04:54:40 you sort of need a diff of the data structures themselves 04:58:10 Patashu: i half-suspect that chrome startup is short enough that they could just load the new binary into memory, save the current rendering state and position of all tabs and windows, and just quickly run the new one and kill the old one without anyone noticing 04:58:19 ok you'd have to keep the old windows drawn while it starts but 04:58:26 i guess plugins make that harder though 04:58:39 what about flash plugin state? 04:58:58 I've never seen a browser preserve where my youtube video playthrough is up to across killing tabs, rebooting, etc 04:59:03 if it's possible surely it'd have been done by now 04:59:24 yeah thats why i said plugins 04:59:36 but apart from that it sounds doable because i mean chrome usually re-renders everything when it starts 04:59:45 if you can reduce the migration problem to translating the rendering structures to the new format if it's changed 04:59:49 then it sounds a lot more tenable 05:17:41 -!- elliott_ has quit (Ping timeout: 240 seconds). 05:38:54 -!- myndzi\ has joined. 05:39:37 -!- myndzi has quit (Ping timeout: 276 seconds). 05:41:22 -!- copumpkin has quit (Ping timeout: 240 seconds). 05:41:48 -!- copumpkin has joined. 05:52:12 -!- lament has joined. 06:13:30 -!- MigoMipo has joined. 06:46:46 -!- MigoMipo has quit (Read error: Connection reset by peer). 06:48:11 You don't have to type words into wordpad when you're recording your screen for youtube anymore. We have annotations now 06:50:34 Better still. We have audio. 06:51:17 Some things text conveys better but yeah 06:58:13 Multiple DSL subscriber lines are multiplexed into a single, high-capacity link using a DSL access multiplexer (DSLAM) at the provider location. 06:58:16 I need to start a religion called DSLAM 06:58:20 or maybe it's a wrestling move 06:58:25 all I know is it sounds awesome 07:00:59 Aaah, DSL. The networking technology that only sees use because possible competitors don't feel like taking competition seriously. 07:01:18 I repeat: the possible capacity of a DOCSIS network is 6 *gigabits* per second. 07:03:24 for the whole thing? 07:03:33 Sorry, 6.77504 gigabits per second. 07:04:09 This is presuming that all 158 channels on the North American cable TV frequency plan are allocated to DOCSIS. 07:05:12 Huh 07:05:21 If they decided to use better modulation, they could get just shy of *tripling* that. 07:06:09 But 6.77504 gigabits per second is the bandwidth they could start offering right this instant if they felt like it. 07:06:44 (modulo not-last-mile bandwidth availability, of course) 07:07:22 -!- CakeProphet has quit (Ping timeout: 260 seconds). 07:08:52 -!- CakeProphet has joined. 07:10:24 For comparison, the theoretic maximum of VDSL2 is 0.250 gigabits per second. 07:11:03 And that's if you hook up right at the centrol office. 07:11:06 Central, even. 07:21:45 -!- lament has quit (Ping timeout: 244 seconds). 07:34:58 -!- monqy has quit (Quit: hello). 07:37:17 -!- cheater897 has quit (Quit: Leaving). 07:41:02 VDSL2 in Finland is mostly used in the scenario where there's fiber to the basement telephone switchboxery and vsdl2 from there to apartments, to avoid rewiring. 07:41:24 In that case you do get the relatively reasonable rates. 07:44:08 The cable networks are I guess DOCSIS3-compatible, but they only sell up to 200M/10M speeds to consumers. 07:55:34 -!- oerjan has quit (Quit: Good night). 08:00:02 -!- Phantom_Hoover has joined. 08:07:05 Wait, who owns the esolangs.org domain? 08:07:05 Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them. 08:07:29 It's registered to one Alan Dipert, which I know is not graue's name. 08:09:08 -!- cheater__ has joined. 09:18:16 -!- augur has quit (Remote host closed the connection). 09:36:12 -!- Aune has joined. 09:42:41 -!- augur has joined. 09:44:51 -!- Tritonio has joined. 09:46:09 -!- ais523 has joined. 09:58:08 -!- ais523 has quit (Remote host closed the connection). 09:59:23 -!- ais523 has joined. 10:00:58 elliott: Homestuck update 10:03:01 -!- Vorpal has joined. 10:07:25 -!- ais523 has quit (Read error: Connection reset by peer). 10:07:38 Phantom_Hoover, Homestuck update 10:09:36 -!- ais523 has joined. 10:10:01 Sgeo, you should be telling me too :p 10:22:03 -!- ais523 has quit (Read error: Connection reset by peer). 10:22:29 -!- ais523 has joined. 10:43:20 -!- Zwaarddijk has quit (Ping timeout: 248 seconds). 10:45:07 -!- Zwaarddijk has joined. 10:45:32 -!- Lymia has quit (Quit: 1... 2... 3... HUGS! :D). 11:19:48 Yaaaaaaaaaaaaaaaaaaaaaaaaaaaay 11:24:33 So in other news my chemistry exam has hit a new low in objective wrongness. 11:25:59 -!- copumpkin has quit (Ping timeout: 255 seconds). 11:26:36 -!- copumpkin has joined. 11:26:51 How so? 11:27:23 It asked the kind of bonding present in a substance that melted at over 3000°C and oxidised to a gas at room temperature. 11:27:36 I put metallic, since there is a metal which fits that exact description. 11:28:29 The correct answer was apparently some kind of covalent bonding, and since it was a multiple choice there was only one correct option. 11:30:21 Not that it bothers me too much, since I got 92% anyway, but it irks me. 11:47:50 -!- Vorpal has quit (Ping timeout: 250 seconds). 11:57:44 -!- Tritonio has quit (Quit: Leaving). 12:16:41 -!- Maxdamantus has quit (Ping timeout: 260 seconds). 12:22:48 -!- Maxdamantus has joined. 12:33:23 hmm, is there any good and small test case for debugging unlambda interpreter? 12:40:44 not that I know of 12:47:59 lifthrasiir, 99 bottles of beer? 12:48:08 Although that won't really test c. 12:52:08 Phantom_Hoover: yeah, i ended up with comparing the trace of computation to other (working) one 12:54:09 wait, it seems that i finally get it correct... 12:55:00 ugh, i found the bug: ?x didn't really check if the current character is x... 12:57:12 what did it do instead? 12:58:06 ais523: `?xX actually returned `Xi, no matter what the current character is, except on the EOF 12:58:31 yeah, turns out that i'm not quite fluent in ocaml. 12:59:01 Phantom_Hoover: can you please not put copyright violations on the wiki? 12:59:36 that image isn't even freely licensed, let alone public domain 13:00:08 Yes OK it was not a terribly good idea in hindsight but dammit. 13:00:55 http://i.imgur.com/25g7Z.jpg 13:01:12 I also think it was a questionable idea in the first place, but the copyvio is more relevant 13:01:50 Patashu, I do not get it. 13:01:57 http://thinkprogress.org/2011/05/24/paul-gosar-millionaire/ 13:10:06 -!- Vorpal has joined. 13:18:44 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 13:37:24 does Firefox have a "search in all tabs in this window" feature? 13:38:01 I doubt it. 13:38:10 it'd be useful right now, for me 14:10:52 -!- cheater__ has quit (Ping timeout: 260 seconds). 14:18:17 gah. Why did I suddenly decide to read the back of the milk packaging. Arla (the largest dairy in Sweden) always put some text about various things on the back, changing it every week or so. This time they went for something so overloaded with puns it was quite painful to read. 14:18:49 of course, it wouldn't translate at all to English. 14:22:30 -!- cheater__ has joined. 14:34:31 Arla's ad slogan in Finland several years ago (1999) used to be "Kohta meissä kaikissa asuu pieni lehmä"; in English, "soon in every one of us there will live a small cow". 14:35:37 It was selected as the slogan of the year by some agency that bothers to select a slogan of the year. 14:40:32 Vorpal: you could translate it both ways round; we still wouldn't get the joke but we could see how awkward it sounded 14:41:39 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:44:29 -!- FireFly has joined. 15:04:38 -!- copumpkin has joined. 15:06:21 ais523, well okay 15:07:37 ais523, well "cow" in Swedish is "ko". "organic food" is "ekologisk mat". Now they invented a story about a professor "E.Ko" for teaching children about what organic food means. And from that point on the pun storm went on. 15:08:12 ah, I see 15:08:30 that pun almost translates into English as "ecowlogical", although it wouldn't quite have the same meaning 15:08:42 ais523, there was some very bad pun about this invented "professor" having won the "Kobel price" and so on too 15:09:01 ouch 15:09:45 ais523, oh and en:buddy = sv:kompis. I forgot what pun they made on that, but they managed one. 15:10:16 well google says that is how it translates. it suggests "chum" as an alternative. Possibly closer 15:10:52 informal word for "friend"? 15:10:55 ais523, yes 15:16:53 ais523, oh and sv:naturligvis ~ en:"of course". But svn:"naturligt vis" ~ en:"natural way". They used that one too. Except they mangled it so it made less sense, in that context the form "naturligtvist" would have been used, so they ended up with "naturligt vist" which could possibly mean something like "naturally wise", except that makes less sense since the form "vist" would never be used about a noun 15:16:54 for a person. (Words about persons are invariably reale, not neuturm, no clue what those classes are called in English, something related to grammatical "gender" I think (except it isn't like male/female at all in modern Swedish) 15:17:05 so in effect it ended up utterly awkward 15:17:16 ah, I see 15:18:47 wait, could be utrum. Hm Swedish wikipedia isn't terribly clear on which our grammatical genders are... 15:19:50 and uh, I can't actually see what the difference between reale and utrum is based on the examples on wikipedia... They seem the same? 15:23:01 English wikipedia says "Swedish nouns and adjectives are declined in genders as well as number. Nouns belong to one of two genders—common for the en form or neuter for the ett form[31]—which also determine the declension of adjectives.". 15:23:02 hm 15:24:06 -!- BeholdMyGlory has joined. 15:24:14 -!- BeholdMyGlory has quit (Changing host). 15:24:14 -!- BeholdMyGlory has joined. 15:33:02 -!- ais523 has quit (Read error: Connection reset by peer). 15:33:30 -!- ais523 has joined. 15:34:28 -!- lament has joined. 15:43:26 huh, mplayer on ubuntu fails to play this movie. I'm sure mplayer on arch managed 15:43:28 what now 15:45:25 Vorpal: stare at the wall until you go mad 15:45:26 ais523, any suggestion? 15:45:41 Vorpal: no 15:45:42 olsner, due to Arla? 15:45:47 olsner, as mentioned above 15:46:16 olsner, btw, it was on the ecological whole milk I saw this. Not sure if it is the same across the entire product range 15:49:36 oh damn, it seems I need to possibly recompile ffmpeg with support for it 15:49:38 maaaybe 15:50:46 Vorpal: I have no idea what you're talking about, maybe you're already done staring and have gone mad 15:51:05 olsner, which discussion 15:51:15 olsner, the Arla one or the codec one 15:51:17 which discussion indeed 15:55:15 -!- azaq23 has joined. 16:05:14 -!- elliott_ has joined. 16:08:02 -!- NihilistDandy has joined. 16:20:51 god damn codecs. 16:22:50 -!- lament has changed nick to lameNOT. 16:23:26 -!- NihilistDandy has quit (Quit: leaving). 16:26:14 -!- zzo38 has joined. 16:26:14 -!- elliott_ has quit (Read error: Connection reset by peer). 16:29:17 -!- elliott has joined. 16:33:47 -!- elliott has quit (Ping timeout: 260 seconds). 16:34:34 * Phantom_Hoover → outside 16:35:18 -!- elliott has joined. 16:39:39 -!- elliott has quit (Client Quit). 16:39:45 -!- elliott has joined. 16:49:13 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 16:59:15 -!- sebbu has quit (Read error: Connection reset by peer). 16:59:46 -!- sebbu has joined. 16:59:46 -!- sebbu has quit (Changing host). 16:59:46 -!- sebbu has joined. 17:19:15 asdfq 17:19:19 qfdsa 17:19:58 ais523: lol at ph's upload/edit + your revert 17:20:18 elliott: it was a copyvio! 17:20:29 I'm SURE that's why you removed it >:D 17:23:00 * elliott weighs up xmms2 vs. mpd 17:23:39 elliott: it was also both silly and offtopic 17:23:46 as well as described incorrectly 17:23:50 but a copyvio is an even better reason to delete 17:24:00 it was the image from the guardian article, right? 17:24:13 yep 17:24:15 (that's just a guess based on context, I didn't see it) 17:24:29 ais523: you know, you have no proof that PH isn't the photographer of that 17:24:33 JUST SAYIN' 17:24:33 I'm not sure it accomplished much besides making the photographer look stupid, but it's their fault 17:24:37 elliott: PH is a woman? 17:24:49 ais523: It's not out of the question. 17:24:52 also, the Guardian would own the copyright, or the photo agency, not the photographer 17:25:00 Well he could be the boss of the photo agency. 17:25:03 The... 17:25:05 All-powerful boss. 17:25:13 Maybe he IS the photography agency ITSELF. 17:25:29 I AM JUST SAYING THAT YOU ARE BEING TOO HASTY 17:25:38 elliott: these theories aren't convincing me 17:25:46 and even suspected copyvios should be deleted until there's proof they aren't 17:25:53 That's what they said about Columbus, too 17:26:29 Hmm, XMMS2 clients seem rather bitrotten 17:30:41 -!- ralc has joined. 17:43:35 Maybe post a link to the file on here in case. 17:44:21 ? 17:48:59 . 17:51:02 I think there is a bug in GNU dc, when there is unimplemented command the error message is sent to stdout instead of stderr, it seems? 17:59:06 -!- elliott has quit (Remote host closed the connection). 18:02:32 -!- elliott has joined. 18:17:19 http://hg.mearie.org/esotope/esotope/ trying to revive a project. 18:20:13 -!- elliott has quit (Remote host closed the connection). 18:21:00 -!- elliott has joined. 18:21:58 -!- TOGoS has joined. 18:33:09 -!- TOGoS has left. 18:34:27 -!- monqy has joined. 18:35:56 "Nice to see you use present tense when speaking about 16-bit applications. I spend 30-50% of my time maintaining an old C++ 16-bit application, so I still live with all the joys of 64K limits :-)" 18:36:01 people wrote sixteen-bit C++ programs? 18:36:18 Yes. 18:36:29 how did they even fit in to RAM :P 18:36:39 Badly. 18:36:44 elliott: -nostdlib. 18:36:50 elliott: back then, C++ didn't look like modern C++ at all 18:36:51 It was first called "C++" in *1983*. 18:37:07 it was more like C with a vague attempt to do object-orientation badly 18:37:13 lifthrasiir: well iostreams and the like hardly applied to windows anyway 18:37:15 C++ had rather a large amount of changes up to its ISO-isation. 18:37:18 ais523: I guess so, it's still just surprising 18:37:26 and the string class (not std::string back then) and iostreams were about the most OO it got in the standard libraries 18:37:32 Considering that people wrote assembly by hand and weren't considered insanely hardcore, at the same time 18:37:36 old-fashioned C++ is nothing like modern C++ 18:38:02 The STL itself only really came about in the 90s. 18:38:27 Templates were, like, 1990. 18:38:38 at a conference at work a while ago there was a talk by one of the oldies about how memory management used to work in our C++ code back in the 16-bit days 18:39:15 It was *recognisable* but distinctly different starting with, oh, the mid-80s. 18:39:58 And you're first going to get something that would compile in, say, g++ starting in 1998. 18:40:22 so weird :) 18:40:23 (presuming STL use) 18:40:29 (the names of the header files changed in the ISO committee) 18:40:43 iostream.h to iostream, right? 18:40:53 Yeah, they removed .h from all the headers. 18:41:21 You can push it back a bit further, perhaps to 1989, if you're talking about code that only used ISO C headers. If you're lucky. 18:41:44 I can't stop myself from liking DOS :( 18:41:44 (before then, all bets are off. This was the nasty land of *K&R C*.) 18:41:53 elliott: Don't feel bad. 18:42:03 elliott: DOS was not a bad design for the time. 18:42:04 pikhq: But it's so _bad_. 18:42:13 Computers have just gotten *so much better*, and DOS has not. 18:42:27 Hmm, I wonder what the first DOS that was compatible with anything was 18:42:33 First version had no directories so that is pretty much out 18:42:34 Maybe DOS two? 18:42:39 Seems like it only supported ten meg disks 18:42:47 "Compatibile with anything"? 18:42:55 Define that, man. 18:43:08 pikhq: "Compatible with a wide range of applications and games made for DOS" 18:43:16 *Aaaah*. DOS 3. 18:43:17 e.g., the popular thirty-two bit extenders should work 18:43:39 hmm, all Wikipedia lists 3.0 as adding is larger disk support, but I guess their changelog might not be very complete :-) 18:43:49 oh http://en.wikipedia.org/wiki/Timeline_of_x86_DOS_operating_systems is better 18:44:03 Microsoft releases MS-DOS 2.0, which introduces a Unix/Xenix-like hierarchical file system, installable device drivers (e.g. ANSI.SYS) in the system configuration file CONFIG.SYS, and adds internal commands BREAK, CHDIR or CD, CLS, CTTY, EXIT, FC, MKDIR or MD, PATH, PROMPT, RMDIR or RD, SET (environments), VER, VERIFY and VOL. New external commands are DISKCOPY (not identical to IBM's version), PRINT (spooling); three filters supported with stand 18:44:04 ard devices and redirection: FIND, SORT and MORE; BACKUP, RESTORE and RECOVER. New batch file commands are ECHO, FOR, GOTO, IF and SHIFT. CONFIG.SYS commands are BREAK, BUFFERS, DEVICE, FILES and SHELL. New file attribute bits are read-only, volume label, subdirectory and archive. A team of six developers produced version 2.0, led by Paul Allen, Mark Zbikowski and Aaron Reynolds.[1] 18:44:11 pikhq: are you sure it's not 2.0? that's a lot of modernisation there 18:44:29 DOS 3.0 did some minor API tweaks for the larger disk support. 18:44:37 ah 18:44:53 now i just need to find dos 3 floppies >:) 18:44:57 And I'm pretty sure they didn't actually change the API past that. 18:45:07 http://torrentz.eu/search?f=DOS+3 ;; lame 18:45:08 Just add more features to what was already there. 18:45:16 The 32 Mb partition limit was there for quite long, if I recall correctly. 18:45:25 FireFly: better than ten megs 18:45:30 Went away in 3.something. 18:45:42 http://oldfiles.org.uk/ oh man this design. 18:45:54 FireFly: Version 3.0 (OEM) - Support for larger Hard Disk Drives 18:45:54 Version 3.31 (OEM) - Compaq 3.31 supports FAT16 and larger drives. 18:45:56 erm 18:45:57 fizzie: 18:45:59 Says Wikipedia. 18:46:02 So I suspect the first three version was it 18:46:09 heh, 5 introduced EDIT 18:46:13 Maybe so, then. 18:46:38 I do recall splitting a huge 40 MB disk into 32/8 and putting Populous' DOS port on the D: part. 18:46:51 What's the point of that :P 18:47:04 Oh, to get around the limit. 18:47:23 Right. It's the only thing I remember using D: for, but I'm sure there was something else too. 18:47:41 fizzie: Populous is rather newer than these versions, though. But I guess Scandinavia was ~slow~. 18:49:59 http://en.wikipedia.org/wiki/Comparison_of_x86_DOS_operating_systems "Technical specifications" / "Max Hard Drive partition size" says the 32M limit was there for the whole 3.x series, and only 4.0 bumped it up to 2G. 18:50:13 Not sure what to trust; my own very fallible memory would've put the change around 3.33. 18:50:16 Holy shit, in two thousand and sixteen Microsoft will be forty years old. 18:50:44 And still dealing with the legacy of their choice to support a CP/M clone. 18:52:27 http://en.wikipedia.org/wiki/File_Allocation_Table#Initial_FAT16 speaks of the partition size limit too. 18:52:44 I appear to be unable to find dos three floppies. 18:52:45 Woe, it is I. 18:53:12 I have a 3.2 box somewhere, but no operational floppy drive at the moment, I don't think. 18:53:24 Heh. 18:53:42 (I'm 1300 km from the box anyway.) 18:53:43 fizzie: Not that you'd ever do something so illegal, after all; haven't you read that open letter by Bill Gates? 18:53:47 You'll kill Microsoft. 18:54:25 Yes, I suppose DOS 3's still selling quite well. 18:55:18 I wonder if you can still actually buy it. 18:56:28 From eBay, at least. :p 18:56:40 Noooooo, I want to give back to the Big G. 18:56:52 eBay is as bad as piracy. 18:57:16 holy shit I have money 18:57:31 coppro: buy dos 18:57:48 elliott: also why is your TV so much better than the Americans'? 18:58:14 I take it you mean the "terrestrial" channels rather than the full range on freeview or Sky, because the latter ios 90 percent absolute pap. 18:58:23 And the answer is communism. 18:58:31 Today's interesting things from the conference: there was one rather nice-looking texture reconstruction (in the photoshop "context-aware fill" style) poster that at least had pretty pictures. (One assumes they've selected the best-working examples, of course.) 18:58:36 There is also FreeDOS, which can be modified to do the things you want it to do instead. 18:59:08 BBC? Government. ITV and Channel 4? Public service. Channel 5? Erm, shitty. 18:59:30 fizzie: That's quite a popular kind of thing nowadays isn't it. 19:00:04 fizzie: Reddit gave this amusing example recently: 19:00:06 Yes, I guess it is. 19:00:15 (Source image) Badly-stitched thing: http://i.imgur.com/RBELd.jpg 19:00:19 Photoshop content-aware filled: http://i.imgur.com/ZBSkK.jpg 19:00:25 And the CLEAR WINNER, 19:00:35 GIMP filled with resynthesizer: http://i.imgur.com/biWF6.jpg 19:02:06 Then there was a thing that can distinguish singly- and doubly-encoded JPEGs, for the use case where you detect forgeries by assuming they've been double-compressed. (I don't think they really took into account the various other ways -- like stupid(tm) rotation -- images can get double-compiled, I mean compressed.) 19:02:34 -!- ais523 has quit (Ping timeout: 240 seconds). 19:03:04 fizzie: Was there anybody doing a demonstration of why speech recognition is useless and pointless and nobody will ever want it ever and it's basically just this big ol' joke? 19:03:29 THOUGHT SO 19:03:42 Well, the day's plenary talk was sort-of. 19:03:52 Though maybe not in those exact works. 19:03:55 Words. 19:04:03 He's making typos I think I upset him 19:04:21 I blame the laptop keyboard. (A convenient excuse.) 19:04:30 "Also my uncontrollable sobbing." 19:04:46 Hey pikhq do you have an ms dos floppy. 19:04:54 That too. Inconspicious topic-shift! The Resynthesizer(tm) is indeed one of my favourite things. 19:05:15 I would definitely go and visit http://i.imgur.com/biWF6.jpg, that's for sure. 19:05:33 I like how it sort of invented a volcano in the stitch. 19:05:35 Is there some program that can convert JPEG to format that you can convert back without changing the lossy part of the compression? But that the new file can then be rotated and manipulated in ways before it is put back? 19:06:22 3.01984Support for high-density (1.2 MB) floppy disks and 32 MB hard disks was added. 19:06:26 3.31987This release was written to take advantage of IBM's PS/2 computer range. It added support for high density 3.5" floppy disks, more than one partition on hard disks (allowing use of disks bigger than 32 MB) and code pages. 19:06:49 fizzie: So 3.3 just let you circumvent the /drive/ limit by letting you partition it. 19:06:57 Then 19:06:57 4.01988This version provided XMS support, support for partitions on hard disks up to 2 GB and a graphical shell. It also contained a large number of bugs and many programs refused to run on it. 19:07:02 Probably that added bigger-partition support too. 19:09:51 File name: Microsoft DOS 3.31 (3½).rar 19:09:51 File description: Microsoft MS-DOS 3.31 By LsFer010 19:09:51 File size: 333.23 KB 19:09:55 Oh hey cool, Google pays off. 19:10:07 It's only one disk; huh. 19:10:35 -rw-r--r-- 1 elliott elliott 1.5M 1996-12-24 23:32 Disk1.img 19:10:44 It was two thousand and ninety-six in the archive. :p 19:12:15 fizzie: pikhq: Wow, it displays the current year correctly. 19:12:18 HAWD COWE. 19:13:01 I think it was two 5.25" floppies, but could be the other one was something non-essential. 19:13:22 This was three-incher. 19:13:25 File name: Microsoft DOS 3.2 (5¼).rar 19:13:27 Don't mind if I do. 19:13:37 3.31987This release was written to take advantage of IBM's PS/2 computer range. It added support for high density 3.5" floppy disks, more than one partition on hard disks (allowing use of disks bigger than 32 MB) and code pages. 19:13:39 WHO NEEDS THOSE THINGS. 19:14:03 Hey how did you actually install DOS anyway I do not even know. 19:14:08 -!- ais523 has joined. 19:14:14 -!- ais523 has quit (Changing host). 19:14:14 -!- ais523 has joined. 19:14:51 zzo38: There are at least tools that rotate (and mirror and crop; with some restrictions) JPEG images without decompressing; I don't think there's any standard easily-manipulatable format though. 19:17:13 Can you even install DOS. 19:17:16 I do not even know this thing. 19:18:02 -!- Phantom_Hoover has joined. 19:19:06 Do you just copy all the files to C:\DOS. 19:19:10 Is that what you do fizzie. 19:19:38 The versions I recall more clearly used to have a SETUP.EXE. 19:19:53 You do need to at least SYS the drive to get the boot thingies in place. 19:20:06 Ah yes there is a setup. 19:20:11 Do I need to sys the drive before I setup. 19:20:24 Nah, the setup will take care of it. 19:20:37 "setup" just seems to... hang. 19:20:41 You may need to FDISK the drive before, though. 19:20:42 Maybe it is working very hard. 19:20:52 OK fdisk is a thing I can do. 19:23:58 fizzie: Seems like the setup tool doesn't like me so I'll just do it manually. 19:24:06 CONFIG.SYS and COMMAND.COM have to be in the root directory, right? What else? 19:25:28 Not much that I recall; you do need to either SYS it or FORMAT /S (if I recall the flag right) to make it put a boot sector. And I can't quite recall what made it put the usual code into MBR. 19:25:48 SYS will copy command.com too, I think. 19:25:50 I seem to have a boot sector, it just complains about a lack of command interpreter now. 19:26:01 "SYS C:" doesn't seem to copy t. 19:26:01 it. 19:26:12 Weirdish. 19:26:24 C:\DOS is the usual place for all the other files though, right? 19:27:16 You could try with FORMAT /S and then copying the necessary things in \DOS. 19:27:39 Geh, how do you move things. 19:27:45 "rename DOS\COMMAND.COM COMMAND.COM" doesn't work. 19:28:00 Also, no /S here it seems; too MODERN. 19:28:52 elliott: "move" 19:29:10 Deewiant: I don't have any MOVE. 19:29:23 Weird 19:29:31 Maybe it is too new. 19:29:36 Or maybe this download sucks. 19:31:42 elliott, why are you messing with dos? 19:32:03 Vorpal: Fun. 19:32:09 elliott, freedos? 19:32:13 No. 19:32:16 why not 19:32:18 OK it boots now. 19:32:21 Vorpal: Sucks. 19:32:28 elliott, in what way? 19:32:43 Every way 19:32:52 elliott, too new? 19:33:00 elliott, or is it badly coded or something? 19:33:44 Too new, lame protected mode, PEH 19:33:50 Now how do you stop DOS asking for a new date/time on each boot. 19:34:08 elliott, PEH? 19:34:25 brb 19:36:38 Make an autoexec.bat for it. 19:36:50 I think the date/time query only hits if you don't have one. 19:40:48 -!- elliott has quit (Ping timeout: 252 seconds). 19:45:46 :( 19:45:50 I was playing Portal 2 19:45:58 It closed out on me after being minimized 19:46:00 * pikhq beats head against wall 19:46:04 No it didn't 19:46:08 "Occam's Razor Is Simply Wrong!" 19:46:16 It's just not on the taskbar 19:46:17 OUCH OUCH OUCH OUCH 19:46:27 THE PAIN AND AGONY IS ASTOUNDING 19:47:06 Oh. Poe's Law in full force. 19:47:33 Thanks be to goodness. 19:48:10 gah, I keep forgetting what Poe's Law is even despite looking it up at least twice 19:48:12 * ais523 looks it up a third time 19:48:31 It's a very fundamental law of discourse. 19:48:38 oh right, that one 19:55:25 -!- lambdabot has quit (Ping timeout: 246 seconds). 19:58:01 -!- cheater__ has quit (Ping timeout: 248 seconds). 19:58:05 wait what, firefox makes sound when you type in something for search on page and it isn't found!? 19:58:31 I usually only use sound when listening to music or playing games, I guess that is why I never noticed before... But how do you turn that off... 20:02:17 I don't know, maybe go to about:config and then find the correct setting to turn off 20:03:16 good idea 20:03:51 hmm. accessibility.typeaheadfind.enablesound looks promising. 20:04:02 nope 20:13:44 -!- cpressey has joined. 20:14:39 * cpressey inks out "ais523" and "zzo38" on his "#esoteric Bingo" card 20:14:56 -!- Tritonio has joined. 20:15:19 cpressey, wha? 20:15:53 oh, and "Phantom_Hoover". score. only five more squares until blackout 20:16:05 cpressey: people who are in the channel simultaneously with you? 20:16:06 so anyway 20:16:32 -!- cheater__ has joined. 20:16:58 yeah, see, many of the nicks here, are always here, and thus not interesting to observe, when I join 20:17:30 like my nick???? 20:17:45 cpressey, neither ais523 nor zzo38 are always here 20:18:24 Vorpal: that's what cpressey implied 20:18:50 ais523, wait, didn't he imply that you were always here? 20:18:56 no 20:19:03 because if I were, me being here wouldn't be interesting 20:19:03 oh, read it backwards 20:19:08 and he clearly found it interesting 20:19:11 or she, I suppose 20:19:17 ais523, I have no idea how bingo works 20:19:20 so uh 20:19:21 there are so many genders I don't know 20:19:38 ais523, is blacking it out interesting or non-interesting 20:19:46 interesting 20:19:49 ah 20:19:56 ais523, what does it mean in real bingo? 20:20:02 basically, you have a list of numbers on the card, and the announcer calls out random numbers 20:20:10 if they call out a number on your card, you get to cross it off the card 20:20:14 aha 20:20:15 you win when there are none left 20:20:22 and often also get a prize if you manage to form certain patterns 20:20:27 ah 20:20:27 it's an entirely luck-based game 20:20:37 variants often replace the numbers with something else 20:20:55 ais523, I was just about to suggest that simply applying a PRNG once to decide who won would be easier. But it would not handle the pattern case. 20:21:11 Vorpal: that would defeat most of the interest in the game, though 20:21:27 which is people thinking "ooh, I've almost won" and then just getting beaten 20:21:30 ais523, apart from the pattern bit, this game doesn't sound very interesting 20:21:34 I don't find it a particularly interesting game myself, though 20:22:01 oh, also I think the announcer never repeats numbers, but that's just to save time 20:22:12 (note that you don't get to choose the numbers on the card, they're random too) 20:22:19 hm 20:22:56 it's almost entirely luck. there is the small factor of being able to pay attention to the announcer. 20:23:09 bingo is purely a social game. 20:23:17 if you are easily distracted, that can work against you. 20:23:58 or hard of hearing. 20:24:04 the game is a secondary factor, the primary factor is the social aspect of many people sitting in one room, and everyone hoping to be the one who gets to shout bingo! drawing attention to themselves. 20:24:34 yeah, what they don't realize is that you can just join an IRC channel and do that. 20:24:38 ... 20:24:41 BINGO! 20:24:44 except that just randomly choosing who gets to stand up and shout bingo! is too stupid even for those people, so they make the pretense of an actual game 20:25:02 cpressey, exactly 20:25:51 so I was going to try my hand at implementing Deadfish in ooc 20:26:08 then I realized that the ooc compiler is self-hosted 20:26:17 and you need a binary package to bootstrap it 20:26:29 and I was like, wait, what? 20:26:49 yes, I know 20:26:52 you can use a cross-compiler in order to break the infinite regress 20:27:09 well, if one existed 20:27:19 there might. i haven't come across it though 20:27:47 but what I was thinking is: doesn't this go against open-source a little? how do I know what this binary contains? how do I know it was compiled from these sources? 20:28:26 doesn't supporting all these platforms impose a drain on resources? 20:29:43 if there was an ooc interpreter in a popular scripting language, wouldn't that do the job for bootstrapping just as well? 20:29:46 "Q: If I don't need another ooc compiler to compile this one, how does it work? What does 'make bootstrap' do? 20:29:46 A: 'make bootstrap' builds a rock binary from the C sources in build/c-source, calls it bin/c_rock, and uses it to recompile itself to bin/rock" 20:30:00 that's a crock 20:30:03 (sorry) 20:30:18 "make" does not tell you any of this -- it tells you to go fetch a bootstrap package 20:31:22 I guess the FAQ could be out of date, if it isn't just the makefile that is a lying bastard 20:31:24 er, it apparently IS a crock. "make bootstrap" tells me the same thing 20:31:36 they're probably both wrong 20:31:37 I think the faq is out of date 20:32:10 Plugged in, not charging 20:32:14 A reboot tends to solve this 20:32:19 !@#$%^&*()(*&^%$#@#$%^*(&%$@@#$^&*(O 20:32:36 ...the Makefile *looks* like that should work. 20:34:49 no, looks like the version of rock on github does not include the necessary C sources. 20:35:27 ok, giving up. that was fun! 20:35:47 back to boring javascript debugging fun fun 20:35:59 javascript is the easiest language to debug by far. 20:36:01 the next point in the faq mentions another make target for generating the C sources (using rock) 20:36:04 easier than Haskell. 20:36:26 what with all that dynamic typing. 20:37:41 -!- Sgeo_ has joined. 20:37:51 oh jeez, it's CakeProphet! 20:38:00 ... 20:38:02 BINGO! 20:38:07 -!- Sgeo has quit (Ping timeout: 246 seconds). 20:38:22 * Sgeo_ is most certainly not CakeProphet 20:38:48 ha. 20:39:03 you're my utter reflection, Sgeo, what do you mean? 20:41:34 olsner: the awesomeness of this build system has defeated me. 20:41:39 at least for today 20:43:15 I mean, it would appear rock is required to build the C sources required to build c_rock required to bootstrap rock 20:43:35 at one point in my life I should just go ahead and write a compiler directly in the language that it will compile from, and not bother figuring out how to bootstrap it before releasing it 20:44:42 There's a bug in this Perl IRC bot I made that I haven't been able to figure out for 2 days now. 20:46:42 But Perl is almost as easy to debug as Javascript! 20:46:56 Not like that Haskell crap! 20:47:14 God, that expressive type system makes finding bugs nigh-impossible! 20:57:42 hey i was thinking earlier today 20:57:53 wouldn't perl be great for like.. interactive programming 20:58:00 say you have some data set that you need to process 20:58:26 you're in the editor, and every time you enter something it gets re-run with that data. 20:58:35 in another pane you have a live display of the data set. 20:59:09 so let's say you're doing some statistics, you could have a live display of the data analysis, like say a distribution graph. 21:00:23 perl is very terse, so it lends itself to this sort of thing. 21:04:09 Yes, Perl should be used for interactive statistics. While R is better suited for IRC bots: https://bitbucket.org/catseye/rtype 21:14:43 -!- oklopol has joined. 21:17:03 what does "is" mean? 21:17:23 oklopol: in what context? 21:17:42 don't ruin my fun by being like that 21:17:50 well let's see 21:18:14 in the context "my ape is a grape" 21:18:40 (it is actually not a grape) 21:19:22 so ais523, what you been up to? 21:19:42 trying to get a report finished 21:19:49 please tell me more 21:19:53 also training Pokémon for the national Pokémon championships in a couple of weeks 21:19:59 less interesting 21:20:14 it's a particularly boring report, trying to demonstrate that I know enough about what I'm doing to be allowed to continue on a PhD 21:20:26 oh. 21:20:48 i just got my funding for the phd like, umm, yesterday or something 21:21:09 I got my funding ages ago 21:21:16 i mean officially, it was rather obvious from the start that i'd get it 21:21:20 well obviously 21:21:33 but after a year, they make people do a report to determine whether I've actually been doing something PhD-worthy or whether they should stop funding it and cut their losses 21:21:40 but i only finished my master's degree this year 21:21:47 yeah sure 21:22:24 although i'm sure they only cut it if you directly admit you've been doing drugs and whores the whole time. 21:23:01 given that it's rather hard to measure the progress of an artist :o 21:23:14 * oklopol likes to think of himself as an artist 21:23:50 * oklopol 's ex was always like lol u no artist u just a scientist 21:24:04 * oklopol on the other hand was like stfu i'm so 21:24:28 also i'm rather drunk in case that was not obvious 21:25:56 * oklopol 's dad on the third hand is always like he so an artist even though he's mostly a drunk 21:28:50 i'm writing this survey, and it's hard because people haven't proven the things i want to mention, and i'm not supposed to prove them myself 21:31:07 Why are you not supposed to prove them yourself? 21:31:38 that's not the point of a survey 21:32:04 the point of a survey is to present the current state of a theory 21:32:48 Can you not present the current state if there is no proof? 21:32:49 the problem is people tend to prove trivial things that sound nontrivial instead of actually trying to solve things 21:33:01 what do you mean 21:33:23 proofs are the only things that further the theory in mathematics 21:33:36 If it is required that it is proven, then use a pseudonym or whatever 21:33:54 what do you mean? prove it myself in another paper? 21:34:06 Yes, if you know how to prove it, that is. 21:35:00 well i already present some of my own results, but i mean there are these couple of things that are obviously true, but i have no idea how to prove them without doing probably a month of research 21:35:10 so it'd be nice if someone had done this 21:35:43 but yeah you're right, if i had a complete existing proof 21:35:46 Yes I think you might be correct. What matematical theories are these that you are dealing with? 21:35:48 -!- lambdabot has joined. 21:35:48 i could just publish it 21:35:55 and add it 21:36:09 the theory of picture-walking automata 21:36:42 the stuff i did in my master's thesis 21:36:48 simple stuff 21:39:36 so zzo38 what YOU been up to? 21:40:26 I have been playing D&D on the weekend I was in Victoria, and then yesterday I was recording the game on my computer. 21:40:44 what does recording mean 21:41:26 However I have plans to work on TeXnicard, too. I have a request for you: If you have any ideas or feature requests for TeXnicard, tell me I can put them near the end of the book (just before the index). 21:41:45 oklopol: Recording http://zzo38computer.cjb.net/dnd/recording/ 21:41:54 That's what it means. 21:41:56 so what was this texnicard exactly 21:42:44 My computer is making distressing noises 21:42:46 oklopol: TeXnicard is not related to the D&D game. For information about TeXnicard: http://repo.or.cz/w/TeXnicard.git 21:42:55 Sgeo_: What noise, to be specific? 21:43:14 As though something's rattling around 21:43:33 Sgeo_: Then open it and look inside to see if something is rattling around. Maybe the fan? 21:44:00 Sgeo_: so what you been up to? 21:44:49 Hoping that my computer isn't physically dying 21:44:52 Playing Portal 2 21:45:01 And being obsessed with Homestuck 21:45:09 * Phantom_Hoover → sleep 21:45:09 Phantom_Hoover: You have 9 new messages. '/msg lambdabot @messages' to read them. 21:45:15 i've been hearing about this homestuck thing 21:45:19 oklopol: Do you have opinions about TeXnicard or about the D&D recording files? 21:45:28 oklopol, it is the best thing and you should read it. 21:45:56 zzo38: not really. i only have opinions on math nowadays :\ 21:45:58 -!- Phantom_Hoover has quit (Quit: Leaving). 21:46:12 well, and some other things. but not texnicard or dd 21:46:20 oklopol: Do you have opinions about the twin primes conjecture? 21:46:28 :D 21:46:50 well i have my usual line w.r.t. conjectures: "it's obviously true" 21:47:05 oklopol: is that adjusted for P=NP? 21:47:09 although in the case of twin primes conjecture, i'm not sure that's actually my opinion since i don't know anything abou tit 21:47:10 *about it 21:47:17 yeah P!=NP is obviously true 21:47:29 in fact, the whole polynomial hierarchy is obviously proper 21:50:38 actually in the picture-walking automata case, the polynomial hierarchy has at least two propers levels! 21:50:48 -!- micahjohnston has changed nick to ebay. 21:50:51 -!- ebay has changed nick to micahjohnston. 21:50:57 of course, this has nothing to do with the corresponding complexity theory problem 21:51:31 mostly i decided to call another thing a polynomial hierarchy, because it had a similar feel to it 21:53:18 Why won't the event viewer work? :( 21:54:27 -!- micahjohnston has changed nick to elliotcable. 21:55:42 Ok 21:56:01 Nothing that looks hardware related. Well, one thing about some communications failure 21:56:26 "The embedded controller (EC) did not respond within the specified timeout period. This may indicate that there is an error in the EC hardware or firmware or that the BIOS is accessing the EC incorrectly. You should check with your computer manufacturer for an upgraded BIOS. In some situations, this error may cause the computer to function incorrectly." 21:56:29 a* Phantom_Hoover → sleep Phantom_Hoover: You have 9 new messages. '/msg lambdabot @messages' to read them. <-- heh 21:57:18 Sgeo_, weeeelll that sounds like big problems 21:57:33 Sgeo_, I presume it is a laptop? 21:57:35 Yes 21:57:37 -!- pikhq_ has joined. 21:58:18 Sgeo_, at least on thinkpads there is an EC deeply involved in making "laptopish functions" work 21:58:33 "laptopish" functions? 21:58:49 Um, does that include moving the HD head elsewhere when there are vibrations? 21:58:49 -!- elliotcable has changed nick to micahjohnston. 21:58:52 Do you mean, like, when it is closed/open? 21:59:13 Sgeo_, everything from setting brightness on screen and setting battery charge tresholds to enabling and disabling wlan and bluetooth 21:59:38 Um, does that include moving the HD head elsewhere when there are vibrations? <-- I'm not sure how it reads the accelerometer 21:59:41 Easiest thing for me to test? 21:59:56 Sgeo_, well it could be for some stuff only *shrug* 22:00:08 I don't *think* that accelerometer reading uses the EC. 22:00:09 -!- pikhq has quit (Ping timeout: 250 seconds). 22:00:17 the actual hd head moving does not use it 22:00:24 but the accelerometer reading might 22:00:30 Sgeo_, is that a thinkpad you have there? 22:00:38 Sattelite 22:00:46 Sgeo_, ah, toshiba 22:00:54 Sgeo_, well it could be very different for that brand 22:01:16 I have next to no experience with that 22:02:56 Sgeo_, I think the EC on my thinkpad handles stuff like Fn-PgUp turning on LED lighting up the keyboard 22:03:00 as well 22:03:43 Sgeo_, what is the issue you are seeing? 22:04:07 There's a funny sound when I tilt my laptop sometimes 22:04:11 uhu 22:04:25 Sgeo_, you are doing it wrong. You don't tilt laptops 22:04:28 use a table for them 22:04:35 laptops that is 22:04:55 Sgeo_, I would argue using laptops in your lap is stupid :P 22:06:37 -!- oerjan has joined. 22:06:40 night → 22:07:03 oh hi oerjan! There are some bad puns in the logs. Grep for Arla. 22:07:06 night →→ 22:08:07 `addquote night → oh hi oerjan! There are some bad puns in the logs. Grep for Arla. night →→ 22:08:10 ​428) night → oh hi oerjan! There are some bad puns in the logs. Grep for Arla. night →→ 22:11:21 -!- Vorpal has quit (Ping timeout: 248 seconds). 22:13:02 -!- ais523 has quit (Remote host closed the connection). 22:13:41 oerjan: so how about those simplicial complexes 22:14:41 hm? 22:14:48 well that was all 22:15:04 -!- Rtype has joined. 22:15:09 sorry i'm drunk and tired 22:15:12 well simply put, they are complex 22:15:25 :DSDDDDDDDDDDDDDDDDD 22:15:37 well actually they don't seem to be complex in either sense of the word 22:16:11 -!- Rtype has quit (Remote host closed the connection). 22:16:40 how about that homotopy though? :D 22:17:46 -!- Rtype has joined. 22:17:57 hi Rtype are you gonna crash on me? 22:17:58 groan 22:18:26 I should probably take you to another channel Rtype 22:18:27 * Rtype groans 22:18:38 test complete 22:18:39 -!- Rtype has quit (Remote host closed the connection). 22:18:46 this is a good channel for Rtype imo 22:19:19 well the functor from continuous functions to homology groups identifies homotopic functions, is what i recall, and this is somehow obvious from the simplicial complexes i even more vaguely recall 22:20:21 homology group? 22:20:23 oh 22:20:25 -!- Patashu has joined. 22:20:36 no yeah i don't know what that is 22:20:51 ...what else would you use simplicial complexes for 22:21:24 i only know them as a step on the road to getting the groups (or modules, if you have a more arbitrary ring) 22:21:27 well they are nice little spaces 22:21:33 Is that functor a continuous functor? I... am trying to wrap my head around such things existing 22:22:30 i don't know what continuity would mean for functors, although someone has probably defined it 22:22:33 you can build pretty much any space you can think of out of simplicial complexes 22:22:48 up to homeomorphism 22:23:00 Well, functions can be continuous on the reals; you can have spaces of functions which resemble the reals; sooooo.... 22:23:07 well, assuming you have a sucky imagination 22:23:11 I haven't mathed in a long time 22:23:18 -!- h[a]gb4rd has joined. 22:23:27 oklopol: oh hm i'm a bit confused on the terminology 22:23:30 a functor is not a function from functions to functions in this case 22:23:38 no? damn! 22:24:04 -!- Tritonio has quit (Read error: Connection reset by peer). 22:24:43 -!- Tritonio has joined. 22:24:48 argh this bloody laptop and its constant leaking of memory 22:25:10 oerjan: my definition is simplicial complex = collection of simplexes closed under faces (plus intersections of simplexes are faces) 22:25:57 pardon the extreme simplification, that doesn't really mean much :D 22:25:59 now oerjan's lap is covered with blood and memory 22:26:47 oerjan: i'm just reading this book on algebraic topology, not sure what they're going to use simplicial complexes for, yet. 22:27:03 oklopol: i was confusing simplicial complexes with the chain complexes made from them 22:27:13 those being? 22:28:15 those being the next step after you construct simplicial complexes, just before you construct the homology groups 22:28:20 i'll probably take a rather deep look into this algebraic topology thing, i saw this one general proof about exact sequences and it was just incredible 22:29:46 oerjan: you don't have a kind-of definition for them? 22:31:02 they're a sequence of modules/abelian groups with a homomorphism from each to the next such that neigboring homomorphisms compose to 0 22:31:02 too lazy to giggle 22:31:30 exact sequences being a subset of them, i think 22:31:37 oh so a... well what do you call a non-exact exact sequence 22:32:11 well my advisor spoke about half exact sequences, but that's a bit different again 22:32:20 in an exact sequence, the image is exactly the kernel of the next 22:32:37 well in a chain complex the image is simply contained in the kernel 22:32:57 so i guess the idea is you have a space and then you build a space on top of that and then another space on top of that and so on 22:33:45 heh 22:33:51 :D 22:34:28 what i most love about math is that the technical aspect is so entertaining the authors usually don't bother to mention what they're actually doing 22:34:49 the homology groups give some exact sequences later 22:34:53 even when there's a clear intuitive idea 22:35:31 also it's possible you're supposed to come up with that on your own, it's certainly a rather small task compared to understanding the details 22:36:08 but umm homology groups, what are the elements and what is the operation? 22:36:32 not the fundamental group? 22:37:14 oklopol: oh there was a blog post on something like this on reddit, i'd find it but my computer is currently thrashing 22:37:34 (about not bothering to mention things) 22:38:02 oh wait it's still in my recent tab list 22:38:21 oh? interestingly enough, no mathematician has ever bothered to mention that they tend not to bother to mention things. 22:39:03 the homology groups are the quotients of consecutive terms of the chain complex you construct from the simplicial complex 22:39:06 iirc 22:39:22 http://scienceblogs.com/evolutionblog/2011/05/monday_math_a_rant_about_jargo.php 22:39:23 -!- Tritonio_GR has joined. 22:39:29 in the house that jack built 22:39:45 -!- Tritonio_GR has quit (Client Quit). 22:40:00 i have to go to sleep now, i'll talk to you more after learning everything about this stuff 22:40:16 cpressey: pretty much, this is the field which _inspired_ category theory in order to be able to build things like that 22:41:23 *from the simplicial complexes 22:41:50 the chain complex is constructed from all of them for a space 22:42:50 although i think you can do restrictions such as differentiability (i think the famous de rham theorem may involve that) 22:43:03 -!- Tritonio has quit (Ping timeout: 250 seconds). 22:43:39 oklopol: the _first_ homology group is the abelian part of the fundamental group, the rest are pretty unrelated 22:44:05 -!- BeholdMyGlory has quit (Remote host closed the connection). 22:44:32 -!- micahjohnston has changed nick to micah|insane. 22:44:48 that article is not quite about what i'm talking about 22:45:02 in fact, i'm rarely satisfied with the amount of formality in textbooks 22:45:03 well it sounded related 22:45:29 yeah but this article is about how most err the other way, possibly _as well_ 22:46:01 i suppose you could have too little formality _and_ too little motivation at the same time 22:46:21 leave relevance to those... physicists or whatever they're called 22:46:29 well see i'd like immense formality, but on the other hand it would be nice if they started with MENTIONING the why 22:46:35 -!- wareya has quit (Read error: Connection reset by peer). 22:46:47 don't assume they know the why 22:47:18 well true, the best part of math is when you don't really know the why, you can just skip it and be correct 22:47:20 i mean 22:47:22 cpressey: it's not just about relevance, but about _internal_ motivation as well 22:47:23 -!- wareya has joined. 22:47:24 best part of writing math 22:47:43 which is suppose is the same as relevance to other mathematics 22:47:51 or intersecting it 22:47:51 well... 22:49:45 really i don't know what it is in general that i feel is missing from math texts. 22:50:19 but usually there's some simple idea that i get after reading the material a few times, and i just feel like it should've been the first sentence of the book 22:50:55 instead of definition 1.1.1 N is the set of nonnegative integers 22:51:27 if i'm lucky, i get that idea, too 22:52:03 but mathematics is about RESULTS! not intuitions! because intuitions can LIE! 22:52:19 well often there are many of them and in fact for each of them, one of the theorems says *exactly* that 22:53:33 but understanding things by reading is very, very hard. i guess that's why they have exercises. but who does those unless they have to. 22:53:36 i don't think you can call mathematics on "jargon", though, because unlike other fields, each of the pieces of "jargon" is (or should be) a well-defined abstraction, that is built upon 22:53:44 yeah 22:54:44 in fact i'd say there is no jargon, you don't really say anything unless you defined it yourself or it's english for monkeys 22:54:54 -!- elliott has joined. 22:54:57 or if it's a well-known math term 22:55:20 of course, well-known is rather relative and about 100 people actually know the term but anyhow 22:55:31 And well-known math terms are themselves quite well defined. 22:55:32 hi 22:56:56 cpressey: i made you win your bingo maybe 22:59:17 cpressey: ooc has a java interpreter btw 22:59:22 i don't know if it can bootstrap their compiler though 22:59:26 it is abandoned i think 22:59:55 20:35:59: javascript is the easiest language to debug by far. 22:59:56 wat. 23:00:43 21:04:09: Yes, Perl should be used for interactive statistics. While R is better suited for IRC bots: https://bitbucket.org/catseye/rtype 23:00:43 dunno if i've mentioned how awesome you are lately 23:01:00 :DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD 23:01:16 i'm go sleep 23:01:20 --> 23:01:25 oklopol: loser donkey 23:01:42 fuck you. 23:01:53 :( 23:01:54 sorry 23:02:01 anyway work tomorrow -> 23:10:13 I /am/ pretty awesome, but not as awesome as ooc's build process. That one is /highly awesome/. 23:10:45 re: the open source thing, I think it might be a fallacy in disguise 23:10:47 because, 23:10:59 do you audit gigantic C interpreter source trees before you compile them? 23:11:11 doubtfully, so you're still essentially trusting that the source does what they say it does (interprets a language) 23:11:24 did I say that didn't bother me too? 23:11:24 that's not really different to trusting that their pregenerated C source is compiled from their compiler sources 23:11:43 cpressey: well no but it shouldn't bother you /much/ or... everything will bother you 23:11:46 and I doubt Intel will give me the schematics of this cpu here 23:12:19 I mean unless you're going to do the double-compiling rigmarole constantly and only use things whose full source code you've audited, you're always going to be making assumptions with our current terrible security models 23:12:45 well, there is a possible world which will contain more of this (I download an ooc binary) and a possible world which will contain less of this (I don't download the ooc binary and, rather, forget ooc exists) 23:13:06 Still trying to figure out why Bitbucket thinks it's popular enough to include in its list of languages 23:13:21 Still unable to find a project on Bitbucket that is identifiably "crafted in ooc" 23:13:43 What does "ooc" means? 23:13:52 zzo38: http://ooc-lang.org/ 23:14:02 I don't know what it stands for, if it stands for anything. 23:14:16 The creator comes here sometimes 23:14:23 dang m key 23:14:31 yes we know. 23:15:23 does bitbucket even have search by language 23:15:25 this ui is terrible 23:15:44 its like github but worse 23:15:49 but then i guess that's what bitbucket is... 23:16:13 ghett-hub 23:18:09 -!- augur has quit (Remote host closed the connection). 23:18:55 -!- cpressey has quit (Quit: I am frequently undone because my love of wizards). 23:19:43 -!- elliott has quit (Remote host closed the connection). 23:22:03 I seem to be bad at code golf except in a few cases...... for Deadfish challenge, I beat everyone at AWK but not at anything else. I almost beat everyone at C, I did badly with JavaScript, and I don't know much about Perl. 23:23:17 (I did, however, beat a few people on this channel, as far as I know: ais523 and adam.) 23:24:18 (And #esoteric did beat ditto and bk1e.) 23:24:22 -!- elliott has joined. 23:26:01 http://www.mezzacotta.net/garfield/?comic=736 23:26:32 :D 23:30:00 -!- h[a]gb4rd has changed nick to hagb4rd. 23:50:40 -!- augur has joined.