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 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

I wonder if the PrusaLink httpd has an API. Could be nice to gather stats from it (temperatures etc)

@fraggle this is really cool. Does it work for IPv6?

It’s “ow ow ow rest my foot” o’ clock :(

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

»