lioeters

That's illuminating, thank you for a generous reply. The point about real numbers and their representation (or lack thereof) in programming languages is a great example of the gulf between mathem…

> would be an issue even if it were humans writing I see what you mean, that the conversion of TLA+ specs to code is error-prone in any case, regardless of who or what does the conversion. From wha…

> designing stuff with TLA+, then feeding the spec into Claude That seems to defeat the purpose of using TLA+ in the first place. It's taking a rigorously logical and proven specification, put…

The Curry-Howard correspondence applies to all programs and computation, regardless of language. Some languages, such as dynamically typed ones, expose only a higher level abstraction where its inner …

> CORE-MATH Mission: provide on-the-shelf high performance open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries (GNU libc, Intel Math …

The original article [^1] didn't specify the CPU, but I gathered the code examples (and added one for Lua, untested) if anyone is curious to try with arm64. The test case to compare the margin of…

> On Christmas Day, 1990, Charles Bukowski received a Macintosh IIsi computer and a laser printer from his wife, Linda. The computer utilized the 6.0.7 operating system and was installed with the M…

Norman Wildberger's YouTube channel, Insight into Mathematics - https://www.youtube.com/@njwildberger …

From page 12: > Why should we believe in real numbers, if most of them, it turns out,[^15] are maximally unknowable like Ω? [^16] The footnotes: > [^15]: See the chapter entitled The Labyrinth o…

Hence Forth.

The need to remember operator precedence is a consequence of the infix notation syntax.

- Data-Oriented Design Revisited: Type Safety in the Zig Compiler - Matthew Lugg - https://youtu.be/KOZcJwGdQok?si=YDal2Gwb0IJPFgrI - Andrew Kelley Practical Data Oriented Design (DoD…

It's cute and friendly, how it explains the rules. Maybe instead of a red box for making a mistake, the sunflower could "shake its head" to mean "no". Anyway the game feels we…

Sorry for the harsh tone in a comment above, reading it over I see that was unnecessary and rude. I did enjoy the story of the plumbers during the regular flooding in Chicago, much respect to their ha…

> black box AI This is why, as much as I respect the underlying technology and its wondrous achievements, I will never accept proprietary "intelligence as a service" as a critical depende…

Evolution does not necessarily mean getting smarter or better in any way other than more adapted to the environment (natural and artificial). We could be getting stupider and more violent if that lead…

There's a parallel with open source software (FOSS), that you don't really control the software if you don't have the source code. Being given only the generated proof (or disproof) is …

> writing was never the bottleneck. Understanding was. Well put. This insight is worth repeating in every discussion on the subject, from software engineering to mathematics. The problem is that u…

Not even wrong. Real scientists say "yes" to the genie with all the answers? And artists and crafts people don't? The entire statement is nonsense, and offers no insight into art or sci…

Very cool! I'm learning a lot from studying how Lone Lisp works, and will be exploring how to run it on Blink, which is itself a lovely educational project. Someone managed to port the latter to …

Really enjoyed the interview, and love the ideas behind Lone Lisp. I was curious, does it run on jart's Blink project, the tiny x86-64-linux emulator? https://github.com/jart/…

Always a pleasure to sit down for Mr Hopkins' story time. Many gems of ideas and memories. For others like me who hadn't heard the word "fahrvergnügen", it translates to "plea…

The fox who longed for grapes, beholds with pain The tempting clusters were too high to gain; Grieved in his heart he forced a careless smile, And cried, 'They’re sharp and hardly worth my while.…

Nice, thanks for tracking down those links, fascinating. Apparently being off by 1 ULP is within IEEE 754 floating-point spec, and "effectively negligible".

Of course, because bicycles are convivial technology that empowers people. Automobiles are often falsely advertised as "freedom" but actually trap you in a web of dependencies and regulation…

Recently I was reading an article on the EML operator (exp-min-log) that uses exponentiation and logarithm to build elementary math functions including arithmetic operations. There was a table of resu…