RT @GirlsFrontlineE@twitter.com

Dear Commanders,
The stage is shrouded in uncertainty while danger lurks behind the scenes.
Here's the PV for the major event Fixed Point, which will come online on Jan. 17th! Stay tuned for more details.
#GirlsFrontline #FixedPoint
https://youtu.be/TyDwQU4bijU

🐦🔗: https://twitter.com/GirlsFrontlineE/status/1611208964720721920

#FICS23 (International Workshop on Fixed Points in Computer Science), which runs alongside #CSL2023 , "is to bring together people from different fields such as algebra/coalgebra, verification, logic, around the thematic of fixed points". No proceedings, but "Depending on the nature of the contributions, a special issue of #FundamentaInformaticae might be published with selected contributions". #FixedPoint I couldn't find awebsite but here is a web link to the call: https://sympa.inria.fr/sympa/arc/coq-club/2022-11/msg00032.html

Now, rise-over-run, that's a #FloatingPoint operation.
But *of course* you can't do that. You're running on a single-threaded #CPU (no #GPU) with no lookahead; everything blocks, and floating point ops block for a LONG time. So instead you're going to have integers mimick floating point (#FixedPoint)

Okay, so you check to see when they're going over a certain remainder value and you should move up or down one row of #pixels? OF COURSE you don't have time for that.

Hello! This is my brief #introduction. I'm a professor of #economics at Rice university. I use #mathematicalmodeling to inform science-based policy. My research involves the economics of emerging infectious diseases, climate and the energy transition, and using #gametheory to study symbiotic relationships in #ecology. In #puremath I have been working on #fixedpoint theorems for locally contractive set-valued maps. I enjoy travel, kayaking, reading, and dreaming of classic cars.

Cheers!

@JordiGH

Aha! I finished searching and found a fixed-point triplet that isn't associative under multiplication like the floating point one you gave for addition! :D

If the fixed-denominator is 16

(8/16 * 11/16) * 9/16 =? 8/16 * (11/16 * 9/16)

Left-hand side:
(8/16 * 11/16) * 9/16
(88/16)/16) * 9/16
5/16 * 9/16
(45/16)/16
2/16

Right-hand side:
8/16 * (11/16 * 9/16)
8/16 * (99/16)/16
8/16 * 6/16
(48/16)/16
3/16

(a * b) * c ≠ a * (b * c)
:O

:D

#FixedPoint #Maths #Programming

new blog post about #FixedPoint #arithmetic
https://mathr.co.uk/blog/2019-09-30_fixed-point_numerics.html