pleroma.debian.social

Jonathan Dowland | @jmtd@pleroma.debian.social

Principal Software Engineer on #OpenJDK #RedHat. #Debian developer (dormant). Computer Science PhD student. Amateur Computing historian (Computer Science and H/W, esp. Commodore Amiga). Guerilla archivist.

@laxla Latex is a pretty natural choice for writing a PhD thesis. What would you suggest instead?

@juliank ah it's ok, I've found someone else has mirrored it. Oh man there's a lot of bootstrap ikiwiki themes

@juliank 👋 ­do you still have an online copy of your old IkiWiki Bootstrap theme somewhere? T'was on Alioth iirc. TIA!

this is copying the syntax highlighting decisions that my code editor is using, but now I'm wondering, more fundamentally, what do I want to emphasise or de-emphasise? what is important? aargh

A bit of fiddling with lhs2tex…
formatted haskell code with keywords bold and blue, syntax symbols coloured red, sans-serif fonts, and variable names italic

@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.
Exhibit A: formatted using Listings package Exhibit B: formatted using "lhs2tex", without any option tweaks

@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

@fthevenet Thank you!

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

New blog post: ouch, part 3 https://jmtd.net/log/ouch/3/ #health

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

@denyerec oh wait I’m already following you

»