nine_k

4 ms·

1.
by nine_k 3d ago
> designed to ignore the rest of my system as much as it can and live in its own little world. Exactly what a small, locked-down system needs. A single-purpose server box. An advanced appliance, like a "smart TV", or media bo
2.
by nine_k 3d ago
(As a side note, I love the name ZLUDA; it very aptly means "delusion" or "deception" in Polish.)
3.
by nine_k 3d ago
In short: structurally like Docker (reuses Dockerfiles), but without a daemon, and, unlike Podman or Nix, very lightweight, only two binaries do everything. Common chunks of data are shared / deduplicated across installed packages, aga
4.
by nine_k 4d ago
I'd say that the ranking, and thus the relevance, is noticeably higher. If I know what I want to find, Kagi is good at surfacing exactly that, not something vaguely related.
5.
by nine_k 4d ago
It's relatively rare as of late that I need to specifically find something on the internet, and DDG does not suffice, so I rarely exhaust the 300 Kagi searches. Most of the time I need to find out something, and in that case, Claud
6.
by nine_k 5d ago
The real "old-school Google, but modern" is Kagi, with the caveat of being paid. (Worth the $5 for me.) But LLMs can be commanded. This is may bookmark alias for invoking the spirit of old Gog=ogle from within the new, AI-based Go
7.
by nine_k 6d ago
> Could an AI pray for you Prayer for external effects has long been mechanized [1]. But praying for your inner effect is a different thing. Similarly, production of songs for external consumption is being mechanized. But what you feel w
8.
by nine_k 7d ago
32" is too large, it makes you turn your head a lot, and the distortion at the corners is noticeable. You can put it farther away (which requires a nonstandard desk), but it sort of defeats the purpose. To me, 28" 4K is near the s
9.
by nine_k 7d ago
Trivially available at B&H for about $750. Speaking of DOS games, it's about half the cost of an IBM VGA monitor from 1987, in today's dollars.
10.
by nine_k 7d ago
Few pay it directly. It's paid in installments, subsidized by the carrier, traded-in for for an old but still okay phone, etc. And those who want to boast, can of course buy for the full price. This is a non-zero share of the target ma
11.
by nine_k 8d 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.
12.
by nine_k 8d 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.
13.
by nine_k 10d 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
14.
by nine_k 10d 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
15.
by nine_k 10d ago
But that's the whole point of dual AGPL + commercial licensing.
16.
by nine_k 11d 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.
17.
by nine_k 11d 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.)
18.
by nine_k 11d ago
Outsourcing all the thinking to machines may have consequences you might not like. An oblique explanation: https://croissanthology.com/earring
19.
by nine_k 13d ago
A diet that makes a particular infection easier to take root is very imaginable.
20.
by nine_k 13d ago
Spinach. Many nuts, e.g. almonds. Many beans (including cocoa but excluding coffee). Well, potatoes!
21.
by nine_k 15d 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?
22.
by nine_k 18d ago
POSIX signals are broken by design, alas: https://lwn.net/Articles/414618/ Python or not, almost nothing is safe inside a signal handler.
23.
by nine_k 18d 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.
24.
by nine_k 19d 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.
25.
by nine_k 19d 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.
26.
by nine_k 20d 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.
27.
by nine_k 22d ago
Prototypes have existed for a long time, but, as usual, they guarantee neither correctness nor availability.
28.
by nine_k 22d 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
29.
by nine_k 23d 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.
30.
by nine_k 23d 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

More ›