samth

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?

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 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.

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

The post doesn't mean there are 20 unemployed people, but that there are 20 interchangable pest control contractors who all do an adequate job, and so the one they fired was easy to replace.

No, macros and eval are quite different. You can see this for example in Python or JavaScript, which have eval but not macros.

The big difference between SBCL and Racket today is support for parallelism, and that's about decisions made by both projects a very long time ago. Racket has incrementally added significantly more parallelism over the years, but supporting lightweight parallel tasks that do IO (as in a web server) is still not something Racket's great at.

(Source: I'm one of Racket's core developers.)

This article is mostly whining that evidence-free speculation about how to write good software is no longer publishable in top conferences. And the major evidence cited is that there's a specific citation style required, a standard feature of every kind of publishing since forever. I promise (having reviewed many times for the specific conference under discussion) that no one's paper is rejected (or even denigrated) for failing to use appropriate citation style, people comment on it the same way they would comment on any other style issue.

I think it's not holding up that well outside of predictions about AI research itself. In particular, he makes a lot of predictions about AI impact on persuasion, propaganda, the information environment, etc that have not happened.

Just to be clear, the word "alpha" does not appear in the text of "Call of the Wild".

Perhaps in that case you should supply the definition that the author ought to have known.

Indeed, the Rust macro system was designed by people who had worked on the Racket macro system previously.

Notably, the definition given in the Wikipedia entry referencing TRAC means that "homoiconic" is a property of an _implementation_, not of a language. This would mean that Lisp, a programming language, could not properly be described as homoiconic, since it admits multiple implementations including those that do not have this property (eg, SBCL rather clearly doesn't).

History is of course valuable to learn, but as a criticism of the work this is almost precisely the "turn to the camera and say that he's the same kind of communist I am" tweet made flesh.

We considered that syntax, but `from` was not a reserved keyword already, whereas `import` was, so the parsing situation with the actual syntax was much better.

This is just entirely false. As a counterpoint, I recommend this passage about the washing in the Texas Hill County. https://x.com/trainallday247/status/1796732464838160650

Very few people I know doing real work in Racket have a SLIME-like workflow. In general, Racket discouraging this style is related to us being a bunch of professors, but not really in the way you say. Instead, it's because it's not possible to give a sensible semantics to the top-level, especially in the presence of macros. We care a lot about macros, and we also care a lot about sensible semantics, and thus the attitude towards the REPL. The slogan in the Racket community that "the top level is hopeless" expresses this sentiment.

It's a mistake to call this "Sora's" film, any more than a photograph is "Canon's" photo. Sora is just another tool here.

Our hardware has state.

Indeed it does. But why is this opposed to a connection to mathematics?

The idea that Mitchell Baker "insinuated herself" into Mozilla is ridiculous. She was an early Netscape employee, one of the original creators of the Mozilla project, and a founder of the Mozilla Foundation.

It is indeed the case that the student languages in Racket use cons only for lists. Improper lists are an extra complexity that people just learning to program don't need.

I recommend this seminar on the book, which contains both strong critiques and a lot of interesting and positive discussion. https://crookedtimber.org/category/david-graeber-debt-semina...

This is not correct about the current state of the art in program synthesis, which is a field that's made a lot of progress recently. Unfortunately people coming from the AI world tend to ignore that work entirely and imagine they're the only people with new ideas since the 80s.

I believe that is indeed why.

Here's the relevant part of the recording: https://youtu.be/va_uBcX9bNM?si=24C1L_bs878PS6pv&t=1400

What I said was (in part) "I am sure there are ways we can improve to attract people inside of academia, outside of academia, in open source, in commercial development, and we want to improve in all of those ways".