00:17:48 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:20:34 -!- viznut has quit (*.net *.split). 00:20:34 -!- conehead has quit (*.net *.split). 00:20:34 -!- oerjan has quit (*.net *.split). 00:20:35 -!- Lymia has quit (*.net *.split). 00:20:35 -!- scounder has quit (*.net *.split). 00:20:35 -!- incomprehensibly has quit (*.net *.split). 00:20:35 -!- ineiros has quit (*.net *.split). 00:20:35 -!- int-e has quit (*.net *.split). 00:20:35 -!- Jafet has quit (*.net *.split). 00:20:36 -!- ion has quit (*.net *.split). 00:25:51 -!- conehead has joined. 00:25:52 -!- oerjan has joined. 00:25:52 -!- Lymia has joined. 00:25:52 -!- incomprehensibly has joined. 00:25:52 -!- ineiros has joined. 00:25:52 -!- int-e has joined. 00:25:52 -!- Jafet has joined. 00:25:52 -!- ion has joined. 00:26:41 -!- viznut has joined. 00:41:37 -!- conehead has quit (Ping timeout: 260 seconds). 00:42:54 -!- conehead has joined. 00:43:06 -!- scounder has joined. 01:06:05 -!- AndoDaan has quit. 01:31:21 -!- idris-bot has quit (Quit: Terminated). 01:36:37 > iterate(tail.(`iterate`1).(!!))[1..] !!3 !!3 01:36:38 61 01:37:58 What was the naming scheme for neat obfuscated implementations of functions in lambdabot again? 01:39:42 @where pi 01:39:42 I know nothing about pi. 01:39:45 hm not that 01:40:33 @where pi1 01:40:33 I know nothing about pi1. 01:40:53 I wonder if it has anything for ackermann 01:55:36 -!- MDude has quit (Read error: Connection reset by peer). 02:31:24 > iterate(tail.(`iterate`1).(!!))[1..] 02:31:26 can't find file: L.hs 02:35:52 -!- AndoDaan has joined. 02:58:54 -!- idris-bot has joined. 03:18:24 -!- Slereah has joined. 03:19:49 -!- Slereah_ has quit (Ping timeout: 245 seconds). 03:29:28 -!- oerjan has quit (Quit: leaving). 03:40:24 -!- nys has quit (Quit: quit). 03:55:33 -!- MDude has joined. 03:57:32 I was hoping that Macs are only overpriced by a few hundred dollars, not over a thousand dollars 03:58:34 -!- MDude has changed nick to MDream. 04:02:29 nyoro~n 04:04:18 I'm glad to hear that onomatopoeia 04:07:01 -!- MDream has quit (Read error: Connection reset by peer). 04:07:39 -!- MDude has joined. 04:10:33 -!- password2 has joined. 04:37:13 -!- MDude has quit (Read error: Connection reset by peer). 04:37:51 -!- MDude has joined. 04:59:08 "Apple tends to view a broken implementation as better than the inclusion of something that could be viewed as an admission that their implementation isn’t perfect." 04:59:13 http://aaronhildebrandt.com/blog/osx-an-exercise-in-bad-ui-design :( 05:04:52 -!- MDude has quit (Read error: Connection reset by peer). 05:05:30 -!- MDude has joined. 05:23:15 -!- MoALTz has joined. 05:23:24 -!- AndoDaan has quit (Ping timeout: 272 seconds). 05:34:27 -!- MDude has quit (Read error: Connection reset by peer). 05:35:12 -!- MDude has joined. 05:51:34 http://www.clickhole.com/video/insane-speed-reader-tears-through-2500-word-warran-1198 I don't see the global OS X menu 05:51:53 Web browser in fullscreen? 05:53:10 -!- password2 has quit (Ping timeout: 272 seconds). 05:54:26 -!- MDude has quit (Read error: Connection reset by peer). 05:55:45 fact: I laughed at today's xkcd 06:05:58 -!- MDude has joined. 06:23:01 -!- MDude has quit (Read error: Connection reset by peer). 06:23:38 -!- MDude has joined. 06:27:35 -!- MoALTz has quit (Quit: Leaving). 06:37:48 -!- MDude has quit (Read error: Connection reset by peer). 06:38:48 -!- MDude has joined. 06:48:24 -!- MDude has quit (Read error: Connection reset by peer). 06:49:10 -!- MDude has joined. 07:00:24 FireFly: pl? 07:00:54 @pl (\x y f g -> f $ (f x) `g` (f y)) 07:00:54 (ap (.) .) . (. flip id) . ap . ((flip . flip id) .) . flip id 07:01:29 @pl (\x -> x x) 07:01:29 join id 07:01:58 untyped, yeah? 07:03:11 -!- MDude has quit (Read error: Connection reset by peer). 07:03:48 -!- MDude has joined. 07:09:00 @pf join id 07:09:00 Maybe you meant: pl bf 07:09:03 no 07:09:06 I did not. 07:09:11 @unpl join id 07:09:11 (\ d -> (\ a -> a) d d) 07:09:43 @unpl (ap (.) .) . (. flip id) . ap . ((flip . flip id) .) . flip id 07:09:43 (\ x az e -> return ((\ a b c -> a (b c)) e ((\ h -> return ((\ bf k l -> l (bf x) k) h ((\ g -> g az) h)) h) e)) e) 07:09:55 anyway 07:10:04 the idea to produce obfuscated haskell code is 07:10:16 unpl . pl . unpl pl . unpl pl $ x 07:10:32 chances are it will blow up exponentially though. 07:11:46 @pl (\ x az e -> return ((\ a b c -> a (b c)) e ((\ h -> return ((\ bf k l -> l (bf x) k) h ((\ g -> g az) h)) h) e)) e) 07:11:47 flip flip id . ((ap . (return .) . ap (.)) .) . flip flip id . (liftM2 return .) . (. flip id) . ap . ((flip . flip id) .) . flip id 07:12:15 ^style lambdabot 07:12:15 Not found. 07:12:28 fung*t: Hi there 07:12:40 flip flip ap flip id liftM . return flip flip ap 07:12:40 mroman: oh, but i was never going to. i was just wondering if you thought everyone wants! 07:13:14 ^style 07:13:14 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz* sms speeches ss wp youtube 07:13:31 ^style fungot 07:13:31 Selected style: fungot (What I've said myself) 07:13:43 fungot: Did you see my latest committ 07:13:43 mroman: if it's ( syntactically) long result2; long result3; was at the gateway of a region is glowing and burning, and no clear account. in c, it's dlopen(). if it's computable, it's compilable 07:13:56 @pl \f g (a,b) -> (f a, g b) 07:13:56 flip flip snd . (ap .) . flip flip fst . ((.) .) . flip . (((.) . (,)) .) 07:14:02 (I was looking for that once.) 07:14:41 Some things it does notice: 07:14:43 @pl \(a,b) -> (f a, g b) 07:14:43 f *** g 07:17:52 I was about to complain about scrolling on Android, but pretty sure it's just this one app 07:21:49 After reading a lot of papers on the state of modern machine learning 07:22:18 I'm convinced that the technique used now is "Come up with a not-too clever algorithm, throw ungodly amounts of CPU time at it" 07:25:42 That's certainly the case for speech. 07:26:45 Or, well, I guess that depends on the definition of "not too clever". 07:27:58 Plain back-propergation on ginormous neural networks with ginormous amounts of processing power 07:28:30 It's not quite that. 07:28:45 -!- Patashu has joined. 07:28:53 There's generally a RBM-based pretraining of the network. 07:28:58 (For speech, I mena.) 07:29:10 s/mena/mean/ 07:30:34 But it is certainly true that people have been steadily dropping the handcrafted-over-the-years feature stuff (frequency axis warpings and MFCCs and such) in favour of simpler and simpler things, and just trusting that the network figures out the best feature representation. 07:30:51 A couple of people are even feeding in time domain signals, and raw FFT spectra are positively commonplace. 07:31:14 Also I guess there's some promising results from RNNs. 07:32:35 http://arxiv.org/pdf/1202.2745v1.pdf < One of the papers I've found. There's a lot of fancy stuff, but, the core algorithm still seems to be "back-propergation works, let's throw a bunch of CPU time at it" 07:33:49 If you have access to non-open-access journals, http://dx.doi.org/10.1109/MSP.2012.2205597 is a reasonably good (if already two years old) review of the state of the speech stuff. 07:34:35 Let's check my college 07:35:25 It's rather overview-y, since it's from Signal Processing Magazine, one of those glossy things. 07:36:39 Not in my college's library, unfortunely. 07:37:38 Well, http://dx.doi.org/10.1109/TASL.2011.2134090 is kind of one of the "major" papers that introduced the current standard speech approach. 07:38:57 Remind me in, like, 4 months when I change colleges! 07:39:11 Probably TASLP is not any more likely to be included. 07:39:12 I'm transfering to a bigger college that probably has better library access. 07:40:03 urk 07:40:04 -!- MDude has quit (Read error: Connection reset by peer). 07:40:13 My school doesn't seem to have many CS subscriptions period 07:42:01 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 07:44:43 -!- AndoDaan has joined. 08:13:02 !blsq "da39a3ee5e6b4b0d3255bfef95601890afd80709"L[ 08:13:24 it died 08:13:27 i see 08:13:31 -!- blsqbot has joined. 08:13:35 !blsq "da39a3ee5e6b4b0d3255bfef95601890afd80709"L[ 08:13:35 40 08:24:13 !blsq """"+ 08:24:13 ERROR: (line 1, column 6): 08:24:29 !blsq "a""a"+ 08:24:29 ERROR: (line 1, column 8): 08:24:33 !blsq "a" "a"+ 08:24:33 ERROR: (line 1, column 9): 08:24:34 !blsq "a" "a" + 08:24:35 ERROR: (line 1, column 10): 08:24:41 !blsq "a" "a" .+ 08:24:41 "aa" 08:24:44 !blsq """".+ 08:24:45 "" 08:25:24 !blsq "asdf"fc 08:25:24 'a 08:25:36 !blsq "asdf"e! 08:25:36 ERROR: Burlesque: (e!) Invalid arguments! 08:26:00 !blsq "5 5.+"pse! 08:26:00 10 08:26:47 !blsq {}{\/{}\/[+\/vve!}vve! 08:26:47 No output! 08:27:08 !blsq {}{\/{}\/[+\/^^e!}^^e! 08:27:09 Ain't nobody got time fo' dat! 08:28:24 !blsq {^^^^^^^^^^^^^^}^^{^^{{e!^^{}\/{{^^}.+\/e!}{}\/[+\/.+e!vvvv{}\/e!}}\/.+{}\/e!e!}\/{e!{}\/[+{.+\/e!}.+{}\/[+\/.+{}\/e!vv{}\/e!}{}\/[+\/.+.+e!vvvve! 08:28:24 {^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^ 08:28:40 !blsq {^^^^^^}^^{^^{{e!^^{}\/{{^^}.+\/e!}{}\/[+\/.+e!vvvv{}\/e!}}\/.+{}\/e!e!}\/{e!{}\/[+{.+\/e!}.+{}\/[+\/.+{}\/e!vv{}\/e!}{}\/[+\/.+.+e!vvvve! 08:28:40 {^^ ^^ ^^ ^^ ^^ ^^} 08:34:58 [wiki] [[ArrayZ]] M http://esolangs.org/w/index.php?diff=40653&oldid=40590 * GeorgeEpicGen * (+143) Just added the one-line, no-comments version of the 'Hello, world!' program as an example. 08:36:04 -!- ion has changed nick to ION. 08:48:06 I had a new idea for a Spacefish variant 08:48:08 GRAVITY 08:48:25 I.e. the tape is some 1D space 08:48:29 and the cells are "masses" 08:49:06 which experience gravitational pull and thus move on the tape 09:12:05 Pretty sure it is an android issue 09:12:37 I'll be happily scrolling something with my finger near the right edge of the screen. Suddenly, as my finger hits the little scrollbar thing, I start scrolling wildly on accident 09:14:50 Is iOS... saner than that? 09:23:54 -!- S1 has joined. 09:26:31 Apparently widgets just show up in the Notification Center. This makes me more likely to use widgets on iOS than Android, ironically enough 09:27:37 "The walled garden is beginning to open up" yeah no ZDnet I do not think of the lack of sharing when I hear iOS walled garden 09:39:42 -!- MDude has joined. 09:47:12 -!- Phantom_Hoover has joined. 09:48:01 -!- AndoDaan has quit (Ping timeout: 260 seconds). 10:06:14 There should be UPDATE OR INSERT 10:07:09 hm 10:07:12 there's INSERT OR REPLACE? 10:09:18 -!- AndoDaan has joined. 10:16:56 -!- S1 has quit (Quit: S1). 10:38:35 "As a developer of Apps for the App Store you are bound by the terms of the Program License Agreement (PLA), Human Interface Guidelines (HIG), and any other licenses or contracts between you and Apple." 10:38:52 The Human Interface Guidelines are... binding? That's ... certainly interesting but a bit alarming 10:38:59 I shoudl be asleep 10:40:09 -!- boily has joined. 10:44:08 "Apps that do not use the MediaPlayer framework to access media in the Music Library will be rejected" 10:44:12 That could be worded better 10:51:21 mroman: how would you advoid/manage the all devouring center blackhole that surely, probably, maybe, will form? 11:14:03 decremen it :) 11:14:06 *decrement it 11:14:33 hawking radiation. 11:14:36 obviously you can just use values 0 and 1 11:14:48 and place them enough apart for gravity to not play a major role 11:14:54 then you essentialy have binary brainfuck 11:14:58 so rather boring 11:16:00 maybe some non-determenism would add excitement. quantum spacefish. 11:16:14 virtual values popping in and out of nowhere. 11:17:17 maybe i should finish/make an esolang of my own, before I give sage tips... 11:21:36 fungot: do you know any good recipes for fried quantum spacefish? 11:21:36 boily: ( that is, levinson went to kish, disappeared, had on your behalf of the commission. at the fnord door when clouds of the sky, sadly.) 11:21:58 ^styles 11:22:00 ^style 11:22:00 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 11:22:19 [wiki] [[BANCStar]] http://esolangs.org/w/index.php?diff=40654&oldid=40093 * B jonas * (+47) /* Implementation */ 11:22:21 ^fisher 11:22:30 ^style fisher 11:22:30 Selected style: fisher (Fisher corpus of transcribed telephone conversations) 11:23:06 fungot: do you know any good recipes for fried quantum spacefish? 11:23:07 AndoDaan: would would get to sigh read too much sigh ' cause you're only aged what you're in your car 11:23:29 it was worth a shot. 11:24:35 You need qwantz 11:24:39 ^style qwantz 11:24:39 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 11:24:46 qwantz performs best 11:24:50 fungot: isn't that right? 11:24:50 mroman: at the very least, " the first dude murdered, huh t-rex?! what a good son, a great name! ha ha, i was just chatting up god to this! 11:25:20 fungot: open the door, 11:25:20 AndoDaan: so! i intend to make all the news! world politics 11:25:32 fungot: get on the floor 11:25:32 AndoDaan: as a man concerned, t-rex, that going shopping was your default activity? 11:25:51 fungot: everybody... 11:25:52 AndoDaan: is that... medicine? but, i mean, i know this guy! the books were probably a little petty and well, kids! 11:25:56 i give up. 11:26:51 is the z80 language basically assembly code? 11:27:29 probably. you should ask zzo38. 11:27:51 never made that connection. 11:27:59 @ask zzo38 if AndoDaan were to ask you about z80, would you say it be like it is, but it do? 11:27:59 Consider it noted. 11:28:21 what? 11:28:42 fungot: is this a dream or is it real? 11:28:42 b_jonas: think of how far did you go" talk a lot, but they're always a good thing! stupid problems 11:29:33 fungot has absorbed the Spirit of Eliza. 11:29:33 boily: never!! nobody but the guy who did it could make such a great dad. i think maybe i should throw her off in front of a computer i've got this magic feelings box on my desk, and when my feelings box on my desk, and when my feelings box on my desk, and when my feelings box on my desk, and when my feelings box on my desk, and when my feelings box on my desk, and when my feelings box on my desk, and when my feelings box on my 11:30:24 yup. just as I thought. gaining sentence was too much for the poor fungot, and therapy trainwrecked it. 11:30:24 boily: oh, but i was never going to. we're totally superior" after the fact. before the fact, you were like, " hey, i wonder if i've become one 11:31:21 -!- boily has quit (Quit: FISHY CHICKEN). 11:38:54 -!- Patashu has quit (Ping timeout: 250 seconds). 11:43:12 [wiki] [[User:MrDetonia]] http://esolangs.org/w/index.php?diff=40655&oldid=40645 * MrDetonia * (+2) 12:00:04 I'm scared to use sqlite 12:00:11 so I just wrap all stuff in synchronized blocks 12:46:42 AndoDaan: z80 isn't a language 12:47:08 z80 is an 8bit microprocessor 12:47:25 that, like most CPUs, has an instruction set 12:47:34 I see. 12:47:45 technically if you find a C compiler that targets z80 12:47:53 you can golf in C for z80 on anagol 12:48:01 but hand-written assembly is probably shorter ;) 12:48:44 mind you, golfing in z80 requires serious knowledge about z80 internals and its instruction set 12:49:51 http://golf.shinh.org/reveal.rb?main/*yuko*_1280923558&z8b 12:50:13 ^- and data is usally encoded in the instructions themselves and all sorts of dark secret magic is going on in z80 golfing :) 12:50:18 is the z80 special amongs microprocessors? 12:50:49 It's a popular microprocessor 12:50:54 or was a popular microprocessor 12:51:17 but for more details... zzo38 knows lots of stuff about z80 12:51:36 GameBoys used to have a z80 for example 12:51:43 AndoDaan: and it's sort of an ancestor of the x86_64 we use today. some of the decisions that made sense back at z80 have carried over. 12:51:52 or a z80-like processor 12:52:02 and yes, it's also very popular 12:52:09 TI calculators (at least some of them) use a z80 12:52:50 apparentely z80 is/was used for disk controllers as well 12:53:17 "Breathalyzer equipment used by law enforcement agencies.[57]" 12:53:32 ^- breathalyzers run on z80s too says WP 12:54:17 and of course some old personal computers used the z80 too 12:54:25 it's still usefull for some to learn/know how to handle z80 then. 12:55:28 AndoDaan: not very useful, only in the esoteric sense 12:56:02 oh. 12:56:27 AndoDaan: maybe if you're an embedded systems developper 12:56:40 I don't think i am. lemme check. 12:56:45 but as an embedded systems developer you never know what kind of weird cpu you'll be using next 12:56:49 no. 12:57:17 so perpare to study LOTS of manual pages 12:57:30 about instruction set, hardware, how to communicate with the hardware 12:57:35 cpu timing diagramms :) 12:57:35 that's all i do when programming. 12:58:06 even if you're an embedded systems developer, you're more likely to use a more modern cpu 12:58:11 check manual, or lref, type a command, run, manual, type, run. 12:59:11 hmm. okay. thanks. I'm just broadening my horizons, seeing what takes my fancy. 12:59:46 like this: http://esolangs.org/wiki/Almost_impossible_to_learn_and_apply_esoteric_programming_language 13:00:58 water-resistant code. so often overlooked. 13:01:40 http://www.ise.pw.edu.pl/impuls/emisy/8051_um2.pdf 13:01:43 good ol' 8051 13:05:37 -!- AndoDaan has quit (Ping timeout: 248 seconds). 13:05:46 -!- AndoDaan has joined. 13:07:01 the 8051 would be a good place to start getting aquainted with cpu s? 13:09:30 that's probably a matter of "beleives" 13:09:40 there's the 8086 13:09:46 which is probably also a good place to start 13:10:12 the 8086 is x86 13:11:45 cpus are very different but still mostly similiar. 13:12:51 you could also start with a more recent ARM processor 13:15:02 you could also read 1000 pages of IA-32 manual 13:15:21 hmm... that doesn't sound like something I'd could do. 13:15:44 :D 13:16:03 It's probably easier to read 300 pages for some little microcontroller :) 13:16:19 although they don't have paging 13:16:24 and these neat features 13:16:43 besides, IA32_64 is only 3.5k pages 13:17:18 wow. my manual, if i had one, wouldn't a tenth that long. 13:17:44 do they describe it at the atomic level? 13:18:14 No 13:18:17 just the functional 13:18:34 mind you IA32 is a freakishly complex architecture 13:22:01 -!- AndoDaan has quit (Ping timeout: 255 seconds). 13:39:34 -!- aretecode has quit (Ping timeout: 255 seconds). 13:41:48 -!- aretecode has joined. 13:44:03 sigh, why does "make 24" use × for multiplication... 13:47:02 Specifically to spite you. 13:47:29 ...you'd think that reproducing a specific search order for the expressions would be bad enough. 13:48:17 It's an AndoDaan problem, I believe. 13:49:10 -!- ais523 has joined. 13:49:48 (I was thinking of skipping it.) 13:53:21 Me too. But I wouldn't let such considerations stop me from complaining first ;-) 14:02:45 did AndoDaan create a new problem? 14:03:45 -!- impomatic_ has quit (Ping timeout: 244 seconds). 14:04:55 looks like a brute-force problem 14:05:54 int-e: I think numbers within expressresions are just sorted 14:06:08 from greatest to smallest 14:08:37 (2+1)×8×1 14:10:40 Which is to say, I don't know. 14:11:07 well 14:11:10 (2+1) is sorted 14:11:14 and 8x1 is sorted 14:12:13 () stuff always sorts before other stuff I guess 14:12:34 and multiple () () are sorted based on the greatest number 14:12:35 i.e. 14:12:42 (7+1)x(2+1) 14:13:39 at least so it appears 14:13:57 hm 14:14:02 (6x5-6)x1 14:14:03 damn 14:15:05 It would be cool if you could submit a verification program (i.e. like a python script) 14:15:10 rather than hardcoded testcases :) 14:15:32 The problem was discussed on #anagol. 14:16:13 The samples were from the website or something. 14:17:16 oh 14:17:24 he didn't have a reference implementation? 14:19:10 Right. 14:19:16 there are some preferences in the link, but those hardly determine the solution uniquely. 14:19:49 (but the preference for putting big numbers first does indeed appear there) 14:30:21 incidentally, I was randomly looking at the preferences that various editors had to be chosen as the default editor on Debian 14:30:30 Emacs had a preference of 0; nano of 40 14:30:39 I have three versions of vim installed, with preferences of 10, 20, and 60 14:30:43 most amusing was ed, at -100 14:30:51 I didn't even know debian alternatives preferences /could/ go negative 14:31:30 I guess this is some sort of intriguing editor wars argument 14:32:00 (IME, vim makes no sense to go above nano as a /default/, given that this is what's chosen for users who haven't specifically customized; and it makes even less sense for vim preference to depend on which versions of vim are installed) 14:34:05 -!- `^_^v has joined. 14:38:35 nano is so awful :/ 14:39:27 easier to use if you don't know what you're doing than emacs or vim 14:39:30 man, fuck nano. 14:39:41 and if you do know what you're doing, you probably know how to change the default for your account 14:39:54 I have my nano set up with syntax highlighting, but I can't remember how 14:40:32 The only thing I use in nano is ^X 14:40:52 in case I accidentally start it 14:40:58 Throwing people into nano is probably saner than throwing them into vim, at least it tells you how to quit :) 14:41:14 int-e: right. 14:41:18 If you know what ^X means 14:41:28 it's displayed at the bottom 14:41:34 ^X QUIT 14:41:42 at least for me. ^X Exit 14:41:49 Right 14:41:56 But typing ^X won't Exit 14:42:13 ^J Justify --- now I remember wordstar, so I have a vague idea that it's not asking the editor to justify its existence ... 14:42:19 -!- ais523 has quit. 14:42:29 -!- ais523 has joined. 14:42:30 When I type ^ followed by X 14:42:34 my screen just displays ^X 14:42:35 mroman: oh you mean the Ctrl- thing., heh. 14:42:37 -!- ais523 has quit (Changing host). 14:42:37 -!- ais523 has joined. 14:42:40 int-e: yes 14:42:55 first time using nano I didn't know what ^X is supposed to tell me :) 14:44:29 from my .bashrc: alias nano='vim' 14:45:46 so is there anything in those preferences that says that (11+11+2)*1 is better than 11*1+11+2? 14:45:50 paul2520: that would do pretty much the opposite of what you want 14:45:57 just do EDITOR=vim 14:47:18 I'm training myself to use vim instead of nano... so if I type 'nano', I want it to run vim instead 14:47:31 ah right 14:47:42 in my case, I can use vim but not very efficiently 14:47:52 I use so many editors 14:48:09 It's good to have a broad range of skills! 14:48:11 vim is pretty use 14:48:15 you only need 14:48:21 :q :q! and :wq 14:48:23 emacs, gedit, nano, vim, kate, I've even used sed in emergency 14:48:43 as soon as vim starts press i 14:48:45 then edit 14:48:46 do :wq 14:48:50 vim is good for simple search-edit-and-run tasks 14:48:55 that's pretty much all I can do with vim 14:48:58 that and :syntax on 14:49:01 beyond that I can't use it. 14:49:29 mroman: you forgot ESC 14:50:56 oh 14:50:57 right 14:52:18 oh, after implementing the preferences, the output 13+12+12-13 is not even on my list anymore. 14:52:26 awful! 14:59:18 Hrm … does anyone know about unicode texs and/or what channel to ask about them in? 15:05:32 unicode tex? 15:05:35 have fun 15:06:04 xetex? 15:06:06 Melvar: #latex might be useful? 15:06:21 (or they might know where else to look) 15:07:51 I know LyX has some sort of unicode TeX plugin that uses LuaTEX, IIRC 15:07:57 (or maybe LuaTeX?) 15:08:09 or luatex yeah 15:08:45 Well, now that I’ve had a better look, since both xelatex and lualatex exhibit the problem, it’s more likely this font that’s being used … 15:09:05 you're just imagining it 15:10:09 Well wait, copypasting from the PDF also shows the problem, so it may not be the font. 15:11:04 perhaps it's to do with the font encoding, that was a real pain for my thesis 15:11:18 because it swapped out perfectly normal English letters with pretty arbitrary latin-1 15:11:36 I eventually fixed that by changing relevant-looking settings at random until it worked 15:14:05 affinity 15:14:58 (The thing here is that I have ‘×’ and it comes out ‘»’.) 15:16:01 sounds like it could well be a font encoding problem 15:16:04 TeX font encoding is bizarre 15:25:03 -!- Sprocklem has joined. 15:36:13 -!- mihow has joined. 15:43:09 -!- tromp__ has joined. 15:46:46 -!- tromp_ has quit (Ping timeout: 258 seconds). 15:56:41 \usepackage{unicode-math} seems to do the thing. 16:02:23 ais523: what was your thesis on 16:02:31 it's not finished yet 16:02:35 it's about finite-state type systems 16:02:52 how's life in the ivory tower treating you 16:03:23 ais523: intriguing! 16:03:54 I'm getting lots of negative results, and apparently people don't like those, even though they're just as valid as positive results and possibly more useful, in that they stop you wasting your time 16:04:59 anyway, I started out learning and working with the standard type systems for this sort of thing 16:05:06 and then eventually discovered they were all wrong 16:05:46 i'm just wondering what keeps you going...i got the hell out as soon as i realized what it was doing to my health and sanity 16:07:37 having the ability to get something published without having to mangle it to fit what journals want 16:07:50 all the best references I've found have been phd theses 16:10:16 ah 16:10:31 you do have to put a lot more effort into than a journal article tho 16:11:32 seems like anyone can publish to arXiv (http://arxiv.org/), though on the flip side, it's not peer reviewed 16:11:55 -!- drdanmaku has joined. 16:12:38 Phantom_Hoover, I have showed some friends your blog. 16:12:42 You should write more. 16:14:57 Where is the blog? 16:16:32 Phantom_Hoover, also I have someone you may like to brickbrain 16:22:13 -!- S1 has joined. 16:25:12 -!- S1 has changed nick to S. 16:25:18 -!- S has changed nick to S1. 16:30:14 Taneb, who... 16:35:05 @metar LOWI 16:35:05 LOWI 221620Z 24015KT 200V260 9999 -SHRA SCT010 SCT020 BKN030 04/02 Q1016 NOSIG 16:35:52 (ugly weather) 16:36:55 hmm, UEFI got broken, and the break does escalation via Windows 16:37:13 I am really pleased about this, whether the first exploit was via-Windows or via-Linux could have made a huge difference to the future of bootloaders 16:41:36 link? 16:41:45 and yes, definitely. It's very good that it came via Windows 16:42:18 https://www.mitre.org/publications/technical-papers/presentation-extreme-privilege-escalation-on-windows-8uefi-systems 16:43:51 I'm annoyed that this "BIOS" doesn't have a way to install new UEFI root keys (that I've found) 16:44:10 I was planning to have fun writing a security chain that touched every executable on the entire system 16:44:23 all the way from bootloader on 16:52:52 Phantom_Hoover, a first-year here 16:53:21 He wrote a brainfuck interpreter then thought the logical thing would be to add a command to swap the source and the data arrays 16:53:41 He has also written what sounded like a BF derivative called "Derpcode" (not the one on the wiki) 16:54:28 Anyway, I have a CS lab to not be in, and a house to be in 16:54:30 Bye! 16:55:00 http://esolangs.org/wiki/Braintwist already exists 16:55:15 dating from 2005, apparently 17:06:22 -!- ais523 has quit (Remote host closed the connection). 17:06:28 -!- callforjudgement has joined. 17:07:48 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 17:08:17 -!- callforjudgement has changed nick to ais523. 17:09:21 ais523: easier said than done 17:09:39 elliott_: what was that a reply to? 17:09:46 you need to do module signing, disallow kexec, and probably a hundred other little things 17:10:02 elliott_: oh, I didn't think it'd be easy 17:10:11 and I didn't think I'd complete it 17:10:14 http://mjg59.dreamwidth.org/28746.html http://mjg59.dreamwidth.org/9844.html http://mjg59.dreamwidth.org/12368.html 17:10:31 ais523: ah, well, you could probably get paid for actually doing it :p 17:10:44 modules are signed by distro maintainers already, though 17:11:25 yes but you must disable unsigned ones 17:12:05 rip binary drivers 17:27:58 -!- ais523 has quit (Read error: Connection reset by peer). 17:28:00 -!- callforjudgement has joined. 17:29:29 -!- callforjudgement has changed nick to ais523. 17:31:54 -!- MoALTz has joined. 17:37:39 -!- ais523 has quit. 17:37:48 -!- ais523 has joined. 17:38:32 -!- Sprocklem has quit (Ping timeout: 256 seconds). 17:40:51 -!- callforjudgement has joined. 17:42:57 -!- AndoDaan has joined. 17:45:12 -!- ais523 has quit (Ping timeout: 246 seconds). 17:45:22 -!- callforjudgement has changed nick to ais532. 17:45:24 -!- ais532 has changed nick to ais523. 17:48:12 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=40656&oldid=40600 * GermanyBoy * (+2327) /* SYCPOL */ new section 18:03:37 elliott_: By the way, I've provisionally accepted the London thing. 18:03:52 fizzie: congrats! 18:04:09 "Provisionally" meaning that I haven't yet seen the actual contract I'd be signing, but it's unlikely to be too offensive. 18:05:02 will you be doing exciting things? 18:05:30 fizzie: I don't know, someone I know rejected a job over a contract a while back 18:05:52 ais523: I guess it's *possible*. Do you know why in particular? 18:06:13 elliott_: That's what they claim, but we'll see. 18:06:36 yes, it was a teaching job that demanded exclusive IP rights on all the teaching material, also the right to delete it from the teacher's computer after the course had ended 18:06:42 fizzie: sounds vague :p 18:06:56 they claimed it was just standard boilerplate and couldn't see why people got upset 18:10:08 Mmm. Well, right. Both the UK and Germany things would have been approximately equally corporate-y. I suppose they might have had legal departments craft things vaguely like that. 18:11:06 Our local union kind of thing provides free legal advice to members, I'm hoping they'll have time to look through it for TRAPS and such. 18:14:55 When I applied for a job at the university the first time, it was still entirely a public institution (now it's foundationized or something), so they didn't do "employment contracts", they did "work orders" ("työsopimus" vs. "työmääräys") instead. I don't know the details. 18:15:27 fizzie: I'm in the middle of a nethack-related conversation about spellbooks 18:15:39 so had a pretty different interpretation of a trapped contract until I got my brain into the right gear 18:16:00 I don't think legal advice helps much against, say, a boulder trap. 18:16:10 Except perhaps for renumeration afterwards. 18:16:32 Remuneration. Enumeration. Difficult word. 18:16:48 Especially if you are scooby doo 18:16:51 Rerurerarion 18:16:53 Re-enumerate the device bus. 18:17:37 fizzie: right, all the personal injury specialists would have a field day with rolling boulder traps 18:18:42 Very literally, I'm sure. 18:24:45 fizzie: i see you did your homework for the belgian number problem. you found mistakes on the oeis page for them, lol. 18:26:20 AndoDaan: The PlanetMath page, you mean? Yeah, my correction there isn't accepted yet, it seems. 18:27:13 I wouldn't have noticed the sequence IDs if it hadn't said "The first few Belgian-2 numbers are 4, --" which is obviously wrong. 18:27:22 you can only try. 18:28:04 I must have looked right over it when i made the problem. glad i picked the 0 belgian numbers. 18:32:56 -!- Sprocklem has joined. 18:47:45 http://hackaday.com/2014/10/22/watch-that-windows-update-ftdi-drivers-are-killing-fake-chips/ 18:53:49 hmm, I wonder if that's literal bricking; "won't be acknowledged by Windows, Linux, or OS X" doesn't sound completely unrecoverable 18:53:59 you could, say, have a Linux kernel module specifically to recognise it and undo the damage 19:11:30 -!- callforjudgement has joined. 19:13:44 -!- ais523 has quit (Ping timeout: 256 seconds). 19:13:52 -!- callforjudgement has changed nick to ais523. 19:17:27 Yes, especially if it's really just the USB product ID field. 19:18:49 I have one very cheap USB-serial thing somewhere. 19:19:05 (It's for plugging a Garmin GPS to a computer.) 19:20:20 There's a TI ad on that page (presumably random) saying "Universities don't need to hack TI technology", promoting some sort of university free-access program. That's such a misuse of "hack". 19:21:50 "we made it so that you don't have to hack our products to be able to hack them" 19:23:00 @metar EFHK 19:23:01 EFHK 221850Z 06012KT CAVOK M04/M11 Q1027 NOSIG 19:23:09 Buh. 19:23:24 @metar EGLL 19:23:24 EGLL 221850Z 24008KT 9999 SCT032 12/08 Q1024 NOSIG 19:23:41 "Just checking." 19:24:26 -!- AndoDaan has quit (Ping timeout: 265 seconds). 19:26:54 I'm tempted to create minilesque 19:27:03 a de-bloated burlesque 19:29:41 single-character or two-character commands? 19:32:34 single 19:32:39 turns out I already started with that 19:38:55 ais523: https://bitbucket.org/mroman_/mahou/overview 19:39:02 ^- that's also a project of mine 19:39:09 though, not closely related to Burlesque 19:43:21 http://codepad.org/rGsi13sA 19:44:22 don't ask me what the hell pushl/popl is 19:44:37 are there any girls aged between 10 to 18 who are an expert in that language 19:44:44 sorry, that joke is too terrible. I should have kept it to myself 19:44:51 -!- AndoDaan has joined. 19:47:14 elliott_: uhm? 19:47:18 in what language? 19:47:26 mahou 19:47:27 also.. what girls/why girls? 19:47:35 because they'd be a... mahou shoujo 19:47:40 * elliott_ hides 19:48:12 is that "magic girlfriend"? 19:48:34 no, just "magical girl" 19:50:38 it appears that pushl/popl push/pop to/from a different stack 19:51:04 |:x is shorthand for "x" get-member 19:51:23 *get-property 19:52:27 newl appears to create an object on the secondary stack 19:52:45 getl and setl are just get-property/set-property for secondary stack 19:52:47 and dell 19:52:47 puh 19:52:51 is a company 19:53:09 dell is popl followed by pop 19:53:20 neat 19:54:31 @metar ESSA 19:54:31 ESSA 221950Z 09005KT 9999 SCT045 02/M03 Q1023 NOSIG 19:54:43 https://bitbucket.org/mroman_/mahou/issue/1/no-empty-list-literal 19:54:44 :D 19:54:48 interesting bug 19:58:10 -!- Bicyclidine has joined. 20:02:56 -!- Patashu has joined. 20:04:29 -!- ais523 has quit (Read error: Connection reset by peer). 20:04:35 -!- callforjudgement has joined. 20:14:46 FireFly: At least it's not M. 20:16:11 Forecast suggests something hovering around 0 tomorrow, and then it goes back up to +10, so maybe it's not quite yet time to switch from bicycling to bus. 20:16:14 (I am aware some people cycle to work the entire year, but personally I've stopped when water starts to freeze on the ground.) 20:20:27 -!- callforjudgement has quit (Remote host closed the connection). 20:20:28 -!- scarf has joined. 20:20:41 -!- scarf has changed nick to ais523. 20:21:05 -!- nys has joined. 20:25:42 -!- Patashu has quit (Ping timeout: 245 seconds). 20:29:30 I could bike to work 20:29:42 if it counts as time I was working 20:29:59 that is labour time 20:30:21 I might need 4h to 5h for one way :) 20:31:29 -!- AndoDaan has quit (Ping timeout: 272 seconds). 20:33:59 -!- AndoDaan has joined. 20:37:22 -!- nycs has joined. 20:38:09 -!- `^_^v has quit (Ping timeout: 260 seconds). 20:40:44 -!- nycs has quit (Client Quit). 20:41:11 -!- `^_^v has joined. 20:41:19 30 minutes here, which is approximately what it takes with public transportation. 20:41:35 (Just how long is your commute?) 20:51:28 -!- S1 has quit (Quit: S1). 20:54:14 fizzie: well 20:54:17 10min on foot 20:54:33 then 12min with the tram 20:57:05 ...and that's it? 21:00:33 -!- lambdabot has quit (Ping timeout: 272 seconds). 21:00:53 -!- erdic has quit (Ping timeout: 240 seconds). 21:02:53 -!- erdic has joined. 21:04:33 -!- Bicyclidine has quit (Ping timeout: 258 seconds). 21:06:09 -!- lambdabot has joined. 21:07:44 -!- AndoDaan has quit (Ping timeout: 272 seconds). 21:08:16 -!- AndoDaan has joined. 21:18:52 -!- Sprocklem has quit (Ping timeout: 240 seconds). 21:23:41 -!- Bicyclidine has joined. 21:34:12 [wiki] [[Special:Log/newusers]] create * Pulse207 * New user account 21:42:37 -!- scounder has quit (Changing host). 21:42:37 -!- scounder has joined. 21:44:09 -!- tromp_ has joined. 21:47:12 -!- tromp__ has quit (Ping timeout: 244 seconds). 21:47:54 -!- tromp__ has joined. 21:48:27 -!- oerjan has joined. 21:48:27 -!- tromp_ has quit (Ping timeout: 246 seconds). 21:58:17 -!- tromp_ has joined. 22:00:14 -!- tromp__ has quit (Ping timeout: 245 seconds). 22:10:53 -!- ais523 has quit. 22:10:58 -!- callforjudgement has joined. 22:12:25 -!- ION has changed nick to ion. 22:14:27 -!- tromp_ has quit (Ping timeout: 245 seconds). 22:14:49 -!- tromp_ has joined. 22:26:55 -!- callforjudgement has quit (Read error: Connection reset by peer). 22:27:11 -!- callforjudgement has joined. 22:27:14 -!- callforjudgement has changed nick to ais523. 22:32:09 -!- boily has joined. 22:37:41 -!- callforjudgement has joined. 22:37:41 -!- ais523 has quit (Read error: Connection reset by peer). 22:37:50 -!- callforjudgement has changed nick to ais523. 22:38:29 -!- w00tles has joined. 22:40:12 -!- w00tles has quit (Remote host closed the connection). 22:43:43 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:45:38 hm i have a hunch lady selnikov is seeking whatever that key fits. 22:45:50 (and reading girl genius.) 22:47:52 The book must be relevant somehow too 22:48:37 perhaps it explains what to do with what she'll find 22:48:43 AAAAAAAAAAAAAAAAAAAAAAH! 22:48:59 * boily just remembered he's completely absolutely outrageously late on reading GG 22:49:08 boily: are you SPOOOKED by SPOOOILERS 22:49:36 -!- Sorella has joined. 22:49:55 oerjan: nah hth 22:50:01 good, good 22:50:26 -!- Sorella has quit (Changing host). 22:50:26 -!- Sorella has joined. 22:52:17 -!- AndoDaan has quit (Ping timeout: 248 seconds). 22:54:18 -!- mihow has quit (Quit: mihow). 22:55:19 -!- mihow has joined. 22:59:51 -!- Phantom_Hoover has joined. 23:06:57 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 23:13:31 -!- mihow has quit (Quit: mihow). 23:17:37 -!- ais523 has quit (Read error: Connection reset by peer). 23:17:41 -!- callforjudgement has joined. 23:17:51 -!- callforjudgement has changed nick to ais523. 23:21:34 oerjan: perhaps she's looking for that beast that Brother Ulm was so worried about. 23:22:00 ooh 23:26:55 well if that is the case, i suspect this won't end well for the lady. 23:32:09 Honestly, I wouldn't be surprised if she dies or ends up imprisoned 23:38:00 -!- callforjudgement has joined. 23:38:22 -!- ais523 has quit (Remote host closed the connection). 23:38:30 although i am really expecting something more more plot-relevant, like a gadget related to time or dimension. 23:38:46 *-more 23:38:50 -!- callforjudgement has changed nick to ais523. 23:41:25 If Heterodynes know not to mess with something, you know it's something you shouldn't mess with either 23:41:43 if the time travel visions are supposed to happen accurately, they probably have to get to the geisterdamen world somehow. 23:42:05 although not before being reunited with gil. 23:42:14 On the other hand, Agatha is the best Heterodyne 23:42:33 Well, potentially the best 23:42:40 There is a lot to live up to 23:42:43 well time travel and stopping time isn't the same thing. 23:43:01 What was it her ancestor was doing with time? 23:43:20 Time travel is clearly more advanced 23:43:22 well indeed it wasn't accurately described 23:43:53 D'you think Selnikov will encounter Agatha and the others soon? 23:43:54 well i mean it's stopping time that seems to attract those extradimensional beings 23:43:55 I bet it'll be Agatha who figures out how to save the city 23:44:25 I imagine time portals attract those beings more, so you have to keep them open only for short amounts of time 23:44:53 who knows. 23:45:06 oerjan: No matter what she's looking for I don't see this ending well for Lady Selenikov in any case :) 23:45:06 the visions didn't imply anything about that. 23:45:10 Future Agatha knows what she's doing, probably 23:45:23 int-e: OKAY 23:46:03 The extra-dimensional beings probably just don't like having distortions in their space time, so if you make the "distortion" natural, it should be ok 23:46:12 Something like a huge time bubble is definitely the opposite 23:46:24 No wonder such a gigantic being is coming over 23:47:05 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:51:04 saving everybody is going to take some good timing, with that aging effect. especially for tarvek. 23:51:26 he cannot afford to age a half hour. 23:53:46 -!- nys_ has joined. 23:53:51 Tarvek, hmm. Was he shot by Martellus? So many things happened. 23:54:19 yes, with fast-working poison. 23:54:45 that dissolves the body. 23:55:47 The aging thing has to be circumvented entirely 23:56:14 Because otherwise everybody all the humans will die 23:56:35 Crumble to dust 23:57:03 -!- nys has quit (Ping timeout: 255 seconds). 23:57:58 int-e: correction, it was a knife http://www.girlgeniusonline.com/comic.php?date=20130531#.VEhEf5Vxljp