@laxla Code. This is a computing PhD thesis. Edit: but the preprocessor lhs2tex is using math-environments for the typesetted code, so there's some overlap here
@laxla ah I see. Yeah, in the LaTeX packages I am looking at, they put a lot of effort into vertical alignment issues
Two examples. Exhibit A: formatted using Listings package; Exhibit B: formatted using "lhs2tex", without any option tweaks
I think I'd prefer B if it hadn't gone so heavy with italics. I might be able to turn that off.
I think I'd prefer B if it hadn't gone so heavy with italics. I might be able to turn that off.
@laxla so you like the symbols in say, your editor (wiht ligature-font) but not in a PDF, is that right? Thanks for your response!
@goldmann Thanks for your feedback! funny you should mention LaTeX, that is relevant to why I asked :-)
When reading code snippets in academic papers, do you like any of: monospaced font? symbol substitution (e.g. -> becomes →; \a becomes λa); syntax highlighting via colour?
@jalefkowit I’d never thought about this before but the “choose a font from a drop-down of all the fonts” is a UI concept long in need of refreshing. It’d be cool to see it replaced with (perhaps) a pop-up window with filters for language and other stuff like mono space, cursive, symbolic, weighting,etc
Shock as controversial 90s gangsta rapper Bitch Broker, writer of hits such as i got bitches if you got paper and yes, I’m a sex trafficker is convicted of sex trafficking
TIL that procmail (most likely) prefixed a mbox-style “From” line to mails it passes into pipes - and converting that verbatim into a MIME multipart mail attachment (as one of my filters does) results in an invalid message, but I’ve been doing it since 2005 and no MUA had complained until now. Yeah I should stop using procmail I know
How to 3d print a slinky: step 1, get some filament. Step 2: tangle it. Step 3: you’re done! Didn’t even need to turn the printer on. #3dprinting
@fraggle fair enough, that's a pretty solid blocker :-) I just saw strncmps against IPv4 addresses and thought "that'll need changing eventually". But perhaps hell will freeze over first
I wonder if the PrusaLink httpd has an API. Could be nice to gather stats from it (temperatures etc)
This year I really enjoyed “into the breach” until I’m at the final mission and I have to make decisions about spending points for the last time and… I’ve lost all motivation to play it
Last yeah I was really enjoying xcom 2, right up to the landed-avenger mission, which was so good I thought the game would have peeked and never played it again