But are you wearing it slip-shod, like the natives do?

Racket gets in your head like nothing else. Once you learn it, (Scheme does this too) you get x-ray vision to see every other language modulo syntax.

I have been writing Elixir professionally for the bulk of my career. (It’s been pretty awesome!) Despite this, I consider Racket to be my native language because it’s so easy for me to think in Racket. It’s the perfect bridge between my brain and the problem domain.

Modulo is the wrong word.

No, it’s actually the right word. I’m saying you see past syntax and get to the underlying semantics of PLs after learning Racket. (And modulo is a perfectly acceptable word to express this.)

All power to you!

As an aside, have you seen Typst? It’s got LaTeX-level typesetting quality but the markup syntax is a lot friendlier (close to Markdown) and the scripting language is a Real Language™ with sensible error messages and sub-second compilation times even for big documents.

We've established that Pangram is bullshit. But it definitely has some strong LLM vibes.

Who is "we"? Lol

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.