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.

LdBeth boosted

Your child will be a indifferent owner. Your finances will become good in the next several hours. Good weather is in the air. Tomorrow food would be a good thing to ponder. You'll eventually be ill. 12 is your lucky number.

LdBeth boosted

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.

LdBeth boosted
LdBeth boosted

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.

ldbeth.sdf.org/aplfont.html

LdBeth boosted
LdBeth boosted
LdBeth boosted
LdBeth boosted

wrote a bunch of XSLT stylesheet today. I used to think that's the worst programming language I could find but it seems ok to me now.

LdBeth boosted

If you have a place in your heart (and bookshelf) for "GNU Emacs Manual, Nineteenth edition, for Emacs version 27.2," then we have plenty in stock! In fact, we have enough in stock that we took this "E for (GNU) Emacs" picture! Buy it and enjoy it now at: u.fsf.org/3ff

have you told anyone to rm -rf /* ?

LdBeth boosted

Minutes from now not answering the phone may seem mysterious. Do something nice for a friend this week. Your cat will be fluctuating in the next few days. Dye your hair with the help of someone you talked to 5 or 11 times at a party. You'll eventually be gay. Don't forget, it's only 366 days at most until Christmas.

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