176 reputation
8
bio website informatik.uni-marburg.de/…
location Germany
age 28
visits member for 4 years, 1 month
seen Sep 9 at 11:43

Ex Linux kernel programmer, M.Sc., PhD student, Scala/Java/Haskell/C/C++/Java developer, with focus on design and implementation of programming languages, in particular optimized EDSLs in Scala (and Haskell).

You can read my irregularly-published reflections on CS at http://blaisorbladeprog.blogspot.com/.


Apr
7
comment AucTeX: run latexmk + viewer in one command
@KeksDose: I might try out auto-save-buffers.el, but the first result from Google is 0xcc.net/misc/auto-save/auto-save-buffers.el where I can't read the comments (which is a good enough reason not to trust what it does). I guess I'll try out github.com/kentaro/auto-save-buffers-enhanced/blob/master/…, but do you have experience with it?
Apr
7
comment AucTeX: run latexmk + viewer in one command
OK, it seems to work (and it does not even ask me to save, which for me is a feature since that's not the moment I want to be asked that). I'll try to write it out as an answer.
Apr
7
comment AucTeX: run latexmk + viewer in one command
@daleif: as I added, Skim provides a command (displayline) for triggering the reload which accepts a SyncTeX source position. I just realized that I could map "View" to invoke LatexMk and tell it to invoke this program with the right line number. Something like latexmk -pv -pdf -new-viewer -e '$pdf_previewer = "displayline -r %n %o %b"', where %n should be replaced with the line number by Emacs. I think this should be possible to setup, but it might take a while to get everything right. Trying this out.
Apr
7
comment AucTeX: run latexmk + viewer in one command
@KeksDose: yes, synctex is set up, but I'd just like a single command to do compile-and-jump. I also thought it would be easy in Emacs; but it might be easier in latexmk.
Apr
7
revised AucTeX: run latexmk + viewer in one command
Clarify that View works
Apr
3
comment AucTeX: run latexmk + viewer in one command
@KeksDose: I hope I've answered your comment to your satisfaction. Generally speaking, "I do it another way" is not a valid argument; you need to argue "you're doing it wrong", but you don't have the elements for that. (Arguably, Skim might be broken, but even if it were fixed, which is easy, View will still jump to the current location.)
Apr
3
revised AucTeX: run latexmk + viewer in one command
Clarify clarification
Apr
2
asked AucTeX: run latexmk + viewer in one command
Nov
23
awarded  Excavator
Nov
23
comment NewDocumentCommand-defined command in bookmark
I'm wondering how clean (Greek-respectful) this is. I want a math lambda there, but most users will want math lambdas only when they write $λ$, and text lambdas otherwise. I guess I'm thinking of something like: \newunicodechar{λ}{\texorpdfstring{\ifmmode\lambda\else\textgreek{l}\fi}{λ}} (together with dependencies of \textgreek or some equivalent). But I'm rather ignorant of plain TeX, so please expect the above to be rather buggy.
Nov
23
revised Upright Greek letters in text mode (not upgreek)
Swap English and Greek in in-answer comment for the xgreek solution, as suggested by a comment to the answer
Nov
23
comment Upright Greek letters in text mode (not upgreek)
@Tobi: I proposed an edit to the post for fixing that.
Nov
23
suggested suggested edit on Upright Greek letters in text mode (not upgreek)
Nov
22
comment NewDocumentCommand-defined command in bookmark
I also wonder whether that could be integrated in something like unicode-math, but probably people don't want this to interfere with Unicode in normal input (outside of $).
Nov
22
comment NewDocumentCommand-defined command in bookmark
I agree the second solution is rather elegant for people like me.
Nov
15
comment How to make \left, \right pairs of delimiter work over multiple lines?
@LevBishop: what should one do if one needs an alignment tab inside \left...\right? Use \right. & \left.?
Nov
14
accepted NewDocumentCommand-defined command in bookmark
Nov
8
revised Inserting a pdf into latex with additional text
Fix typo in title
Nov
8
suggested suggested edit on Inserting a pdf into latex with additional text
Nov
8
revised NewDocumentCommand-defined command in bookmark
Restate at end that I am curious to understand