00:01:33 oerjan: Polish doesn't have that distinction 00:01:50 The best you get is "I read book" vs "I read this book" 00:02:21 oerjan: do you actually know hungarian? 00:02:38 FreeFull: i know polish doesn't have articles. hungarian not only has articles but the _verb_ is inflected dependent on them 00:02:53 olsner: i know some bits from back when my mom was trying to learn it 00:09:15 ok, I'll probably learn finnish long before learning hungarian 00:10:13 well that's natural for a scandinavian 00:10:22 although hungarian has more speakers, i think 00:11:19 ah spring and labor strike time in norway 00:15:56 I think I've spent more time in hungary than in finland actually 00:16:24 eek they say the shops might run out of beer and soda 00:16:39 oerjan's staple foods 00:16:46 * oerjan seeps his coke 00:16:52 elliott: well the soda part 00:17:20 *sips 00:18:29 how would one seep coke, i wonder 00:18:52 olsner: hm i don't think i've been in either 00:21:47 $ rm /etc/passwd 00:21:49 rm: cannot remove `/etc/passwd': Read-only file system 00:22:01 my favourite way to check if a filesystem is read-only 00:22:25 it checks that before permissions? 00:22:35 apparently 00:23:13 i guess that does make sense, since you'd have to fix it before fixing permissions anyhow 00:23:54 -!- copumpkin has quit (Ping timeout: 276 seconds). 00:24:25 -!- copumpkin has joined. 00:24:32 ais523: not recommended as root 00:24:45 elliott: yeah, I wasn't root 00:28:37 ln /var/games/crawl/logfile /etc/passwd 00:31:54 Jafet: hmm 00:32:22 can modern Linux systems function with a missing /etc/passwd, btw? 00:32:34 in theory they should, just consistently using numbers not names, although logging in would be a problem 00:33:08 oerjan: it must check that before permissions 00:33:17 because it must travel down from the root 00:33:44 -!- boily has joined. 00:33:52 oerjan: go to finland, hth 00:34:12 shachaf: but... then he'd end up in finland 00:34:39 function: ah 00:34:53 finland, finland, finland 00:35:16 oerjan: think about /far/bar/directory/file 00:35:29 on the filesystem which is mounted on /foo/bar 00:35:42 it will continue down to directory/file to make it doesn't cross a mount point again 00:35:50 no it won't hth 00:35:55 but at that point the *filesystem* code knows its readonly 00:36:12 so it never gets to the permission check 00:36:24 unless extra logic was added to check permissions before returning FS state 00:36:57 OKAY 00:37:34 o.O 00:37:39 oerjan: sorry if that was obvious 00:38:12 it was, also your example was mispled hth 00:38:32 YOU LOSE 2 POINTS 00:44:01 i want 3 points 00:45:05 * oerjan hands elliott 2 points and a button with "Winer" 00:46:13 where are my points? I demand my points. 00:46:40 sorry i had just the two i won from function 00:49:22 does that make me a whiner or a winner? 00:50:04 I DUNNO 00:56:21 it will be easier to understand you if you spell correctly, hth 01:00:33 -!- nooga has quit (Ping timeout: 240 seconds). 01:01:41 -!- kmc has set topic: Wire mesh Supply与您共享了相册。| http://codu.org/logs/_esoteric/. 01:03:57 olsner: hey why do you think i got the button so cheap... 01:04:51 I thought you made it 01:05:10 what, you think i can just create buttons out of thin air? 01:05:21 can't all norwegians? 01:05:29 nope. 01:05:35 hm yeah, this wire mesh supply spam is sent through Picasa 01:05:46 i wonder if that's some clever (and slightly ironic) trick for circumventing GMail's spam filter 01:05:52 -!- augur has joined. 01:05:57 -!- augur has quit (Remote host closed the connection). 01:06:11 only ski wax and fish smell 01:06:42 and it's not a very good ski wax, either. 01:09:19 (it's a very fishy smell) 01:15:17 -!- conehead has quit (Quit: Computer has gone to sleep.). 01:16:07 -!- augur has joined. 01:28:07 olsner: you'll never be as much of an oerjan as oerjan 01:36:39 http://online.wsj.com/article/SB10001424127887323452204578288192043905634.html omg this article..................... 01:36:42 is this for real 01:36:49 elliott will like this 01:37:02 sometimes I think that April Fools is actually year-round 01:38:51 kmc: hoo boy 01:40:07 MISSION STATEMENT | At the center of the Kidder family's 'belief board' is a pledge 'to contribute our unique, God-given gifts' to improve 'the lives of others and the world.' It also lists a dozen core values, from faith to knowledge. 01:40:11 asdklfjgh 01:40:35 this article sounds good 01:41:31 'David Kidder is a serial entrepreneur, an author and the father of three boys. "If I've learned anything by starting four companies," he told me, "it's that young companies typically fail because you have a charismatic leader with a bunch of beliefs, but those beliefs don't translate to the rest of their company."' 01:41:38 yes 01:41:48 startups fail because the founders fail to brainwash the employees enough 01:42:18 couldn't be that their 'beliefs' are just fucking dumb 01:42:25 kmc: I like how he isb asically saying "I am charismatic" 01:42:36 yes 01:42:41 y'all know, maybe he's kidding. just saying. 01:42:43 too charismatic to fail 01:42:53 What a kidder 01:42:55 oerjan: perhaps you missed this paragraph: MISSION STATEMENT | At the center of the Kidder family's 'belief board' is a pledge 'to contribute our unique, God-given gifts' to improve 'the lives of others and the world.' It also lists a dozen core values, from faith to knowledge. 01:43:05 imo their system needs more SCRUM 01:43:10 when i hear 'charismatic leader' i think, like, jim jones and mao and hitler 01:43:30 They turned to a cutting-edge program called agile development that has rapidly spread from manufacturers in Japan to startups in Silicon Valley. 01:43:47 agile, originated at manufacturers in Japan (???) 01:43:47 kmc: there's also lula and gandhi, hth 01:43:57 Charismatic Successor 01:44:34 Lula? 01:45:50 also wait are we willingly reading wsj now 01:46:08 http://en.wikipedia.org/wiki/Lula 01:46:12 (hth) 01:46:17 Bike: yeah i dunno, i got a link from twitter 01:46:18 (thx) 01:46:23 "people were already making fun of it when I saw it, I promise" 01:46:24 yeah i figured you were linked 01:46:36 Bike: we have a bunch of hardcopy wsj at my house from a former housemate with a subscription he hasn't turned off 01:46:40 we're using it to grow mushrooms 01:46:40 haha 01:46:57 apparently Noam Chomsky said that you shouldn't buy the WSJ but you should steal it when possible 01:47:14 that's a bit surprising, i've never seen any good articles from them 01:47:26 I mean everybody remembers that salaries graphic right 01:48:28 no 01:48:36 Oh god that thing was great. 01:48:37 Bike: well maybe you should steal it to deprive them of revenues 01:48:40 ohhhhhh yes 01:48:41 i saw that 01:48:47 with all the sad looking people who make only $230,000 a year 01:48:57 right 01:49:06 kmc: Or more. 01:49:38 http://www.slate.com/content/dam/slate/blogs/moneybox/2013/01/16/wsj_fiscal_cliff_infographic/1358357370309.jpg.CROP.article568-large.jpg ah there it is 01:49:42 "I only make 10 times above average wage WHAAAA" 01:49:54 pretty much the most ridiculous rich person whining i've seen outside of tsarist newspapers 01:50:21 wsj is actually marxist black propaganda: discuss 01:50:25 wasn't wsj meant to be fairly good journalism albeit centre-right before rupert "evil" murdoch took it over or something 01:50:43 rupert murdoch is three skinny french communists inside a man-shaped robot 01:50:56 ps by centre-right I mean the US notion, also known as far right elsewhere 01:51:28 elliott: i think a lot of people read it for news about The Markets and I have no reason to think those are bad 01:51:33 hey y'all heard about that whole thing in hungary right? by "that whole thing" I mean "everything they're doing, what the fuck,, what" 01:51:34 kmc: continuing the wsj + families theme: How Machiavelli Saved My Family 01:51:39 http://online.wsj.com/article/SB10001424127887323646604578400804035071688.html?mod=WSJ_hp_us_mostpop_read 01:51:41 really I don't know why they run lifestyle articles or politics or whatever else 01:51:44 except yes i do know 01:51:51 because it gets them page views AND HERE WE ARE 01:51:53 because #esoteric clicks on them 01:52:03 #esoteric is the true bourgeoise 01:52:03 Nothing here 01:52:13 it's ok by clicking that you tell their tracker thing that you got it from the "most popular" list 01:52:15 thanks oonbotti, you're a real friend. 01:52:18 you are lying to the man 01:53:33 so rupert murdoch has a tumblr now 01:53:44 http://murdochhere.tumblr.com/ 01:53:50 I hope it's all Homestuck shipping. 01:53:52 does he contribute anonymously to Phantom_Hoover's 01:54:42 I think this needs a rupertmurdochlookingatthings spinoff. 01:55:27 `run echo ' test' 01:55:29 ​ test 01:55:36 Still broken in a newer WeeChat snapshot. 01:55:54 I anyone running a release version of WeeChat? Do you see “test” in the response line? 01:56:03 `run echo ' test' 01:56:05 ​ test 01:56:27 works in irssi :» 01:56:33 yeah 01:56:34 Infocom games (with one exception) were written in ZIL, which is a variant of MDL, which is "a particularly unhelpful form of Lisp". Do you know about MDL? 01:56:41 ​ test 01:56:51 That wasn’t visible here either. 01:56:56 http://murdochhere.tumblr.com/image/45293956398 01:57:00 i like the completely pointless map of the world 01:57:03 What isn't visible here either? 01:57:15 zzo38: Not really. Should I know about MDL? 01:57:18 like do they actually forget where australia is in a meeting and go shit 01:57:24 better check our gigantic map screen 01:57:25 zzo38: The contents of the message i sent. 01:57:44 shachaf: I don't know. 01:58:00 ion: Your computer doesn't display the messages you enter? 01:58:03 elliott: Looks like it's more about the oceans. Are they perhaps in a large spaceship slash boat in the iddle of the Indian Ocean, which they need to orient? 01:58:19 zzo38: WeeChat doesn’t display the ones that begin with U+200B followed by a space. 01:58:20 seems plausible 01:58:27 lol 01:58:46 ion: Why doesn't it display those ones? It doesn't seem to make a lots of sense? 01:58:53 Because of a bug. 01:58:55 they're actually strategising for their deployment of dolphin-targeted news media 01:58:57 works here http://i.imgur.com/acTegjC.png 01:59:07 `ord > ​ t 01:59:08 62 32 8203 32 116 01:59:17 ` so ion cannot see this ? 01:59:18 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 01:59:32 c00kiemon5ter: Which version are you running? 01:59:40 not weechat 01:59:42 c00kiemon5ter: I can see that. 02:00:03 ​ and now it's time for secret ion chat hour 02:00:08 i like how murdoch occasionally just tweets things like this https://twitter.com/rupertmurdoch/status/317827503723008000 02:00:23 bike: IRC logs still work. :-P 02:00:36 elliott: haha what 02:00:37 i follow bill gates on twitter 02:00:48 it's 95% posts about fighting malaria and 5% cake recipes 02:00:50 bike: Apparently the format you used also triggers the bug. 02:00:51 ion: NO NOW YOU HAVE MY CREDIT CARD NUMBER D: 02:00:58 ​ test 02:01:00 also he has his own url shortener, bgat.es 02:01:06 ​test 02:01:16 What's .es again 02:01:20 spain 02:01:25 Ok, there can be any amount of spaces in front of the U+200B, but there must be at least one space after it to trigger the bug. 02:01:26 and why are like all cctlds used for url shorteners wtf 02:01:35 nonspacenonspace​ test 02:01:37 reino de españa 02:01:39 That was visible. 02:01:50 Bike: because a lot of words have two letters at the end hth 02:01:57 maybe i could register se.cx 02:01:59 kmc: you should get your own url shortener 02:02:01 you lied, it's b-gat.es, kmc 02:02:03 i'd like a refund 02:02:14 kmc.al 02:02:17 elliott: you should receive your bitcoins in the mail in 6-8 weeks 02:02:17 go.at 02:02:28 a url shortener for goat-related links, pics, and news 02:02:40 did i mention that someone extended shachaf.com.............. 02:02:48 :( 02:02:52 and they're still not using it for anything. and emails bounce 02:03:12 "Shachaf Engineering" 02:03:37 Austria. Austria likes goats, right? Perfect. 02:03:43 Goat-related links and pics, right. I wouldn’t expect it to be worksafe. 02:04:05 bike.com is about as dull as expected. 02:04:06 shachaf: nice 02:04:25 http://goatkcd.com/1194/sfw nsfw 02:04:32 a goat related link and picture 02:04:49 See, that could be go.at/cX4b 02:04:52 much more convenient 02:05:09 Bike: that's good because it's also go + at 02:05:32 Uh so? What's the point of that, you can't go at things. 02:05:46 what are you getting at 02:05:48 Don't be stupid. Be a Goat(TM) 02:05:57 goät 02:06:17 later i shut the site down in rage because goa trance people misuse it 02:06:55 -!- shachaf has set topic: Wire mesh Supply与您共享了相册。| roald.dahl.net | http://codu.org/logs/_esoteric/. 02:07:13 roald DALnet 02:07:59 -!- shachaf has set topic: Wire mesh Supply与您共享了相册。| roäld.dahl.net | http://codu.org/logs/_esoteric/. 02:08:47 xn--rold-moa.dahl.net, apparently. 02:09:36 shachaf: you should get a domain where both the unicode name and the punycode spell out different related things 02:09:39 punnycode 02:10:11 There is a distinct lack of English words that start with xn. 02:10:18 Ok, WeeChat 0.3.8 doesn’t have that bug. 02:10:46 xni, shachaf. xnachaf. 02:11:36 i'm a xni / a-xn--other-moa-xni 02:12:11 -!- boily has quit (Ping timeout: 255 seconds). 02:12:13 kmc: Can you make Haskell good without cross-module optimization? 02:13:25 Maybe s/module/package/, indeed. 02:13:34 oh that new pbf is p good. thanks for the notify 02:14:41 who else wants to be on `pbflist 02:14:51 `run cat bin/pbflist | r13 02:14:52 gnvy -a+2 "$0" | knetf; rkvg \ funpuns \ Ftrb \ dhvagbcvn 02:16:10 i guess i'm dhvagbcvn 02:16:19 i like the idea that somebody lurks in here entirely for `list updates 02:16:23 shachaf: does JIT count (yes it does) 02:21:09 For a one time fee of 100 US dollars, 02:21:09 Nicholas Gurewitch will personally call you 02:21:09 from his home phone to notify you when he updates The Perry Bible Fellowship. 02:21:09 Service good for twelve (12) updates. Service available to US phone numbers only. 02:21:29 i think we should delete bin/pbflist in light of this service's existence 02:21:32 looks like you've got competition shachaf 02:21:41 it is not right to take away his profits like that 02:23:13 shachaf: btw that pbf is two weeks old 02:23:46 kmc: good point 02:23:54 kmc: ok can you make a haskell jit and make it good 02:24:00 &fast&cheap thx 02:24:13 is GHC bad? 02:24:33 ghc more like gaothc 02:26:51 go.at/hc 02:27:08 i think this is a sign that shachaf should jack up the price to be included on pbflist 02:27:23 True. 02:27:35 `run cp bin/{emptylist,pbflistdeluxe} 02:27:38 No output. 02:28:17 You can sign up for a dozen deluxe updates for $99. 02:28:42 What kind of service can we expect from the deluxe update service service? 02:30:08 Whenever I notice a new pbf update, I'll run `pbflistdeluxe, if I remember. 02:30:55 OK but how is this superior to the `pbflist that the masses have to use. 02:31:18 Um, it costs more? 02:31:32 Ahhhhh. 02:31:48 also shachaf has not promised to run the one for the masses if he remembers 02:31:59 I'll sign up for it. Do you take credit/ 02:32:13 I take bitcoins. 02:32:19 OK, that's not true. I don't take bitcoins. 02:32:38 I take cash? 02:32:39 litecoins? 02:32:44 Could you not take $99 worth of my bitcoins? 02:33:02 is that like 4 btc? 02:33:09 You don't have any bitcoins, you scum! 02:33:18 I don't know, quintopia, as I don't have any bitcoins. 02:33:26 quintopia: More like 0.0001 BTC. 02:33:29 I don't see why this means shachaf can't not take any of mine though. 02:33:35 shachaf: wow 02:33:56 last i paid attention 1btc=$10 02:34:27 Bike: were the 1960s actually real 02:35:06 IMO no, it was all a setup as part of Operation Condor. 02:35:17 shachaf: the Universe was created on the morning of Sunday, August 17, 1969 02:35:20 so mostly no 02:35:36 kmc: I think you mean January 1st 1970. 02:35:39 -!- TeruFSX has joined. 02:35:44 close but no 02:35:54 @google august 17 1969 02:35:55 Then why's that the zero point? 02:35:57 http://www.history.com/this-day-in-history/woodstock-music-festival-concludes 02:35:57 Title: Woodstock Music Festival concludes — History.com This Day in History — 8/17/ ... 02:36:05 Oh. 02:36:08 Makes sense. 02:36:17 specifically the moment at which "White Rabbit" peaked 02:36:58 So you're saying that "White Rabbit" has been going downhill forever? 02:37:04 Whatever that is. 02:37:28 "White Rabbit" is a song from Jefferson Airplane's 1967 album Surrealistic Pillow. 02:37:28 jefferson airplane, right? 02:37:35 sweet i "know" "things" 02:37:39 not forever 02:37:47 just since the beginning of time 02:42:07 That's what forever means. 02:42:20 yes 02:42:30 For every x, for every y < x, WR(y) > WR(x) 02:42:45 also known as a "contravariant functor"?????????? 02:43:06 truly, the universe is just the Functor instance for Jefferson Airplane songs 02:43:30 a bitcoin is like $150 now 02:43:46 yes 02:43:52 elliott: whoa dude if you have this poset category of time then its opposite category is time running backwards 02:43:57 so crazy man....... 02:44:07 So how do you explain entropy? 02:44:16 elliott: https://bitcointalk.org/index.php?topic=137.msg1195#msg1195 02:44:30 Bike: the man keeping us down 02:44:33 $1,500,000 pizza 02:44:34 kmc: haha 02:44:55 man, I can't get away from the bitcoin talk 02:45:10 SO HOW BOUT THEM BITCOINS EH 02:45:12 EVERYONE QUIET WITH THE BITCOIN TALK 02:45:18 fucking bitcoins 02:45:21 CONTRAPUMPKIN IS HERE 02:45:26 how bout them turing machines, never know when they're gonna stop 02:45:27 to talk to us about time running backwards 02:45:35 sorry i'm distracted by the NewLibertyStandard username 02:45:35 -NickServ- contrapumpkin is not registered. 02:45:56 kmc: i want you to know i'm laughing at your last statement 02:46:12 copumpkin is over bitcoins 02:46:16 Oh man,there's someone named Heruspex. That's fucking bullshit. 02:46:32 I am proposing naming the Bitcoin-bong (the second smallest domination) a “laszlo” 02:46:44 shachaf: I think Japanese has を for marking a direct object. 02:46:52 bitcoin bong 02:46:53 now that he's trading a brazillion dollars a day of real money 02:47:05 not to be confused with brazilian dollars, which don't even exist 02:47:14 Sgeo: I've got reddit blackholed on my laptop. 02:47:21 i like that he doesn't even have 200 posts there 02:47:58 This is an open offer by the way.. I will trade 10,000 BTC for 2 of these pizzas any time as long as I have the funds (I usually have plenty). 02:48:13 yeah, totally over bitcoins 02:48:28 Which pizzas are those? 02:48:40 copumpkin is shorting USD now. 02:49:33 With respect to what? 02:49:38 (That's a meaningful question I just asked, right?) 02:49:40 Ah, litecoin is bitcoin with scrypt? 02:51:34 copumpkin should be longing USD instead. 02:51:48 that way it would be worth more and the economy would be saved. 02:51:55 because each USD would be longer when you measure it in gold. 02:52:04 I think I want to buy stock in myself. I think I'm a pretty good investment. 02:52:10 I'm not sure I could afford myself, though. 02:52:18 Let's see, how much am I worth, again? 02:52:23 elliott: Which economy? 02:52:30 *the* economy 02:52:50 -!- monqy has joined. 02:53:00 `relcome monqy 02:53:04 ​monqy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 02:53:10 Everything is connected, shachaf *jumps off a building* 02:53:16 I think $5,000,000 might be a good estimate of how much I'm worth. 02:53:16 hi shachaf 02:53:16 monqy: You have 5 new messages. '/msg lambdabot @messages' to read them. 02:53:33 I could barely afford to buy one ten thousandth of myself. }:( 02:53:43 `cat bin/welcome 02:53:44 ​#!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome"; } else { exec "bin/?", "welcome"; } 02:54:29 tswett: Maybe you could rent out some of your equity. 02:54:38 this script could be significantly simplified if the default user was switched to monqy 02:55:00 I guess I pretty much own 100% of myself already. 02:55:33 -!- Lumpio- has quit (Ping timeout: 245 seconds). 02:55:51 Would it be a good idea for me to sell 1% of myself for $50,000? I dunno, that might be too low a price. 02:56:15 I mean, sheesh, only $5,000,000? I like to think I'm worth more than that. 02:56:17 tswett: you'd be insane to do so, /and/ other people would be insane to accept 02:56:26 Ask yourself this: How much is your ¢2 worth? 02:56:33 I think it's worth about two cents. 02:56:44 ais523: hm. This is a difficult concept to understand. 02:56:46 I mean as a percentage of you. 02:56:52 Oh. 02:56:57 Uh... approximately 0%. 02:58:03 Here, here's a better idea. 02:58:12 Invest in my for-profit corporation instead. 02:58:51 you can't sell shares of yourself (in the US anyway) because of 13th amendment or something 02:59:00 Indeed. 02:59:11 I could, like, sign a contract to give a certain percentage of all my earned income or something. 02:59:16 This should tie into corporate personhood in a hilarious way 02:59:38 i'd buy shares in kmc 02:59:43 probably not anyone else here 02:59:43 aww thanks elliott 02:59:50 Aww. 02:59:54 -!- Phantom_Hoover has quit (Quit: Leaving). 02:59:56 Shares in bikes are always going up. 03:00:00 But the opposite kind of aww to kmc's aww. 03:00:11 well i am not even sure 80% of you actually exist 03:00:18 i have high standards 03:00:21 I'm pretty sure bikes exist. 03:00:28 I can prove that I exist! 03:00:34 Can not. 03:00:35 Theorem. There exists x such that x = tswett. 03:00:35 yeah but you haven't even written a haskell program 03:00:40 so 03:00:41 Proof. Let x = tswett. 03:00:53 module Main where main = return () 03:00:54 Uh dude how do you expect me to write Haskell programs? I don't even have fingers. 03:00:56 Boom. I exist. 03:00:57 Come on dude. 03:01:13 um pretty sure bikes have fingers 03:01:33 Do not *surreptitiously moves arm behind spokes* 03:01:37 kmc: uhh what if i'm not human 03:01:59 Non-humans don't exist. 03:02:01 Everything is human. 03:02:10 elliott: what do you mean you wouldn't buy shares in me 03:02:13 me! 03:02:13 Wait, no, there's one thing that isn't human. Uh, lemme think. 03:02:18 Bike: also you're, like, a biologist 03:02:27 Is that a problem. 03:02:29 what I'm saying is that there is pretty much no competition between you and kmc for my investment 03:02:32 biologist more like vile-ologist 03:02:32 yes of course it's a problem 03:02:33 -!- nooodl_ has joined. 03:02:41 Gee, I'm trying to remember here... 03:02:52 like I wouldn't buy shares in a speech recognition researcher, either! 03:02:52 Ah, right. I'm pretty sure it's R^4. 03:02:54 Look, I'm not saying I'm as good an investment as kmc. Just that you should consider broadening your portfolio. 03:02:58 R^4 isn't human. Everything else is human. 03:03:02 With bikes. 03:03:04 -!- augur has quit (Remote host closed the connection). 03:03:20 but you're not a bike. you're Bike 03:03:47 i could buy like 2 kmcs for the cost of one bike 03:03:55 lern2capitalize(your sentences, not on your opportunities) 03:04:07 Capitalize me by giving me money! 03:04:14 I thought you wanted me to have a seven letter uncapitalized name, shachaf. Why the flip flopping? 03:04:29 $10 a share, eh? Eh? Eh? 03:04:30 Bike: See, you don't even know where to begin. 03:04:39 Bike: You're so unrefined. 03:04:50 Bike: Part of the skill of knowing when to capitalize is knowing when *not* to capitalize. 03:04:52 That just means I have potential. As an investment. Of your money. 03:05:03 OTHERWISE YOU COULD JUST SHOUT EVERYTHING. YOU'D BECOME THE ANTI-MONQY 03:05:25 yes 03:05:36 i'm watching The Walking Dead and i don't get why nobody yet has said "Holy shit, this is just like a zombie movie!" 03:05:50 Do they usually do that in zombie movies? 03:05:59 does this take place in an alternate universe where zombie movies never existed 03:06:01 i don't know shachaf 03:06:12 not really 'into' zombies 03:06:16 Well, if they don't usually do it in zombie movies, then that would explain it. 03:06:21 -!- nooodl has quit (Ping timeout: 256 seconds). 03:06:25 not really 03:06:28 it would no longer be ""just like a zombie movie"" anymore if you take my meaning 03:06:36 ow my brain 03:06:57 intertextuality sucks, kc 03:06:58 kmc 03:07:18 is "if you take my meaning" a hebrew idiom 03:07:32 no it's an english idiom 03:07:38 isn't it 03:07:49 @google if you take my meaning 03:07:51 http://dictionary.cambridge.org/dictionary/british/if-you-take-my-meaning 03:07:51 Title: if you take my meaning - definition in British English Dictionary & Thesaurus - ... 03:07:58 cambridge.org, qed 03:08:03 i think you mean "if you get my meaning" 03:08:19 i think you mean "if you know what i'm saying" 03:08:26 die 03:08:50 If you know what I mean AND YOU DON'T FUCK YOU 03:09:16 elliott: Apparently it's UK slang. 03:09:30 You're just too Americanised to understand it. 03:09:44 Er, not slang. An idiom. A UK idiom. 03:09:52 Phrase? 03:09:59 nah’m’sayin’ 03:10:06 "ised" - shachaf 03:10:19 elliott: it's true i'm 1000% british 03:13:20 can i be british too 03:13:51 know what i mean, wink wink, nudge nudge 03:14:08 only if you stop reading super mega comics ...... forever 03:14:11 said the actress to the bishop 03:14:30 in bed 03:15:23 Say no more, say no more. 03:15:32 SEX 03:16:52 uh Bike everyone was making telemarketer euphemisms 03:17:43 what if theyre telemarketing.....the nasty.... 03:18:27 how nasty 03:19:02 -!- sirdancealot has quit (Ping timeout: 256 seconds). 03:33:12 -!- Lumpio- has joined. 03:37:07 -!- btiffin has joined. 03:41:55 -!- conehead has joined. 03:44:59 -!- nooodl_ has quit (Read error: Connection reset by peer). 04:07:58 -!- monqy has quit (Quit: hello). 04:09:39 Someone made up "Affirmative Spelling" which means the capitalization is reversed. But, it is also what will happen if you try to display a ASCII file on a Commodore 64 computer or vice versa. 04:10:03 ok 04:10:29 Shame not all of PETSCII is in Unicode. 04:10:38 Displaying a Commodore 64 computer on an ASCII file is madness. 04:10:57 oh, which characters aren't? 04:11:04 i was just wondering about characters that aren't in unicode 04:11:27 Looks like 'bout half of the graphic chars. 04:11:52 http://en.wikipedia.org/wiki/File:C64_Petscii_Charts.png hmmmmm 04:13:00 pikhq: I know; Unicode has various problems. My own character set (for a computer I am designing) does include all of PETSCII in its 16-bit set (and without all of the nonsense of Unicode; character properties are not used, control characters are all in one block, etc) (it normally uses 8-bit sets, although there is a mapping between them) 04:13:54 Bike: I mean displaying a file of Commodore 64 in a computer which is using ASCII, not displaying a computer on a file! 04:14:18 :o 04:17:25 Can there be the voltage/phase colorspace which convert to/from YUV and YIQ, and then you can convert to other colorspace? 04:17:59 It seem, it might be three components (low voltage, high voltage, phase) and then if the low and high is the same it will be gray, or, something like that? 04:19:01 Do you know? 04:19:09 I don't know. 04:22:02 -!- function has changed nick to variable. 04:28:05 -!- Bike has quit (Ping timeout: 255 seconds). 04:28:23 -!- oerjan has quit (Quit: leaving). 04:28:25 -!- Bike has joined. 04:29:08 Maybe you would do something like calculate the sine and cosine of the phase to make the U and V signal, and the voltage makes the Y signal. 04:39:17 -!- augur has joined. 04:39:55 -!- augur has quit (Read error: Connection reset by peer). 04:40:01 -!- augur_ has joined. 05:01:15 nite 05:01:39 Have any of you make any Z-machine interpreters? 05:02:19 -!- btiffin has left. 05:03:22 -!- ogrom has joined. 05:10:25 Hm, this is boring. 05:26:16 you're boring, Bike 05:26:33 Yes, "this" was referring to myself, of which I am an occupant. 06:21:09 -!- ThatOtherPerson has joined. 06:27:26 Probably it is possible to make a program to compile a subset of Internet Quiz Engine into Z-machine version 1 (the only lacking feature is the timer). Many of the features of Z-machine would not be needed, though. 06:34:13 Stop losing all the time, please. 06:37:27 It's actually quite odd that, on a hierarchical file system, /usr/bin is a big flat directory. 06:37:36 Why isn't it hierarchical? 06:37:58 Perhaps so that all of the files fit in the PATH? 06:38:16 This question usually appears whenever I boot up a different linux system and wonder what programs are available. 06:39:44 Sometimes listing /etc gives you an idea of a system faster than listing /usr/bin. 06:44:33 -!- conehead has quit (Quit: Computer has gone to sleep.). 06:45:38 -!- sirdancealot has joined. 06:46:46 OK, then do that, instead. 06:58:33 -!- coppro has quit (Ping timeout: 252 seconds). 06:58:51 -!- ogrom has quit (Quit: Left). 07:04:53 -!- coppro has joined. 07:13:24 -!- TeruFSX has quit (Ping timeout: 276 seconds). 07:26:27 -!- Taneb has joined. 07:34:12 I am now playing dwarf fortress via mosh 07:40:34 -!- Bike has quit (Quit: bored and tired). 07:41:10 -!- ais523 has quit. 07:51:44 -!- zzo38 has quit (Remote host closed the connection). 07:58:16 Description of coke in Dwarf Fortress: 07:58:18 "This is a coke." 07:58:49 Are you sure that was the entire description 07:59:06 Pretty sure 07:59:31 Seems accurate. 07:59:42 Wait, was the description talking about itself, or about the coke? 07:59:52 Good question 07:59:59 Or was it talking about the game? Or your screen? 08:00:10 But what would you use coke for? 08:00:14 Would you drink it? Smoke it? 08:00:21 Snort it? Use it as fuel? 08:00:40 Ceci n'est pas un coke 08:12:33 /* Writing: cosine = (double (*)(double)) dlsym(handle, "cos"); would seem more natural, but the C99 standard leaves casting from "void *" to a function pointer undefined. 08:12:33 The assignment used below is the POSIX.1-2003 (Technical Corrigendum 1) workaround; see the Rationale for the POSIX specification of dlsym(). */ 08:12:52 *(void **) (&cosine) = dlsym(handle, "cos"); 08:18:58 -!- ThatOtherPerson has quit (Quit: Leaving). 08:25:54 -!- carado has joined. 08:50:45 -!- sirdancealot has quit (Ping timeout: 252 seconds). 08:50:46 -!- ogrom has joined. 08:50:48 They could've just added the void (*dlfun(void *, const char *))(void) back when definating POSIX, and then you could do the more natural thing. (I guess that would have made less things POSIX by default.) 08:51:00 -!- ogrom has quit (Client Quit). 08:54:36 Natural? But this is POSIX. 08:55:14 `slist 08:55:18 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 08:55:33 -!- nooga has joined. 08:56:11 Taneb: plz arrange for olist update by the end of next week thx 08:58:33 Alas, that is not within the scope of my power 09:02:17 [http://stackoverflow.com/a/10519415] 09:02:32 void (*fptr)(); void *temp = dlsym(handle, "my_function"); memcpy(&fptr, &temp, sizeof fptr); 09:03:30 I like how people are writing code that depends on POSIX to be portable to systems which aren't POSIX. 09:07:49 Is it possible to use mosh for file transfer 09:08:44 Taneb: base64 + copy-and-paste hth 09:42:12 -!- AnotherTest has joined. 09:45:54 :t Cont . flip all 09:45:56 Not in scope: data constructor `Cont' 09:45:56 Perhaps you meant one of these: 09:45:56 `Const' (imported from Control.Applicative), 09:45:59 :t cont . flip all 09:46:01 [a] -> Cont Bool a 09:46:03 @let all' = cont . flip all 09:46:06 Defined. 09:46:11 :t all' [1,2,3] 09:46:13 Num a => Cont Bool a 09:46:27 :t do { x <- all' [1..10]; return (x > 5) } 09:46:28 ContT Bool Identity Bool 09:46:31 :t evalCont $ do { x <- all' [1..10]; return (x > 5) } 09:46:33 Not in scope: `evalCont' 09:46:40 @let evalCont = flip runCont id 09:46:42 Defined. 09:46:43 :t evalCont $ do { x <- all' [1..10]; return (x > 5) } 09:46:44 Bool 09:46:48 > evalCont $ do { x <- all' [1..10]; return (x > 5) } 09:46:50 False 09:47:02 :t runCont (do { x <- all' [1..10]; return (show x) }) ?x 09:47:04 (?x::String -> Bool) => Bool 09:47:47 -!- Taneb has quit (Quit: Leaving). 09:48:23 :t evalCont $ do { x <- all' [1..10]; y <- all' [11..20]; return (x > y) } 09:48:24 Bool 09:48:32 > evalCont $ do { x <- all' [1..10]; y <- all' [11..20]; return (x < y) } 09:48:35 True 09:51:54 -!- ThatOtherPerson has joined. 10:25:05 -!- ThatOtherPerson has quit (Quit: Leaving). 10:31:45 -!- Lumpio- has quit (Ping timeout: 256 seconds). 10:33:42 -!- Lumpio- has joined. 10:37:33 {Y: {(rf): {(f):f(f)}( {(f): rf({(x): f(f)(x)})} )}} 10:55:25 "Assuming sizeof(unsigned long long) is 64 ..." sounds like a safe assumption 10:58:57 You sound like one of those whiners who don't have 512-bit computers. 11:01:34 only a matter of time until my puny 64-bit hardware is completely useless :( 11:06:22 -!- monqy has joined. 11:10:34 uint64_t 11:10:43 -!- epicmonkey has joined. 11:32:36 You'll still need it to run the legacy 32-bit apps. 11:32:50 -!- doesthiswork has quit (Quit: Leaving.). 11:48:50 -!- Phantom_Hoover has joined. 11:59:17 Jafet: 64 bit hardware can still run 16-bit stuff 11:59:25 Are you suggesting 512 bit won't? 11:59:46 I... hope not. 12:03:28 Since machines will be so fast, what stops us from using emulators? 12:06:38 :t all' 12:06:40 [a] -> Cont Bool a 12:07:01 Machines may not get faster 12:11:25 > evalCont $ all' [1..3] 12:11:27 No instance for (GHC.Num.Num GHC.Types.Bool) 12:11:27 arising from the literal `1... 12:11:39 Oh, I see 12:11:46 with 8 or 16 times larger words, they might be a lot slower even 12:59:46 -!- carado has quit (Quit: Leaving). 12:59:53 -!- carado has joined. 13:15:26 -!- ThatOtherPerson has joined. 14:06:23 -!- nooodl has joined. 14:06:54 -!- ThatOtherPerson has quit (Quit: Leaving). 14:12:15 -!- nooodl has quit (Read error: Connection reset by peer). 14:12:42 -!- nooodl has joined. 14:50:58 @tell Taneb no, Mosh doesn't do file transfers yet 14:50:58 Consider it noted. 14:52:16 I wish I knew what avocado tastes like 14:52:34 I've tried eating bacon. It's boring. 14:53:34 i can think of an excellent way to find out how avocado tastes 14:53:42 ps american bacon doesn't count as bacon 14:58:50 canadian bacon, however… 15:00:58 i don't know anything about canadian bacon 15:01:04 iirc it's good bacon 15:01:08 but canada is almost america so its chances aren't good 15:01:09 if there's a difference at least one of you is wrong 15:02:34 wait actually it's bad bacon 15:02:34 canadian bacon is the american name for british bacon 15:02:58 hi 15:03:02 hi nooodl 15:03:23 "Back bacon (called Irish bacon/Rashers or Canadian bacon in the United States[citation needed])" 15:03:45 monqy: well canadian bacon is awful then 15:03:49 because it is taking credit!!!! 15:03:51 wrongly!!! 15:05:02 but yeah streaky bacon is awful, crispy, fatty crap 15:05:13 yes 15:05:44 elliott: canadian bacon is not made of canadians? 15:06:44 are we even sure canadian bacon exists 15:08:03 http://en.wikipedia.org/wiki/Bacon_mania 15:08:24 A 2009 Baltimore Sun story describes bacon as being "more than bacon," 15:08:39 Calling it "like an extreme sport," 15:09:37 and people think deep-fried mars bars are bad 15:09:42 an article starting with the words "All Hail Bacon!" noted that a Poynter Institute report found bacon taking the social media networks "by storm" and that the meat's popularity is "now practically at an epidemic pace, as all of these socially interactive sites are literally pulsating with posts, updates, comments, even clubs / groups dedicated exclusively to the LOVE of Bacon!" 15:10:13 bacon mania is the worst thing 15:10:59 bacon itself is still good though 15:11:10 what kind of bacon do you have in sweden 15:11:22 is it nice bacon or crap bacon 15:11:24 we have bacon 15:11:26 "Negative publicity surrounding swine flu, which is not transmitted via pork product consumption,[45] hit sales and prices in the pork industry." 15:11:49 It does occur to me though that by consuming bacon, it encourages people to keep pigs around, which is relevant to swine flu 15:11:58 Phantom_Hoover: http://commons.wikimedia.org/wiki/File:Bacon.jpg 15:12:07 that's crap bacon, olsner 15:12:16 http://upload.wikimedia.org/wikipedia/commons/9/92/Bacon.JPG nice bacon 15:12:32 Phantom_Hoover: that's like ham or something 15:12:32 * Sgeo has never seen bacon that looks like that 15:12:40 It looks like strips with stripes 15:12:54 yes, this is because you have only known crap bacon 15:13:21 guys I think we need to observe this sentence some more: A 2009 Baltimore Sun story describes bacon as being "more than bacon", 15:13:33 And not as long as http://upload.wikimedia.org/wikipedia/commons/e/e9/Bacon_and_egg_sandwich_-_open_face.JPG 15:13:41 it's more than bacon, it's *back bacon* 15:13:42 bacon mania can die in a hole & rot 15:13:48 Sgeo: by "american bacon doesn't count" do you think i was just making up the idea of there being other types of bacon than what, or 15:13:54 *what is common in america 15:14:14 Dat bacon and egg sandwich… enjoy your extremely-dry bread. 15:14:29 I should start eating eggs 15:14:29 Egg sandwiches call for /buttered/ bread. 15:14:35 monqy, what would your opinion be of bacon mania for normal bacon 15:14:38 I wonder if the cafeteria offers hard-boiled eggs 15:14:46 Or if you're British and like eating rat snot, Marmite on bread. 15:15:02 isn't marmite more of an australian thing 15:15:06 i have never eaten marmite, i am fairly content with this 15:15:12 I've tried eating buttered bagels, but I have difficulty spreading the butter 15:15:17 It just sits on a lump 15:15:21 elliott: Vegemite is Australian, Marmite is British. 15:15:25 i feel like i should attempt to be ambivalent about marmite 15:15:33 because the whole love it or hate it marketing campaign thing is obnoxious 15:15:34 They're the same thing, but "Marmite" under that name doesn't exist in Australia. 15:15:44 i've never had it though 15:15:44 Phantom_Hoover: food obsession to a degree like that of bacon mania is hell irrespective of what what food it's about 15:15:51 i can't imagine it's terribly offensive 15:15:52 I need to stop eating tic-tacs as though they were candy 15:15:57 elliott: It really is. 15:16:03 Sgeo, they literally are candy 15:16:03 well it's basically just salt right 15:16:14 no 15:16:16 Gregor, you hate pizza, your opinions don't count. 15:16:20 sticky salt on toast doesn't sound so bad 15:16:24 it's, like, leftovers from brewing 15:16:29 elliott: It's less like salt than like earwax. 15:16:31 well i mean 15:16:33 in terms of flavour 15:16:39 Gregor: hmmm 15:16:42 It tastes like dying. 15:16:44 well earwax doesn't taste that awful 15:16:49 well i mean it does... 15:16:54 instead of buttering the egg sandwich bread, just fry it in the leftover bacon fat 15:16:57 but it's probably not that earwaxy 15:17:12 mmmm i want bacon 15:17:15 i wonder if there is any 15:17:27 in which elliott is part of the problem 15:17:28 instead of buttering the egg sandwich bread, just fry it in the leftover bacon fat // now that's a plan 15:17:50 2 calories per mint is kind of low... also, lots of sorbitol 15:17:56 monqy: i categorically cant participate in `bacon mania' because i dont consume the type of bacon it concerns 15:18:03 Wait these don't have sorbitol 15:18:09 i mean bacon isn't anything that special of course 15:18:17 but everyone is talking about it 15:18:17 so 15:18:19 bacon is pretty good; chinese pork belly dishes are also really good 15:18:32 Can I get bacon on hamburgers? 15:18:35 With avocado? 15:18:38 yes you can, sgeo 15:18:44 Maybe avocado separate for the first time I try oit 15:18:45 *it 15:18:47 And a banana 15:18:50 ok 15:18:51 avocado doesn't really taste of much 15:18:53 (Not on the hamburger) 15:18:56 i like avacado 15:18:59 mmmmmmmmmmmmmmmmmmmmmmmmmmm twice cooked pork with leeks 15:19:02 and avacado products 15:19:04 Phantom_Hoover, like every other food that people consider awesome! 15:19:14 Steak, hamburger, bacon... 15:19:15 Sgeo have you considered that you may be anosmic 15:19:27 steak is vastly overhyped 15:19:29 But I can smell aromas just fine! 15:19:33 its like bacon mania but less obnoxious 15:19:41 Steak smells awesome... it just doesn't taste like anything 15:19:45 steak is p. good imo 15:19:51 monqy has never had my sous vide steak 15:20:22 avocado is basically a tree that grows butter 15:20:33 Although that was my opinion when I was younger 15:20:34 that's a pretty good description 15:20:37 guacamole is delicious but the flavor comes from the other parts 15:20:42 mostly 15:21:00 Some people elsewhere have suggested that it's because I've only ever eaten well-done steaks 15:21:06 um 15:21:07 yeahhhhhhhhhhhhh gross 15:21:09 why would you do that 15:21:14 you gotta have your stake juicy 15:21:16 you are asking for ruined food 15:21:21 at this juncture i am just going to link to http://www.youtube.com/watch?v=dNJdJIwCF_Y because it is amazing 15:21:31 literally "chef could you plz ruin my food before you give it to me" 15:21:37 The chef was my mom 15:21:40 oh 15:21:41 welp 15:21:53 get a medium rare steak and season it with garlic and salt and maybe steak sauce 15:22:02 But is medium rare unsafe? 15:22:06 no 15:22:08 Also I love garlic salt 15:22:11 literally "chef could you plz ruin my food before you give it to me" // 'struth 15:22:14 unless you are like an elderly baby with aids 15:22:42 prob. fine even then 15:23:13 healthy immune system is a wonderful thing, you gotta take advantage 15:23:24 sometimes i eat food off the ground just to keep mine on its toes 15:23:40 Medium wouldn't be bad, right? 15:23:42 * kmc , M.D. 15:23:51 i think there is some risk of parasites? but nothing worth worrying about 15:23:52 medium will probably taste all right too 15:24:09 it also depends on the quality of the original meat; you can get sushi grade beef that is safe to eat raw 15:24:20 supposedly it's really really good 15:24:23 ..wtf how does that work 15:24:32 sear it quickly in a pan on high heat to get the outside crunchy 15:24:43 Sgeo: i don't know, maybe they are extra careful about the cow's health 15:26:10 also extra careful about not cross contaminating with other meats 15:26:35 note to self: don't read alarmist blog posts about toxoplasmosis 15:27:19 Is there a way to determine if I have toxoplasmosis? 15:27:39 hmm, looks like sendmail can also do string rewriting in loops 15:27:43 why would you expect to have toxoplasmosis exactly 15:27:51 do you feel a powerful urge to be eaten by a cat 15:28:08 olsner: http://okmij.org/ftp/Computation/sendmail-as-turing-machine.txt 15:28:20 Have been living with a cats my whole life. At once point had to take care of someone else's cats which were all strays until she took them in 15:28:27 hm i wonder what being eaten by a cat would be like 15:28:37 kmc: cool 15:28:51 This apartment has become a shithole with the cat getting litter everywhere 15:29:09 Sgeo don't become a crazy cat lady 15:29:16 I think that's a sign of not maintaining your cats properly 15:29:31 I'm not a crazy cat lady. I want the cat out of here. 15:29:58 cats are wonderful though 15:30:01 And my dad to pay to get the apartment professionally cleaned. 15:32:18 -!- ogrom has joined. 15:45:54 update: i have obtained bacon and am now looking at ridiculous "bacon mania" things to feel smug about it 15:46:02 haha 15:46:04 bacon cotton candy. bacon vodka 15:46:20 (*candy floss in real countries) 15:46:25 (but probably it's fake candy floss too?) 15:46:31 bacon is like The Beatles in that they're both pretty good but I'm almost obliged to hate them because of how overrated they are 15:46:38 however I don't hate bacon at all 15:47:30 i just feel kinda sorry for americans who have to grow up knowing the word "bacon" as meaning something totally inferior to what i know as bacon 15:48:47 what do you know as bacon 15:49:04 back bacon 15:49:07 i hear americans call it canadian bacon 15:49:31 ok 15:49:36 both good imo 15:49:53 thin & crispy is also a fine way for food to be 15:49:57 mmmm 15:50:12 do people use the word "rashers" in the US? 15:52:55 -!- Taneb has joined. 15:55:20 i've not heard it, what does it mean? 15:56:53 a piece of bacon 15:57:33 its when your skin gets all red and rough 15:57:55 lol 16:01:04 'canadian bacon' is pretty popular in america though 16:01:13 especially as a pizza toping 16:02:36 and a breakfast food with eggs 16:03:12 And another way to make fun of Canada. 16:03:52 'ha ha, you have delicious meats' 16:04:12 brb going to eat sichuan food 16:05:45 egg is kinda weird imo 16:05:50 i don't know what i mean by that 16:05:52 its' something quite specific 16:06:03 -!- sebbu has quit (Read error: Connection reset by peer). 16:06:24 -!- sebbu has joined. 16:07:03 -!- sebbu has quit (Changing host). 16:07:03 -!- sebbu has joined. 16:09:38 i like egg it's good 16:12:07 i just casually emailed Ian Piumarta 16:12:51 Now you feel like I feel all the time 16:12:51 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 16:12:56 Wow 16:13:01 Someone sent me a message 16:13:08 I wonder what wonders it contains 16:13:11 It could be magical 16:13:13 @messages 16:13:14 kmc said 1h 22m 16s ago: no, Mosh doesn't do file transfers yet 16:13:19 Yay! 16:13:27 I love my life 16:13:30 monqy: it's weird 16:13:34 it can be like ten things 16:13:37 egg is an identity crisis 16:13:40 it doesn't know what it wants to do 16:13:47 whew, I just had this weird idea that Taneb is Ian and he somehow recieves mail by lambdabot 16:14:05 egg? That tastes like chicken. 16:14:40 It tastes of chicken in potentia 16:14:54 yes, that was the joke 16:23:35 -!- sirdancealot has joined. 16:24:38 -!- doesthiswork has joined. 16:28:29 Z 16:29:28 z 16:31:51 . 16:38:52 :0 16:43:40 -!- conehead has joined. 17:11:22 -!- monqy has quit (Quit: hello). 17:13:52 I think it's probably a bad thing to consume a thing of tic-tacs in two days 17:14:22 Nah 17:14:25 You'll be fine 17:14:37 Depends on how big of a thing it is 17:14:48 The cashier might look at me funny if I buy tic-tacs again so soon 17:14:56 60 tic-tacs 17:15:59 do you mean 60 tic-tacs 17:16:06 or 60 boxes of tic-tacs 17:16:20 because i can definitely see you getting funny looks for the latter 17:16:46 -!- Bike has joined. 17:17:34 60 tic-tacs. One box 17:18:54 sgeo do you really think anyone is going to waste the effort to judge you for eating two boxes of fucking tictacs 17:19:12 -!- monqy has joined. 17:19:53 paranoid thinking... 17:20:46 Sgeo, maybe the cashier will think you are a generous person with a lot of friends 17:21:14 maybe 17:21:17 How are tic-tacs supposed to be consumed? 17:21:19 in the worst case scenario 17:21:27 Just one or two on occasion? 17:21:28 they will think "that guy kind of likes tictacs" 17:22:19 you should switch cashiers so they don't recognize you 17:22:22 wear a mask 17:22:25 get a friend to buy them for you 17:22:31 Sgeo, however you want. They're mints. 17:22:34 cross dress 17:22:36 meant to be consumed in the dark ritual of Oolak-Oolak 17:22:47 monqy: you forgot crossing the border to buy them 17:22:50 anything to prevent them from knowing you ate all those tic tacs 17:22:54 mexican tic tacs 17:22:57 elliott, need to cross at least 2 borders 17:22:59 Blah, I should be eating higher calorie things anyway 17:23:04 Phantom_Hoover: point 17:23:10 hexham tic-tacs 17:23:18 skip town 17:23:20 guatemala or belize, at the very least 17:23:22 we have the finest tic-tac brewery in all of england 17:23:34 I should find out what snacks are there. I'd be comfortable with sugary high-calorie snacks everyday 17:23:39 These are not high calorie 17:23:44 tic-tac production started here in 1764 and have been hand-made since 17:23:54 hence why hexham is often referred to as home of the tic-tacs 17:24:49 so it's exactly where they'd expect Sgeo to buy tic-tacs 17:25:02 it'll be heavily monitored, too 17:25:35 Also, tic-tacs in the container make a lot of sound 17:25:52 Walking through a quiet cubical farm while tic-tacs are rattling loudly is kind of embarrassing 17:26:00 Is it true that there is a statue of six pigs in the Hexham town square? 17:27:18 yes 17:27:36 inscribed beneath is "tic taccus" (latin for "be nice") 17:28:37 Sgeo: you could put them in a larger box or bottle stuffed with cotton and packing peanuts 17:28:44 Sgeo: and then put that in a paper bag 17:28:57 why not just kill the cashier 17:28:59 take a swig of tic tacs and nobody will know your shame 17:29:15 they'll think it's like 17:29:21 idk what do people usually drink from paper bags 17:29:24 sandwiches? 17:29:43 drink a sandwich 17:30:11 i hear canada gets their milk in bags 17:30:29 "Argent, hex ham rampant carnation." 17:31:41 -!- boily has joined. 17:33:17 (the coat of arms for Hexham) 17:34:02 i thought they got their milk in tetrahedra 17:35:46 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 17:36:09 "The video ends with the man being shown with black eyes: he has also been infected." 17:36:45 can't you buy tic-tacs online by the case 17:37:03 AND THEN THE MAN WAS A ZOMBIE 17:37:56 Cut Out The Middleman as they say 17:38:28 but what if the website judges him 17:38:44 a popup, I can see it now, "dude, why are you buying all those tic tacs" 17:38:47 better burn down your house and change your name and grow a beard and move to a shack in the woods in montana just in case 17:38:47 "you have a problem?" 17:39:03 btw never buy the blue 'powermint' tic tacs, they are mad nasty 17:39:18 kmc, send orders for tictacs to universities across trhe country? 17:39:31 And airfields 17:39:56 im not very keen on tic tacs, or drug lingo at all for that matter 17:41:23 -!- ThatOtherPerson has joined. 17:42:35 http://www.zazzle.com/tictacs+gifts shame by association with whoever made/buys/enjoys these things 17:43:33 Phantom_Hoover: yes 17:50:29 -!- copumpkin has joined. 18:03:00 -!- augur_ has quit (Remote host closed the connection). 18:12:02 -!- Bike has quit (Ping timeout: 255 seconds). 18:13:52 -!- Bike has joined. 18:28:01 why do areola sizes vary so much? 18:28:22 why does anything vary so much 18:28:33 why do tic-tacs vary so much 18:28:58 Why do wire mesh Supply与您共享了相册 so much? 18:29:03 doesthiswork: So that all boobs are unique. 18:29:14 government plot to track us using our boobs 18:29:32 yes, but mens areolas are pretty consistently the same size 18:30:13 so if was just relaxed selection i would expect both sexes to vary 18:30:38 doesthiswork, in my experience men's areolas do vary a bit. 18:30:44 Mine, for example, are relatively small 18:30:54 -!- Bike_ has joined. 18:30:55 -!- Bike_ has quit (Client Quit). 18:31:12 -!- Bike_ has joined. 18:31:28 they vary from size of a penny to the size of a dollar coin 18:31:41 -!- Bike has quit (Disconnected by services). 18:31:46 -!- Bike_ has changed nick to Bike. 18:32:00 while women's go from penny size to a little smaller than a cd 18:32:20 There's more tissue there for the areola to spread over. 18:32:54 that is true, bigger boobs tent to have bigger areolas 18:33:09 Author a study on it 18:33:18 Perhaps you'll get an Ig Nobel prize 18:33:31 I'd definiatly be in the running 18:33:59 imo menopause is weirder than boobs could ever be 18:39:02 apparently number of nipples is 14% heritable 18:40:00 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 18:41:37 wtf 18:41:42 why are you talking about breasts 18:42:08 doesthiswork is going for the ig nobel 18:43:53 The nobel prize in breasts. 18:44:39 The breast nobel prize. 18:44:49 Also, it's Ig Noble. 18:44:52 it is the best 18:45:39 -!- copumpkin has joined. 18:46:25 wat is going on here 18:47:25 we were discussing typeclasses in haskel 18:48:28 My favourite is Foldable 18:52:07 traversable is pretty neat too 18:53:44 Num, am I right!! 18:54:15 Oh, right Haskell 18:54:29 Haskell looks like Greek to me 18:54:36 Or in this case, rather strange English 18:54:38 ... 18:55:15 if you prefer there is a skin for it called liskell 18:55:22 i think it's like hebrew 18:55:30 that give you everything in s-expressions instead 18:55:32 i looked it up before but then i forgot. 18:56:53 http://wormtube.worms2d.info/extras/Cueshark%20-%20Wormsong%20in%20Minor.mp3 18:58:12 here's a cool video about bipedal robots http://www.youtube.com/watch?v=QRbvNL1PHKg 18:58:30 (haters gotta hate) 18:59:52 Is this gonna be PETMAN 18:59:54 yes. 19:00:35 i admit I don't understand how it could be cost effective to make a fucking android just to see if your NBC suits work. 19:00:49 I think that was just an excuse 19:01:06 Quite possibly! 19:01:26 Oh man the music even matches the gait. 19:01:34 well, mostly. 19:01:48 looks like there are cuts in the video too 19:02:05 -!- TeruFSX has joined. 19:02:17 well yeah, it was like a thirty second demonstration. 19:02:50 http://www.youtube.com/watch?v=tFrjrgBV8K0 They have that newer video where it has a head instead of a strobe. 19:06:40 -!- yiyus has quit (Ping timeout: 245 seconds). 19:06:51 -!- epicmonkey has quit (Ping timeout: 256 seconds). 19:07:50 -!- yiyus has joined. 19:08:27 Bike, interesting, but can it turn and so on? That is a very fixed one direction walk (only watched the first video so far) 19:08:35 what about stairs 19:08:38 -!- TeruFSX2 has joined. 19:09:10 Their site has http://www.bostondynamics.com/img/petman512.jpg 19:09:33 also http://www.bostondynamics.com/img/petman-poses-512.jpg jazzin it up 19:09:35 that is a fixed image 19:09:44 hm 19:09:53 yes as it turns out i don't work at boston dynamics and can't get you more information than they've released 19:10:15 -!- TeruFSX has quit (Ping timeout: 256 seconds). 19:10:16 fair enough 19:10:39 -!- augur has joined. 19:11:17 Stairs would probably be a common use case for testing rips and stuff, though. 19:14:35 and of course bending over 19:16:11 seems useful to test if e.g. bending the fabric the wrong way when walking will break it down and let in the death viruses 19:21:08 -!- epicmonkey has joined. 19:22:23 -!- AnotherTest has quit (Quit: Leaving.). 19:28:41 I AM TIRED OF THIS APARTMENT SMELLING LIKE SHIT 19:29:30 OK 19:31:48 * kmc makes a note to stop shitting in Sgeo's apartment 19:32:12 random Sunday question: has anyone of you all every played with ISO 7816 part 4? 19:32:26 s/every/ever/ 19:33:01 is that like smart cards? or somehow different? 19:37:51 Taneb: I think Hussie has gone mad with power... 19:38:06 I think Hussie started out mad with power. 19:38:12 Did you ever read Problem Sleuth? 19:38:22 Yeah ;P 19:42:09 boily, no, i only followed it up to part 2 19:42:30 do parts 3 and 4 keep up the standard? 19:44:18 I read it all but it is too long 19:45:43 part 3 has the low-level, electric stuff. part 4 has commands and things and stuff: http://cardwerk.com/smartcards/smartcard_standard_ISO7816-4.aspx 19:48:00 -!- ogrom has quit (Quit: Left). 19:49:55 -!- epicmonkey has quit (Ping timeout: 256 seconds). 19:50:00 -!- john_metcalf has quit (Ping timeout: 264 seconds). 19:52:15 -!- john_metcalf has joined. 20:03:11 -!- boily has quit (Quit: Poulet!). 20:03:18 -!- ThatOtherPerson has quit (Quit: Leaving). 20:07:21 -!- kallisti has joined. 20:30:52 -!- oerjan has joined. 20:51:40 -!- pikhq has quit (Ping timeout: 245 seconds). 20:56:56 -!- pikhq has joined. 21:07:05 -!- augur has quit (Remote host closed the connection). 21:09:03 -!- zzo38 has joined. 21:09:59 :t evalCont 21:10:02 Not in scope: `evalCont' 21:10:13 i guess someone ran @undefine 21:10:36 :t ?x 21:10:38 (?x::t) => t 21:10:45 Is that ?x a GHC extension? 21:10:57 elliott: that's neat, if you define min' = Cont . flip min and max' = Cont . flip max then i think you can do minimax algorithms that way 21:11:15 Taneb: implicit parameters 21:11:20 Right 21:11:27 Gah 21:11:28 What should I upgrade, the stadium, concession, or merchandise? 21:11:31 I wanted to make this bot 21:11:31 http://www.reddit.com/user/LinkFixerBot 21:11:52 zzo38, concession 21:11:55 @tell elliott that's neat, if you define min' = Cont . flip min and max' = Cont . flip max then i think you can do minimax algorithms that way 21:11:55 Consider it noted. 21:12:39 @tell elliott um, *+imum in places 21:12:39 Consider it noted. 21:13:51 Taneb: i think getting types without explicit lambdas may be their main use nowadays :P 21:14:21 The thing is that concession and stadium is only good for games at your stadium, and not for your opponent's stadium, while merchandise is good at either; however, merchandise is way more expensive to upgrade to level 9 (I have level 8) than concession to level 8 (which I currently have 7), and stadium is the most expensive. 21:14:36 To my mind, they are not very Haskelly 21:14:40 zzo38, as I said, concession 21:14:43 although some people use them for configuration i think, but there are gotchas than make them mostly deprecated 21:14:55 oerjan: btw ill be taking credit for those things 21:15:01 Taneb: Yes, I saw that and will consider it; but I also want to describe all the possibilities anyways. 21:15:08 02:42 all :: [a] -> Cont Bool a 21:15:09 shachaf: which things? the Cont stuff? 21:15:17 shachaf: ah 21:15:33 v. important 21:15:34 shachaf: did you consider using minimum and maximum too? 21:15:43 -!- augur has joined. 21:15:46 No. 21:15:59 Well, I mentioned that it's just a foldMap. 21:16:18 Stadium also, helps if there are many more people to come (and perhaps there is more property tax, too), but more people who come also means more concession will be sold since the higher level of concession means more choices (I have candy, cola, popcorn, weiner, burger, pretzel, and juice; next choice is pizza, and the next upgrades will be nachos and beer). 21:17:01 I will try concession for now since that is what I can afford, and hopefully sell enough pizza to make up for it. 21:17:20 what game? 21:17:26 or does zzo38 just actually own a stadium 21:17:29 concatMap :: [a] -> Cont [b] a 21:17:47 kmc: Franchise Basketball, on X-BIT BBS 21:18:49 I wish I knew what avocado tastes like <-- well have you had guacamole? 21:18:54 that contains it. 21:18:58 The installation on X-BIT has 16 teams in total, and currently, 15 are computer players (someone could register and take over, but the games I like are usually less popular than the others, it seems) 21:19:13 The other game I play on X-BIT is Word Warp 21:19:52 i claimed earlier that most of the taste of guacamole is not the avocado but the salt, tomato, onion, &c 21:20:00 Oops, the next game is at the opponent's stadium, so maybe I should have waited to upgrade the concession, and earned bank interest instead. 21:20:07 avocado itself is kind of like butter 21:20:08 shachaf: i guess this may be part of that "you can emulate all other monads in delimited continuations" stuff? 21:20:27 kmc: hm 21:20:32 Yep. 21:20:57 Given that all I'm saying here is that (>>=) :: m a -> Cont (m b) (m a) 21:21:07 really it should be Codensity!! 21:21:22 oh right concatMap _is_ flip (>>=) for [] 21:21:27 oerjan: btw i only want partial credit 21:22:05 :t Cont . flip (>>=) 21:22:07 Not in scope: data constructor `Cont' 21:22:07 Perhaps you meant one of these: 21:22:07 `Const' (imported from Control.Applicative), 21:22:11 :t cont . flip (>>=) 21:22:13 ((a -> b) -> a -> b) -> Cont (a -> b) a 21:22:21 um maybe not :P 21:22:21 @ty cont . (>>=) 21:22:23 Monad m => m a -> Cont (m b) a 21:22:27 Er, right. 21:22:29 a, not m a 21:22:43 that flipped thing looks interesting too... 21:22:59 Does it? 21:23:08 (=<<) :: (a -> m b) -> m a -> m b 21:23:32 So it's just instantiating the ms to make it work. 21:24:01 well ok i was mainly surprised it typed at all 21:24:01 @ty (cont . (=<<)) id 21:24:03 Cont (a -> b) a 21:24:11 @ty runCont $ (cont . (=<<)) id 21:24:12 (a -> a -> b) -> a -> b 21:24:39 if you set b = a you have church numerals there... 21:24:55 ? 21:25:01 That would be (b -> b) -> b -> b, wouldn't it? 21:25:17 i mean above in my first try 21:25:37 id _is_ a church numeral, just not the most interesting one 21:25:41 Oh, I see. 21:25:53 @ty (cont . (=<<)) (\f x -> f (f x)) 21:25:55 Cont (a -> a) a 21:26:20 @ty (=<<) (\f z -> f (f z)) 21:26:22 (b -> b -> b) -> b -> b 21:26:28 I think it does makes more sense for (=<<) as well as return and join to be methods of Monad and then make Functor a superclass, similar to how Comonad is; since, it can be like a return/fmap/join or it can be (=<<) as a functor from the Kleisli category 21:27:05 > (<>) >>= (\f z -> f (f z)) $ "hello" 21:27:07 "hellohellohello" 21:27:12 > (<>) >>= (\f z -> f (f (f z))) $ "hello" 21:27:14 "hellohellohellohello" 21:27:15 Eh. 21:29:42 I've never tried guacamole 21:30:02 I think IRC (and other chats) have prevented me from going off the deep end for a long time 21:30:09 omg wtf 21:30:11 no guacamole 21:30:16 get off the computer and go get some right now 21:30:21 It's quite a nice dip 21:30:24 Good with potato skins 21:30:39 Sgeo: in my expert opinion they haven't hth 21:30:58 even shachaf likes guacamole 21:30:59 zzo38: making Functor a superclass of Monad was an April Fools joke in reddit r/haskell this year, btw; several people commented it was the only one they'd fallen for this year 21:31:06 copumpkin: It's true! 21:31:12 see? 21:31:13 Guacamole is the future. 21:31:21 make it well and let it lead the way 21:31:34 I think I'll just ask the person who makes hamburgers to put avocado on the side 21:31:46 guacamole is so much more than just avocado 21:31:48 don't let it fool you 21:32:00 zzo38: so basically _many_ people have been wanting this for years, but it keeps being put off for a combination of backwards compatibility and technical reasons. 21:32:08 I'm not even a huge fan of avocado on its own 21:32:18 but combining it with spices, lime, onion, chunks of tomato, and so on 21:32:24 is a mouthgasm 21:32:45 as in, no one has managed to make a solution that keeps backwards compatibility without subtle technical issues 21:33:11 Do we need to care about backwards compatibility? Look at what the GHC people did with Num 21:33:32 -!- nooodl has quit (Read error: Connection reset by peer). 21:33:58 Yes, there are compatibility reasons. 21:33:59 Just have the GHC people say "In 6 months, Applicative will be a superclass of Monad. If this breaks your code, on your head be it" 21:34:02 -!- nooodl has joined. 21:35:05 i love guacamole 21:35:12 I do have a solution but it requires making an entirely new programming language, mostly, and then having something to convert programs to combine modules if needed, possibly. 21:35:13 imo it's a monoid 21:35:38 zzo38, that sounds a tad overkill 21:35:46 Taneb: well that _does_ give a precedent. 21:36:09 I also don't want Applicative to be a superclass even though I do want all Monad to automatically be Applicative, but using another mechanism (I can think of it, though); mathematically, Applicative is not a superclass of Monad. 21:36:30 zzo38: um yes it is? 21:36:59 as much as Functor is. 21:37:40 (<*>) = ap and pure = return work just as well as fmap = liftM 21:37:42 oerjan: No it isn't! The feature of the (->) category just happens to be that all monads on (->) are applicative. So this is a different kind of property than a superclass, I think. 21:38:16 zzo38: well Monad is just -> monads. 21:38:52 in a more general category, even >>= doesn't belong in the monad class. 21:39:09 -> 21:39:11 oerjan: I agree that >>= doesn't belong; return, join, and =<< belong, but not >>= 21:40:24 Well, since there isn't another feature to do this, it could be a superclass, but then, there are a lot of other classes that want to do this and making them all superclasses when the programs aren't would confuse everything, which is why I think there ought to be another feature that can also do this too. 21:40:40 what other monads are there, next to (->) 21:41:11 (Possibly, like superclasses, but defined the other way around, I guess) 21:43:48 nooodl: ? 21:43:57 zzo38: well Monad is just -> monads. 21:44:05 are there "non-(->) moands" 21:44:07 -!- Koen_ has joined. 21:44:10 *monads 21:44:28 nooodl: There are monads in categories other than (->) 21:44:30 nooodl: There are monads on other categories. By -> monads it means monads on the (->) category 21:45:31 Are there monads on, eg, the Kleisli Maybe category 21:45:33 All categories have a Identity monad, and all categories with a final object have a Finalize monad for each final object it has, but other than that they have different monads 21:45:35 And what would they look like 21:46:48 why can't we travel through time but why do we want to anyway? 21:47:32 why is not moving traveling forward at one second per second enough 21:47:34 help 21:47:38 :'( 21:48:02 Koen_, we want control 21:48:09 We want to forsee, we want to change 21:48:15 please don't control me I like freedom 21:48:28 Of time, not of eachother 21:48:29 Well 21:48:32 Each other also 21:48:39 But for this purpose, only time 21:48:42 (unless you wearing high heels in that case control is ok) 21:49:15 Taneb: but you can change even without traveling through time right? 21:49:27 How would you recognize it as change? 21:49:31 though history tends to show politics are very very very very slow to evolve 21:49:40 It is, as far as you can tell, what would have happened anyway 21:49:44 The alpha timeline 21:49:47 Taneb: hmm well for instance my hair look different than last year 21:49:52 oh right 21:50:11 Also, I don't have any high heels that fit, but I'm pretty tall 21:50:13 so you're an alternate timelines partisan then 21:50:21 yeah that's been a problem to me too 21:50:28 I think that that's what makes most sense 21:50:57 it does make sense, most shoeshop people told me they had nothing above 45 21:51:02 (european sizing) 21:51:12 (well at least french sizing I don' tknow about europe) 21:51:45 Much as I'd love to discuss time travel and high heels for people with larger feet with you, I have to sleep now 21:51:47 Goodnight 21:51:51 Taneb: so, suppose you travel back in time, change something, then "come back" 21:51:55 where do you come back to? 21:52:01 ok have nice sleep 21:52:19 It would depend on your time machine and if you left a tether or something 21:52:21 I dunno 21:52:22 -!- Taneb has quit (Quit: Leaving). 21:52:28 it wouldn't make much sense to come "back" to the new timeline 21:52:36 since technically you've probably never left it 21:53:18 I don't think you can travel in time any way other than forward one second per second, *by definition*, but it might be possible to have a strange geometry of spacetime allowing forward in spacetime sometimes to be backwards geometry, maybe 21:53:24 (for instance if you go back in time because you want to "fix" something, in the new timeline in doesn't need fixing any more, thus the you from that new timeline has no incentive to travel back in time 21:54:13 My opinion is that you are all wrong, as far as I can tell. 21:54:14 zzo38: for instance if some people start moving reaaaaaaaaaally fast at relativistic speeds would you say they travel through weird geometry? 21:54:40 -!- carado has quit (Ping timeout: 246 seconds). 21:54:47 Koen_: Even if they do that, it doesn't go backwards or in other directions than it normally does, though. 21:55:25 Such things as warp drives and worm holes and whatever may result in strange connections between spacetime, though, I suppose. 21:56:38 shachaf: are you going to enter in the Underhanded C Contest? 21:57:56 -!- Bike has quit (Ping timeout: 252 seconds). 21:58:25 I wasn't planning on it... Should I? 21:58:28 Are you? 21:58:47 if i have a good idea 21:59:50 -!- Bike has joined. 22:00:43 I have looked at the Underhanded C codes, and find it is not so difficult to see that something is wrong with it, and what is wrong with it. But then, some people have called some of my ordinary C codes obfuscated, even though I don't think so. 22:02:14 kmc: how good at C do you have to be to enter? would you encourage some naive novice to rush in or should I watch from a distance? 22:02:43 Koen_: You have to be at least 14 good at it. 22:03:21 shachaf: I'm afraid that's 17 more than I am 22:04:44 Koen_: i don't know 22:04:48 take a look at some of the past winners 22:04:57 keeping in mind that those are the best submissions and it might still be fun to attempt 22:05:53 maybe I'll try then 22:07:04 thanks 22:07:15 They look like they might seem like correctly to someone who doesn't know how to program a C code, but someone who does know how to program a C code should easily be able to see what went "wrong", as far as I can tell. 22:07:43 C is easy, you just need to think about everything all the time and never make any mistakes 22:07:44 Well the point isn't to make them undetectable, just not trivially detectable, and even then look like an accident, right? 22:08:13 from looking at the past entries, it seems way less about abusing C too much and more about just really creative sneakiness 22:08:21 like bugs that are literally omitting a comma in the right place 22:09:07 speaking of C I'm semi-trying a "low level" lisp implementation for once 22:09:25 my favorite underhanded c code entry is the "censoring an image" one's winner 22:09:25 a closure can just be a function pointer plus a void* array for the closed over values, i think 22:09:44 http://notanumber.net/archives/54/underhanded-c-the-leaky-redaction 22:09:46 it's so good 22:12:09 wow, PPM is simple isn't it 22:12:13 `addquote My opinion is that you are all wrong, as far as I can tell. 22:12:20 1015) My opinion is that you are all wrong, as far as I can tell. 22:15:30 nooodl: i was slightly proud that i saw how it worked without looking at the explanation 22:16:00 Bike: yeah, PPM is nice 22:16:12 you can write a PPM reader / writer in any language in 2 minutes 22:16:15 except malbolge 22:16:24 also there are two variants, binary PPM and ascii PPM 22:16:44 i love ppm 22:17:00 i assume there's a unicode ppm that lets me use ⁰ and such 22:17:04 Hmm, no, it's pgm that i love 22:17:15 I like PBM 22:17:46 shachaf: because it's so easy? 22:17:48 I have written a program in TeX to read ASCII PBM 22:18:05 PNM is a fairly nice format. 22:18:15 kmc: It's true that i love it, and it's true that it is so easy. 22:18:21 I make no claims about causal relations. 22:20:19 itt relevance logic 22:20:27 zzo38: cool 22:20:29 what for? 22:21:21 TeX doesn't have a command to read arbitrary binary files (the only binary file it can read is TFM), although it can read/write arbitrary ASCII files. 22:21:36 kmc: To include a picture on a page without using specials. 22:22:24 I thought that was obviously? 22:27:29 -!- Bike has quit (Ping timeout: 245 seconds). 22:28:09 it's never obviously with you zzo38 22:28:42 Well, to me it is, anyways. 22:28:53 Maybe to you it isn't. 22:28:56 maybe you had implemented an astrology calculator / Pokémon card game simulator in Plain TeX and wanted to load Pokémon cards as ASCII PBM files 22:29:20 `addquote healthy immune system is a wonderful thing, you gotta take advantage sometimes i eat food off the ground just to keep mine on its toes 22:29:24 1016) healthy immune system is a wonderful thing, you gotta take advantage sometimes i eat food off the ground just to keep mine on its toes 22:29:27 -!- copumpkin has quit (Ping timeout: 252 seconds). 22:29:29 -!- Bike has joined. 22:29:58 -!- copumpkin has joined. 22:29:58 @quote zzo38 22:29:59 zzo38 says: Such as, we try to make something similar to a combination of Haskell, C, BLISS, TeX, WEB, Prolog, INTERCAL, and Magic: the Gathering; and then make it with many things omitted such as 22:29:59 Unicode syntax, layout, do-notation, list comprehensions; and add in macros and stuff, and then make up something new...... 22:30:33 shachaf, is this you? http://wqdb.org/?732 22:30:53 (yes I'm only saying that because of the nick) 22:31:15 (And no I don't think it's really you) 22:31:26 kmc: Implementing ephemeris in TeX would be helpful, but I don't have one and don't really know how. 22:31:33 shachaf doesn't even own a television 22:31:33 It is not me. 22:31:45 kmc speaks the truth. 22:32:21 Got it. So it's GreeN who is shachaf. 22:33:06 -!- SirCmpwn has quit (Excess Flood). 22:33:07 i don't even own a television, but i don't even not own a television either 22:33:20 -!- SirCmpwn has joined. 22:34:10 Do you either odd own a television or odd not own a television? 22:34:17 did you get it off schrodinger 22:35:14 was there a cat inside 22:35:25 What's with Sgeo, anyway? 22:35:34 In some ways I understand Sgeo less than I do zzo38. 22:35:36 shachaf: he's even odder than usual 22:36:06 shachaf, the prior question is what was known as an attempt at humor. 22:36:08 sgeo38 22:36:20 -!- Sgeo has changed nick to sgeo38. 22:36:26 Sgeo: I'm not talking about the prior question. 22:36:31 I"m talking about everything you say. 22:36:33 I don't get it. 22:36:35 maybe sgo38 22:36:52 -!- sgeo38 has changed nick to sgo38. 22:37:04 hm zzo38 did you go to school at Cambridge in the UK? 22:37:15 No 22:37:43 cantabrigians have usernames like [a-z]{3}[0-9]{2} 22:37:46 I went to school at some schools in British Columbia 22:37:52 shachaf, IRC is my primary social life. Does that help? 22:38:02 No. 22:38:06 kmc: Then perhaps it is some coincidence? 22:38:13 yeah 22:38:45 perhapsly 22:39:27 > zipWith ((-)`on`fromEnum)"zzo38" "aaron" 22:39:29 [25,25,-3,-60,-54] 22:39:52 the probability that 5 random characters from [a-z0-9] fit that pattern is 2.91% 22:39:52 > zipWith ((-)`on`fromEnum.toUpper)"zzo38" "aaron" 22:39:54 [25,25,-3,-28,-22] 22:41:10 > zipWith ((-)`on`fromEnum)"ZZO38" "aaron" 22:41:12 [-7,-7,-35,-60,-54] 22:41:18 -!- monqy has quit (Quit: hello). 22:41:46 > zipWith ((-)`on`fromEnum)"ZZo38" "aarON" 22:41:48 [-7,-7,-3,-28,-22] 22:42:12 iirc there was a chronojournal entry about the origin of zzo38 22:42:18 it involved 22:42:20 zzt 22:42:27 and the digits 3 and 8 22:42:27 hth 22:42:31 hth38 22:42:33 Hm. What's my favorite two-digit number. 22:42:38 65 22:42:41 tswett: 00 22:42:44 Yeah, 64 for sure. 22:42:46 zzt was some system or other, no? 22:42:48 Phantom_Hoover: hm. 22:42:51 2^3 = 8, coincidence? i think not 22:42:58 zzt is a weird dos game i thought 22:43:00 Yeah, that's a pretty good number. 13*5, isn't it? 22:43:06 it's a dos game/game creation system 22:43:14 Sure, if you do that "multiplication" crud. 22:43:23 which zzo38 has programmed iirc 22:43:26 perhaps 2^3 = 1 22:43:53 I know many things about ZZT; the documentation doesn't mention everything properly but I can figure out many thing by myself 22:43:55 `run python -c 'print 2^3' 22:43:56 1 22:44:02 whoa 22:44:32 So I think I know why the #DIE command sometimes causes other pieces to move 22:44:33 hm 22:44:35 -!- nooga has quit (Ping timeout: 245 seconds). 22:44:49 `run python -c 'print (2 ** 3) % 7' 22:44:51 1 22:45:05 kmc: of course it's not a coincidence 22:45:09 it might be a coïncidence 22:45:17 coin cidence 22:45:23 i should pronounce it like 22:45:27 co-incidence 22:45:29 just for the hell of it 22:45:39 Isn't that how it's pronounced? 22:45:46 quinsidense 22:45:50 coincide-ence 22:45:51 What? 22:45:56 No it's not. 22:46:14 quinkadink 22:46:22 coin sidens 22:47:36 Using a debugger I have managed to copy the table storing the properties of all of the pieces, and formatted it and print it out, and now I can understand what all of that means; most things I did not need a debugger to figure out though. 22:49:58 Other people have helped a few things such as figuring out the format of the music in the executable file, though. 22:50:17 My method is the scientific method to figure out all of these things. 22:50:52 i register both "co incidence" and "quincidence" as correct 22:50:57 one day I should learn IPA 22:51:18 then i can talk about voiced medial post-alevolar fricatives or whatever 22:51:45 I thought IPA was separate from all those fancy names for sounds 22:51:45 fictional frictional fricatives 22:51:52 ok fine 22:51:59 i need to learn the names of sounds and then how to represent them in IPA 22:52:43 well, it has a character for each phoneme. good enough for me 22:53:06 I have once made up a set of symbols that overlap so one means voiced, one is medial, one is post-alevolar, one is fricatives, whatever, one for consonants and one for vowels (which works differently), rather than using letters of the alphabet like IPA use 22:53:10 Anyway I think I mostly meant a change in stress. Making the "co" very distinct. 22:53:25 but even IPA is only an approximation of the actual sounds, and many sounds that have the same IPA symbol may not sound the same 22:53:30 zzo38: that sounds like it could be better 22:53:58 I think that's how Hangul works. 22:54:11 olsner: well yeah, it's phonemes, not sounds. 22:54:16 kmc, the actual names of sounds are fairly easy to learn 22:54:22 kmc: Yes, I know that is what I think better too 22:54:31 That is why I did it. 22:57:01 Also, it's Ig Noble. <-- no it's Ig Nobel hth 22:57:07 Coincide, the killing of coins. 23:05:43 -!- FreeFull has quit (Ping timeout: 246 seconds). 23:06:28 -!- FreeFull has joined. 23:16:59 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 23:24:39 -!- Mathnerd626 has joined. 23:31:24 I think Esoteric Verilog is more than Turing complete 23:35:58 I'm hungry 23:36:05 But I have things I need to do 23:39:39 -!- augur has quit (Remote host closed the connection). 23:53:51 -!- Nisstyre-laptop has changed nick to Nisstyre. 23:55:34 `run echo hello | iconv -t baudot 23:55:36 iconv: conversion to `baudot' is not supported \ Try `iconv --help' or `iconv --usage' for more information. 23:55:38 :( 23:56:37 oh that's where "baud" is from neat 23:57:18 they're named after the same person yeah 23:57:50 why is there no unit named the shannon :/