johlo

Yes! That's what reminded me about this NASA page, it was pretty funny that they used this incorrect GPT5 answer as part of their demo. ofc the main point of the demo was to show that it could generate the animation, but still funny.

A list of projects using the code generated by fiat-crypto: https://github.com/mit-plv/fiat-crypto/issues/902

There are some examples in in the SuiteSparse implementation, https://github.com/DrTimothyAldenDavis/SuiteSparse/tree/mast...

The weaknesses they point out pretty much still holds today - gaps in documentation and no critical mass/small community. The small community size means you have a hard time finding API's for anything but the most mainstream databases/services which is the major drawback with Erlang.

The docs strongly recommend running on ZFS. What is the current state of ZFS for linux? Is it common in production today?

Metatables seem to be supported, have a look at benchmark/suites/mtvsclosure.lua

I hadn't heard of javosize before, looks interesting, thanks. Being able to update code and data on a live system is very useful and I haven't seen that for the JVM before (BEAM of course handles that :) ).

It's surprising that the BEAM support for operations and management is very rarely mentioned. To me this is the key selling point for using BEAM vs JVM or something else.

Being able to open a remote console and do system introspection/tracing/profiling/debugging is a huge advantage when running in production. And all languages running on top of BEAM ofc get this for free.

In my experience, running JVM in production with tools like JProfiler/VisualVM/jconsole, etc. does not come close to the BEAM when trying to understand what is happening in the system.

They probably wanted to know if the people invited to stay on would accept/reject. That would influence which persons were laid off.