forthac | 4 months ago | on: A worker fell into a nuclear reactor pool
forthac's comments
forthac | 4 months ago | on: ChatGPT Atlas
forthac | 5 months ago | on: Should I choose Ada, SPARK, or Rust over C/C++? (2024)
But a noteworthy excerpt: ```
Ada programs tend to define types of the problem to be solved. The compiler then adapts the low-level type to match what is requested. Rust programs tend to rely on low-level types.
That may not be clear, so two examples may help:
Ada programmers prefer to specify integer types in terms of the ranges of values they may take and/or the precision of floating-point types in terms of digits. I ended up doing this at least once, where on Day 23 I specified a floating-point type in terms of the number of digits it should reproduce accurately: Digits 18. The compiler automatically chose the most appropriate machine type for that.
Ada arrays don't have to start from 0, nor even do they have to be indexed by integers. An example of this appears below.
By contrast, the Rust programs I've seen tend to specify types in terms of low-level, machine types. Thus, I tried to address the same problem using an f64. In this particular case, there were repercussions, but usually that works fine as long as you know what the machine types can do. You can index Rust types with non-integers, but it takes quite a bit more work than Ada.```
forthac | 1 year ago | on: Choosing death penalty by firing squad because it's safer
The only humane form of execution (if there is such a thing) is nitrogen asphyxiation, with the long drop being second in my opinion.
forthac | 1 year ago | on: Cognitive Behaviors That Enable Self-Improving Reasoners
forthac | 1 year ago | on: 'Amateur and dangerous': Historians weigh in on viral AI history videos
forthac | 1 year ago | on: The DIY Multideck
forthac | 1 year ago | on: Removing stuff is never obvious yet often better
forthac | 2 years ago | on: U.S. is said to open criminal inquiry into Boeing
forthac | 6 years ago | on: Effect of Weight Loss on Obstructive Sleep Apnea: The Importance of Tongue Fat
I find it supremely hilarious that you refer to the person's own body as an external factor.
forthac | 6 years ago | on: BeOS: The Alternate Universe's Mac OS X
forthac | 6 years ago | on: Living Off the Land in Linux
forthac | 6 years ago | on: If PHP Were British (2011)
forthac | 6 years ago | on: Major U.S. cancer center ousts ‘Asian’ researchers after NIH flags foreign ties