samus

6 ms·

91.
by samus 2mo ago
Why would they do that? That would make their shareholders angry and give their competitors an edge. (No /s)
92.
by samus 2mo ago
Wal-Mart has a direct, strong financial motivation to maintain that public bathroom: Customers that have to leave because they have to go to the toilet will buy less things.
93.
by samus 2mo ago
> Any person without serious mental and/or substance problems can handle losing their job without sleeping in the streets. This statement is very load-bearing in your whole argument though. Losing a job can completely derail a perso
94.
by samus 2mo ago
> I think you'd find less graffiti in a rural bathroom than a large city bathroom. IMHO that's purely due to differences in population density.
95.
by samus 2mo ago
My second condition would reject the additional element, as it would not be found in the input. have to be duplicated to However, I was lazy about the `|input| = |output|` constraints. With those constraints it would not be possible to omit
96.
by samus 2mo ago
Trivial one: `forall i, j. 0 <= i < j < |sorted| -> sorted[i] <= sorted[j]`, which can be satisfied by copying a single element from `input` or by `sorted` being empty. It can be fixed (feedback welcome) by adding: `forall i,
97.
by samus 2mo ago
To some degree these are the same things, depending on the type system. But it might be easier to write a function accepting a list of size 3 than matching on a constraint, which might get separated from the variable it annotates.
98.
by samus 2mo ago
> The question I always have is "why would the formal verification be any more correct than the program it is verifying?", Note: not bugs in the verification engine, but the spec made for the program. It is a nothingburger prob
99.
by samus 2mo ago
Yes, human direction will still be required for the foreseeable future (whatever that means in this fast-paced field) to recognize where introducing a DSL or a macro makes sense.
100.
by samus 2mo ago
Common Lisp is unfortunately a merge of multiple competing Lisps from the time period, much like Unix (SysV and BSD stuff). It was probably reasoned that a messy, imperfect standard is better than no standard or a restricted standard that
101.
by samus 2mo ago
It's inefficient, but still better than completely losing out on it. Better yet would be direct reuse or remote heating.
102.
by samus 2mo ago
It might actually be safe to use as a condiment, as originally intended.
103.
by samus 2mo ago
This is not rot, but digestion. The digestive enzymes of the fish keep breaking down amino acids, producing the characteristic smell. The salt prevents most microorganisms from growing.
104.
by samus 2mo ago
Killed from what? It's essentially sterile from all the salt.
105.
by samus 2mo ago
It could simply be diluted with lots of river water and disposed into the sea, like the waste product of saltwater desalination plants. Another solution would be to test it in a lab and then bottle it up and sell it, like it was originally
106.
by samus 2mo ago
Yes, it needs to be handled with care, but it's essentially the same procedure as with the waste products of desalination water plants. One caveat though - once you start diluting this stuff you have to keep going since the high salt
107.
by samus 2mo ago
Acid is a good way to modulate the flavor. There is a reason why in Vietnamese dishes are often served with limes.
108.
by samus 3mo ago
Teaching only the practical side risks not teaching the subject with the appropriate theoretical depth and the ability to generalize it to other applications. Courses for purely applied fields utilize calculus to solve the current problem a
109.
by samus 3mo ago
Even when this really isn't the case, the math is preferably reduced to a linear problem whenever possible since dealing with the original complexity is usually so much more painful.
110.
by samus 3mo ago
Many important advances in linear algebra happened in WWI to solve optimization problems for logistical and industrial planning. A lot of these applications boil down to high-dimensional systems of linear equations, which back then were sol
111.
by samus 3mo ago
The ultimate goal of university education is to raise researchers , who are the people that investigate the knowledge frontier of their field and then advancing it. To do that they have to understand a large part of the existing field so t
112.
by samus 3mo ago
There is a tension between applied and theoretical mathematics, and it's as old as the whole science itself. Mathematics arose to solve practical problems (land surveying and division, as well as trade) and recognizing the underlying p
113.
by samus 3mo ago
It's a good outcome as long as the proof is valid and ubderstandable to humans and leads to the discovery of further knowledge. There has been decades of search in Theorem Proving; this is just the next step.
114.
by samus 3mo ago
The official guidance is very simple and straightforward: upgrade regularly and keep eyes open for the few actual things that could cause trouble. If a project cannot keep up it can always stick to LTS versions. That's it.
115.
by samus 3mo ago
Just one more push to Java 17; from there on it should be smooth sailing. I hope you have built up a comprehensive regression test suite as part of the migration.
116.
by samus 3mo ago
Patches are released continuously. The upstream versions get them immediately and they are then backported to LTS versions. Whether the patches actually become available simultaneously I cannot say without.
117.
by samus 3mo ago
Yes, you can. There is no need to recompile, unless you're interested in new language features. Maintaining binary compatibility is a principal goal of the platform which continues to constrain design decisions for all future changes.
118.
by samus 3mo ago
I believe that's by design: applications are encouraged to upgrade often. That's usually a smooth process for standard-conforming applications. Applications that need to move slower can stick to LTS versions. LTS hopping has becom
119.
by samus 6mo ago
Presumably by targeting them toward these differences.
120.
by samus 6mo ago
Since the presence of that chromosome causes problems in an organism that functions normally with just two of these chromosomes, the change is actually not that big. And the therapy might also not be intended for adults or even children -

More ›