Yes, Racket is built on top of Chez (there's a legacy mode with its own runtime but that's not very important).

How much more intelligence will it take to get people to be ok with data center construction? How much more intelligence will be needed to reduce overuse of antibiotics? How much more intelligence is necessary to enable free trade with Canada?

...only very marginally more?

What property, if not intelligence, do you think makes people capable of rallying political support? Of working quickly though permit processes? Of providing accurate drug dosing guidance? Of presenting as a trustworthy personal healthcare guide? Of negotiating political deals? Of making effective public communications? Of juggling independent parties' interests? Of coming out ahead in contracts? Of producing alternative antibiotics? Of detecting and handling drug resistance in the wild? What answer could your questions possibly have other than this?

I hope you're joking about...

I think we both know the answer, but the answer very definitely isn't intelligence.

This is the edtech product that my son (2nd grade) has liked the most from school.

HN should partner with Pangram to give an AI score to things that are submitted.

Is the protocol documented so that other people can build language front-ends?

Yes! I just wrote up documentation for the protocol earlier this week: https://hegel.dev/reference/protocol.

In reality, we hope to provide more guidance than this to people who want to write their own language frontend. This protocol reference doesn't talk about the realities of [hegel-core](https://github.com/hegeldev/hegel-core) and how to invoke it, for example.

We intend to write a "How to write your own Hegel library" how-to guide. You can subscribe to this issue to get notified when we write that: https://github.com/hegeldev/website/issues/3.

If you're eager, pointing your favorite LLM at https://hegel.dev/reference/protocol + https://github.com/hegeldev/hegel-rust and asking it to write you one for your language of choice should be enough to get you started!

You don't need 3000W, 1kW is plenty. I have a Yuba Mundo (one of the biggest long-tail cargo bikes) and my Bafang motor tops out around 1kW and it's plenty even for the biggest hills here in Bloomington (which is quite hilly).

I tried this also, and it was totally garbage for me too (with a similar refusal as well as other failures).

No, this is exactly what is meant by soundness. Using the `Any` type in TypeScript can result in values that have type `integer` being actually strings, which is unsoundness.

The predictions from this post have almost entirely turned out to be wrong. Chez Scheme upstream decided to merge in Racket's changes entirely, and to make the lead developer of Racket (Matthew Flatt) a core Chez developer. These days Matthew is the most active Chez developer. Over the past few years, half of the serious Chez committers are people who come from Racket.

It's not true that you need to use CPS to implemented first-class continuations. There are plenty of slow ways to do it, and even if you want to be fast you can do multiple different things. Dybvig describes a number of options in his thesis: https://www.cs.unc.edu/xcms/wpfiles/dissertations/dybvig.pdf

Sam will definitely know more about this than I will, so if he contradicts me, listen to him.

If I am not mistaken, the racket language does not convert to CPS during compilation. Instead, when you want to get the continuation, I think you just get a pointer to the stack frame that you want. All I know for sure is that it uses something called a-normal form, which is kind of like SSA in some ways, and that the continuation is 2x 64/32-bit words depending on your architecture.

The main implementation of Racket today is built on top of Chez Scheme, which uses the techniques described by Dybvig that I linked to.

In the earlier implementation of Racket, indeed it doesn't convert to CPS but does use something like A-normal form. There, continuations are implemented by actually copying the C stack.