00:00:37 anyway, I have a feeling "CPS" is the way to go here 00:00:45 or at least, inside-out loop programming 00:00:47 if it's TC at all 00:01:04 you'd expect it to be just because it isn't obviously sub-TC 00:01:54 let's see 00:02:04 you can use alternating elements of the tape as two counters 00:02:20 you can increment them, the problem is decrement and zero test 00:03:24 to decrement, you'd need to find one end of the counter, then overwrite it with a 0 00:03:41 the problem is if the counter is actually 0, you'd just spend forever trying to find the end 00:03:48 even if you had a reliable inverted while, and I'm not sure you do 00:04:18 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:04:25 -!- Frooxius has joined. 00:31:08 -!- MoALTz has quit (Quit: Leaving). 00:54:46 -!- Jafet has quit (Quit: Leaving.). 01:03:40 -!- sivoais has quit (Ping timeout: 244 seconds). 01:06:23 -!- sivoais has joined. 01:14:40 -!- monqy has joined. 01:23:46 -!- monqy has quit (Quit: hello). 01:24:29 -!- hagb4rd has quit (Ping timeout: 256 seconds). 01:48:33 -!- Frooxius has quit (Ping timeout: 256 seconds). 01:48:58 -!- TeruFSX has joined. 02:04:00 -!- ais523 has quit. 03:02:16 -!- hagb4rd has joined. 03:09:33 -!- hagb4rd has quit (Ping timeout: 272 seconds). 03:11:12 -!- Wntrvnm has joined. 03:15:41 -!- hagb4rd has joined. 03:17:07 -!- TeruFSX_ has joined. 03:20:43 -!- TeruFSX_ has quit (Remote host closed the connection). 03:21:07 -!- TeruFSX_ has joined. 03:39:14 -!- hagb4rd has quit (Ping timeout: 260 seconds). 03:47:56 -!- monqy has joined. 03:50:34 -!- mig22 has joined. 03:52:33 -!- TeruFSX_ has quit (Read error: Connection reset by peer). 03:52:52 -!- TeruFSX_ has joined. 04:30:14 -!- Jafet has joined. 05:43:11 -!- hogeyui has quit (Ping timeout: 244 seconds). 06:00:24 kmc: 22:59 A new lambdabot isn't cool. You know what's cool? A new (U+E9278)bot. 06:01:16 kelvinbot is the coolest bot 06:05:39 zero kelvin bot. :3 06:06:00 I'm guessing that was the pun he was going for 06:06:23 olsner the psychic 06:06:24 yes but it is more solidified cool. 06:06:36 zerokelvinbot 06:07:39 some people want solid zero kelvin puns, but i say the helium 06:08:00 you say the helium? 06:08:37 Save the helium. 06:08:58 the helium deficit is simply ballooning 06:09:28 what other things is helium used for, really? 06:09:53 cooling. MR machines. 06:10:20 mad science. 06:12:14 diving 06:12:20 I should be doing more mad science 06:13:05 ((more mad) science) or (more (mad science))? 06:13:26 obviously both 06:13:56 also more science, so I have some science to put the mad in 06:14:02 {more (mad} science) 06:20:31 More ((more mad) science). 06:20:39 More, more, I'm still not satisfied! 06:44:52 -!- monqy has quit (Quit: hello). 06:49:39 -!- Jafet has quit (Ping timeout: 255 seconds). 06:51:32 -!- epicmonkey has joined. 07:24:47 -!- epicmonkey has quit (Ping timeout: 272 seconds). 07:53:38 -!- oerjan has quit (Quit: See you in a few days if I survive). 07:56:19 -!- oerjan has joined. 07:57:09 Just realized I probably shouldn't imply that I expect not to survive hospital :P 07:57:12 -!- oerjan has quit (Client Quit). 07:57:38 kmc: The examples in the end of http://mainisusuallyafunction.blogspot.com/2010/10/quantification-in-haskell.html aren't actually monoids (1/"foo" aren't identities). 07:58:09 I'm not sure whether that was meant to imply that Something was equivalent to SomeMonoid. 08:19:21 -!- TeruFSX has quit (Read error: Connection reset by peer). 08:30:04 -!- epicmonkey has joined. 08:37:46 -!- hogeyui has joined. 08:57:19 -!- nooga has joined. 09:18:18 -!- jiella has joined. 09:46:23 -!- Jafet has joined. 09:46:33 -!- MoALTz has joined. 09:47:19 -!- Kosnik has joined. 09:47:50 can anyone solve this riddle 09:52:41 -!- Kosnik has quit (Quit: Leaving). 09:53:14 I don't think anyone can. 09:53:27 A homotopy lattice on elliptic curve residues. 09:54:50 Oh, you solved it. 09:55:41 theproofistrivial.com 10:55:21 -!- Nisstyre has quit (Ping timeout: 276 seconds). 11:02:25 -!- ogrom has joined. 11:09:17 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 11:09:36 -!- Nisstyre has joined. 11:28:27 -!- Nisstyre has quit (Read error: Operation timed out). 11:41:42 -!- copumpkin has joined. 11:45:47 -!- Nisstyre has joined. 11:49:12 -!- epicmonkey has quit (Ping timeout: 260 seconds). 11:49:20 -!- boily has joined. 11:54:25 -!- Frooxius has joined. 12:01:14 -!- epicmonkey has joined. 12:04:16 Some sensor testing. http://heh.fi/tmp/imu-test 12:10:10 -!- ogrom has quit (Ping timeout: 255 seconds). 12:12:03 -!- ogrom has joined. 12:21:55 -!- hijack has joined. 12:22:24 -!- hijack has changed nick to mean. 12:32:13 -!- Arc_Koen has joined. 12:32:35 hello 12:32:49 -!- epicmonkey has quit (Read error: Operation timed out). 12:49:39 -!- epicmonkey has joined. 12:59:05 -!- Jafet has quit (Quit: Leaving.). 13:04:09 -!- Phantom_Hoover has joined. 13:09:34 -!- Jafet has joined. 13:25:53 -!- elliott has joined. 13:28:20 -!- mig22 has quit (Quit: mig22). 13:49:12 -!- ais523 has joined. 13:51:43 -!- ais523 has quit (Read error: Connection reset by peer). 13:51:56 -!- ais523 has joined. 13:54:43 -!- kinoSi has quit (Read error: Connection reset by peer). 13:55:10 -!- kinoSi has joined. 14:00:26 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 14:06:53 pikhq: How was it you said how to convert GPT to MBR? 14:07:01 * elliott 's system has been all too stable the past few days. 14:17:23 shachaf: Why isn't there a castStableName :: StableName a -> StableName b -> a -> Maybe b? 14:20:04 Or I guess castStableName :: StableName a -> StableName b -> p a -> Maybe (p b) is better. 14:20:28 (Implementation is Just through unsafeCoerce if (==).) 14:21:38 -!- ogrom has quit (Quit: Left). 14:30:19 -!- Phantom_Hoover has joined. 14:58:56 -!- ogrom has joined. 15:05:36 -!- ais523 has quit (Ping timeout: 256 seconds). 15:06:09 -!- Arc_Koen has quit (Quit: Arc_Koen). 15:18:15 -!- ais523 has joined. 15:33:30 -!- ogrom has quit (Quit: begone). 15:52:21 elliott: To annoy you. :-( 15:53:08 -!- augur has quit (Remote host closed the connection). 15:53:26 shachaf: Doesn't it annoy you too? 15:53:47 I've never wanted that function. 15:54:18 -!- ais523 has quit (Read error: Connection reset by peer). 15:54:20 It lets you do observable sharing, see? 15:54:22 And other things. 15:54:26 It's useful with existential types and stuff. 15:54:36 -!- ais523 has joined. 15:54:48 StableNames are for people who horse around while they're programming. 15:56:34 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 16:00:50 ais523: I think you should kick shachaf for that. 16:01:47 /xvpx funpuns 16:19:16 -!- Wntrvnm has quit (Quit: Stopping ZNC Daemon... [DONE] - http://github.com/Wintervenom). 16:20:12 -!- Wntrvnm has joined. 16:24:08 -!- mean has quit. 16:25:26 -!- augur has joined. 16:31:22 oh, that pun took a while to spot 16:32:34 -!- Nisstyre has quit (Ping timeout: 240 seconds). 16:34:14 -!- ais523_ has joined. 16:34:33 -!- ais523 has quit (Read error: Connection reset by peer). 16:34:36 -!- ais523_ has changed nick to ais523. 16:47:59 -!- Nisstyre has joined. 17:19:29 -!- epicmonkey has quit (Ping timeout: 272 seconds). 17:21:25 Which pun? 17:22:22 Ugh, even well-known libraries like Incanter sometimes feel like they were written by Clojure newbies 17:22:56 -!- ais523 has quit. 17:43:57 kmc: How many cores were in that machine you were talking about at ksplice? 17:44:36 48 17:45:05 four sockets, each with one of AMD's "Magny-Cours" processors 17:45:19 kmc: More like kscheisse, right? 17:45:37 Magny-Cours is French for Many-Cores 17:45:39 which are sold as 12-core processors but are actually two six-core processors in a multi-chip module 17:45:53 (for example, each socket has 2 NUMA domains and 2 L3 caches) 17:46:15 2 L3 caches? That's like an L6 cache! 17:46:23 i know, right? 17:46:35 kmc: I feel like you don't appreciate my jokes. 17:46:44 it is elliott 17:46:49 that's the joke 17:47:33 What did Ksplice need with 48 cores? 17:47:55 kmc: Hey, you're a joke. 17:48:06 shachaf: building kernels 17:48:10 kmc??? "No it isn't okay!!!" - mc 17:48:20 suddenly I burned you instead.......... 17:48:24 it's true that this work could be distributed across multiple machines 17:48:26 how does it feel 17:48:37 we did the biggest batch builds on EC2 spot instances 17:49:26 but in general it's easier to manage one machine, and one build script that runs on one machine 17:52:35 so we built the most parallel single machine we could using parts that are still vaguely commodity PC hardware 17:53:16 what ksplice 17:53:32 That works up to a point. 17:54:46 basically we decided the price premium of one integrated super beefy machine versus four reasonably beefy machines was less than the value of engineering effort to make the existing build scripts run in a distributed fashion 17:55:09 (or the engineering effort of making a local distributed setup that looks like EC2 enough to reuse the EC2 build scripts, which also had various problems) 17:55:40 this being a 12 person company and not someone like Google or Oracle with huge teams devoted to building and managing distributed systems 17:55:45 Making build scripts distributed is more trouble than you might think. 17:55:52 Even if you take Hofstadter's law into account. 17:56:18 i was pretty pleased with myself when i added distributed work to the script to re-encode my music library as ogg vorbis 18:09:57 -!- sivoais has quit (Ping timeout: 245 seconds). 18:12:46 building a ksplice update involves building the distribution's kernel using exactly their configuration and toolchain, then applying your patch and building it again 18:13:04 why? 18:13:07 i mena 18:13:10 mean* 18:13:12 what for? 18:13:28 you do get to use make's incremental build, but it still takes a fair amount of time 18:13:42 and you have to do this separately for each version of the base kernel the user booted into 18:13:46 nooga: do you know what ksplice is 18:17:06 some 18:17:11 linux kernel extension? 18:17:16 not really 18:17:27 It's more of a Windows NT kernel extension. 18:17:37 it's a technology for applying linux kernel updates to a running system, without rebooting or disrupting any processes 18:17:50 Oh, that ksplice. 18:17:59 Is ksplice dead? :-( 18:18:08 okay 18:18:11 and? 18:18:12 i worked for the company that developed this technology, and sold an updates service based around it 18:18:20 until that company was bought by oracle 18:18:30 now it is a feature of oracle linux premium support, but i don't work there anymore 18:18:38 i see 18:18:52 anyway ksplice works by comparing the compiled object files of the pre- and post-patch kernels 18:19:08 which is why you need to compile the kernel exactly as the distribution did 18:19:20 you don't need a special kernel to apply ksplice updates 18:19:55 then wikipedia is wrong 18:19:56 we had customers who had not rebooted their machines since before ksplice was created, and yet they could apply rebootless updates 18:20:09 pretty smart 18:20:17 'Using Ksplice does not require any preparation before the system is originally booted (the running kernel does not need to have been specially compiled, for example)' 18:20:26 does wikipedia contradict this somewhere else? 18:20:37 "Ksplice is an open source[2] extension of the Linux kernel " 18:20:42 yes 18:20:44 it is open source 18:20:47 i added that citation 18:20:52 but not an extension? 18:21:13 each update is a linux kernel module 18:21:20 oh 18:21:23 (actually, a few kernel modules) 18:21:32 it seems valid to call kernel modules "extensions" 18:21:54 also it is possible to build a kernel that has the core ksplice technology built in (or, it was possible at one point, anyway) but we did not expect our customers to have done so 18:22:08 -!- sivoais has joined. 18:22:11 we expected our customers to be using standard precompiled kernels from red hat, ubuntu, debian, etc. 18:23:14 actually, that's pretty nifty 18:23:32 yeah, it is really cool tech :) 18:24:27 are you one of the founders? 18:24:31 no 18:24:37 i joined only 8 months before the company was acquired 18:26:10 -!- FreeFull has joined. 18:26:12 i'm sure it was a nice job 18:26:22 hacking this stuff 18:26:27 -!- epicmonkey has joined. 18:26:30 yeah 18:26:32 it was really fun 18:26:49 i was kinda bummed when we got acquired by compuglobalhypermegacorp 18:27:01 but i made a decent amount of money off it 18:27:01 -!- ais523 has joined. 18:28:33 that's the best part usually 18:28:53 Money is overrated. 18:29:15 it's nice to have some extra 18:30:21 i guess money is overrated 18:30:32 but the value of having money is that you can adopt the attitude "money is overrated" 18:30:39 if you don't have money then it does not seem overrated 18:30:44 there were times 18:30:56 tthat i was an uneployed student 18:31:11 and couldn't afford bread 18:31:14 once :D 18:31:31 i do feel like my quality of life does not change much past some fairly low income level, but that level is still very high by global standards 18:31:33 nothing too bad - but it was an important experience 18:31:35 i think 18:31:44 sometimes students can get free food :) 18:31:45 Money is overrated beyond a certain point, I mean. 18:32:28 but money saved is also more time you don't have to work later 18:32:40 and longer you can survive without getting a job in the future 18:32:44 Maybe I'm just trying to convince myself. 18:32:48 and you can also give it to someone who needs it more 18:33:25 i like having some cash buffer 18:33:47 it's a matter of 18:34:15 not worrying about the small stuff 18:34:43 you cannot even focus if you fear that you won't be able to pay rent 18:34:49 or something 18:36:38 yeah 18:36:44 exactly 18:37:02 being poor is expensive 18:37:38 if you're poor you can't afford the time or equipment to cook at home, can't buy food or anything else in bulk 18:37:54 poor people in rich countries eat lots of terrible cheap fast food 18:38:02 hehe 18:38:09 i live in Poland 18:38:12 and it's like 18:38:27 if you're poor you probably spend a lot of your time on transit getting from your house in the middle of nowhere to various jobs 18:38:39 basically being poor is expensive and exhausting 18:38:46 majority of ppl earn from 600 to 1200 bucks 18:38:48 i think 18:38:54 are poor people in Poland fat or thin? 18:38:59 and gas is like 2 bucks per litre 18:39:02 i think poland is rich enough that the poor people should be fat but i'm not sure 18:39:07 bread is 1 buck 18:39:28 dinner in a decent restaurant is 20-30 bucks 18:39:41 beer in a pub 2-4 18:40:03 rest ona 55sqm flat is 400-600 18:40:25 kmc: thin :D 18:42:00 living here is quire expensive when you look at the earnings 18:42:24 i think living in london is cheaper, provided that you work for pounds 18:43:03 haha wow 18:43:07 where in poland are you? 18:43:18 Poznań 18:43:56 cool 18:44:07 i was in poland briefly in august 18:44:11 didn't make it that far west though 18:44:28 where have you been? 18:44:30 it's crazy how much housing prices differ by area 18:44:54 my parents have a nice big four bedroom house in suburban iowa and I think their mortgage is about the same per month that I pay to rent one bedroom in cambridge massachusetts 18:45:12 yeah 18:45:49 i was in kraków and warszawa 18:46:12 and surrounding areas 18:46:12 kraków is nice and warszawa is awful 18:46:19 yeah 18:46:23 that's kinda what i thought too 18:46:32 west > east :D 18:46:44 i saw the wieliczka salt mine 18:46:46 that was really cool 18:46:55 * shachaf has never been to .pl. 18:47:29 yeah, been there too 18:50:12 * nooga has never been to USA 18:50:26 but I'm working on fixing that 18:50:34 cool, where will you go? 18:50:35 * FreeFull has been to two salt mines. Wieliczka and Bochnia 18:51:09 san francisco, sv 18:51:34 nooga: That's the place to be! 18:51:36 (So I hear.) 18:51:43 sv? 18:52:07 sillicon valley :D 18:52:11 ah 18:52:15 san francisco is really nice 18:52:20 SV not so much. 18:52:29 i'm working on some tech for language pattern recognition and I was invited 18:52:35 silicon valley is south of there and I don't think there's much to see if you don't have friends working there 18:52:38 ah, cool 18:52:45 our guys have founded a company there 18:52:47 there are a few interesting computery museums down that way 18:52:57 that's what i'm waiting for :D 18:53:37 -!- itidus21 has joined. 18:53:38 @quote luite optic 18:53:38 luite says: I'm really interested in both practice and theory of optics and wave mechanics, so I'll be coming over from Europe for Edward's lecture on lenses and transversals. 18:53:46 That's next week! 18:53:56 hah 18:54:07 hello guys! just taking a break from here.. just joined by muscle memory since i join all rooms manually 18:54:48 muscle memory huh? :D 18:55:47 btw. I wonder when was the first time I joined this fine channel 18:55:58 something around... uh... 2005? 18:58:10 the the most interesting thing i have been trying to do is to take a bitmap which could be viewed as an image in black and white, and compress it into colours 18:58:23 [2004-12-23 10:04:58] -!- VonTroba is now known as nooga 18:58:30 According to my logs. 18:59:09 With a join just 17 seconds before. 18:59:24 thanks fizzie 18:59:29 i'm curious in such things as to whether it's possible for human brain to learn to see simple shapes as colours 18:59:43 well i mean the opposite 19:00:17 interesting 19:00:44 one particularly interesting part is that only the edges of things really change colours 19:01:05 can you provide an example? 19:01:20 ill show my paint image.. its a bit ridiculous 19:04:43 -!- nys has joined. 19:06:33 it's this http://oi49.tinypic.com/35hlsh0.jpg 19:08:00 itidus21: Can you do better than 8 pixels per byte raw B&W data? 19:12:07 humm.. my theory is that using 2 or 3 bits per pixel like that that it would be possible to learn to watch objects move by changing colour 19:12:43 beyond that, it was just a weird idea i had to try 19:13:30 i guess even in black and white objects move by changing colour 19:14:30 with 24bits it could represent 16 million patterns per pixel of course 19:19:51 yeah 19:20:35 definately human brain can comprehend that 19:22:19 yeah, the human brain is like smart 19:23:28 i was thinking about the way resolution affects the number of frames in an animation 19:23:35 and then i ended up on that .. 19:25:04 to be honest i think images compressed by colour would be nightmare fuel 19:28:27 http://attrition.org/errata/charlatan/hakin9/nmap.html lfmao 19:29:33 "Furthermore, we reduced the effective tape drive throughput of our stochastic overlay network. Similarly, we tripled the effective floppy disk space of our Internet-2 overlay network." 19:31:10 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 19:35:52 -!- Wntrvnm has quit (Quit: Stopping ZNC Daemon... [DONE] - http://github.com/Wintervenom). 19:38:51 -!- Wntrvnm has joined. 19:40:38 https://docs.google.com/viewer?a=v&q=cache:_j0_-BRo0MAJ:raisama.net/ufpr/tg/paper.pdf+&hl=pl&gl=pl&pid=bl&srcid=ADGEESivOHOM_O0aEfZ-Wn_XOroe2qgQBYM2XLaGHn75VcvILppGL9BrWLyhX124vxLTxQJL3_GNMAAqhrdoUN-Qv_VkT78Utvb8edLqnMQ8EBlOrDS1QlLt6h8HooGIqL9AppSDbZun&sig=AHIEtbRjm2-pxwjJXi3NaH-FXk2vqaZPyQ LULZ 19:45:25 -!- epicmonkey has quit (Ping timeout: 246 seconds). 19:51:22 -!- pikhq has quit (Ping timeout: 246 seconds). 19:56:42 -!- pikhq has joined. 19:58:48 -!- pikhq has quit (Remote host closed the connection). 20:09:26 -!- pikhq has joined. 20:30:55 -!- jiella has quit (Quit: Leaving.). 20:36:35 -!- jiella has joined. 20:41:53 -!- atriq has joined. 20:42:00 @messages? 20:42:00 Sorry, no messages today. 20:42:05 Yay 20:42:29 @tell atriq BOO. 20:42:30 Consider it noted. 20:55:54 @massagas 20:55:55 You don't have any new messages. 21:02:52 -!- boily has quit (Quit: Poulet!). 21:08:10 itidus21, I've missed you! 21:08:11 atriq: You have 1 new message. '/msg lambdabot @messages' to read it. 21:10:22 @ask atriq good hello 21:10:23 Consider it noted. 21:10:58 My god 21:10:59 atriq: You have 1 new message. '/msg lambdabot @messages' to read it. 21:11:00 You're right 21:11:10 I've replaced the "Hello" with a different hello 21:11:16 @clear-messages 21:11:17 Messages cleared. 21:11:22 Huh? 21:11:28 Oh. 21:23:34 Is there a term for the restriction of brainfuck where comments and whitespace aren't allowed? 21:30:08 Yes, it's called ++++++++++++++[>+++++++>++++++++>+><<<<-]>.>++.<-.++++++++.+++++.--------.>+++.<---.++++++++.>>----. 21:32:51 -!- augur has quit (Remote host closed the connection). 21:40:07 -!- Phantom_Hoover has joined. 21:45:17 Goodnight, everyone 21:45:17 -!- atriq has quit (Quit: Leaving). 22:10:43 -!- augur has joined. 22:30:28 branfuck 22:31:06 -!- jiella has quit (Quit: Leaving.). 22:31:08 Hot. 22:31:51 branfuck has 800% your daily recommended allowance of dietary fiber 22:32:44 When absorbed via the penis, that's about 80%! 22:32:56 no it's over 9000% 22:40:21 borp 22:46:43 -!- Phantom__Hoover has joined. 22:49:01 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 22:51:53 kmc: more like dietary fuckber 22:52:23 -!- nooga has quit (Ping timeout: 246 seconds). 22:52:58 fuckbear? 22:56:18 #esoteric: From any topic to gay porn in three steps or less. 22:59:46 That seems like an abusable property. 23:00:36 Like, say, next time someone needs to fill a gay porn folder. 23:00:37 :P 23:01:24 no pikhq 23:01:30 pick out your own gay porn 23:01:33 don't be lazy 23:15:02 But lazy is what I do best 23:42:54 -!- sirdancealot7 has quit (Ping timeout: 240 seconds). 23:46:02 -!- sirdancealot7 has joined. 23:46:34 -!- Jafet has quit (Quit: Leaving.). 23:49:19 -!- ais523 has quit. 23:50:36 -!- sirdancealot7 has quit (Excess Flood). 23:51:39 -!- sirdancealot7 has joined. 23:51:59 * pikhq WTFs at Ōgami 23:55:41 -!- copumpkin has joined.