using Z3 to test out the assembly program I just write. here unsat means a good thing: z3 cannot find counter example to my assertions.

I have no idea how this thing gives this accurate result without memory overflow. For desktop computers only a few CAS program can do this.

Made the 3270 Type1 font for plainTeX. Not sure if anyone else would need that because they can just use XeLaTeX with unicode and OTF support.

I hereby claim that 9p com has better Chinese support than sdf com

What happened when charging the phone during sleeping and knocked it off the bed.

tob: “ldbeth, your email content looks like grabbed”

Me: it is not grabbed, it is quoted printable UTF-8!

abaco works partially for Chinese, it seems some non Japanese kanji glyphs are missing.

Show older
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko