kccqzy

20 ms·

451.
by kccqzy 6mo ago
The article states 1,000 vertical feet. Obviously this is targeting small drones and not commercial aircraft or even general aviation.
452.
by kccqzy 6mo ago
I am not. I am referring to the Chinese race. Their nationality could be Taiwanese or even Malaysian and the result is the same.
453.
by kccqzy 6mo ago
The CCP is known to be very aggressive. Even if the founders acquired Singaporean citizenship (which is way easier for ethnic Chinese people than for other races), the CCP would have taken them hostage if they just set foot in China like fo
454.
by kccqzy 6mo ago
I would’ve expected that people who like computers will converge around something like Idris. It’s marketed as a development tool, not a tool for formalizing mathematics even though it could be used as a proof assistant.
455.
by kccqzy 6mo ago
I shoved math aside because I think for most of the HN crowd it wouldn’t be a good use of their time to do what mainstream mathematics is about, like the “things such as Grothendieck schemes and perfectoid spaces” the article also reference
456.
by kccqzy 6mo ago
For the HN crowd who are generally programmers but not necessarily mathematicians, it’s more relevant to consider the programming side of things. There is a very good book (one I haven’t finished unfortunately) that covers Lean from a funct
457.
by kccqzy 6mo ago
As a bicyclist I kinda agree with Waymo. Unless there is a strong separation (physical barrier) between the car lane and the bike lane, the rules of the road is that one always overtakes on the left; this implies that if a car is stopped, o
458.
by kccqzy 6mo ago
There’s no exceptionalism. I’m not even an American. I just happened to have a string of English teachers in high school that rejected grammar mistakes in student essays with the same vigor they rejected bad arguments, logical fallacies, an
459.
by kccqzy 6mo ago
The following is actually the most surprising part to me. > This is quite limiting, as it forces PipeWire to waste CPU cycles (and therefore battery life) on resampling audio streams that are not either 48 or 96 kHz. So the Asahi team th
460.
by kccqzy 6mo ago
The phrase “missing comma” is missing an article. You need “a” or “the” before that. As a result when reading your comment, I subconsciously think of it as low quality. But it’s okay. HN comments aren’t supposed to be high quality anyways.
461.
by kccqzy 6mo ago
I try hard not to care but subconsciously spelling errors and grammar issues scream low-quality work to me. It’s the kind of mistake that’s the easiest to correct, and they didn’t bother.
462.
by kccqzy 6mo ago
This effect is very obvious on me. I consistently get headaches when my sodium intake is too high. I don’t even use MSG in my own cooking but occasionally I add too much salt.
463.
by kccqzy 6mo ago
I spent only two minutes reading their documentation and it’s clear no one did any proofreading and it’s full of mistakes made by non-native speakers. Example: the second sentence on the first page says “softwares” but “software” is a mass
464.
by kccqzy 6mo ago
> because not having to review the library code is the whole point. That’s just not true at bigger companies that actually care about security rather than pretending to care about security. At my current and last employer, someone needs
465.
by kccqzy 6mo ago
This just does not match my workflow when I work on low-priority projects, especially personal projects when I do them for fun instead of being paid to do them. With life getting busy, I may only have half an hour each night with Claude to
466.
by kccqzy 6mo ago
Yeah but logic bugs cannot be found by tools. Whereas for UB at least we have address sanitizer and UB sanitizer and valgrind and many similar tools. You can recreate what these tools do in your API, and that’s extra work: a use-after-free
467.
by kccqzy 6mo ago
I don’t use self checkout systems that have weighing scales that require items to be moved from the cart to the bagging area. I either avoid self checkout at these stores or stop going to such stores altogether. I shop at my neighborhood Wh
468.
by kccqzy 6mo ago
So what’s your coding style in Clojure? Do you eschew lazy sequences as much as possible and only use either non-lazy manipulation functions like mapv or transducers? I liked using lazy sequences because it’s more amenable to breaking large
469.
by kccqzy 6mo ago
That does not sound like a good example. The two-argument form of `map` already returns a lazy sequence. Same for `filter`. I thought lazy sequences are already supposed to get rid of the performance problem of materializing the entire coll
470.
by kccqzy 6mo ago
I will try your suggestion of fish sauce plus peppers! You mean ground black pepper, right?
471.
by kccqzy 6mo ago
Squeezing the suppliers in just the right way. When you squeeze them too hard and the pricing is too low, the suppliers stop making quality parts and Apple would have a reputation for hardware failures. Squeezing the suppliers not enough an
472.
by kccqzy 6mo ago
Well on iOS if you grant an app Files & Folders permission it also has permanent RW access to all your files visible in the Files app. I could use for example Möbius Sync (Syncthing) to sync all my documents from my desktop, then use PD
473.
by kccqzy 6mo ago
Your worldview aligns very well with what Apple is doing anyways. All you need to do is to use macOS, and only download apps from the Mac App Store (because they are sandboxed). And millions of non-technical Apple users are doing just that.
474.
by kccqzy 6mo ago
> The 1989 earthquake in Loma Prieta, California, which killed sixty-three people and caused six billion dollars’ worth of damage, lasted about fifteen seconds and had a magnitude of 6.9. A thirty-second earthquake generally has a magnit
475.
by kccqzy 6mo ago
I could not taste the fishy taste myself but my partner can. It varies by person how sensitive they are.
476.
by kccqzy 6mo ago
I bought a bottle of Vietnamese fish sauce (Red Boat brand, the most recommended brand) and added a teaspoon to some pea leaves. I loved the resulting flavor, but my partner did not and complained that it had too much of a fishy smell. A lo
477.
by kccqzy 6mo ago
Your citations do not back up your claims. For example [3] was talking about immobility and poverty, but not about living near noisy traffic infrastructure.
478.
by kccqzy 6mo ago
> Certainly, part of it is also cultural and legal frameworks that in the US make it very hard for this model to work How so? In the United States Congress granted land to railroad companies, and the companies can sell the land to financ
479.
by kccqzy 7mo ago
Samsung started as a trading company for dried fish, noodles and groceries. Now it does many things as a conglomerate but it’s mostly known as an electronics company. Toyota started as a company to produce looms. It’s now mostly known as an
480.
by kccqzy 7mo ago
This quote about testing is way worse: > OpenSSL’s CI is exceptionally flaky, and the OpenSSL project has grown to tolerate this flakiness, which masks serious bugs. OpenSSL 3.0.4 contained a critical buffer overflow in the RSA implement

More ›