Proof by Ivy (Floating Point Formatting, Part 4)
research.swtch.com·2d
BASIC on a Calculator Again
hackaday.com·2d
A Visual Guide to Quantization
newsletter.maartengrootendorst.com·2d
CodeSOD: Well Timed Double Checking
thedailywtf.com·2d
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·3h
Simulating Pots with LTSpice
hackaday.com·5h
Subterms Modulo Theories I
philipzucker.com·3d
Loading...Loading more...