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 <FireFly> > iterate(tail.(`iterate`1).(!!))[1..] !!3 !!3
01:37:58 <FireFly> What was the naming scheme for neat obfuscated implementations of functions in lambdabot again?
01:40:53 <FireFly> I wonder if it has anything for ackermann
01:55:36 -!- MDude has quit (Read error: Connection reset by peer).
02:31:24 <Bike> > iterate(tail.(`iterate`1).(!!))[1..]
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 <Sgeo> 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: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 <Sgeo> "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 <Sgeo> 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 <Sgeo> 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 <Sgeo> 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 <coppro> 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:54 <mroman> @pl (\x y f g -> f $ (f x) `g` (f y))
07:00:54 <lambdabot> (ap (.) .) . (. flip id) . ap . ((flip . flip id) .) . flip id
07:03:11 -!- MDude has quit (Read error: Connection reset by peer).
07:03:48 -!- MDude has joined.
07:09:43 <mroman> @unpl (ap (.) .) . (. flip id) . ap . ((flip . flip id) .) . flip id
07:09:43 <lambdabot> (\ 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:10:04 <mroman> the idea to produce obfuscated haskell code is
07:10:16 <mroman> unpl . pl . unpl pl . unpl pl $ x
07:10:32 <mroman> chances are it will blow up exponentially though.
07:11:46 <mroman> @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 <lambdabot> flip flip id . ((ap . (return .) . ap (.)) .) . flip flip id . (liftM2 return .) . (. flip id) . ap . ((flip . flip id) .) . flip id
07:12:40 <mroman> <fungot> flip flip ap flip id liftM . return flip flip ap
07:12:40 <fungot> mroman: oh, but i was never going to. i was just wondering if you thought everyone wants!
07:13:14 <fungot> 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 <fungot> Selected style: fungot (What I've said myself)
07:13:43 <mroman> fungot: Did you see my latest committ
07:13:43 <fungot> 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 <fizzie> @pl \f g (a,b) -> (f a, g b)
07:13:56 <lambdabot> flip flip snd . (ap .) . flip flip fst . ((.) .) . flip . (((.) . (,)) .)
07:14:02 <fizzie> (I was looking for that once.)
07:14:41 <fizzie> Some things it does notice:
07:14:43 <fizzie> @pl \(a,b) -> (f a, g b)
07:17:52 <Sgeo> I was about to complain about scrolling on Android, but pretty sure it's just this one app
07:21:49 <Lymia> After reading a lot of papers on the state of modern machine learning
07:22:18 <Lymia> 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 <fizzie> That's certainly the case for speech.
07:26:45 <fizzie> Or, well, I guess that depends on the definition of "not too clever".
07:27:58 <Lymia> Plain back-propergation on ginormous neural networks with ginormous amounts of processing power
07:28:45 -!- Patashu has joined.
07:28:53 <fizzie> There's generally a RBM-based pretraining of the network.
07:30:34 <fizzie> 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 <fizzie> A couple of people are even feeding in time domain signals, and raw FFT spectra are positively commonplace.
07:31:14 <fizzie> Also I guess there's some promising results from RNNs.
07:32:35 <Lymia> 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 <fizzie> 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 <Lymia> Let's check my college
07:35:25 <fizzie> It's rather overview-y, since it's from Signal Processing Magazine, one of those glossy things.
07:36:39 <Lymia> Not in my college's library, unfortunely.
07:37:38 <fizzie> 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 <Lymia> Remind me in, like, 4 months when I change colleges!
07:39:11 <fizzie> Probably TASLP is not any more likely to be included.
07:39:12 <Lymia> I'm transfering to a bigger college that probably has better library access.
07:40:04 -!- MDude has quit (Read error: Connection reset by peer).
07:40:13 <Lymia> 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 <mroman> !blsq "da39a3ee5e6b4b0d3255bfef95601890afd80709"L[
08:13:31 -!- blsqbot has joined.
08:13:35 <mroman> !blsq "da39a3ee5e6b4b0d3255bfef95601890afd80709"L[
08:24:13 <blsqbot> ERROR: (line 1, column 6):
08:24:29 <blsqbot> ERROR: (line 1, column 8):
08:24:33 <blsqbot> ERROR: (line 1, column 9):
08:24:35 <blsqbot> ERROR: (line 1, column 10):
08:25:36 <blsqbot> ERROR: Burlesque: (e!) Invalid arguments!
08:26:47 <Lymia> !blsq {}{\/{}\/[+\/vve!}vve!
08:27:08 <Lymia> !blsq {}{\/{}\/[+\/^^e!}^^e!
08:27:09 <blsqbot> Ain't nobody got time fo' dat!
08:28:24 <mroman> !blsq {^^^^^^^^^^^^^^}^^{^^{{e!^^{}\/{{^^}.+\/e!}{}\/[+\/.+e!vvvv{}\/e!}}\/.+{}\/e!e!}\/{e!{}\/[+{.+\/e!}.+{}\/[+\/.+{}\/e!vv{}\/e!}{}\/[+\/.+.+e!vvvve!
08:28:24 <blsqbot> {^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^
08:28:40 <mroman> !blsq {^^^^^^}^^{^^{{e!^^{}\/{{^^}.+\/e!}{}\/[+\/.+e!vvvv{}\/e!}}\/.+{}\/e!e!}\/{e!{}\/[+{.+\/e!}.+{}\/[+\/.+{}\/e!vv{}\/e!}{}\/[+\/.+.+e!vvvve!
08:34:58 <HackEgo> [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 <mroman> I had a new idea for a Spacefish variant
08:48:25 <mroman> I.e. the tape is some 1D space
08:48:29 <mroman> and the cells are "masses"
08:49:06 <mroman> which experience gravitational pull and thus move on the tape
09:12:05 <Sgeo> Pretty sure it is an android issue
09:12:37 <Sgeo> 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 <Sgeo> Is iOS... saner than that?
09:23:54 -!- S1 has joined.
09:26:31 <Sgeo> 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 <Sgeo> "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 <mroman> There should be UPDATE OR INSERT
10:07:12 <mroman> there's INSERT OR REPLACE?
10:09:18 -!- AndoDaan has joined.
10:16:56 -!- S1 has quit (Quit: S1).
10:38:35 <Sgeo> "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 <Sgeo> The Human Interface Guidelines are... binding? That's ... certainly interesting but a bit alarming
10:38:59 <Sgeo> I shoudl be asleep
10:40:09 -!- boily has joined.
10:44:08 <Sgeo> "Apps that do not use the MediaPlayer framework to access media in the Music Library will be rejected"
10:44:12 <Sgeo> That could be worded better
10:51:21 <AndoDaan> mroman: how would you advoid/manage the all devouring center blackhole that surely, probably, maybe, will form?
11:14:36 <mroman> obviously you can just use values 0 and 1
11:14:48 <mroman> and place them enough apart for gravity to not play a major role
11:14:54 <mroman> then you essentialy have binary brainfuck
11:16:00 <AndoDaan> maybe some non-determenism would add excitement. quantum spacefish.
11:16:14 <AndoDaan> virtual values popping in and out of nowhere.
11:17:17 <AndoDaan> maybe i should finish/make an esolang of my own, before I give sage tips...
11:21:36 <boily> fungot: do you know any good recipes for fried quantum spacefish?
11:21:36 <fungot> 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:22:00 <fungot> 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 <HackEgo> [wiki] [[BANCStar]] http://esolangs.org/w/index.php?diff=40654&oldid=40093 * B jonas * (+47) /* Implementation */
11:22:30 <fungot> Selected style: fisher (Fisher corpus of transcribed telephone conversations)
11:23:06 <AndoDaan> fungot: do you know any good recipes for fried quantum spacefish?
11:23:07 <fungot> AndoDaan: would would get to sigh read too much sigh ' cause you're only aged what you're in your car
11:24:39 <fungot> Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011)
11:24:50 <mroman> fungot: isn't that right?
11:24:50 <fungot> 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> AndoDaan: so! i intend to make all the news! world politics
11:25:32 <fungot> AndoDaan: as a man concerned, t-rex, that going shopping was your default activity?
11:25:52 <fungot> AndoDaan: is that... medicine? but, i mean, i know this guy! the books were probably a little petty and well, kids!
11:26:51 <AndoDaan> is the z80 language basically assembly code?
11:27:29 <boily> probably. you should ask zzo38.
11:27:59 <boily> @ask zzo38 if AndoDaan were to ask you about z80, would you say it be like it is, but it do?
11:28:42 <b_jonas> fungot: is this a dream or is it real?
11:28:42 <fungot> b_jonas: think of how far did you go" talk a lot, but they're always a good thing! stupid problems
11:29:33 <boily> fungot has absorbed the Spirit of Eliza.
11:29:33 <fungot> 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 <boily> yup. just as I thought. gaining sentence was too much for the poor fungot, and therapy trainwrecked it.
11:30:24 <fungot> 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 <HackEgo> [wiki] [[User:MrDetonia]] http://esolangs.org/w/index.php?diff=40655&oldid=40645 * MrDetonia * (+2)
12:00:04 <mroman> I'm scared to use sqlite
12:00:11 <mroman> so I just wrap all stuff in synchronized blocks
12:46:42 <mroman> AndoDaan: z80 isn't a language
12:47:08 <mroman> z80 is an 8bit microprocessor
12:47:25 <mroman> that, like most CPUs, has an instruction set
12:47:45 <mroman> technically if you find a C compiler that targets z80
12:47:53 <mroman> you can golf in C for z80 on anagol
12:48:01 <mroman> but hand-written assembly is probably shorter ;)
12:48:44 <mroman> mind you, golfing in z80 requires serious knowledge about z80 internals and its instruction set
12:49:51 <mroman> http://golf.shinh.org/reveal.rb?main/*yuko*_1280923558&z8b
12:50:13 <mroman> ^- 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 <AndoDaan> is the z80 special amongs microprocessors?
12:50:49 <mroman> It's a popular microprocessor
12:50:54 <mroman> or was a popular microprocessor
12:51:17 <mroman> but for more details... zzo38 knows lots of stuff about z80
12:51:36 <mroman> GameBoys used to have a z80 for example
12:51:43 <b_jonas> 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 <mroman> or a z80-like processor
12:52:02 <b_jonas> and yes, it's also very popular
12:52:09 <paul2520> TI calculators (at least some of them) use a z80
12:52:50 <mroman> apparentely z80 is/was used for disk controllers as well
12:53:17 <mroman> "Breathalyzer equipment used by law enforcement agencies.[57]"
12:53:32 <mroman> ^- breathalyzers run on z80s too says WP
12:54:17 <b_jonas> and of course some old personal computers used the z80 too
12:54:25 <AndoDaan> it's still usefull for some to learn/know how to handle z80 then.
12:55:28 <b_jonas> AndoDaan: not very useful, only in the esoteric sense
12:56:27 <mroman> AndoDaan: maybe if you're an embedded systems developper
12:56:40 <AndoDaan> I don't think i am. lemme check.
12:56:45 <mroman> but as an embedded systems developer you never know what kind of weird cpu you'll be using next
12:57:17 <mroman> so perpare to study LOTS of manual pages
12:57:30 <mroman> about instruction set, hardware, how to communicate with the hardware
12:57:35 <mroman> cpu timing diagramms :)
12:57:35 <AndoDaan> that's all i do when programming.
12:58:06 <b_jonas> even if you're an embedded systems developer, you're more likely to use a more modern cpu
12:58:11 <AndoDaan> check manual, or lref, type a command, run, manual, type, run.
12:59:11 <AndoDaan> hmm. okay. thanks. I'm just broadening my horizons, seeing what takes my fancy.
12:59:46 <AndoDaan> like this: http://esolangs.org/wiki/Almost_impossible_to_learn_and_apply_esoteric_programming_language
13:00:58 <AndoDaan> water-resistant code. so often overlooked.
13:01:40 <mroman> http://www.ise.pw.edu.pl/impuls/emisy/8051_um2.pdf
13:05:37 -!- AndoDaan has quit (Ping timeout: 248 seconds).
13:05:46 -!- AndoDaan has joined.
13:07:01 <AndoDaan> the 8051 would be a good place to start getting aquainted with cpu s?
13:09:30 <mroman> that's probably a matter of "beleives"
13:09:46 <mroman> which is probably also a good place to start
13:11:45 <mroman> cpus are very different but still mostly similiar.
13:12:51 <mroman> you could also start with a more recent ARM processor
13:15:02 <mroman> you could also read 1000 pages of IA-32 manual
13:15:21 <AndoDaan> hmm... that doesn't sound like something I'd could do.
13:16:03 <mroman> It's probably easier to read 300 pages for some little microcontroller :)
13:16:19 <mroman> although they don't have paging
13:16:24 <mroman> and these neat features
13:16:43 <mroman> besides, IA32_64 is only 3.5k pages
13:17:18 <AndoDaan> wow. my manual, if i had one, wouldn't a tenth that long.
13:17:44 <AndoDaan> do they describe it at the atomic level?
13:18:34 <mroman> 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 <int-e> sigh, why does "make 24" use × for multiplication...
13:47:02 <fizzie> Specifically to spite you.
13:47:29 <int-e> ...you'd think that reproducing a specific search order for the expressions would be bad enough.
13:48:17 <fizzie> It's an AndoDaan problem, I believe.
13:49:10 -!- ais523 has joined.
13:49:48 <fizzie> (I was thinking of skipping it.)
13:53:21 <int-e> Me too. But I wouldn't let such considerations stop me from complaining first ;-)
14:02:45 <mroman> did AndoDaan create a new problem?
14:03:45 -!- impomatic_ has quit (Ping timeout: 244 seconds).
14:04:55 <mroman> looks like a brute-force problem
14:05:54 <mroman> int-e: I think numbers within expressresions are just sorted
14:06:08 <mroman> from greatest to smallest
14:10:40 <int-e> Which is to say, I don't know.
14:12:13 <mroman> () stuff always sorts before other stuff I guess
14:12:34 <mroman> and multiple () () are sorted based on the greatest number
14:13:39 <mroman> at least so it appears
14:15:05 <mroman> It would be cool if you could submit a verification program (i.e. like a python script)
14:15:10 <mroman> rather than hardcoded testcases :)
14:15:32 <fizzie> The problem was discussed on #anagol.
14:16:13 <fizzie> The samples were from the website or something.
14:17:24 <mroman> he didn't have a reference implementation?
14:19:16 <int-e> there are some preferences in the link, but those hardly determine the solution uniquely.
14:19:49 <int-e> (but the preference for putting big numbers first does indeed appear there)
14:30:21 <ais523> incidentally, I was randomly looking at the preferences that various editors had to be chosen as the default editor on Debian
14:30:30 <ais523> Emacs had a preference of 0; nano of 40
14:30:39 <ais523> I have three versions of vim installed, with preferences of 10, 20, and 60
14:30:43 <ais523> most amusing was ed, at -100
14:30:51 <ais523> I didn't even know debian alternatives preferences /could/ go negative
14:31:30 <ais523> I guess this is some sort of intriguing editor wars argument
14:32:00 <ais523> (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 <int-e> nano is so awful :/
14:39:27 <ais523> easier to use if you don't know what you're doing than emacs or vim
14:39:41 <ais523> and if you do know what you're doing, you probably know how to change the default for your account
14:39:54 <ais523> I have my nano set up with syntax highlighting, but I can't remember how
14:40:32 <mroman> The only thing I use in nano is ^X
14:40:52 <mroman> in case I accidentally start it
14:40:58 <int-e> Throwing people into nano is probably saner than throwing them into vim, at least it tells you how to quit :)
14:41:18 <mroman> If you know what ^X means
14:41:28 <int-e> it's displayed at the bottom
14:41:42 <int-e> at least for me. ^X Exit
14:41:56 <mroman> But typing ^X won't Exit
14:42:13 <int-e> ^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 <mroman> When I type ^ followed by X
14:42:34 <mroman> my screen just displays ^X
14:42:35 <int-e> mroman: oh you mean the Ctrl- thing., heh.
14:42:37 -!- ais523 has quit (Changing host).
14:42:37 -!- ais523 has joined.
14:42:55 <mroman> first time using nano I didn't know what ^X is supposed to tell me :)
14:44:29 <paul2520> from my .bashrc: alias nano='vim'
14:45:46 <int-e> so is there anything in those preferences that says that (11+11+2)*1 is better than 11*1+11+2?
14:45:50 <ais523> paul2520: that would do pretty much the opposite of what you want
14:47:18 <paul2520> I'm training myself to use vim instead of nano... so if I type 'nano', I want it to run vim instead
14:47:42 <ais523> in my case, I can use vim but not very efficiently
14:48:09 <paul2520> It's good to have a broad range of skills!
14:48:23 <ais523> emacs, gedit, nano, vim, kate, I've even used sed in emergency
14:48:43 <mroman> as soon as vim starts press i
14:48:50 <int-e> vim is good for simple search-edit-and-run tasks
14:48:55 <mroman> that's pretty much all I can do with vim
14:49:01 <int-e> beyond that I can't use it.
14:49:29 <int-e> mroman: you forgot ESC
14:52:18 <int-e> oh, after implementing the preferences, the output 13+12+12-13 is not even on my list anymore.
14:59:18 <Melvar> Hrm … does anyone know about unicode texs and/or what channel to ask about them in?
15:06:06 <paul2520> Melvar: #latex might be useful?
15:06:21 <paul2520> (or they might know where else to look)
15:07:51 <ais523> I know LyX has some sort of unicode TeX plugin that uses LuaTEX, IIRC
15:08:45 <Melvar> 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 <coppro> you're just imagining it
15:10:09 <Melvar> Well wait, copypasting from the PDF also shows the problem, so it may not be the font.
15:11:04 <ais523> perhaps it's to do with the font encoding, that was a real pain for my thesis
15:11:18 <ais523> because it swapped out perfectly normal English letters with pretty arbitrary latin-1
15:11:36 <ais523> I eventually fixed that by changing relevant-looking settings at random until it worked
15:14:58 <Melvar> (The thing here is that I have ‘×’ and it comes out ‘»’.)
15:16:01 <ais523> sounds like it could well be a font encoding problem
15:16:04 <ais523> 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 <Melvar> \usepackage{unicode-math} seems to do the thing.
16:02:35 <ais523> it's about finite-state type systems
16:02:52 <quintopia> how's life in the ivory tower treating you
16:03:54 <ais523> 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 <ais523> anyway, I started out learning and working with the standard type systems for this sort of thing
16:05:06 <ais523> and then eventually discovered they were all wrong
16:05:46 <quintopia> 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 <ais523> having the ability to get something published without having to mangle it to fit what journals want
16:07:50 <ais523> all the best references I've found have been phd theses
16:10:31 <quintopia> you do have to put a lot more effort into than a journal article tho
16:11:32 <paul2520> 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 <Taneb> Phantom_Hoover, I have showed some friends your blog.
16:12:42 <Taneb> You should write more.
16:16:32 <Taneb> 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:35:05 <lambdabot> LOWI 221620Z 24015KT 200V260 9999 -SHRA SCT010 SCT020 BKN030 04/02 Q1016 NOSIG
16:36:55 <ais523> hmm, UEFI got broken, and the break does escalation via Windows
16:37:13 <ais523> 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:45 <coppro> and yes, definitely. It's very good that it came via Windows
16:42:18 <ais523> https://www.mitre.org/publications/technical-papers/presentation-extreme-privilege-escalation-on-windows-8uefi-systems
16:43:51 <ais523> I'm annoyed that this "BIOS" doesn't have a way to install new UEFI root keys (that I've found)
16:44:10 <ais523> I was planning to have fun writing a security chain that touched every executable on the entire system
16:44:23 <ais523> all the way from bootloader on
16:52:52 <Taneb> Phantom_Hoover, a first-year here
16:53:21 <Taneb> 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 <Taneb> He has also written what sounded like a BF derivative called "Derpcode" (not the one on the wiki)
16:54:28 <Taneb> Anyway, I have a CS lab to not be in, and a house to be in
16:55:00 <ais523> http://esolangs.org/wiki/Braintwist already exists
16:55:15 <ais523> 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:39 <ais523> elliott_: what was that a reply to?
17:09:46 <elliott_> you need to do module signing, disallow kexec, and probably a hundred other little things
17:10:02 <ais523> elliott_: oh, I didn't think it'd be easy
17:10:11 <ais523> and I didn't think I'd complete it
17:10:14 <elliott_> http://mjg59.dreamwidth.org/28746.html http://mjg59.dreamwidth.org/9844.html http://mjg59.dreamwidth.org/12368.html
17:10:31 <elliott_> ais523: ah, well, you could probably get paid for actually doing it :p
17:10:44 <ais523> modules are signed by distro maintainers already, though
17:11:25 <elliott_> yes but you must disable unsigned ones
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 <HackEgo> [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 <fizzie> elliott_: By the way, I've provisionally accepted the London thing.
18:04:09 <fizzie> "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 <elliott_> will you be doing exciting things?
18:05:30 <ais523> fizzie: I don't know, someone I know rejected a job over a contract a while back
18:05:52 <fizzie> ais523: I guess it's *possible*. Do you know why in particular?
18:06:13 <fizzie> elliott_: That's what they claim, but we'll see.
18:06:36 <ais523> 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:56 <ais523> they claimed it was just standard boilerplate and couldn't see why people got upset
18:10:08 <fizzie> 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 <fizzie> 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 <fizzie> 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 <ais523> fizzie: I'm in the middle of a nethack-related conversation about spellbooks
18:15:39 <ais523> so had a pretty different interpretation of a trapped contract until I got my brain into the right gear
18:16:00 <fizzie> I don't think legal advice helps much against, say, a boulder trap.
18:16:10 <fizzie> Except perhaps for renumeration afterwards.
18:16:32 <fizzie> Remuneration. Enumeration. Difficult word.
18:16:48 <Slereah> Especially if you are scooby doo
18:16:53 <fizzie> Re-enumerate the device bus.
18:17:37 <ais523> fizzie: right, all the personal injury specialists would have a field day with rolling boulder traps
18:18:42 <fizzie> Very literally, I'm sure.
18:24:45 <AndoDaan> 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 <fizzie> AndoDaan: The PlanetMath page, you mean? Yeah, my correction there isn't accepted yet, it seems.
18:27:13 <fizzie> 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:28:04 <AndoDaan> 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 <J_Arcane> http://hackaday.com/2014/10/22/watch-that-windows-update-ftdi-drivers-are-killing-fake-chips/
18:53:49 <ais523> 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 <ais523> 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 <fizzie> Yes, especially if it's really just the USB product ID field.
19:18:49 <fizzie> I have one very cheap USB-serial thing somewhere.
19:19:05 <fizzie> (It's for plugging a Garmin GPS to a computer.)
19:20:20 <fizzie> 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 <ais523> "we made it so that you don't have to hack our products to be able to hack them"
19:23:01 <lambdabot> EFHK 221850Z 06012KT CAVOK M04/M11 Q1027 NOSIG
19:23:24 <lambdabot> EGLL 221850Z 24008KT 9999 SCT032 12/08 Q1024 NOSIG
19:24:26 -!- AndoDaan has quit (Ping timeout: 265 seconds).
19:26:54 <mroman> I'm tempted to create minilesque
19:27:03 <mroman> a de-bloated burlesque
19:29:41 <ais523> single-character or two-character commands?
19:32:39 <mroman> turns out I already started with that
19:38:55 <mroman> ais523: https://bitbucket.org/mroman_/mahou/overview
19:39:02 <mroman> ^- that's also a project of mine
19:39:09 <mroman> though, not closely related to Burlesque
19:43:21 <mroman> http://codepad.org/rGsi13sA
19:44:22 <mroman> don't ask me what the hell pushl/popl is
19:44:37 <elliott_> are there any girls aged between 10 to 18 who are an expert in that language
19:44:44 <elliott_> sorry, that joke is too terrible. I should have kept it to myself
19:44:51 -!- AndoDaan has joined.
19:47:27 <mroman> also.. what girls/why girls?
19:47:35 <elliott_> because they'd be a... mahou shoujo
19:48:12 <mroman> is that "magic girlfriend"?
19:50:38 <mroman> it appears that pushl/popl push/pop to/from a different stack
19:51:04 <mroman> |:x is shorthand for "x" get-member
19:52:27 <mroman> newl appears to create an object on the secondary stack
19:52:45 <mroman> getl and setl are just get-property/set-property for secondary stack
19:53:09 <mroman> dell is popl followed by pop
19:54:31 <lambdabot> ESSA 221950Z 09005KT 9999 SCT045 02/M03 Q1023 NOSIG
19:54:43 <mroman> https://bitbucket.org/mroman_/mahou/issue/1/no-empty-list-literal
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 <fizzie> FireFly: At least it's not M.
20:16:11 <fizzie> 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 <fizzie> (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:42 <mroman> if it counts as time I was working
20:30:21 <mroman> 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 <fizzie> 30 minutes here, which is approximately what it takes with public transportation.
20:41:35 <fizzie> (Just how long is your commute?)
20:51:28 -!- S1 has quit (Quit: S1).
20:54:33 <mroman> then 12min with the tram
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 <HackEgo> [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 <oerjan> hm i have a hunch lady selnikov is seeking whatever that key fits.
22:45:50 <oerjan> (and reading girl genius.)
22:47:52 <FreeFull> The book must be relevant somehow too
22:48:37 <oerjan> perhaps it explains what to do with what she'll find
22:48:43 <boily> AAAAAAAAAAAAAAAAAAAAAAH!
22:48:59 * boily just remembered he's completely absolutely outrageously late on reading GG
22:49:08 <oerjan> boily: are you SPOOOKED by SPOOOILERS
22:49:36 -!- Sorella has joined.
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 <int-e> oerjan: perhaps she's looking for that beast that Brother Ulm was so worried about.
23:26:55 <oerjan> well if that is the case, i suspect this won't end well for the lady.
23:32:09 <FreeFull> 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 <oerjan> although i am really expecting something more more plot-relevant, like a gadget related to time or dimension.
23:38:50 -!- callforjudgement has changed nick to ais523.
23:41:25 <FreeFull> If Heterodynes know not to mess with something, you know it's something you shouldn't mess with either
23:41:43 <oerjan> if the time travel visions are supposed to happen accurately, they probably have to get to the geisterdamen world somehow.
23:42:05 <oerjan> although not before being reunited with gil.
23:42:14 <FreeFull> On the other hand, Agatha is the best Heterodyne
23:42:43 <oerjan> well time travel and stopping time isn't the same thing.
23:43:01 <FreeFull> What was it her ancestor was doing with time?
23:43:20 <FreeFull> Time travel is clearly more advanced
23:43:22 <oerjan> well indeed it wasn't accurately described
23:43:53 <FireFly> D'you think Selnikov will encounter Agatha and the others soon?
23:43:54 <oerjan> well i mean it's stopping time that seems to attract those extradimensional beings
23:43:55 <FreeFull> I bet it'll be Agatha who figures out how to save the city
23:44:25 <FreeFull> I imagine time portals attract those beings more, so you have to keep them open only for short amounts of time
23:45:06 <int-e> oerjan: No matter what she's looking for I don't see this ending well for Lady Selenikov in any case :)
23:45:06 <oerjan> the visions didn't imply anything about that.
23:45:10 <FreeFull> Future Agatha knows what she's doing, probably
23:46:03 <FreeFull> 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 <FreeFull> Something like a huge time bubble is definitely the opposite
23:46:24 <FreeFull> No wonder such a gigantic being is coming over
23:47:05 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:51:04 <oerjan> saving everybody is going to take some good timing, with that aging effect. especially for tarvek.
23:51:26 <oerjan> he cannot afford to age a half hour.
23:53:46 -!- nys_ has joined.
23:53:51 <int-e> Tarvek, hmm. Was he shot by Martellus? So many things happened.
23:54:19 <oerjan> yes, with fast-working poison.
23:54:45 <oerjan> that dissolves the body.
23:55:47 <FreeFull> The aging thing has to be circumvented entirely
23:56:14 <FreeFull> Because otherwise everybody all the humans will die
23:57:03 -!- nys has quit (Ping timeout: 255 seconds).
23:57:58 <oerjan> int-e: correction, it was a knife http://www.girlgeniusonline.com/comic.php?date=20130531#.VEhEf5Vxljp