Recent submissions

Comment · 4 years ago
I don't have any experience with using Ghostscript as a post-processing step, and I am curious to know if it works well for complex documents.

LaTeX does have a native way of generating PDF-A compliant documents, using the pdf-x package. It's still in beta, but it is quite stable and works very well. The advantage of enforcing PDF-A compliance using native LaTeX is that it allows you to take the further step of implementing reproducible builds. Once that is done, you can be certain that given a LaTeX source file, you will be able to generate a bit-for-bit identical document.

Additional post-processing steps will have to be at least documented, and will probably tie the output on the specific version of your post-processor.

Comment · 4 years ago
Comment · 4 years ago
Comment · 4 years ago
Comment · 4 years ago
Thank you! I'm glad that my work was useful to you. I'm familiar with Lilypond, I've used it in the past to typeset musical notation, which I later exported for use in LaTeX as well.
Comment · 4 years ago
I'm a Philosophy student, and I keep a blog where I post essays on Philosophy and Computer Science- as well as the fun that results in their intersection.

https://shen.hong.io/

Lately, I've been playing around with the NixOS operating system, and I wrote a guide on Building a Philosophy Workstation with NixOS. In it, I document the process of setting up a computer for the use and practice of Philosophy:

https://shen.hong.io/nixos-for-philosophy-installing-firefox...

Although I wrote the guide with Philosophy students in mind, it has a surprising amount of overlap with software development and programming-- which will make it useful for Computer Science students as well.

For an example of a more straightforward work on philosophy, I wrote a dialogue on the metaphysics of being, using an analogy with chess and cryptography:

https://shen.hong.io/dialogue-on-the-questions-of-being/

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton