aarchi

16 ms·

121.
by aarchi 6y ago
In fact, Edwin Brady wrote a Whitespace interpreter in Idris: https://github.com/edwinb/WS-idr
122.
by aarchi 6y ago
Has anyone used Darcs [0]? Its design based around a patch theory [1] looks very compelling to me, but I haven't tried it myself. [0]: http://darcs.net/ [1]: https://en.wikibooks.org/wiki/Understan
123.
by aarchi 6y ago
Neue Haas Grotesk was revived to restore the small details lost from Helvetica, so if you aren't very particular you may as well use the easily-available Helvetica. There's plenty of more interesting typefaces than Neue Haas Grote
124.
by aarchi 6y ago
My favorite sans-serif font is Meta by Erik Spiekermann which is described as the anthesis of Helvetica. It appeals to my exact nature and has humanist touches like the bend at the top of ascenders (b, h, k, l). Fira Sans is a free alternat
125.
by aarchi 6y ago
PDF files embed the vectors outlines for the letters used in the text and it's trivial to extract those into a font file. However, as the mathematical representation of the typeface is under copyright, this conversion does not make it
126.
by aarchi 6y ago
You'd need a web license to use this legally.
127.
by aarchi 6y ago
While the letterforms themselves are not copyrightable, as I understand it, the digital representation is copyrightable. This digitation of Neue Haas Grotesk would then be under copyright. Retracing Neue Haas Grotesk to create a free altern
128.
by aarchi 6y ago
On the contrary. It is times like these in which citizens need protections from those that may not have their best interests in mind. People have every right to protest and should not be surveilled in doing so.
129.
by aarchi 6y ago
This looks like a nice simplification of yacc/bison and lex/flex. The `then` keyword seems superfluous though; what was the motivation for `then` as opposed to just juxtaposition?
130.
by aarchi 6y ago
FYI, your commits are signed with "Your Name <you@example.com>". You'll want to fix your git config. For these existing commits, you can use git-filter-repo [0] to rewrite the author name and email. git filter-rep
131.
by aarchi 6y ago
I'll have to give this a try on my Raspberry Pi 4 4GB. I've setup Ubuntu, Arch, Kali, Raspbian, and Raspberry Pi OS on my Pis, but this'll certainly be the most exotic, given that it's not Linux. Do you know of any bare