Joachim Breitner1d ago

Does

> This way, you can achieve a spectacular 200x speed-down on your code with the added bonus of far fewer supported operations and an overall suboptimal experience.

make you curious, then read https://juliahimmel.de/blog/float-qanda/

(If you don't read that text, rest assured that that quote is taken out of context and Julia is not making your programs slower.)

#leanlang #floatingpoint

Floats in Lean 4.33

Here is a little informal Q&A-style post about the changes to Float in Lean 4.33. The questions are meant to be read from top to bottom, not in arbitrary order. This is not an “official” communication by the Lean FRO, whatever that may mean.

Julia Markus Himmel
kipriyanovich6d ago
Alright, future engineers!
**Round-off Error:** Error from storing exact numbers with limited precision in computers.
Ex: 1/3 stored as 0.33333.
Pro-Tip: Use double precision & re-order ops to minimize accumulation in long calculations!
#NumericalAccuracy #FloatingPoint #STEM #StudyNotes
☮ ♥ ♬ 🧑‍💻Jun 14

“In 1980, #Intel released the #Intel8087 #FloatingPoint coprocessor, a chip that could make math up to 100 times faster. As well as arithmetic and square roots, the 8087 computed #transcendental functions including #tangent, #exponentiation, and #logarithms.

But it all depended on a 69-bit adder: "The arithmetic heart of the floating-point execution unit is centered about a #nanomachine comprised of the adder and its related #registers, #shifters and control circuitry," as the patent describes it”

#Silicon / #EE / #Computing <https://www.righto.com/2026/06/intel-8087-adder-reverse-engineered.html>

The adder at the heart of Intel's 8087 floating-point chip

In 1980, Intel released the Intel 8087 floating-point coprocessor, a chip that could make math up to 100 times faster. As well as arithmetic...

airankedJun 13

Intel 8087 Adder

Discover how Intel's 8087 adder enabled 80s computing & paved the way for modern AI

https://airanked.dev/posts/intel-8087-adder-explained

#Intel8087 #FloatingPoint #AIHistory

Hacker NewsMay 30

Microcode inside the Intel 8087 floating-point chip: register exchange

https://www.righto.com/2026/05/microcode-inside-intel-8087-floating.html

#HackerNews #Microcode #Intel8087 #FloatingPoint #Chip #Technology #RegisterExchange

Microcode inside the Intel 8087 floating-point chip: register exchange

In 1980, Intel introduced the 8087 floating-point chip, a co-processor that made floating-point operations up to 100 times faster. This chip...

Hacker NewsMay 13

Fc, a lossless compressor for floating-point streams

https://github.com/xtellect/fc

#HackerNews #losslesscompression #floatingpoint #streams #dataengineering #softwaredevelopment

GitHub - xtellect/fc: fc is a research-grade, lossless floating point compressor.

fc is a research-grade, lossless floating point compressor. - xtellect/fc

GitHub
socMay 4

Yikes:

https://grep.app/search?q=sort.%2A%5Cn%2A.%2A.partial_cmp.%2Aunwrap_or.%2AOrdering&regexp=true&case=true

A good example of the consequences of poor API design.

#rust #FloatingPoint

Show threadरञ्जित (Ranjit Mathew)Apr 29

An excellent introduction to #quantization used for #LLMs 👌🏽:

“Quantization From The Ground Up”, Sam Rose, Ngrok (https://ngrok.com/blog/quantization).

On HN: https://news.ycombinator.com/item?id=47519295

#AI #Math #FloatingPoint #NumericalAnalysis #Numbers #NeuralNetworks #Precision #Accuracy

Quantization from the ground up | ngrok blog

A complete guide to what quantization is, how it works, and how it's used to compress large language models

ngrok blog
रञ्जित (Ranjit Mathew)Apr 19

🧐:

“It’s OK To Compare Floating-Points For Equality”, Nikita Lisitsa (https://lisyarus.github.io/blog/posts/its-ok-to-compare-floating-points-for-equality.html).

Via HN: https://news.ycombinator.com/item?id=47767398

On Lobsters: https://lobste.rs/s/l6c9wi/it_s_ok_compare_floating_points_for

#Math #Programming #FloatingPoint #NumericalAnalysis #Precision #Errors #Numerics

It's OK to compare floating-points for equality

lisyarus blog
N-gated Hacker NewsApr 18
Ah yes, another riveting tale of microcontrollers—because who doesn't love a deep dive into floating point #arithmetic on a #hobbyist chip? 🙄 Spoiler: if you enjoy endless links leading to nowhere and cryptic jargon, this post is your Disneyland. 🎢 Go ahead, embrace the thrill of being hopelessly confused! 🤓
https://danielmangum.com/posts/floating-point-cortex-m/ #microcontrollers #floatingpoint #techhumor #confusion #HackerNews #ngated
Floating Point Fun on Cortex-M Processors

In my recent post on the PSA Crypto API, I demonstrated the use of the API on two different MCUs: the nRF52840 and the ESP32-S3. In the case of the former, the ECDSA signature operation was eventually executed in a closed source library that manages communication between the Arm Cortex-M4 processor and the Arm TrustZone CryptoCell 310 security subsytem. Readers that ventured down the rabbit hole of links in the post may have noticed that there are variants of the nrf_cc310_mbedcrypto libraries for hard-float and soft-float.