I don’t think this is a good comparison. Ada (on which Spark is based) has every safety feature and guardrail under the sun, while C++ (or C) has nothing.
Not really, no.
A control? This is just a list of incidents, not an experiment.
You mean like consoles?
> lacking the skill set to leverage AI It possible that your job is simply not that difficult to begin with?
> They were very inconvenient. They were also very affordable!
They must’ve had a really robust kind of CDs wherever you lived, then. Like everyone else, I wore out a lot of discs simply by storing them outside their case.
Statistically significant... sample size? Support the hypothesis?
What is Fig. 1 showing? Is it the value of the integral compared with two approximations? Would it not be more interesting to show the error of the approximations instead? Asking for a friend who isn’t computing a lot…
Guessing from the text that they’re running the (interactive) bytecode compiler + interpreter version of OCaml, which is much slower.
I see what you mean. But would you not experience the same sort of issue simply from redefining types in the same way? It seems this kind of destructive operation (whether on types or terms) is the issue. As someone…
I don’t see the connection to dependent types. But anyway, is ‘redef’ part of your language? What type would you give it?
One point that the article is trying to make is that even something in PRF can give rise to a very long-running computation.
I agree. Logitech makes some products with replaceable batteries: I have an Ergo M575 trackball (their low-cost trackball) and it uses a single AA battery that lasts over a year for me when being used daily at work.…
Can you name one that had a 24-bit palette?
I feel like there’s way too much color for this to be ‘retro’. It seems you are limited to using 16 colors at once, but those colors are drawn from a 24-bit palette unless I’m missing something.
The problem isn’t that the type inference can’t figure out that it’s a number (it can). Subtyping makes inference difficult. There may be a function somewhere which takes arguments that could be made to accept a string…
It sounds more like a cautionary tale against bypassing APIs. What part of this is related to formal verification?
I don’t think this is a good comparison. Ada (on which Spark is based) has every safety feature and guardrail under the sun, while C++ (or C) has nothing.
Not really, no.
A control? This is just a list of incidents, not an experiment.
You mean like consoles?
> lacking the skill set to leverage AI It possible that your job is simply not that difficult to begin with?
> They were very inconvenient. They were also very affordable!
They must’ve had a really robust kind of CDs wherever you lived, then. Like everyone else, I wore out a lot of discs simply by storing them outside their case.
Statistically significant... sample size? Support the hypothesis?
What is Fig. 1 showing? Is it the value of the integral compared with two approximations? Would it not be more interesting to show the error of the approximations instead? Asking for a friend who isn’t computing a lot…
Guessing from the text that they’re running the (interactive) bytecode compiler + interpreter version of OCaml, which is much slower.
I see what you mean. But would you not experience the same sort of issue simply from redefining types in the same way? It seems this kind of destructive operation (whether on types or terms) is the issue. As someone…
I don’t see the connection to dependent types. But anyway, is ‘redef’ part of your language? What type would you give it?
One point that the article is trying to make is that even something in PRF can give rise to a very long-running computation.
I agree. Logitech makes some products with replaceable batteries: I have an Ergo M575 trackball (their low-cost trackball) and it uses a single AA battery that lasts over a year for me when being used daily at work.…
Can you name one that had a 24-bit palette?
I feel like there’s way too much color for this to be ‘retro’. It seems you are limited to using 16 colors at once, but those colors are drawn from a 24-bit palette unless I’m missing something.
The problem isn’t that the type inference can’t figure out that it’s a number (it can). Subtyping makes inference difficult. There may be a function somewhere which takes arguments that could be made to accept a string…
It sounds more like a cautionary tale against bypassing APIs. What part of this is related to formal verification?