@whitequark@social.treehouse.systems
Post #1278457
2026-04-03 15:01 UTC
@jyn unexpected!
Replies (1)
-
@jyn@tech.lgbt 2026-04-03 15:03
@whitequark there’s a specific line in core::flt2dec::dragon that says “this is probably impossible but handle it just in case” and i’m trying to figure out whether it’s actually impossible or not lol it would be cool to use an SMT solver but hooking it up to bootstrap sounds like a giant pain. maybe something for next release.