Tootfinder

from my link log —
Elementary functions NOT following the IEEE 754 floating-point standard.
http://www.hlsl.co.uk/blog/2020/1/29/ieee754-is-not-followed
saved 2025-02-11

Elementary Functions and NOT Following the IEEE 754 Floating-Point Standard — TRYING TO FIND THE OBVIOUS
The IEEE-754 Standard for floating-point numbers was introduced initially in 1985 to solve the problem of diverse floating point implementations prevent code being portable and increase stability across platforms. It has been widely adopted and revised over the last 30 years and if you have dealt

Series C, Episode 05 - The Harvest of Kairos
[Space Command]
SERVALAN: How did that happen?
JARVIK: They fired through their own force shield.
SERVALAN: Don't be absurd.
JARVIK: You asked, I told you.
[Liberator flight deck]
https://blake.torpidity.net/m/305/294

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

The connection between the language in which we think/program and the problems
and solutions we can imagine is very close. For this reason restricting
language features with the intent of eliminating programmer errors is at best
dangerous.
-- Bjarne Stroustrup in "The C Programming Language"

Israel urges U.S. to join war with Iran to eliminate nuclear program (Barak Ravid/Axios)
https://www.axios.com/2025/06/14/israel-iran-war-us-nuclear-program-trump
http://www.memeorandum.com/250614/p90#a250614p90

"Last Exit Stabi – in 50 Minuten zum Bibliotheksprofi: Vol. I | Geheimauftrag: Kannst Du die Regierungskrise abwenden?" #Bibliothek​s-Escape…

FAA to eliminate floppy disks used in air traffic control systems - Windows 95 also being phased out
https://www.tomshardware.com/pc-components/storage/the-faa-seeks-to-eliminate-floppy-disk-usage-in-air-traffic-co…

FAA to eliminate floppy disks used in air traffic control systems - Windows 95 also being phased out
Millions trust their lives daily to floppy disks and Windows 95.

Trump Says He Wants FEMA Eliminated After Hurricane Season
https://gizmodo.com/trump-says-he-wants-fema-eliminated-after-hurricane-season-2000614124

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue
Esa\"ie Bauer, Alexis Saurin
https://arxiv.org/abs/2506.09791 https://

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
This paper presents a proof-theoretic analysis of the modal $μ$-calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal $μ$-calculus, using methods from linear logic and its exponential modalities. To achieve this, we introduce a new system, \muLLmodinf{}, which is a linear version of the modal $μ$-calculus, intertwining the modalities from the modal $μ$-calculus with the exponential modalities from linear logic. Our strategy for proving cut-elimination …

Convergence of adaptive boundary element methods driven by functional a posteriori error estimates
Alexander Freiszlinger, Dirk Pauly, Dirk Praetorius
https://arxiv.org/abs/2506.10499

Convergence of adaptive boundary element methods driven by functional a posteriori error estimates
The recent work [Kurz et al., Numer. Math., 147 (2021)] proposed functional a posteriori error estimates for boundary element methods (BEMs) together with a related adaptive mesh-refinement strategy. Unlike most a posteriori BEM error estimators, the proposed functional error estimators cover Galerkin as well as collocation BEM and, more importantly, do not control the error in the integral density on the boundary, but the error of the potential approximation in the domain, which is of greater …

Urban Composition II 🫟
都市构图 II 🫟
📷 Nikon FE
🎞️Ilford FP4 Plus, expired 1995
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Yiding Cao Geld mit PayPal.Me senden
Folgen Sie dem Link PayPal.Me/dingsterdingster und geben Sie den Betrag ein. Es ist bequem und sicher. Sie haben noch kein PayPal-Konto? Kein Problem.