Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
addaon
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
21 ms
·
391.
▲
by
addaon
1y ago
> Qualcomm, Broadcom, MediaTek, NVIDIA, AMD, Marvell, Rockchip, Allwinner Five of these are race-to-the-bottom business models. One is use-the-legal-system-to-retain-your-customers. The last two don't make cell phone class parts, an
392.
▲
by
addaon
1y ago
> In this alternate history In this alternate history, who would have invested the billions of dollars in developing the processor line all the way up through the A18 if it's not available as a market differentiator?
393.
▲
by
addaon
1y ago
Laptop-class bandwidth without that annoying portability.
394.
▲
by
addaon
1y ago
Look at the Bugatti Tourbillon. About as analog-appearing as it gets. Clearly there’s a recognition that this is what luxury looks like — but switches (let alone dials!) cost more than touch screens.
395.
▲
by
addaon
1y ago
Sure, but it makes no sense at all if you define biology as “the smell of a freshly opened can of tennis balls.” The original comment is probably better understood using a standard definition of the words it used, rather than either of our
396.
▲
by
addaon
1y ago
Title of the article is "How…", not "Why…", and "why" is not discussed. (My understanding is that the "why" is "because the implementation acted that way without an official guarantee, and folks
397.
▲
Nvidia Reveals Vera Rubin Superchip
(tomshardware.com)
5 points
by
addaon
1y ago
|
0 comments
398.
▲
by
addaon
1y ago
Apple still uses sapphire screens on the nicer watches.
399.
▲
by
addaon
1y ago
Yes, this drives a requirement for latent fault detection of LV battery faults. In general when a safety function is decomposed to provide statistical safety, there is a requirement to time-bound a single failure, since without that the dec
400.
▲
by
addaon
1y ago
I also haven’t found any bidirectional ones yet, even though the hardware (except maybe the negotiation chip if it’s pure PDE) should be able to support it. Would be really nice for development of PoE devices to just hook up one dongle to m
401.
▲
by
addaon
1y ago
“Up to X” produces a relatively strong bias for producing X yesses. “For each of these possible labels, write a sentence describing whether it applies or not, then summarize with the word Yes or No” does a bounded amount of thinking per lab
402.
▲
by
addaon
1y ago
I pay about $300 for a “one month supply”, which lasts me around 12 weeks.
403.
▲
by
addaon
1y ago
> The most important ingredient by far is competent people. Having competent people is a huge time (cost) savings. But if you don't have a process that avoids shipping software even when people make mistakes (or are just bad enginee
404.
▲
by
addaon
1y ago
> So you're using proof on every line of code you produce? No, except for trivially (the code is statically and strongly typed, which is a proof mechanism). The set of activities chosen to give confidence in defect rate is varied, b
405.
▲
by
addaon
1y ago
> If there was a study suggesting that static types don't add enough safety to justify tradeoffs, you might consider phasing them out. Perhaps. Speaking personally now (instead of trying to generalize for the industry), I feel like
406.
▲
by
addaon
1y ago
> You have some level of quality ya'll are used to, that was already achieved by compromise, and you'd like to stay there. How was that original standard established? Safety-critical code for aviation co-evolved with the use of
407.
▲
by
addaon
1y ago
> Everything has a cost. If you had to pick between "write 99% correct code in 1 week" vs "write 100% correct code in 1 year", you probably would pick the former, and just solve the 1% as you go. It's an absurd h
408.
▲
by
addaon
1y ago
So, uh, how is it attached to the garment? They talk about specialized sewing equipment, so it’s not bonded (although for polymer-based outerwear solvent bonding seems like the ultimate end-point)… but there’s no thru-holes or other obvious
409.
▲
by
addaon
1y ago
> we want code that's expressive enough to do what we want, while being constrained enough to not do what we don't I don't think that's an ideal mental model. Code in any (useful) language can do what you want, and ca
410.
▲
by
addaon
1y ago
Yep. This is why the estimates of compute needed for AI (if it turns out to be useful) are many orders of magnitude too low — the technology isn’t mature until it actually succeeds at tasks, with fully homomorphic encryption from my prompt
411.
▲
by
addaon
1y ago
I recall Uber looking into this around 8 years ago? Don’t know if it went past a publication.
412.
▲
by
addaon
1y ago
If your application has no time-critical aspect, why are you working on it now? There’s plenty of time to get to it later.
413.
▲
by
addaon
1y ago
They do if they’re in the specs. See near-universal use of lockstep processors, ECC etc in safety-critical and high radiation cases, which comes from the two requirements that “a single bit flip from a cosmic ray shall be detectable” and “m
414.
▲
by
addaon
1y ago
The Lockheed D-21 drone. Supersonic ramjet without the complexity of scramjet or the cost of turbojet, hamstrung by the need for a manned launch platform (making operations safety-critical… with predictable results) and recovery to get data
415.
▲
by
addaon
1y ago
“Half life tracking” isn’t really a thing — decay is a memory-less process (by definition), so there’s no distinction in decay rate between a lot of old Cesium 137, and a bit of young Cesium 137. The way to put an age on the contamination i
416.
▲
by
addaon
1y ago
> I wonder how many years need to pass after a company removes a user-hostile pattern before it should stop being lambasted for it. Why would there be a statute of limitations on this. A company doesn’t have an inherent right to customer
417.
▲
by
addaon
1y ago
> and seemingly was blue-shifted by an amount that could make sense from an approaching craft What do you think the natural spectrum of the Wow signal was, for determining amount of blue shift? What resolution of spectral data do you thi
418.
▲
by
addaon
1y ago
This seems pretty trivial to fix (or at least work around) by adding an enclave generation number to the key initialization inputs. (They mention that the key is only based on the physical address, but surely it has to include CPUID or some
419.
▲
by
addaon
1y ago
> Lower initial density isn't really an advantage. Wouldn’t larger change in density for a given force be an advantage, though? It allows you to have a larger subcritical mass (at the lower density) that becomes critical as force is
420.
▲
by
addaon
1y ago
> There are barely that many descent games released in a decade. There were three in the 90s that I know of. Have I missed some since?
More ›