I have a Kindle with KOReader on it and it’s awesome. I recently bought a book directly from the author (Isles of the Emberdark, Brandon Sanderson) and the author, being excellent, provided it without DRM so I had no trouble reading it.

But for less-excellent authors, where’s a good place besides Amazon to get ebooks?

The high seas (https://open-slum.org/) ... and as a compensation donate to the author somehow or make a donation to your local library for a clear conscience.

This is so cool! I'm going to have to try building this. Thanks for sharing!

> reasoning about program correctness is not possible

Not possible for all problems. We cannot decide correctness (ie adherence to a specification) for all programs, but we can definitely recognize a good chunk of cases (both positive and negative) that are useful.

The Halting Problem itself is recognizable. The surprising result of Turing’s work was that we can’t decide it.

Maybe in your corner of the world but not mine.

Amaze, amaze, amaze!

Loved the Project Hail Mary quote from one of the mission controllers. :)

This bright spot in world news has been good for my mental health and general motivation. Thank you NASA!

You didn’t even look at what the tool does, did you?

> If the issue is that people write bad floating-point expressions, a code-writing tutorial would be a better solution.

Yeah you are just criticizing this without even looking at it. Shame.

> You didn’t even look at what the tool does, did you?

On the contrary, I did exactly that. It proactively intervenes where mathematical knowledge would be a better remedy overall. It shields programmers from their ignorance.

If floating-point code is correctly written, it can't possibly serve a useful purpose.

> Yeah you are just criticizing this without even looking at it.

See above -- don't jump to conclusions.

They're not on God's green earth anymore, now are they?

It’s also blue, not green.

touche!

The poverty mindset is that you still need to check your mail while riding around the moon. Style would be no email at all.

Please imagine the luxury of being SO FAR AWAY from all the crap happening on our planet right now, only to be spoiled by some lousy marketing emails from Microslop hawking their latest Copilot incursion.

Most don’t seem to think about morals or quality at all: https://www.theatlantic.com/ideas/2026/03/introspection-andr...