kccqzy

3 ms·

1.
by kccqzy 5d ago
I am pretty sure early versions of the Safari browser (in the 2000s) did in fact store a full-text version of every webpage in the history and allow you to search that. I even remember looking at the plist files where Safari stored all the
2.
by kccqzy 5d ago
In practice the difference is whether the code that does this reclaiming is actually working. I’ve never gotten my Mac into a low disk space situation (other than maybe in Leopard days) but on iOS, it is quite frequent for me to trigger a s
3.
by kccqzy 5d ago
That makes sense. Sending SIGKILL to that process causes the spotlight UI in the menu bar to flash.
4.
by kccqzy 5d ago
You are right. The UI shows Siri disabled and offers to turn it on, but the process is still running. That process seems to change its name based on whether the UI thinks Siri is enabled; it can be called either just "Siri" or &qu
5.
by kccqzy 5d ago
There’s the old trick of setting your computer language to be different from the Siri language. I get the following error message when I open Siri in Settings: > Apple Intelligence requires that Mac and Siri are set to the same language.
6.
by kccqzy 5d ago
Great, that’s the ideal case. But in many languages and many libraries it is all but impossible to pass on a seed to everything that uses randomness, unless you control all these libraries. That’s why as a matter of practicality I’d advocat
7.
by kccqzy 5d ago
I agree with the thrust of the article but I want to quibble with one thing: the article says “calling RNGs that aren't seeded” doesn’t count as deterministic behavior, but randomized algorithms often have simpler implementations and b
8.
by kccqzy 6d ago
Reading a book from 2000 years ago is not the same class as reading a recently published modern romance fiction. The latter is basically consumed like a snack. On days when I am too lazy to be productive or be “creating” something, I someti
9.
by kccqzy 6d ago
Some people’s faces just naturally look like that. Probably depends on the cosmetics applied.
10.
by kccqzy 7d ago
Monads are where flat_map came from. A monadic programming style is where flat_map is used pervasively eschewing other APIs.
11.
by kccqzy 8d ago
It’s really interesting to note how the bigger apps deferred adopting Liquid Glass altogether until iOS 26 is out for almost a year. Do most developers making large apps also loathe it? Do they have in-house designers telling them not to ad
12.
by kccqzy 8d ago
If a user doesn’t have a second factor, what should their first and only factor be? The passkey people are trying to posit that a passkey is better than a password as the only factor.
13.
by kccqzy 8d ago
The author talks about the problem with using hardware keys, but they neglect to mention that many websites and apps simply do not allow the use of hardware keys! They will insist you use Apple or Google syncable keys. So after you have s
14.
by kccqzy 8d ago
It’s a question of how much resources to allocate to the hardware team, and how much resources to be distributed diffusely to the software engineers but especially to the compiler team. Even your linked paper contends that the actual observ
15.
by kccqzy 8d ago
Yeah I just don’t understand. I sold so much second hand furniture online. Each sale you get a little bit of adrenaline rush from a buyer handing you cash while you get rid of old stuff. (No adrenaline with electronic direct deposits.)
16.
by kccqzy 8d ago
Your point is still wrong then. The insight is in the proof process not the result. A human achieving such a proof would almost certainly be happy to talk about the new techniques invented in the proof, which will then be disseminated and s
17.
by kccqzy 9d ago
As the article had said there are two cultures in mathematics. At one end of the spectrum are mathematicians who are primarily motivated by the wish to solve problems, and at the other are mathematicians who are primarily motivated by the w
18.
by kccqzy 9d ago
That is true for almost any GraphQL backend not just GHE.
19.
by kccqzy 9d ago
I loved that pixelated mono space font. It’s a personal site; the author is allowed to have some whimsical elements and not conform to your readability standards. You can always change the font yourself in the browser.
20.
by kccqzy 9d ago
I wonder if we might have the equivalent of Certificate Revocation List for IDs leaked this way.
21.
by kccqzy 9d ago
I think the author is Claude.
22.
by kccqzy 9d ago
Yup. The person who submitted this to HN is probably way less knowledgeable on this topic than the writer of the article. The article clearly labels the recovered keys as “recovered public keys” at the top.
23.
by kccqzy 9d ago
Haskell got this right. You have foldr (right fold) and foldl' (left fold), and the order of the callback is opposite. If you do a left fold, then the initial accumulator is applied on the left; if you do a right fold, then the initial
24.
by kccqzy 9d ago
Most of Google's customers wouldn't know how to choose anyways, if these were exposed. My memory was quite hazy but I recall having a discussion with my colleague on choosing which Reed–Solomon code for our Colossus files, and app
25.
by kccqzy 10d ago
It’s ultimately based on a lot of hand-written heuristics. Google has some non-LLM based machine learning technique to guide optimization heuristics in LLVM; that would be closer to what you are looking for.
26.
by kccqzy 10d ago
It can’t always not interrupt your program. Think about it: after you press Control S to trigger XOFF, the fast output has to be buffered in memory. That memory is certainly not unlimited. There’s no way for the program to keep outputting t
27.
by kccqzy 10d ago
They run in a container with no network access, no data access other than the project folder.
28.
by kccqzy 10d ago
It’s a figure of speech. I use that phrase for anything older than three months.
29.
by kccqzy 10d ago
A lot more tricks can be learned from just watching AI work. Instead of allowing AI to work autonomously, go back to the old days where you manually approve every command the AI runs. Just recently while doing performance optimization work,
30.
by kccqzy 10d ago
Going from ag to ripgrep is not unequivocally better. Sure ripgrep is faster, but its file filtering using -g is so much more cumbersome than -G in ag. The latter uses a regex and the former uses glob. I type many more characters to do the

More ›