addaon

28 ms·

571.
by addaon 1y ago
> Unsure. But they at least know you've tipped. "Steve thanked you for your tip." Wait, is that actually based on driver action? I assumed it was just another notification to drive "engagement" when someone accid
572.
by addaon 1y ago
> It depends on location Can you clarify? From https://www.uber.com/us/en/ride/uberblack/ , the only obvious location dependency is that drivers must "meet state- or local-level livery regulations
573.
by addaon 1y ago
> Sodium lights aren’t even orange in the normal sense of the word. They only emit one wavelength. It's hard to think of a more normal sense of the word "orange" than "emitting and/or reflecting predominantly wav
574.
by addaon 1y ago
> I can swear a lot while talking. I have never written a curse word in my code, especially professionally. I can swear a lot while talking. I have, once or twice, written curses in my code, sometimes including curse words, especially pr
575.
by addaon 1y ago
I agree completely. We gave programmable machines a full century after Babbage, and it was clearly a waste and a scam. Can you imagine if we had continued to invest in that garbage and built some "Electronic Numerical Integrator and Co
576.
by addaon 1y ago
> Many things are simplified in this crypto code, for example there’s no dynamic allocation. That's okay, I haven't worked on code bases with dynamic allocation professionally in years, and even my hobby projects usually avoid
577.
A pretty fascinating look under the hood of the Rivan R2(theverge.com)
1 points by addaon 1y ago|0 comments
578.
by addaon 1y ago
> I think that's right, and not a problem in practice. It's like asking a human why: "because it avoids an allocation" is a more useful response than "because Bob told me I should", even if the latter is the
579.
by addaon 1y ago
You can ask it "why", and it gives a probable English string that could reasonably explain why, had a developer written that code, they made certain choices; but there's no causal link between that and the actual code generat
580.
by addaon 1y ago
That's quite the product namespace shadowing... I'm sure it's deliberate, but I can't quite see the motivation of trying to evoke a mediocre 20-year old processor for your new product which I think is a watch and not a p
581.
by addaon 1y ago
> if you work on a team most code you see isn’t yours.. ai code review is really no different than reviewing a pr… except you can edit the output easier and maybe get the author to fix it immediately And you can't ask "why&quot
582.
by addaon 1y ago
> At a certain point you won’t have to read and understand every line of code it writes, you can trust that a “module” you ask it to build works exactly like you’d think it would, with a clearly defined interface to the rest of your hand
583.
by addaon 1y ago
I've just taken a quick glance at this, and will explore further -- but at first, it seems like it's really a good application of ad-hoc proofs to assembly code; which is a subset of what I'm interested in, but for me the mor
584.
by addaon 1y ago
I've wanted for years to take the research paper "Coq: The World's Best Macro Assembler" through several of its more and less obvious next steps, including re-implementing it on top of a formal specification of ARM (or R
585.
by addaon 1y ago
Yeah. C++11 was very much a new language “on top of” C++ — but it was a so much better language that learning it was a joy, and using anything predating it would be crazy. The minor tweaks since then are at times visually stunning (and not
586.
by addaon 1y ago
> The price at which it sells the said software? Aka profits after expenses? A vanishingly small percentage of software is sold.
587.
by addaon 1y ago
> That's trying to put a material value on software, and doing it based on the salaries of developers is as crazy as valuing it in lines of code. Software clearly has material value. For software that is built, not bought, the compa
588.
by addaon 1y ago
"Hey, we have a problem concerning semantics in a technical area. How can we make sure it never gets resolved?" "I know, let's add in a dependency on universal agreement on natural rights!"
589.
by addaon 1y ago
> first-person Second person?
590.
An "ice battery" system is being used to cool buildings and lower energy costs(cbsnews.com)
11 points by addaon 1y ago|2 comments
591.
by addaon 1y ago
> but I will never give Tesla another cent Is there a mature independent repair shop market yet? What is third-party part availability like? I've talked with a bunch of folk who have considered getting a used Tesla given how dirt ch
592.
by addaon 1y ago
This doesn't sound like it's Flash (despite the quote "completely reconfigured the structure of Flash memory"), it's some other type of NVM. From the limited information in the article, sounds like it's a PCM,
593.
by addaon 1y ago
I think this article is missing a major point, or perhaps should be titled "Some Non-Scary Machine Code Isn't Scary". It argues that machine code isn't scary, by building a one-to-one mapping from machine code to assembl
594.
by addaon 1y ago
> The radius of the Sun is 700km 700 Mm, or 700000 km.
595.
by addaon 1y ago
> Is there a market for going 35 miles and having to plug in? Sure, for someone who has a short commute, this can cover most days. And the gas engine seamlessly covers longer trips.
596.
by addaon 1y ago
> The only case I know of the industry combining them onto a single chip would be Texas Instruments’ MSP430 microcontrollers with FeRAM Every microcontroller with on-chip NVM would count. Down to 45 nm, this is mostly Flash, with the exc
597.
by addaon 1y ago
> These numbers are certainly close, but to my naive interpretation, the ranges don't overlap? As is typical, the tolerances given are sigma values for an assumed normal distribution, not the width of a uniform distribution. The dis
598.
by addaon 1y ago
In a previous life, with a specific set of hardware, we used a measured value of 70 ns two sigma as the typical skew between two GPS-disciplined clocks. Don’t use these numbers without testing your own system, but confirms order of magnitud
599.
by addaon 1y ago
> 1. I have a bunch of crypto for you sitting in an account. You can even log in to the crypto exchange and see your balance, transfer money, etc! You just have to pay a small fee to extract it. (The whole crypto exchange site is fake, a
600.
by addaon 1y ago
> SRAM scaling is dead I'm /way/ outside my expertise here, so possibly-silly question. My understanding (any of which can be wrong, please correct me!) is that (a) the memory used for LLMs is dominantly parameters, which

More ›