addaon

14 ms·

181.
by addaon 6mo ago
Sorry, in what way is this not a photograph? Are you saying that a video is not a sequence of photographs, that UV photons captured by a sensor don’t count because human retina sensitivity is low in that range, or some hopefully-less-semant
182.
by addaon 6mo ago
Yeah. $1000+ for a single tantalum hybrid cap [1] is a bit much, but for some applications there’s no real alternative. [1] https://www.digikey.com/en/products/detail/quantic-evans/TDD...
183.
by addaon 6mo ago
Wait, are you proposing sealing the phone and sealing the battery separately, but not sealing the contacts between them? That’s… super sketchy for salt water immersion. Unless you add fuses and a BMS and safety mechanisms into the “battery”
184.
by addaon 6mo ago
Also, not every airline has a 3-digit code. e.g. Aero Republica has the two-alphanum designator P5, but doesn't have a 3-digit.
185.
by addaon 6mo ago
> typically you can just write the rest of the code with the roles of the values swapped Today, yes; most modern instruction sets are pretty orthogonal, and you can use a value in any register symmetrically -- although even today, divisi
186.
by addaon 6mo ago
It would be interesting to do a write-up like this on "modern microcontrollers." Some of the content is similar (some µc cores look relatively similar to µp cores with a 10-20 year lag), but there's differences too. Things th
187.
by addaon 6mo ago
The return value of foo(n), converted to bool, acts as the condition variable…
188.
by addaon 6mo ago
I doubt you'll see this but... any chance you know if and where the XML files of the ASL are available for Armv8-M (or Armv8.1-M)? The ASL is embedded in the reference manual PDF, but for Arm*-A there's a structured XML that'
189.
by addaon 6mo ago
A truly excellent novel. And the call-out to the Folio Society (editions at the intersection of books and works of art) is well earned. For those into such things, I'd suggest Centipede Press as another press that, at it's best, g
190.
by addaon 6mo ago
Since you've clearly looked at this a bit... would you give a sentence or two comparing Indris, F*, and the other lesser known players in this space (languages for both writing and formally verifying programs)? I find it a wide space t
191.
by addaon 6mo ago
This feels like a knee-jerk reaction. While it may be a relevant critique of some news releases about academic research… this one literally contains a thumbnail with a link to a sufficiently-high-resolution image of the document. You can re
192.
by addaon 6mo ago
This addresses the “short long tail” (known bounded variance due to the multiple physical operations underlying a single logical memory op), but for hard real time applications the “long long tail” of correctable-ECC-error—and-scrub may be
193.
by addaon 6mo ago
Isn’t this a bit like spell-checking a Nigerian Prince email? The valuable eyeballs are the ones that don’t notice or don’t care.
194.
by addaon 6mo ago
A remote doctor can prescribe.
195.
by addaon 6mo ago
> Their viewers always forgive them. Pretty strong selection bias there. And no way to know how many potential viewers avoided them after the first ad read.
196.
by addaon 6mo ago
The article says that the research showed that energy transferred to the ball was basically the same — although it also says that a batter couldn’t feel the difference, which can’t be true given the angular momentum difference. But as a cas
197.
by addaon 7mo ago
Wouldn’t a tree without rings still reasonably capture the atmospheric C13:C12 ratio as it grows? Or is the carbon motility within the trunk too high, or the ratio differences too small, to sample a bit near the core and use the ratio there
198.
by addaon 7mo ago
There's still at least one relevant big-endian-only ARM chip out there, the TI Hercules. While in the past five or ten years we've gone from having very few options for lockstep microcontrollers (with the Hercules being a very com
199.
by addaon 7mo ago
Needs a compiler for the Mill architecture.
200.
by addaon 7mo ago
I hadn't noticed that... wonder if it's new. Just downloaded the Armv8-M ARM (nice acronym) and... this might be helpful, but man extracting this stuff from a PDF seems error-prone and the wrong way to do it.
201.
by addaon 7mo ago
At a lower level in the formal verification stack than this, it's on the one hand awesome that ARM has published a machine readable architecture specification for the more recent A architectures in ASL... and on the other hand extremel
202.
by addaon 7mo ago
Historical, not historic. Extremely not historic.
203.
by addaon 7mo ago
> The problem is bored employees find a new job elsewhere. But this one didn’t. 20 years at one place, at least 10 with minimal support. Maybe all those managers were bad; but maybe they realized this individual wasn’t a flight risk, and
204.
by addaon 7mo ago
Most LTO cells are focused on bigger cells than what I need — 20 Ah to 100 Ah is much better covered than 5 to 10 Ah. Unfortunately aircraft are weight-critical.
205.
by addaon 7mo ago
Contracts are about specifying static properties of the system, not dynamic properties. Features like assert /check/ (if enabled) static properties, at runtime. static_assert comes closer, but it’s still an awkward way of expressi
206.
by addaon 7mo ago
As with Spark, proving properties over a subset of the language is sufficient. Code is written to be verified; we won’t be verifying interesting properties of large chunks of legacy code in my career span. The C (near-) subset of C++ is (mo
207.
by addaon 7mo ago
I can’t speak to the C++ contract design — it’s possible bad choices were made. But contracts in general are absolutely exactly what C++ needs for the next step of its evolution. Programming languages used for correct-by-design software (Ad
208.
by addaon 7mo ago
I have the 2.9 Ah SCiBs for form factor testing, and the 10 Ah Shenquans for some functional testing. I’m eagerly awaiting the 5.5 Ah SCiB — the application is designed around a 20S1P 5.5 Ah SCiB string.
209.
by addaon 7mo ago
Not the original poster, but I’m a fan, in appropriate applications. Robust, fast discharge, long cycle life, and can charge and discharge at lower temperatures than most other chemistries (-20C and -40C, for what I’m using). Downsides are
210.
by addaon 7mo ago
A 2006 Miata started at $21k. A 2026 starts at $30.4K. This is an increase of 45%, less than the 61%-ish official inflation numbers over that time period. This is not unique.

More ›