jcranmer

11 ms·

181.
by jcranmer 5mo ago
Trying to treat law as code-in-English-form is going to lead you horribly astray, however. The behavior of C code is something that we can, in principle, reduce to semantics in a formal model we know how to describe the behavior of. Now, th
182.
by jcranmer 5mo ago
Ultimately, taxes is just filling out a spreadsheet and doing basic math... but the hard part of taxes is understanding how to fill out that spreadsheet correctly. Doing that requires answering several questions that many tax filers may sim
183.
by jcranmer 5mo ago
See e.g. https://people.eecs.berkeley.edu/~demmel/ma221_Fall20/Dinech...
184.
by jcranmer 5mo ago
The most common plugins were Flash, Silverlight, Adobe Reader, and the Java applet plugin, and I think all of those were in mildly common use when plugins were on their last legs.
185.
by jcranmer 5mo ago
The takes I've seen from pretty much all the numerical analysts is that posits are not really viable as a replacement for floating-point; they're just a much worse implementation. There are a lot of flaws with IEEE 754 (I'm u
186.
by jcranmer 5mo ago
The Intel manuals list the set of features that are removed or planned to be removed from newer hardware versions: Sub-page write permissions for EPT, xAPIC mode, Key Locker, Uncore PMI. IA32_DEBUGCTL MSR, bit 13 (MSR address 1D9H), Intel®
187.
by jcranmer 5mo ago
The C committee is cleaning up a lot of UB (check https://www.open-std.org/jtc1/sc22/wg14/www/wg14_document_lo... for paper titles like "slaying earthly demons"). But don't misunderstand t
188.
by jcranmer 5mo ago
Sorry, this explanation is plain wrong. You can cast between pointer types freely so long as they can be representable in one another (some casts are undefined because the address would be unaligned in the target pointer type, and there&#x2
189.
by jcranmer 5mo ago
C23 §6.5.2.2p7 > If the function is defined with a type that is not compatible with the type (of the expression) pointed to by the expression that denotes the called function, the behavior is undefined. Compatible types requires integrat
190.
by jcranmer 5mo ago
> The problem with C UBI is that originally it meant the compiler has the freedom to map your code to the hardware inspite of machine instructions differing slightly between one another. The same C program may express different behaviour
191.
by jcranmer 5mo ago
You have it backwards. Murphy v NCAA ruled that the federal legislation banning sports betting was unconstitutional, and that it was up to the states to regulate gambling.
192.
by jcranmer 5mo ago
Every element up to and including bismuth, excluding technetium and promethium, have stable primordial isotopes (i.e., have been on Earth since it was made), and in addition, thorium, uranium, and maybe plutonium (Pu-244 is on the very edge
193.
by jcranmer 5mo ago
> What’s an example that you believe highlights NYTimes moving rightward? Look at their coverage of Alexandria Ocasio-Cortez's response to a question about Taiwan versus Trump's response to a question about Taiwan. In the first
194.
by jcranmer 5mo ago
I know a lot of people are going to focus on the employment issue for new graduates, but there's another dimension to consider: this group of students is going to be the first group who have gone through all of college with the enhance
195.
by jcranmer 5mo ago
The US administration has given several contradictory claims as to what the strategic goals of the war are supposed to be. The problem with the claim of nuclear weapons program is that the dominant assessment of the intelligence communities
196.
by jcranmer 5mo ago
What you're skipping over here is how that happens. If Iran wants to charge tolls on the strait, someone has to do something to keep Iran from doing that. And when you start gaming out the possible identities of that someone , t
197.
by jcranmer 5mo ago
In the US (I believe all common law systems), the jury is the trier of fact. If there is a genuine factual dispute between the two parties in a lawsuit, then that dispute is resolved by a jury (unless the parties opt-out). Statutes of limit
198.
by jcranmer 5mo ago
> USA can win this war with barely any casualties What do you mean by "win"? What strategic goals can the US achieve in this war? We're at a point where merely achieving status quo ante bellum--i.e., Iran doesn't char
199.
by jcranmer 5mo ago
> so, your problem with it is that it does all you want (e.g. LAPACK bindings) AND give extra features?? You've completely misunderstood the point: the point is that the "extra features" means you won't get the main
200.
by jcranmer 5mo ago
Celestial navigation is still based on a geocentric coordinate system. Modern astronomical ephemerides use the Tychonic model--the sun is modeled as revolving around the Earth, the other planets as revolving around the sun. Mathematically
201.
by jcranmer 5mo ago
The C++ standards committee is pretty damn dysfunctional at this point for a variety of reasons. Only like 10% of the committee are actually responsible for an implementation in some manner; the vast majority are users, often looking to get
202.
by jcranmer 5mo ago
Have you read the entire paper, and not just skimmed the front matter? The interface is a generic template approach, which can work on any element type T, not just float/double/complex<float>/complex<double>, bu
203.
by jcranmer 5mo ago
As a compiler guy, the complaint about "opaque templates and function calls" to me raises serious doubts that the author has any idea what they're talking about. std::simd is designed to be akin to taking vector operations as
204.
by jcranmer 5mo ago
If you thought std::simd was a library nobody asked for, just wait until you hear about <linalg>. I feel like half the people looking forward to that think they're just going to get standard C++ bindings to LAPACK, when instead t
205.
by jcranmer 5mo ago
Han unification predates Unicode by about a decade; most of the early work in Unicode largely consists of copy-pasting the Japanese and Chinese governments' standards for unified CJK ideographs. Indeed, read some of the early histories
206.
by jcranmer 5mo ago
> I can't think of any other examples in real life where this happens across an industry Vehicles? Maybe not necessarily forever, but I'd expect the large car manufacturers to all still have some level of support for a 20-year-
207.
by jcranmer 5mo ago
Replacing plastic straws with paper straws is at best little more than greenwashing (and honestly, possibly even worse), since the environmental effects are so minimal. Contrast this with plastic versus paper bags, where plastic bags due to
208.
by jcranmer 5mo ago
Rust has lots of undefined behavior, in general a broadly similar set to that which exists in C. What Rust does that is different is that to trigger undefined behavior, you need to execute unsafe code. (This isn't the same as saying th
209.
by jcranmer 5mo ago
The short answer is because C was designed to give leeway to really dumb compilers on really diverse hardware. This isn't quite the same case, but it's a good illustration of the effect: on gcc, if you have an expression f(a(), b(
210.
by jcranmer 5mo ago
Feudalism is a political system whereby land is granted to vassals on the conditional basis that they provide levy or taxes to their lord. While the system is notionally a reciprocal system (the fief is a conditional grant, both sides have

More ›