News for hackers. Stuff that matters.

A comment on Coq: The World's Best Macro Assembler? [pdf]. Parent comment

Re:Coq: The World's Best Macro Assembler? [pdf] by anthk on Saturday November 29, 2025 @07:21AM (#46087004)
Most people versed in fixed point (microcontroller programmers, Forth programmers) will use rationals at decent speeds because they know all the tricks for performance, kinda like HAKMEM algos applied to Forth instead of a PDP10 (and OFC the Forth Scientific Library).

https://www.inwap.com/pdp10/hbaker/hakmem/hakmem.html

Edit: link

[ Parent | on HN ]
Re:Coq: The World's Best Macro Assembler? [pdf] by dwohnitmok on Saturday November 29, 2025 @11:20PM (#46093692)
I don't see anywhere in HAKMEM where they advocate for the use of unbounded rational numbers.

Do you have any examples of unbounded rational numbers used in a microcontroller program, in a production Forth program, or really in any production user-facing codebase?

I ask specifically for unbounded rational numbers because again bounded rational numbers are effectively equivalent to floating point and fixed denominator rational numbers are equivalent to fixed point.

[ Parent | on HN ]