nine_k

4 ms·

31.
by nine_k 1mo ago
That's why the solution should be presented in a verifiable formal language, such as Lean. Which is the case with the Navier-Stokes problem.
32.
by nine_k 1mo ago
I'd say that a more appropriate reference from that time would be "The Nine Billion Names of God" by Arthur C. Clarke [1], which actually deals with the finiteness of the list of problems that a machine successfully exhausts.
33.
by nine_k 1mo ago
I mostly did not read it, but skimmed the words, and played with the code. That's much more instructive. It's not "music theory" proper, it's rather about the underpinnings of the "music language", the bas
34.
by nine_k 1mo ago
2-3 flights is still quite a bit of cost-cutting, and some SpaceX Falcon 9 boosters have flown more than 30 times; the median number is about 12, often very soon after the previous flight. We are not talking about forever spacecraft, and ev
35.
by nine_k 1mo ago
But that's the whole point of dual AGPL + commercial licensing.
36.
by nine_k 1mo ago
It's not even the US in general, it's SpaceX specifically. Only the US and China have demonstrated reusable rockets, and only SpaceX demonstrated the actual reuse, the cadence and the economy of scale that it brings.
37.
by nine_k 1mo ago
Two genuine questions. (1) Why not Rust? (2) Why not Haskell? (I have my own answers, but I'd love to hear yours, too.)
38.
by nine_k 1mo ago
Outsourcing all the thinking to machines may have consequences you might not like. An oblique explanation: https://croissanthology.com/earring
39.
by nine_k 1mo ago
A diet that makes a particular infection easier to take root is very imaginable.
40.
by nine_k 1mo ago
Spinach. Many nuts, e.g. almonds. Many beans (including cocoa but excluding coffee). Well, potatoes!
41.
by nine_k 1mo ago
Is this being done for the benefit of the users? The question applies to many decisions in Chrome. It's the ethical side of the maker. Is letting Firefox slip into irrelevance (by not using it) in the interest of the users, writ large?
42.
by nine_k 1mo ago
POSIX signals are broken by design, alas: https://lwn.net/Articles/414618/ Python or not, almost nothing is safe inside a signal handler.
43.
by nine_k 1mo ago
With a BT keyboard, and a decent USB-C/HDMI screen, such a phone may be an acceptable laptop. Both Samsung and Google support desktop mode now.
44.
by nine_k 1mo ago
For vi-heads: ":" The key combo that puts you into command mode. M is "meta", which is Alt on PC or Cmd on Mac.
45.
by nine_k 1mo ago
I suppose the insane speed is due to this: > TurboKV's persisted Bloom-filter format uses hardware AES. Also, built-in LZ4 compression. I would expect SIMD to be used for scans.
46.
by nine_k 1mo ago
This assumes that you have plenty of cash to burn in the process, which is approximately correct for VC-backed ventures, and for offshoots of large corporations that play a lomg game.
47.
by nine_k 2mo ago
Prototypes have existed for a long time, but, as usual, they guarantee neither correctness nor availability.
48.
by nine_k 2mo ago
To put this into a perspective, Google helpfully reminds: > A fully configured IBM Personal Computer AT (Model 5170) with expanded memory and storage cost around $5,795 to $6,000 at its launch in August 1984, which equals roughly $18,60
49.
by nine_k 2mo ago
Indeed. Once galleries became significant buyers of art, scandalous art became an attractive thing to produce: it commanded outsized attention. The dynamics are similar in Twitter today, too.
50.
by nine_k 2mo ago
Given enough money, there would be people willing to do all that, buy proper gear and disinfectants, etc. But that would cost so much that most municipalities or businesses would not afford that. Some places, of course, do afford that; they
51.
by nine_k 2mo ago
I remember people taking about smelting aluminum as a way to put overproduced solar electricity to a good use. Would come in very handy now.
52.
by nine_k 2mo ago
If you're selling it as a nonlethal weapon, you should somehow make certain it's not going to kill except by freak accident, and cannot be used to kill deliberately. Also, consider the safely of the police officer.
53.
by nine_k 2mo ago
Then selling raw access, without system prompts, could be a separate lucrative line of business.
54.
by nine_k 2mo ago
A typical Go binary would be 2-3 times larger. A typical Node project would easily pull more than 6 MiB of just code, not counting the runtime.
55.
by nine_k 2mo ago
In Spanish "z" always sounds [s] (except in Spain where it sounds [θ]), but "s" can often sound [z].
56.
by nine_k 2mo ago
Swedish does naturally use a lot of letters with umlauts (e.g. a common plural suffix -är), so a noun with a special letter is usually not hard to come by, and looks more Swedish (than, say, Dutch or English, which are sort of cousin langua
57.
by nine_k 2mo ago
I hope that green items are especially prized!
58.
by nine_k 2mo ago
If the goal is something that reads weird for most Europeans, then try picking names from Finnish, Estonian, Hungarian, or Welsh.
59.
by nine_k 2mo ago
The app doesn't know. It just produces a widget tree, and the OS-provided renderer renders it this way or that way. In particular, it chooses not to render controls marked as "security-sensitive" when the rendering is intende
60.
by nine_k 2mo ago
But sometimes it's applied properly! https://github.com/casey/just

More ›