00:00:05 it's kind of interesting to see how like, game memory usages seem to have stopped growing at around ~2GB for the past few years 00:00:10 When you're used to a development cycle of constantly trying the program, seeing it work or not work, fixing and restarting, it could be annoying 00:00:14 One of the factors begins with 645041. 00:00:17 isn't that because of console memory limitations 00:00:34 Also, at least one of the factors ends with 1, 3, 7, or 9. 00:00:55 HEY HOW DID YOU KNOW THAT WAS MY NUMBER 00:01:12 (i can't say it's entirely a bad thing, i've heard stories about pc gaming in the early 2000s) 00:01:34 Phantom_Hoover: yeah but like, I'm thinking of PC games mostly and I notice they all run 32-bit binaries <.< 00:01:37 and cap out at 2GB or so 00:01:56 -!- epicmonkey has quit (Ping timeout: 260 seconds). 00:02:00 ... does... does knowing the first digits of a factor actually help any factoring algorithms? 00:02:17 Trial division. 00:02:27 "the best algorithm" 00:02:36 I'm pretty sure there's no small prime factors though 00:02:42 I mean, after running this much ECM on it 00:02:58 I would advise you not to try to factor it. 00:03:06 why not :< 00:03:22 Because it's extremely unlikely to work, if I've done my homework correctly. 00:03:28 I guess I might have done my homework incorrectly. 00:03:33 that's what the other 7 cores doing the general number field sieve are for! 00:03:42 The number you're trying to factor is 35 844 088 ... 908 841, right? 00:03:45 eighth core is otome games 00:03:50 yess~~ 00:03:59 Bike: is eighth, like, a helpful eight 00:04:06 yes 00:04:19 If you wish to learn what the factors are, I suggest bribing me. 00:04:22 ECM says it'll take about 8000 curves to catch an 80-digit factor, though I'm guessing it's the worst case and they're both 100 digits 00:04:31 wow that's actually how you spell eighth. weird 00:04:42 gj 00:05:06 How did you think it’s spelled? 00:05:09 Yup, looks like they're both 100 digits. 00:05:27 did you generate them or something with like a probable prime thing? 00:05:41 Fiora is going to be driven by obsession to factoring them and will accidentally break all standard encryption algorithms in the process 00:05:47 lol yes 00:05:48 geez I'm just playing around -_- 00:05:50 There's some large prime number generator online. 00:05:52 I used that. 00:05:53 Fiora: how long does it take to factor 8616460799 00:05:53 I have no idea how the actual math works 00:06:00 that's why it'll be an accident! 00:06:26 fiora driven by obsession to understand what all this type theory crap is, accidentally proves ZFC inconsistent 00:06:31 Then I used some ECM applet to test whether or not one of them was prime. 00:06:33 I'm not that good okay ._. 00:06:40 It said that yes, it's prime. 00:06:48 Then I tried to test the other one, but it wouldn't work. 00:06:51 Bike: I think using gnfs to factor that would be like using a nuclear weapon to sterilize a needle 00:07:22 `addquote Fiora: how long does it take to factor 8616460799 Bike: I think using gnfs to factor that would be like using a nuclear weapon to sterilize a needle 00:07:26 yea you'll probably have to use millicycles as your unit 00:07:27 1063) Fiora: how long does it take to factor 8616460799 Bike: I think using gnfs to factor that would be like using a nuclear weapon to sterilize a needle 00:07:28 nonetheless 00:07:39 also now i want to sterilize a needle like that 00:07:42 I think the constant factor in gnfs is atrociously awfully terribly bad 00:07:45 i mean. standard procedure is already alcohol fire 00:08:17 (you all know The 8616460799 Story i hope) 00:08:24 what story 00:08:35 The 8616460799 Story, hth. 00:08:38 Weren't you listening? 00:08:55 8616460799 00:08:59 what 00:09:03 http://mathworld.wolfram.com/JevonsNumber.html 00:09:19 oh. jevons... huh 00:09:34 "This became known as Jevons' Number and was factored by Derrick Norman Lehmer in 1903[13] and later on a pocket calculator by Solomon W. Golomb.[14]" hah. 00:09:44 did he tell people to fuck off if they asked what the factors are 00:09:48 "no. I'm taking this to the grave" 00:09:57 ... lehmer. golomb 00:10:04 Trial division. <-- i think it can also help that algorithm i vaguely recall based on x^2 - y^2 = (x+y)(x-y) 00:10:05 is that... Lucas-Lehmer Lehmer? and Golomb code Golomb? 00:10:22 (which is particularly good when the factors are _close_) 00:10:31 quadratic sieve? 00:10:57 Fiora: golomb yes, lehmer no 00:11:10 oh, that's the guy who wrote the coal thing. 00:11:11 the lehmer you're thinking of is the son of the lehmer here. 00:11:15 @_@ 00:11:20 -!- dvorakbot has joined. 00:11:24 1903 was a long time ago, dude! 00:11:27 $u - 00:11:27 U+002D HYPHEN-MINUS (-) 00:11:32 like, twenty years at least 00:11:40 Oh, that's a nice feature. 00:11:42 also drowned? 00:11:57 Fiora: no it's Lucas–Lehmer hth 00:12:00 also invented economics or whatever. 00:12:02 $u – 00:12:02 U+2013 EN DASH (–) 00:12:23 economics more like stupidomics 00:12:33 Wait. "Published factorizations include those by Lehmer (1903) and Golomb (1996)." So how many different published factorizations are there? 00:12:38 is the coal thing known elliott 00:12:46 tswett: i think it kind of loses its novelty after a while. 00:12:55 I can think of eight ways of factoring it into integers alone! 00:12:57 tswett: It's also "published" in taocp2, though. 00:13:18 people sometimes use it as an example now, because jevons was kind of amusingly wrong. 00:13:33 So how can you factor 8616460799 using a pocket calculator? 00:13:57 pretty easy on a TI. 00:14:02 Bike: the coal thing, you know. 00:14:05 Žerovnik, J. "The RSA Cryptosystem in 1873." Obzornik Mat. Fiz. 43, 116-118, 1996. <-- i think i have to check this one out. 00:14:08 How about on an EL-5806S? 00:14:11 elliott: well i mean is it like well known. 00:14:15 tswett: i hope that's an asteroid 00:14:23 Bike: well I know about it. I read the Wikipedia article once 00:14:27 whoa 00:14:30 Yes, I use an asteroid as a pocket calculator. 00:14:36 Yes. 00:14:46 what's the coal thing 00:15:10 @google "The Coal Question" 00:15:10 tswett: isn't lucas-lehmer only for mersenne primes though? 00:15:11 http://en.wikipedia.org/wiki/The_Coal_Question 00:15:11 Title: The Coal Question - Wikipedia, the free encyclopedia 00:15:20 Fiora: I dunno. 00:15:29 $u ꙮ 00:15:29 U+A66E CYRILLIC LETTER MULTIOCULAR O (ꙮ) 00:15:36 and it's a primarily test, not a factoring thing, I thought... 00:15:37 hi dvorakbot 00:15:37 Hey kmc! 00:15:40 Phantom_Hoover: he was all like "WHOA, GUYS, peak oil" in the 1800s 00:15:42 :O 00:15:44 $help 00:15:55 http://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test ? 00:16:23 "s'il vous plaît"? 00:16:28 > text "$u $" 00:16:29 $u $ 00:16:35 dvorakbot: come on, you were supposed to respond to that. 00:16:37 > text "hi dvorakbot" 00:16:38 hi dvorakbot 00:17:02 Most of the commands can only occur at the beginning of a line. 00:17:08 Lemme look for exceptions. 00:17:30 > text "dvorakbot, help" 00:17:31 dvorakbot, help 00:17:43 dvorakbot: help 00:17:43 tswett: Hi, I'm a bot. Say ".commands" to me in private for a list of my commands, or see http://inamidst.com/phenny/ for more general details. My owner is tswett. 00:17:46 Ooh. 00:17:51 $commands 00:18:14 Uh, that ought to be working. 00:18:16 $beats 00:18:16 @054 00:18:16 Unknown command, try @list 00:18:22 ^_^ 00:18:24 @beats 00:18:24 Unknown command, try @list 00:18:27 Er. 00:18:27 $beats 00:18:28 @054 00:18:28 Unknown command, try @list 00:18:32 elliott: http://papers.snaffbox.org/php/main/index.php you should tell me if this sucks. thx in advance 00:18:47 $at 00:18:47 tswett: Sorry, didn't understand the time spec. 00:19:20 Bike: looks a bit unpolished 00:19:37 $at now 00:19:37 tswett: Sorry, didn't understand the time spec. 00:19:43 Not sure what that's supposed to do. 00:19:52 $stats 00:19:52 most used commands: u (3), beats (2), at (2), help (1), hello (1), commands (1) 00:19:53 power users: tswett (8), kmc (2) 00:19:54 power channels: #esoteric (10) 00:19:57 fuck yeah 00:20:00 $u fuck yeah 00:20:00 kmc: Sorry, no results for 'fuck yeah'. 00:20:06 Congrats on being a power user. 00:20:16 Also, lemme turn on the Dvorak commands. 00:20:17 $u ǟ 00:20:17 U+01DF LATIN SMALL LETTER A WITH DIAERESIS AND MACRON (ǟ) 00:20:20 $u $ 00:20:20 U+0024 DOLLAR SIGN ($) 00:20:24 -!- dvorakbot has quit (Remote host closed the connection). 00:20:29 bye 00:20:34 rip 00:20:45 dvorakbot is dead, never to return. 00:21:00 this paper apparently doesn't exist 00:21:02 Let us celebrate the life of him/her/it/em. 00:21:02 disappointing 00:21:07 -!- dvorakbot has joined. 00:21:16 dvorakbot, you were always such a good friend to us. 00:22:07 Hey, who wants to be a card? 00:22:27 Ooh, I wonder what $val and $ngc do. 00:22:27 $val 00:22:28 tswett: Nothing to validate. 00:22:36 $ngc 00:22:37 tswett: No query term. 00:22:44 $val http://en.wikipedia.org/ 00:22:45 tswett: http://en.wikipedia.org/ is Abort 00:22:53 :? 00:23:08 * tswett shrugs. 00:23:44 $newcard kmc 00:23:44 Card 1: kmc 00:23:46 $val mother of monsters 00:23:47 Bike: http://mother is Abort 00:23:53 oh. 00:23:54 kmc: congratulations, you're Card 1. 00:23:59 $val google.com 00:24:01 Bike: http://google.com is Abort 00:24:16 $val w3.org 00:24:17 Bike: http://w3.org is Valid 00:24:26 -!- sprocklem has quit (Remote host closed the connection). 00:24:41 $tock 00:24:42 "Thu, 27 Jun 2013 00:24:41 GMT" - tycho.usno.navy.mil 00:25:25 Don't have too much fun. 00:25:41 Unless you're in #dvorak-game. 00:25:46 $val elliott 00:25:47 ion: http://elliott is Abort 00:25:54 elliott: FYI, HTH. 00:26:39 thanks 00:26:57 $val oerjan.nvg.org 00:26:59 oerjan: http://oerjan.nvg.org is Invalid (1 error) 00:27:05 NOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO 00:27:07 oh no 00:30:01 what is this dvorak game 00:30:04 and what's the only winning move 00:30:59 Not to play? 00:33:17 * Phantom_Hoover rewatches the thick of it 00:33:29 they really were great at writing meaningless political bullshit 00:33:50 kmc: the only winning move is AOEUIDHTNS 00:33:51 season 2 of Veep just ended 00:37:11 -!- dessos has joined. 00:46:51 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:46:57 -!- DH____ has joined. 00:53:11 kmc, is veep as good 00:55:15 can't compare, but it's very good 00:55:25 i mean it's hard to compare the two 00:55:52 how do they compare to yes minister 01:05:14 -!- Koen_ has quit (Quit: Koen_). 01:41:16 http://www.mattcutts.com/blog/seo-email/ oh geez XD 01:42:32 -!- elliott has quit (Remote host closed the connection). 01:42:32 -!- lambdabot has quit (Remote host closed the connection). 01:42:39 haha 01:43:25 -!- DH____ has quit (Read error: Connection reset by peer). 01:43:30 -!- DHeadshot has joined. 01:46:07 Fiora: Google could use some SEO! 01:46:09 -!- elliott_1 has joined. 01:46:09 http://www.bing.com/search?q=search+engine 01:47:01 -!- elliott_1 has changed nick to elliott. 01:47:04 Wow, not even on the front page of https://encrypted.google.com/search?q=search+engine 01:47:10 elliott_1: who are you and what have you done... darn 01:49:45 -!- kappabot has joined. 01:49:48 @admin + elliott 01:49:51 @admin + oerjan 01:50:26 lambdabot already reconnected. 01:50:34 Oh. 01:50:40 Not when I sent a /msg. 01:50:54 i see no lambdabot 01:51:04 checkmate 01:52:50 oerjan: it joins slowly 01:53:00 -!- lambdabot has joined. 01:53:20 slithering through the channels 01:58:07 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 02:14:32 http://blog.wolfram.com/2013/06/26/is-there-any-point-to-the-12-times-table/ this is cool + totally unnecessary 02:15:47 I can't do mental multiplication at all 02:16:58 elliott: i bet you learned the × table all the way to 2!! 02:17:12 (Take that, factorial jokesters.) 02:24:45 -!- oerjan has quit (Quit: Gnyte). 02:33:36 -!- Lymia has joined. 02:51:34 any of you guys possibly know of a mathematical study of tower defense type games? 02:52:03 in what respect 02:52:56 well 02:53:05 there is a maximum amount of damage you are capable of inflicting at any point 02:53:15 a maximum amount of resources you are able to have acquired 02:53:16 etc. 02:55:21 how about "Mathematical methods of organizing and planning production", kantorovich 02:55:45 :o 02:55:47 will check it out 02:59:48 interesting, will have to read in more depth 02:59:56 http://i.crackedcdn.com/phpimages/quickfix/1/9/4/188194.jpg?v=2 dark secrets of the NSA 03:25:51 http://preview.reuters.com/2013/6/12/exclusive-snowden-as-a-teen-online-anime-and-1 i'm gonna die. 03:27:44 oh my god. 03:28:25 Reuters viewed the website on Tuesday and contacted former company employees for comment. On Wednesday, the website had been taken down. 03:29:16 presidential elections in ~20 years will be pretty amazing 03:29:27 all the candidates will have embarrassed themselves terribly on like, facebook and stuff as kids 03:29:35 they might even have, like, a deviantart 03:29:41 where they drew sonic fanart 03:30:35 gotta go fast, a slogan for the future 03:32:46 "I stand by my motto today, as I did then" 03:32:54 "we gotta go fast, towards the future." 03:34:46 "and thirdly, tifa would TOTALLY do aeris. no further questions" 03:53:11 http://www.markturner.net/2010/05/09/the-compelled-certificate-creation-attack/ this attack was worth people writing a paper about it? 03:53:53 Oh "We reveal alarming ev- 03:53:54 idence that suggests that this attack is in ac- 03:53:54 tive use." 03:53:54 Woah 03:57:25 "Thus, any web browser that depends upon Mi- 03:57:25 crosoft's Trusted Root Store (such as Internet Ex- 03:57:25 plorer, Chrome and Safari for Windows) ultimately 03:57:25 trusts 264 dierent CAs to issue certicates without 03:57:25 warning, although only a handful of them are listed 03:57:25 in the operating system's user interface." 04:05:23 -!- Bike has quit (Ping timeout: 240 seconds). 04:15:55 -!- Bike has joined. 04:18:48 -!- sprocklem has joined. 04:22:51 -!- sprocklem has quit (Remote host closed the connection). 04:23:36 -!- sprocklem has joined. 04:31:15 -!- conehead has quit (Quit: Computer has gone to sleep.). 04:33:40 what's with #haskell 04:40:50 -!- conehead has joined. 05:13:16 what now 05:14:00 nothing it's passed 05:14:16 k 05:14:28 https://sphotos-a.xx.fbcdn.net/hphotos-prn1/1011817_10100526803867865_340272139_n.jpg SF city hall 05:14:38 well there may be "long term crises""" going on but we'll see about that 05:14:55 city hall more like pretty hall 05:20:42 City hall more like Crayola box hall. 05:27:12 http://en.wikipedia.org/wiki/Action_Park new england is weird 05:27:31 https plz 05:27:56 https://en.wikipedia.org/wiki/Action_Park shachaf is weird 05:28:04 thx hth 05:34:16 -!- NihilistDandy has joined. 05:45:56 Bike: new jersey \not\in new england 05:46:56 jersey ∉ england, either 05:46:57 it works out 05:47:41 ↑ 05:49:54 Action Park Shachaf 05:52:49 Bike: wht about it 05:54:31 it's weird 06:17:00 -!- FreeFull has quit. 06:36:17 -!- printfn has joined. 06:36:43 !bfjoust 06:36:43 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 06:54:15 Bike: the Tank Ride sounds fucking awesome though 06:54:53 true 06:59:15 "Employees at the park used to like eating at a nearby snack bar with a good view of [Surf Hill], since it was almost guaranteed that they could see some serious injuries, lost bikini tops, or both" 07:02:00 -!- DHeadshot has quit (Read error: Connection reset by peer). 07:02:05 -!- DH____ has joined. 07:19:30 -!- mnoqy has joined. 07:27:27 mnoqy: how's mac lane going 07:30:47 -!- sprocklem has quit (Ping timeout: 246 seconds). 07:35:08 -!- conehead has quit (*.net *.split). 07:35:08 -!- augur has quit (*.net *.split). 07:35:09 -!- Nisstyre has quit (*.net *.split). 07:35:09 -!- Vorpal has quit (*.net *.split). 07:35:09 -!- pikhq_ has quit (*.net *.split). 07:35:09 -!- jix has quit (*.net *.split). 07:35:09 -!- kmc has quit (*.net *.split). 07:35:10 -!- Gracenotes has quit (*.net *.split). 07:35:10 -!- Bike has quit (*.net *.split). 07:35:10 -!- elliott has quit (*.net *.split). 07:35:10 -!- TeruFSX has quit (*.net *.split). 07:35:10 -!- oklopol has quit (*.net *.split). 07:35:10 -!- Sgeo has quit (*.net *.split). 07:35:10 -!- SirCmpwn has quit (*.net *.split). 07:35:10 -!- olsner has quit (*.net *.split). 07:35:10 -!- nortti has quit (*.net *.split). 07:35:10 -!- ggherdov has quit (*.net *.split). 07:35:11 -!- aloril has quit (*.net *.split). 07:35:11 -!- tswett has quit (*.net *.split). 07:35:11 -!- dessos has quit (*.net *.split). 07:35:11 -!- sebbu has quit (*.net *.split). 07:35:12 -!- hogeyui has quit (*.net *.split). 07:35:12 -!- HackEgo has quit (*.net *.split). 07:35:12 -!- Deewiant has quit (*.net *.split). 07:35:12 -!- lexande has quit (*.net *.split). 07:35:13 -!- Frooxius has quit (*.net *.split). 07:35:13 -!- `^_^v has quit (*.net *.split). 07:35:13 -!- fizzie has quit (*.net *.split). 07:35:13 -!- DH____ has quit (*.net *.split). 07:35:13 -!- printfn has quit (*.net *.split). 07:35:13 -!- kappabot has quit (*.net *.split). 07:35:13 -!- lambdabot has quit (*.net *.split). 07:35:14 -!- Gregor has quit (*.net *.split). 07:35:14 -!- quintopia has quit (*.net *.split). 07:35:14 -!- clog has quit (*.net *.split). 07:35:14 -!- mnoqy has quit (*.net *.split). 07:35:14 -!- heroux has quit (*.net *.split). 07:35:15 -!- ion has quit (*.net *.split). 07:35:15 -!- constant has quit (*.net *.split). 07:35:15 -!- jconn has quit (*.net *.split). 07:35:15 -!- glogbackup has quit (*.net *.split). 07:35:15 -!- ineiros has quit (*.net *.split). 07:35:15 -!- NihilistDandy has quit (*.net *.split). 07:35:15 -!- Lymia has quit (*.net *.split). 07:35:15 -!- sivoais has quit (*.net *.split). 07:35:16 -!- TodPunk has quit (*.net *.split). 07:35:16 -!- Fiora has quit (*.net *.split). 07:35:16 -!- myname has quit (*.net *.split). 07:35:16 -!- coppro has quit (*.net *.split). 07:35:16 -!- Lumpio- has quit (*.net *.split). 07:35:17 -!- myndzi has quit (*.net *.split). 07:35:17 -!- yiyus has quit (*.net *.split). 07:35:17 -!- lifthrasiir has quit (*.net *.split). 07:35:17 -!- tromp_ has quit (*.net *.split). 07:36:12 -!- shachaf has quit (Quit: Reconnecting). 07:37:48 -!- lexande has joined. 07:37:48 -!- shachaf has joined. 07:37:48 -!- hogeyui has joined. 07:37:48 -!- mnoqy has joined. 07:37:48 -!- DH____ has joined. 07:37:48 -!- printfn has joined. 07:37:48 -!- NihilistDandy has joined. 07:37:48 -!- conehead has joined. 07:37:48 -!- Bike has joined. 07:37:48 -!- Lymia has joined. 07:37:48 -!- lambdabot has joined. 07:37:48 -!- kappabot has joined. 07:37:48 -!- elliott has joined. 07:37:48 -!- dessos has joined. 07:37:48 -!- heroux has joined. 07:37:48 -!- Nisstyre has joined. 07:37:48 -!- Vorpal has joined. 07:37:48 -!- aloril has joined. 07:37:48 -!- tswett has joined. 07:37:48 -!- sebbu has joined. 07:37:48 -!- augur has joined. 07:37:48 -!- TeruFSX has joined. 07:37:48 -!- oklopol has joined. 07:37:48 -!- Gregor has joined. 07:37:48 -!- coppro has joined. 07:37:48 -!- ion has joined. 07:37:48 -!- Lumpio- has joined. 07:37:48 -!- constant has joined. 07:37:48 -!- quintopia has joined. 07:37:48 -!- Frooxius has joined. 07:37:48 -!- Sgeo has joined. 07:37:48 -!- TodPunk has joined. 07:37:48 -!- SirCmpwn has joined. 07:37:48 -!- HackEgo has joined. 07:37:48 -!- olsner has joined. 07:37:48 -!- pikhq_ has joined. 07:37:48 -!- Fiora has joined. 07:37:48 -!- `^_^v has joined. 07:37:48 -!- clog has joined. 07:37:48 -!- myndzi has joined. 07:37:48 -!- Deewiant has joined. 07:37:48 -!- Gracenotes has joined. 07:37:48 -!- kmc has joined. 07:37:48 -!- jix has joined. 07:37:48 -!- nortti has joined. 07:37:48 -!- fizzie has joined. 07:37:48 -!- ?unknown? has set channel mode: +v kmc . 07:37:48 -!- ggherdov has joined. 07:37:48 -!- jconn has joined. 07:37:48 -!- myname has joined. 07:37:48 -!- glogbackup has joined. 07:37:48 -!- yiyus has joined. 07:37:48 -!- lifthrasiir has joined. 07:37:48 -!- tromp_ has joined. 07:37:48 -!- ineiros has joined. 07:51:48 `relcome Freenode 07:51:54 ​Freenode: 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.) 07:53:09 -!- conehead has quit (Quit: Computer has gone to sleep.). 08:17:19 -!- sivoais has quit (Ping timeout: 264 seconds). 08:42:32 -!- sprocklem has joined. 09:02:34 -!- TeruFSX2 has joined. 09:05:24 -!- TeruFSX has quit (Ping timeout: 240 seconds). 09:08:03 -!- epicmonkey has joined. 09:16:58 -!- upgrayeddd has joined. 09:17:38 -!- ssue__ has joined. 09:49:27 -!- DH____ has quit (Ping timeout: 260 seconds). 10:07:26 -!- printfn has quit (Quit: Leaving). 10:18:21 -!- sprocklem has quit (Remote host closed the connection). 10:52:38 -!- yiyus has quit (Ping timeout: 245 seconds). 10:59:06 -!- yiyus has joined. 10:59:36 -!- Koen_ has joined. 11:04:58 -!- Yonkie has quit. 11:28:02 -!- Taneb has joined. 11:37:44 -!- yiyus has quit (Read error: Operation timed out). 11:45:55 -!- yiyus has joined. 11:50:35 -!- Taneb has quit (Quit: Leaving). 12:01:23 -!- Taneb has joined. 12:07:50 -!- itsy has changed nick to John_Metcalf. 12:11:56 -!- Taneb has quit (Read error: Connection reset by peer). 12:18:39 -!- sacje has quit (Quit: sacje). 12:25:00 -!- Taneb has joined. 12:43:46 -!- oklopol has quit (Read error: Connection reset by peer). 12:44:03 -!- oklopol has joined. 12:49:24 -!- myname has quit (Read error: Operation timed out). 12:50:32 -!- Fiora has quit (Read error: Operation timed out). 12:53:11 -!- myname has joined. 12:53:53 -!- Fiora has joined. 13:11:56 Help I was just sarcastic on Facebook and now I feel bad 13:14:04 Taneb: stop feeling bad hth 13:14:12 Okay! 13:14:15 Thanks, shachaf 13:14:18 That did help. 13:14:26 that'll be $5,000 hth 13:14:47 (if you don't pay you'll feel bad about not paying me) 13:15:22 I'm sorry, I can't hear you over the sound of how not bad I feel 13:15:50 looks like i overdid it "oops" 13:21:37 Taneb: How's `olist going? 13:21:54 Taneb: Does thread count matter? 13:51:04 Dear god I have 14 channels on autojoin on this server alon! 13:51:05 e 13:53:52 -!- sacje has joined. 13:58:18 wtf I only have 11 channels 13:58:22 where the hell are you 14:04:28 ##fiora, #0x10c-dev, #0x10c-galaxy, #agda, #esoteric, #esoteric-minecraft, #happs, #haskell, #haskell-lens, #haskell-web, #pbsideachannel, #snapframework, #yesod 14:04:49 #dwarffortress 14:06:16 Taneb: You should turn channel hiding off! 14:06:52 I'm... 14:06:54 not sure how 14:08:19 why the hell are you in #happs 14:08:27 Taneb: Uh, maybe it's mode -i? 14:08:33 correction why the hell are you in half of those 14:08:46 elliott, when I am bored I like to throw Haskell web frameworks at eachother 14:09:04 That accounts for 4 14:10:47 OK, uh, it's not -i. 14:15:31 Taneb: Or maybe it is! 14:15:37 Taneb: Try /mode Taneb -i 14:15:47 Okay 14:15:55 Yay, it worked. 14:16:04 Now everyone can see your full channel list. 14:16:11 One day you'll grow up to be ski. 14:41:25 -!- sebbu has quit (Read error: Connection reset by peer). 14:41:50 -!- sebbu has joined. 15:04:03 Bike: http://www.isg.rhul.ac.uk/tls/biases.pdf http://www.isg.rhul.ac.uk/tls/ geez RC4 keeps getting new attacks 15:05:15 i uh don't even know what that is 15:05:28 the stream cipher! like the one in WEP and stuff that everyone uses 15:05:44 the one that's really fast and isn't very good 15:06:01 oh boy 15:06:08 and like now they finally have an attack that works on RC4 in general 15:06:49 like with WEP it was a problem with badly chosen IVs, not RC4 itself 15:07:31 https://en.wikipedia.org/wiki/CRIME_(security_exploit) <-- ooh. this one is fun too 15:07:50 taking advantage of data compression and chosen-plaintexts to leak information about the information in the rest of the packet 15:08:01 because the data compression tells you "what size is the packet after it gets compressed" 15:08:17 not just 'crime', 'CRIME' 15:09:22 I love the acronyms they make XD 15:09:42 "Why are the attacks called "Lucky Thirteen"? 15:09:46 In Western culture, 13 is considered an unlucky number. However, the fact that the TLS MAC calculation includes 13 bytes of header information (5 bytes of TLS header plus 8 bytes of TLS sequence number) 15:09:50 is, in part, what makes the attacks possible. So, in the context of our attacks, 13 is lucky - from the attacker's perspective at least. This is what passes for humour amongst cryptographers." 15:11:22 i'm kind of distracted atm because i found out they can make transparent mouse brains now 15:11:34 transparent... mouse... brains @_@ 15:11:45 yeah 15:11:57 it involves removing all the fat from all the cells and replacing it with a hydrogel mesh 15:12:02 apparently that's a thing we can do?! 15:12:27 and that... won't... kill it? 15:13:30 oh, no, i'm pretty sure it's dead. but you don't need to slice it up and also it looks sci-fi as hell http://www.youtube.com/watch?v=zBeuxiAif9E 15:13:57 you can trace individual neural projections and stuff 15:14:19 the same guy invented optogenetics, so, i hope he gets his nobel soon 15:14:37 awww. transparent living mouse brains would have been a cool thing 15:15:19 yeah 15:15:30 it's still really weird seeing like a photo of a transparent mouse brain 15:15:39 since you can... see through it 15:16:19 «Dr. Chung said the hydrogel forms a kind of mesh that permeates the brain and connects to most of the molecules, but not to the lipids, which include fats and some other substances. The brain is then put in a soapy solution and an electric current is applied, which drives the solution through the brain, washing out the lipids. Once they are out, the brain is transparent, and its biochemistry is intact, so it may be infused with chemicals, lik 15:16:56 «On his laboratory bench, he said, “I have a transparent liver, lungs and heart.”» possibly a wizard? 15:16:56 cuts off at "infused with chemicals, lik" 15:17:14 Once they are out, the brain is transparent, and its biochemistry is intact, so it may be infused with chemicals, like antibody molecules that also have a dye attached, that show fine details of its structure and previous activity. 15:17:43 mm mm mm 15:22:05 "infused with chemicals" sounds like some strange alternate-reality marketing copy 15:22:47 infused with a variety of powerful chemicals, Shampoo Tox will make your hair softer, silkier, and atomized" 15:28:26 Infused with a variety of powerful magicks. 15:28:40 chemickals 15:28:50 ckemickal? 15:29:06 chemykals 15:33:20 -!- epicmonkey has quit (Ping timeout: 256 seconds). 15:35:41 -!- Taneb has quit (Quit: Leaving). 15:46:16 -!- augur has quit (Remote host closed the connection). 15:48:25 -!- Frooxius has quit (Read error: Connection reset by peer). 15:48:29 -!- Frooxius_ has joined. 16:29:57 -!- augur has joined. 17:06:44 -!- TeruFSX2 has quit (Read error: Connection reset by peer). 17:07:09 -!- TeruFSX2 has joined. 17:23:02 -!- MindlessDrone has joined. 17:42:49 -!- TeruFSX2 has quit (Read error: Connection reset by peer). 17:43:18 -!- TeruFSX2 has joined. 18:04:36 http://www.bestdesigntuts.com/top-php-misconceptions-to-avoid 18:05:03 'But why would you want it to be secure by default, why not write a secure code for it... If you compare it with .NET which helps you with security by default, PHP misses out, but if you are a skilled programmer, you don’t really need “help” with security' 18:07:42 yes 18:08:03 (????????????what) 18:10:15 kmc you are almost as much of a masochist as me 18:16:44 -!- atrapado has joined. 18:17:14 true 18:18:19 this is double funny because if you code in C to show how h4rdc0re you are, it will at least impress people 18:18:29 but if you do the same with PHP they will just laugh at you 18:19:12 sounds like ur aim is hecked 18:21:54 impressed by way of why the hell would you write anything in php 18:28:28 isn't it great how the people who want static types to catch our own mistakes are 'elitists' while the people who say "Real Programmers just don't make mistakes" are the salt of the earth 18:29:09 we really need like a hardcore anti-intellectual PHP programmer in here so kmc has someone to talk to 18:29:34 nah i much prefer arguing with strawmen 18:46:58 http://www.php-qb.net 18:47:54 elliott: I could get my boss in here to keep going on and on about CamelCase like that implementation detail matters 18:48:13 He knows PHP, Zend, and nothing else 18:48:18 While PHP is an excellent language for building complex web application, it imposes certain limitations. 18:48:21 mmmmmh 18:48:46 I'm just going to write overly type hinted PHP to fuck with him 18:49:35 I've already started using array_map and array_reduce all the time to throw him off 18:51:32 Hmm. For some reason, autopano-SIFT is having some trouble finding good keypoints in https://dl.dropboxusercontent.com/u/113389132/Misc/20130627-p1180129.jpg 18:51:43 (Also: photo of the year 2013?) 18:51:59 To the /topic 18:52:42 http://io9.com/5938521/the-ultimate-invention-for-telling-your-coworkers-to-screw-themselves 18:57:23 "you can make [PHP] even more secure if you get a thorough understanding of all its directives" 18:57:33 Yes, because you'll stop using it altogether 18:57:36 haha 18:58:15 i love this attitude where knowing a workaround for a flaw, no matter how awful or tedious, means the flaw doesn't exist in the first place 18:58:24 Yeah, Haskell sucks. I don't have to understand the entire language just to make code that won't explode in my face 19:10:04 -!- Phantom_Hoover has joined. 19:12:45 "lack of operator overloading, etc. can affect the performance of a PHP application" 19:16:08 "there is something called a Command Line Interface and this can be used to ensure that your PHP applications run outside the web server" 19:16:11 WHOA 19:16:18 Command… line… interface? 19:16:33 http://i.imgur.com/CSbWN6z.jpg 19:19:17 ok so this is like the least likely thing 19:19:24 but does anyone use agda with emacs on os x 19:19:30 hm, I have to close an investment account that was opened in 1998, to get monies 19:19:34 if so why do subscripts not show no matter what font i use 19:19:35 seems p. likely, but try #agda? 19:19:38 oh maybe copumpkin does???? 19:19:39 elliott: Yes 19:19:50 kmc: uh I think you'll find that questions are only on topic in #esoteric 19:19:58 I don't know if I can do that. that account is, like, pretty old. it's almost able to get a driving permit in some states. 19:19:59 NihilistDandy: ok great please tell me your subscripts were broken and then you found a way to fix them 19:20:17 I haven't noticed anything particularly broken before. Screenshot? 19:20:31 Gracenotes: that account is 3 years younger than me 8| 19:20:33 I use DejaVu Sans Mono and that always seemed to play nice with it 19:20:37 NihilistDandy: they literally just display as spaces 19:20:43 I mean I could screenshot it but it seems a little pointless 19:20:52 where do you get your emacs / what version is it? 19:21:21 I brew install emacs --cocoa --srgb --with-gnutls 19:21:28 So I guess 24.3 stable 19:21:36 elliott: I feel like I might get some kind of award if I leave it open for long enough 19:21:41 hmm, I did the same 19:21:48 except maybe without the gnutls part but I doubt that's relevant 19:21:52 or, like, the ultimate negotiating trump card, in some circumstance 19:21:54 I would hope not :D 19:22:50 I don't think finance works like that, though 19:22:53 maybe it's something to do with line height or anything 19:22:55 *or something 19:23:01 Well, let me install Agda again. I recently reformatted and I haven't got everything set up, yet. 19:23:11 alright -- thanks :) 19:23:25 What does M-x describe-face tell you for default? 19:24:33 Inconsolata with nothing particularly interesting-looking in the details -- I do (set-default-font "Inconsolata-16") in my ~/.emacs, but it also happens with every other font I have tried 19:24:37 and all the other unicode works fine 19:25:03 Hmm. Have you customized font-locking at all? 19:25:16 Maybe some option got overwritten by mistake 19:26:16 not beyond that 19:26:34 Also, wow, I just installed Agda after weeks of experimenting with packages from all over the place, and it didn't break once :D 19:35:17 -!- conehead has joined. 19:41:43 NihilistDandy: any luck? 19:42:11 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:42:57 elliott: Yeah, subscripts seem to be working for me 19:43:07 Hmm 19:44:04 http://d.pr/i/LJB9 19:45:42 Also, man, oh man, I need to change the highlighting for Agda 19:45:43 odd... 19:46:06 emacs 24.3.1, you? 19:46:46 Yup 19:47:11 hmph 19:47:45 does it work with other fonts for you? 19:47:48 or just dejavu? 19:47:48 Does the subscript in this file show up? http://d.pr/f/AAji 19:47:52 Hmm, lemme check 19:48:50 NihilistDandy: http://i.imgur.com/c9wmiRf.png 19:48:57 Works for me with inconsolata 19:49:03 Hmm 19:49:12 Well, there's a package I have installed that might help 19:49:49 Try M-x package-install unicode-fonts 19:49:52 Then add (require 'unicode-fonts) 19:49:52 (unicode-fonts-setup) 19:49:54 -!- Bike has quit (Ping timeout: 240 seconds). 19:49:58 To your .emacs 19:50:09 It adds a little startup time, but it might do the trick 19:51:02 That's very odd, though. I can't imagine what would cause that 19:51:23 [No match] for unicode-fonts apparently 19:51:33 btw, the space seems oddly thin 19:51:37 Oh, it might only be on MELPA 19:51:53 what OS X version? 19:51:54 -!- Bike has joined. 19:52:01 10.8.4 here 19:52:09 10.8.4 here, as well 19:52:11 (add-to-list 'package-archives 19:52:11 '("melpa" . "http://melpa.milkbox.net/packages/") t) 19:53:04 Let me try removing that package and maybe I'll be able to reproduce the issue 19:53:09 ok 19:53:32 Aha 19:53:34 There it is 19:53:46 That is apparently the issue 19:53:49 that seems weird, what does that package even do 19:54:15 https://github.com/rolandwalker/unicode-fonts#overview 19:55:01 ok so I guess the problem is i don't have dejavu sans mono 19:55:06 and you were getting all the glyphs substituted from there 19:55:38 Well, I still have DejaVu, now, and my subscripts are gone 19:56:06 maybe symbola or something then?? 19:56:13 thanks for your help, anyway 19:56:18 I have symbola, as well 19:56:21 will see if I can fix it with this 19:56:44 Yeah, I think this is all that's necessary. It's a minor annoyance, but you can switch off fonts to boost startup time 19:57:17 I'm not sure if it's an issue in agda-mode, Emacs, or what. 19:58:07 eh 19:58:07 Warning (initialization): An error occurred while loading `/Users/elliott/.emacs': 19:58:11 Symbol's value as variable is void: package-archives 19:58:13 do I have to do more stuff to set up this package thing 19:58:34 Package is part of Emacs 24, so that should be enough 19:58:51 http://melpa.milkbox.net/#installing 19:59:15 Or like this 19:59:16 (setq package-archives '(("gnu" . "http://elpa.gnu.org/packages/") 19:59:16 ("marmalade" . "http://marmalade-repo.org/packages/") 19:59:16 ("melpa" . "http://melpa.milkbox.net/packages/"))) 19:59:22 http://i.imgur.com/IGQZduF.png exclusive picture of me 19:59:59 http://www.emacswiki.org/emacs/ELPA 20:02:48 Bike, The True HOOHA 20:02:51 so it was you all along 20:02:56 yes 20:03:49 mnoqy: have uyou seen the article that goes witht hat image 20:03:58 bike has a link, it is very good 20:04:01 i havent 20:04:05 i should tho 20:05:02 oh actually you have to set the oven on if you want your pizza to be baked 20:05:08 nobody told me that 20:09:48 -!- FreeFull has joined. 20:09:52 mnoqy: found it on bike's behalf http://www.reuters.com/article/2013/06/12/us-usa-security-snowden-anime-idUSBRE95B14B20130612 20:10:07 Does the NSA care that I follow Al Jazeera on Twitter? 20:10:29 Oh, surprise, Snowden was a fukken nerrrrd 20:10:38 this is good 20:10:39 al jazeera is pretty weaksauce as evil terrists go 20:11:16 it makes up for him supporting ron paul, imo. 20:12:09 Invest in gold, capitalism is a farce hth 20:12:46 statist capitalism* hth 20:13:34 Anyway, elliott, why Agda. Errybody knows Idris is the new hotness 20:13:51 invest in bitcoin, prepare for the singularity 20:14:03 idris is... somewhat unpolished in my experience 20:14:28 for fuck's sake why are you not talking about the actor 20:14:41 idris elba? 20:14:43 he's p. good 20:15:07 he's the guy in luther right 20:15:11 yes 20:15:21 should i watch that 20:15:26 yes 20:15:27 unfortunately that ginger psychopath character put me off 20:15:37 well that depends what kind of shows you like though 20:15:40 i saw like 1½ episodes and i was like "... this is a bit much" 20:16:15 I'm gonna spoil you though superman does not appear in the first season 20:16:36 I only realized after watching it that it was Luther and not Luthor 20:18:22 um 20:18:22 hi 20:20:17 :-D http://i.imgur.com/JYGV1K8.jpg 20:20:32 Koen_, so why did luther keep trusting her that really pissed me off 20:20:51 he really just seemed to be doing it to make him interesting and dark 20:22:07 Phantom_Hoover: he just had to get the violins made 20:23:03 ion: awesome. 20:23:45 Phantom_Hoover: when did he trust her? 20:23:58 he spent half the season trying to protect his family from her 20:24:35 i don't know he seemed weirdly pally 20:24:42 well 20:24:56 "one coffee doesn't make us friends" was wrong apparently 20:25:04 i don't remember but i have this vague recollection that ~feminine wiles~ may have been involved 20:27:31 strangely enough, I can add funds online to this account, but I can't remove any 20:27:54 feminine andrew wiles 20:29:01 kmc: with those sexy elliptic curves? 20:29:13 hope so 20:31:22 "I'd like to find a powersmooth region on *your* elliptic curves" 20:32:06 "is that a pickup line?" "Yeah, here's my two hundred page proof you should find that attractive" 20:33:28 -!- atrapado has quit (Quit: Leaving). 20:34:17 "I think you made an error in your proof... here." 20:36:31 are you meant to point at wiles' penis at this stage 20:37:26 great joke ph (a thumb up) 20:38:33 I... was actually thinking at pointing at somewhere in the math 20:38:51 maybe you don't have what it takes to flirt with the dorkiest mathematician alive 20:39:44 I don't know, good showing so far 20:40:53 also he's married, hth 20:45:02 Bike: before that I'd need to like, have what it takes to flirt with somewhat dorky biomathematicians who hang out in #esoteric 20:47:16 go meta, obviously, they dig that 20:47:17 aha, the metaflirt 20:47:21 fuck you Bike 20:47:29 no 20:47:50 see, that's a failed flirt 20:48:31 but that 20:48:34 that was meta 20:48:35 or 20:48:37 is that the joke >_< 20:48:46 that wasn't meta 20:49:54 oh 20:53:19 NihilistDandy: hmm, I seem to have gotten that package source added but unicode-fonts is still nowhere to be found 20:53:22 emacs is hard. 20:53:46 elliott: M-x package-list-packages should download the list 20:53:58 Or M-x package-initalize or something like that 20:54:48 you know, when people talk about emacs being an OS I doubt what they had in mind was that it needed a package manager 20:54:58 this seems to be working though, yay 20:56:47 Even vim has like 6 competing package managers. At least emacs settled on one 21:10:01 * kmc → airplane → SAN FRANCISCO 21:10:25 good luck! 21:10:33 thanks 21:10:45 remember to keep the plane level 21:11:16 -!- oerjan has joined. 21:11:21 kmc: cya :) 21:11:30 hi kmc 21:11:36 bye kmc 21:11:53 I,I * kmc ✈ SAN FRANCISCO 21:12:07 awesome. 21:12:59 kmc: don't forget the flour in your hare hth 21:15:07 Don't forget the fluoride in your water hth2 21:16:27 http://slbkbs.org/fluids.jpg 21:17:11 is the 'used by nazis' bit serious 21:17:13 NaS is a good musician 21:17:26 i think the nazis did fluoridate water 21:17:36 i mean, they also banned smoking, etc etc 21:17:53 Also, if it causes apathy, who is that sign going to convince? 21:17:55 -!- epicmonkey has joined. 21:17:56 I,I http://tvtropes.org/pmwiki/pmwiki.php/Main/HitlerAteSugar 21:18:04 yes. 21:18:11 why do you keep saying I,I 21:18:20 I,I I,I 21:18:31 Phantom_Hoover: it's an owl 21:18:34 Phantom_Hoover: maybe i like owls 21:18:57 * Bike googles "water fluoridation nazis", which will surely be informative 21:19:00 NihilistDandy: it works!!! thank you 21:19:36 elliott: Nice. I wonder why that happens, all of a sudden. Maybe Emacs 24 handles unicode differently than 23 did 21:20:01 "The Use Of Flouridation For Mass Mind Control - Rense" hm yes. 21:20:26 I hate the water fluoridation nazis. They totally suck. 21:20:30 oh hm duh tmux -c does _not_ actually start tmux 21:20:36 -!- oerjan has quit (Quit: leaving). 21:20:49 -!- oerjan has joined. 21:22:33 oerjan: tmux new cmd # hth 21:22:44 I just run tmux a 21:22:50 my irc-thing command file says: 21:22:52 shachaf: i know, i just assumed -c would be a synonym 21:22:56 #exec tmux new -A -D -s irc 21:22:56 exec tmux attach -d -t irc # old version of tmux; will attach only 21:23:12 because my server's tmux is too told to support new -A :'( 21:23:32 I have (among other things) this in my .tmux.conf: new -d -s0 -nirc 'exec weechat-curses' 21:23:44 tmux a will run that if no tmux session exists. Otherwise it’ll just attach normally. 21:24:04 Should work with old versions, too. 21:25:40 I just tested out a hand-crafted panorama tripod head thing in an *enclosed space* -- and look, no parallax to speak of: https://dl.dropboxusercontent.com/u/113389132/Misc/20130627-p1180115-162-small.jpg -- shame it's pretty much the most boring hotel room. 21:25:47 I also tested it in the fanciest possible place, this concert stage floating on a cliff-enclosed lake in an old molybdenum mine -- except turns out things that float around actually, well, float around, so the fancy rotate-around-the-no-parallax-point rig did absolutely nothing special at all. 21:26:08 fizzie: Cool. Information about the tripod head anywhere? 21:26:22 fizzie: It looks pretty spacious that way, though 21:26:27 oerjan: dtach is much easier to use, hth 21:26:40 Does dtach support multiple windows? 21:26:50 no but my irc client does 21:27:07 What client do you use? 21:27:35 Can you shells, text editors, a torrent client and a log reader in your IRC client? 21:27:38 run 21:27:57 is CLIENTINFO actually a thing 21:28:13 ion: Not really; though it's not terribly exciting, I just more or less followed one of the umpteen guides along the lines of "L-shaped piece of metal bolted to a straight piece of metal". There's a picture of it at https://dl.dropboxusercontent.com/u/113389132/Misc/20130627-panohead.jpg anyway. 21:28:15 ion: no, but my terminal emulator has this handy feature whereby it can open multiple ones 21:28:49 fizzie: Alright, thanks 21:28:57 elliott: Apparently 21:29:08 elliott: And attach to them from elsewhere? 21:29:33 elliott: i think i like tmux thank you very much, also this server doesn't have dtach installed. 21:30:10 ion: my terminals are a mess, why would I want to replicate that mess? :) 21:30:22 Also, molybdenum mine lake concert stage thing: https://dl.dropboxusercontent.com/u/113389132/Misc/20130627-p1180390-437-small.jpg 21:32:13 (The cliff doesn't look terribly impressive after the equirectangular squezzling. 21:32:15 elliott: also my main reason for using tmux is that my network connection is flaky, which makes it much simpler to just have to restart _one_ window, sure? 21:32:17 ) 21:32:42 oerjan: wait you actually use putty for more than irssi? :P 21:33:05 but also, ^Bc _is_ more convenient than opening another putty. 21:33:26 oerjan: but now if you want bold text you have to press ^B twice 21:33:52 elliott: well not _most_ of the time, but i _do_ have my email, webpage and linux in general on the nvg server... 21:34:37 shachaf: fortunately i rarely want that. screen's ^A was much more annoying, since that's what i've bound to go to start of line 21:35:37 elliott: also i use it to do host or whois whenever i want to check out things to ban (inb4 "that's nearly never!") 21:39:45 03:29:16: presidential elections in ~20 years will be pretty amazing 21:39:45 03:29:27: all the candidates will have embarrassed themselves terribly on like, facebook and stuff as kids 21:40:02 oerjan: Yes, that waas my situation too. 21:40:10 oerjan: (Also you can rebind this key if you want.) 21:40:12 i am hoping this kind of process will make people stop caring about such insignificant things 21:40:20 shachaf: i know 21:40:27 NihilistDandy: hah but now \lub shows as a square 21:43:06 -!- epicmonkey has quit (Ping timeout: 256 seconds). 21:43:49 oerjan: You could rebind it in screen if you wanted, too. 21:43:55 but you were too lazy to hth 21:44:43 no i actually rebound it to ^Y in screen, but then i complained about pgup/pgdn not working and people suggested changing to tmux 21:45:09 oh 21:45:17 thanks, people 21:45:17 which actually did nothing to fix the pgup/pgdn issue but people said tmux was better in general 21:45:40 (i fixed that by finding the correct putty setting) 21:46:29 shachaf: also i _first_ rebound it to the mnemonic ^S, with what in afterthought should be obvious hilarious results. 21:51:10 (i _knew_ about xon/xoff, but had somehow got the impression it wasn't usually enabled...) 21:52:39 elliott: Shit, so it does. 21:53:14 \u+ is a box, too 21:54:06 -!- augur has quit (Remote host closed the connection). 21:59:46 I tried to disable xon/xoff, but somehow it still occasionally happens 22:00:00 ^Q fixes everything though 22:02:14 FreeFull: not when you're trying to get an _actual_ ^S through to screen which you are trying to reset without killing it 22:03:23 fortunately i was in a shell window, and found out screen could be controlled remotely 22:07:42 @tell taneb elliott, when I am bored I like to throw Haskell web frameworks at eachother <- you should make partial lenses to convert between snap and yesod hth 22:07:42 Consider it noted. 22:07:42 Consider it noted. 22:07:58 `thanks kappabot 22:08:04 Thanks, kappabot. Thappabot. 22:12:00 -!- Frooxius_ has quit (Ping timeout: 256 seconds). 22:12:24 -!- shachaf has quit (Quit: Reconnecting). 22:12:29 -!- shachaf_ has joined. 22:12:29 -!- shachaf_ has quit (Changing host). 22:12:29 -!- shachaf_ has joined. 22:12:44 -!- shachaf_ has changed nick to shachaf. 22:13:13 how to reconnect in five noisy steps 22:14:52 -!- sprocklem has joined. 22:16:45 Tsakhiagiin Elbegdorj is such a household name 22:16:51 -!- Frooxius has joined. 22:22:13 http://lists.debian.org/debian-devel/2013/06/msg00720.html lol. 22:30:51 huh, that thing shachaf kept bugging everyone about got funded 22:31:01 Phantom_Hoover: p. crazy huh 22:31:18 i know, i was expecting it to fail because shachaf was helping 22:31:26 and there we were thinking it was p. not going to make it 22:31:41 Phantom_Hoover: is the joke "shachaf is incompetent" :'( 22:32:06 no, it's more like you're anticompetent 22:32:30 this sounds like a useful skill 22:32:36 i would use it to my advatnage except, y'know 22:32:49 imo: join the republican party 22:32:50 (I suspect Phantom_Hoover just likes insulting people for some reason.) 22:40:41 elliott: SOLUTION! 22:41:18 -!- epicmonkey has joined. 22:43:33 -!- augur has joined. 22:44:02 -!- augur has quit (Remote host closed the connection). 22:44:09 -!- augur has joined. 22:45:59 how could it not succeed with a cosy name like armikrog 22:47:58 @tell elliott So, it turns out you don't really need all that unicode-fonts nonsense, after all. https://github.com/railwaycat/emacs-mac-port brew rm emacs, then tap and install this one. I used it a few months back when it was less stable, and it's generally nicer than the current Cocoa port. It even works in terminal, mostly. 22:47:58 Consider it noted. 22:47:59 Consider it noted. 22:48:41 kappabot: @quit 22:48:42 -!- kappabot has quit (Quit: requested). 22:49:51 ...i guess technically this means the duplicate messages will annoy people the next time it joins... 22:50:06 heh 22:51:04 NihilistDandy: hi 22:51:20 p. deep response 22:51:40 c. deep indeed 22:52:23 elliott: Anyway, I fixed emacs by getting rid of emacs and getting a different one. And it should also fix it for you 22:52:42 Bonus points because it will actually be nicer in most wayss 22:52:45 *-s 22:53:30 The icon is about a thousand times uglier, but who looks at the dock? 23:14:17 -!- epicmonkey has quit (Ping timeout: 268 seconds). 23:23:08 * oerjan predicts that the ugly icon will drive elliott absolutely bonkers 23:28:46 Not as much as incomplete Unicode coverage in Agda mode will 23:32:00 -!- aloril has quit (Ping timeout: 252 seconds). 23:34:14 hi shachaf 23:34:16 i'm back in #haskell 23:34:22 "big day" 23:34:23 hi kmc 23:34:26 i saw 23:34:52 i thought it was just temporary 23:34:59 I thought you were getting on a plane 23:35:05 it takes a while to get on a plane 23:35:30 departs in 2 hours 25 mins 23:35:34 That's a lot of delay. 23:35:56 eeesh 23:37:02 my flight from Boston to SF is delayed due to fog 23:37:04 how ironic 23:37:16 how will you SFO -> SF 23:37:57 the plane is #haskell 23:37:58 unclear 23:38:17 I'll arrive too late for BART so I'll take SamTrans 292 / 397 23:38:23 unless I arrive really late and BART is running again 23:38:33 or I could be a true mission software jerk and take an Uber 23:38:38 kmc: i like this moving to SF and joining #haskell on the same day 23:38:46 in my head you've been planning this for months 23:38:55 the day everything changes 23:39:03 you could also take one of those shuttles 23:39:11 ? 23:39:16 don't know shuttles 23:39:43 i mean the thing you linked to a while ago when i asked about it 23:39:54 supershuttle.com etc. 23:40:47 oh 23:40:50 those kind of suck 23:40:55 but it's a thought, yeah 23:41:09 depends on where you're going 23:45:25 -!- aloril has joined. 23:46:09 what's bad about those shuttles 23:53:02 Bike: http://arxiv.org/pdf/hep-ph/0609050v1.pdf 23:54:05 shachaf: they are ok in the from-airport direction, I guess 23:54:08 great title 23:54:15 «We consider the 4D effective theory for the light Kaluza-Klein (KK) modes. The heavy KK mode contribution is generally needed to reproduce the correct physical predictions: an equivalence, between the effective theory and the D-dimensional (or geometrical) approach to spontaneous symmetry breaking (SSB), emerges only if the heavy mode contribution is taken into account. This happens even if the heavy mode masses are at the Planck ... 23:54:21 ... scale. In particular, we analyze a 6D Einstein-Maxwell model coupled to a charged scalar and fermions. Moreover, we briefly review non-Abelian and supersymmetric extensions of this theory.» 23:54:25 is this the same one 23:54:26 much slower than a taxi, much more expensive than public transit, but possibly an attractive tradeoff 23:54:28 because: helppppp 23:54:39 in the to-airport direction I've had them show up much later than they said they would 23:54:41 in the other direction you have to show up p. early 23:54:45 yeah 23:55:18 Bike: "In addition, although not conclusively proven, it has long been proposed that the parity violation of the weak interactions was important in producing the essential left-right asymmetry of many organic molecules and of the human body, as reviewed for example in ref.[4]" 23:55:44 oh, http://arxiv.org/abs/hep-ph/0609050 this one? 23:56:06 I thought that was what I linked @_@ 23:56:17 i don't click pdfs usually 23:56:20 oh. 23:56:20 i like to know what it is 23:56:24 sorry 23:56:26 "Since oxygen is an essential element in both water, the universal solvent needed for life, and in each of the four bases forming the DNA code for known living beings, we strongly question the hypothesis that a universe without weak interactions could generate life" weak! 23:56:40 http://www.ncbi.nlm.nih.gov/pubmed/14709773 wow this is a thing in an experimental biology journal 23:57:02 that's a pretty dodgy conclusion 23:57:09 it is 23:57:13 that our biochemistry is the only way to build "living beings" whatever that even means 23:57:14 kmc rejoined #haskell!? 23:57:36 were you not paying attention the last nine times i was gushing about a paper about cyborganisms working better by predicting primates' locomotion decisions 23:57:42 experimental biology is the best, is what i'm saying 23:58:44 -!- sprocklem has quit (Remote host closed the connection). 23:58:54 "Division of Rheumatology, Allergy, and Clinical Immunology" this seems like an odd place to tackle these problems from 23:59:08 lexande joined #esoteric!? 23:59:15 usually people do that before getting in the qdb. 23:59:25 `quote lexande 23:59:27 941) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" 23:59:38 elliott: I did't! 23:59:41 didn't!~ 23:59:43 and then you have two problems? 23:59:45 `quote kmc 23:59:46 589) COCKS [...] truly cocks \ 619) You should get kmc in this channel. kmc has good quotes. `quote kmc 686) COCKS [...] truly cocks Well, in theory. \ 690) damn i should make a quasiquoter for inline FORTRAN \ 693) has there been any work towards designing programming l 23:59:54 Fiora: yep 23:59:56 kmc: i think you said the cocks thing in #esoteric 23:59:59 oh