LdBeth boosted

9front now ships with support for Korean Hangul in the default font.

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

@oneofvalts Welp FriCAS uses a somewhat awkward mechanism for ODE, that the function symbol needs to be constructed differently. I took the result as an equation meaning XXX = 0 and try solve it and it turns out the result should be correct.

@loke It just factors out (log c - a/b), so it is equivalent to Voyage 200's result.

@loke The highlighted part is the full implicit solution to the differential equation dP/dt = P(a-b*ln(P)) with initial condition P(0)=c, the next part solves the result to equation P = e^((ln c-a/b)*e^(-bt)-a/b) with some conditions. The result is known as the Gompertz Differential Equation, see math.stackexchange.com/questio

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