Yes, and that is a serious security problem because the only way to get trusted PCR values for TPM2 gated secure boot and full disk decryption applications, is with open source full source bootstrapped firmware.
Coreboot is the only option, but it has a hard requirement on Ada because that is what they wrote their intel graphics stack in.
Ada has had even less progress and I am not aware of any writeups.
TL;DR: Ada and Haskell need to have compilers implemented a language that has a full source bootstrap path such as C, Go, or Rust that implement just enough features to compile the official compilers.
No. Screw quantifiability. I don't want "we've improved the sota by 1.931%" on basically anything that matters. Show me improvements that are obvious, improvements that stand out.
Claude Plays Pokemon is one of the few really important "benchmarks". No numbers, just the progress and the mood.
> does Haskell have a special construct that allows for values to be overwritten
Yes and no.
No, the language doesn't have a special construct.
Yes, there are all kinds of mutable values for different usage patterns and restrictions.
Most likely you end up with mutable containers with some space reserved for entity state.
You can start with putting `IORef EntityState` as a field and let the `update` write there. Or multiple fields for state sub-parts that mutate at different rates.
The next step is putting all entity state into big blobs of data and let entities keep an index to their stuff inside that big blob.
If your entities are a mishmash of data, then there's `apecs`, ECS library that will do it in AoS way. It even can do concurrent updates in STM if you need that.
Going further, there's `massiv` library with integrated task supervisor and `repa`/`accelerate` that can produce even faster kernels.
Finally, you can have your happy Haskell glue code and offload all the difficult work to GPU with `vulkan` compute.
Your second thing-that-looks-like-a-quotation does not appear to be quoted from anywhere. I don't think you should do that.
(I am not sure whether your last line is your actual opinion or sarcastic, given the "no true ..." phrasing, but for what it's worth I think it's unironically correct: no one with any brain thinks ChatGPT is anything much like a superintelligence. There are people who expect AI to become godlike, for better or for worse, but the most they're saying about the likes of ChatGPT in this connection is "progress sure seems to be pretty fast these days".)
reply