Not with that attitude!

#floatingpoint #whynofloats #ieee754 #atprotocol #atgeo

Floats in ATProto - HackMD Note: I was part of the IPLD team that created the specs/information that is linked from this FAQ.

= Floats in AT Protocol =

a modest proposal by @vmx.cx

hackmd.io/@vmx/floats-...

please share if you <3 #atprotocol and also numeric data types

#datamodels #atproto #whynofloats #float64 #ieee754 #atgeo

Original post on mstdn.maud.io

RISC-VではF拡張にFMIN.S / FMAX.Sがあり、IEEE 754-2019のminimumNumber / maximumNumberに相当する。また、Zfa拡張にFMINM.S / FMAXM.Sがあり、minimum / maximumに相当する。

また、D拡張を実装していればFMIN.D / FMAX.Dが、D拡張とZfa拡張を実装していればFMINM.D / FMAXM.Dが、Q拡張を実装していればFMIN.QとFMAX.Qが、Q拡張とZfa拡張を実装していればFMINM.QとFMAXM.Qが、Zfh拡張を実装していればFMIN.H / FMAX.Hが、Zfh拡 […]

Floating-point math: the silent culprit behind subtle bugs in your code. Even 30+ years later, the 1991 paper on floating-point arithmetic is a must-read for every developer.

#floatingpointarithmetic #ieee754 #computerscience

Original post on mstdn.social

I just released decimal-java 2.0.1, github.com/FirebirdSQL/decimal-java... Decimal-java is a library to convert java.math.BigDecimal to and from IEEE-754r (IEEE-754-2008) decimal byte representations.

Compared to decimal-java 2.0.0, this version adds JSpecify […]

Why NaN !== NaN in JavaScript (and the IEEE 754 story behind it) Learn where NaN came from in JavaScript and why it cannot be compared

pzarycki.com/en/posts/js-... #ieee754

@linuxgal

Note that this isn't Python-specific behaviour. This is required by the IEEE-754 floating-point standard, which Python (and most other runtimes) conform to.

NaN, Inf, -Inf, comparison rules, exceptions ... it's all in there.

#Python #IEEE754 #FloatingPoint #math #standard

A bicycle on sale, the price has been lowered by 100.00999999999999 €.

IEEE754 moment.

#IEEE754 #FloatingPoint

Formal Verification of IEEE 754 Interval Iteration for MDPs

A new study presents formal verification of IEEE 754 interval iteration applied to Markov decision processes. Read more: getnews.me/formal-verification-of-i... #formalverification #ieee754 #mdp

IEEE 754 strictness: Adhering precisely to IEEE 754 for predictable results can hinder compiler auto-vectorization and parallelization. Strict rules prevent compilers from reordering operations, limiting potential speed gains on modern CPUs. #IEEE754 3/6

only problem is the gaming of the systems first of all you have compiler optimisations and secondly clocks... Both lie and cheat.. huge incentives to do so, like HUGE... compare the assembly between an intel compiler and GCC with base settings now compare it to ARM and SPARC... clocks lie.. #IEEE754

Sademäärä: 1.70000000000000002 mm.

Sertifioitu IEEE 754 -hetki Ilmatieteen laitoksella.

#IEEE754 #FloatingPoint #ohjelmointi