logs archiveIRC Archive / Freenode / #emacs / 2015 / September / 4 / 1
holomorph
wasamasa: ugh, syntax tables!
wasamasa
holomorph: tell me more about them
ryanprior: I just add the path to my package to `load-path'
ryanprior: if there are still autoloads from an older installation, I don't even need to use `require' to load the code
ryanprior: but I also use melpa to install any version of the package if I need to ensure nothing breaks for other users
err, quelpa
pangur_
This is a repost from #latex. I have run into a problem. Every time that I try to compile a latex file in emacs, it wants to create a Master file. The file I was trying to compile was called service.tex. It offered me service.el as a possible Masterfile. When I said yes, it could not find it. What has gone wrong? This only started tonight. Here is the error that I get: http://pastie.org/10395238
ryanprior
Thanks for the links to elpakit and quelpa. I think one of those might work for me.
holomorph
wasamasa: eh, i'm just learning about them. they have parents, define-derived-mode is setting the conf-mode parents, and i don't want that :D
Fuco
tali713: didi not only is function equivalence not trivial, it is actually straight impossible :D
tali713: didi simple proof follows from Rice's theorem
benaiah
(Action) googles rice's theorem
that seems like an obvious outworking of the halting problem
tali713
Fuco: yup, equivalence is out, identity is easy, but not usually what you want, anything in between?
well actually it is /usually/ what you want, but not if you are comparing two distinct things.
Fuco
what you mean by identity?
         

benaiah
(letrec ((a (lambda (x) x))))
whoops
tali713
Fuco: identity is the equality form where a is identical to be iff a is b.
benaiah
tali713: so (letrec ((a (lambda (x) x)) (b a)) (eq a b))?
tali713
benaiah: yes.
benaiah: which in the form you gave will never be true, since no function outside of that scope will ever be identical to a.
Fuco
well I guess inbetween is like... has a value in common
cf satisfiability vs truthfulness
tali713
Fuco: structurally identical with bound lexical parameters abstracted away?
benaiah
tali713: not following your second message, sorry
wasamasa
I've found an easter egg in evil
benaiah
wasamasa: ooh is it chocolate
wasamasa
benaiah: well, not quite
benaiah: vim has | for moving to a column
tali713
benaiah: I misread you, didn't see the (b a) in the letrec.
wasamasa
benaiah: and the help text got "Ceci n'est pas une pipe." at its end
tali713
benaiah: which is the only way for it to be true.
wasamasa
benaiah: so, `evil-goto-column' got the same text as a comment over the definition
benaiah
tali713: ah
tali713
benaiah: what I thought you wrote was (let ((a (lambda (x) x))) (eq a b)) which is provably always false.
benaiah
tali713: right
holomorph
facking hayl
Fuco
it's not "Spell like it's 1550 day" today
heliogabalus
rudybot: quote
         

rudybot
heliogabalus: let's form a political movement to build a bridge to the 19th century.
tali713
,sentientp rudybot
fsbot
Not yet
benaiah
he was only 350 years off
cvandusen
close enough
rad-editor
How does evil-mode know when to stop awaiting input, and execute a command (in normal-mode)? Like if you hit d3l, how does the editor know to finish the command there, when other 'd' commands end in fewer letters (such as 'dd' or 'dj')?
heliogabalus
evil magic
wasamasa
rad-editor: how much do you know about how emacs commands work?
rad-editor
wasamasa: afaik emacs modes are much just a key-map which extends the bundled commands (such as delete-char).
wasamasa
rad-editor: so, nothing
rad-editor: I'll keep writing my answer for someone else asking something more specific about evil-mode then :>
rad-editor
Sorry for asking. Was just curious how that worked
wasamasa
lol
this is akin to asking why the sky is blue if you haven't taken your physics courses
catern
i also don't know the answer
and have basically no idea how it works
so if you want to write a sentence or so explaining it...
wasamasa
yeah, that would be futile
it would be enough to have a blog on
Fuco
tldr it nests keymaps
wasamasa
and reads in loads of input to do its job
which apparently confuses the heck out of people
holomorph
wasamasa: pushed
wasamasa
"How does it do this numbers thing?" - "Just like the numeric prefix argument keys do."
benaiah
I always figured it just knew the arity of the last pressed thing. "3" is always going to have something after it in normal mode
wasamasa
"3 runs the command digit-argument, which is an interactive compiled Lisp function in `simple.el'."
benaiah
are there situations in evil/vim where the arity of a keypress is ambiguous?
wasamasa
what is way more interesting is how it turns this information into something its commands can deal with
benaiah
wasamasa: if you blogged on evil internals I would definitely read it
wasamasa
benaiah: well, what else is a domain like emacsninja.com good for :P
benaiah: I just dislike the thought of getting mail for that
benaiah
wasamasa: I didn't know about that one. I've only read your emacshorrors blog
wasamasa
benaiah: currently preparing an explanation for one of its truly evil keymap hacks
benaiah
wasamasa: ah, cool
wasamasa
benaiah: funny, I've put a blogpost on it pointing to the new one :P
benaiah
wasamasa: it does seem a little sad that it's not emacs.ninja, but I hate ICANN more than I like cute domains so you're good
wasamasa
benaiah: emacs.ninja is registered by someone hiding behind godaddy's privacy service
benaiah: I've tried sniping it away at renewal period and failed
benaiah: wrote a mail to the contact address and got nothing
benaiah
wasamasa: ugh, squatters
wasamasa
benaiah: so I've decided against the cute domain hack and went for something I have no troubles pronouncing
benaiah
wasamasa: I do like the identical-but-for-lightness styles on the two sites
wasamasa
benaiah: not quite, the colors are slightly different
benaiah: because this isn't solarized
benaiah: green and cyan should be more mellow on the light version
benaiah
wasamasa: I see
my two favorite areas of programming the ones that require the most developed ecosystems. I need to get simpler tastes in projects so I can have more choice in languages.
wasamasa
which would be?
benaiah
web programming and game programming
wasamasa
hah
benaiah
hence why I've still never written anything in Racket
wasamasa
why don't you join me in programming games in emacs?
didi
plz
benaiah
wasamasa: wha...?
yes
wasamasa
benaiah: you didn't see my talk about graphics in emacs?
benaiah
wasamasa: no...
holomorph
is it up?
wasamasa
yes it is
benaiah
(Action) rubs hands together in excitement
« prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 next »