//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Also forgot to mention some small fun with Z3 bernsteinbear.com/blog/asm-z3/
15d
Short post today. New ZJIT contributor dak2 submitted a PR to fix an overflow bug in fixnum division in ZJIT. We did the division fine, but lied about the type of the result in the case of dividing FI...
bernsteinbear.com
Checking assembly with Z3
Max