atq2119

54 ms·

811.
by atq2119 5y ago
The discovery of DNA may well be the Maxwell-style foundation for the next game changer. It hasn't been a century yet, and we've just deployed the first mRNA vaccines last year...
812.
by atq2119 5y ago
It doesn't really sound like this was a fab though. Just a factory that builds tools for fabs. So who knows, but chances are that this factory doesn't operate with the worst stuff.
813.
by atq2119 5y ago
I would love to be able to do more formal proving of programs in practice, but I 100% agree with you. A lot of what the advanced typing crowd seem to be doing is to re-invent programming but at the type level, and it's unclear to me wh
814.
by atq2119 5y ago
Those practical bounds have a tendency to percolate into bounding other things. So you can only have 2**10 foos because they're indexed by a 10-bit bitfield somewhere? Now maybe you can only have 204 bars, because every bar has at leas
815.
by atq2119 5y ago
Slight nitpick: > Here’s a somewhat non-exhaustive list of all the undefined behavior of signed integer arithmetic in LLVM which applies to all languages which use LLVM: > [... division examples ...] > INT_MAX - INT_MIN That&#x27
816.
by atq2119 5y ago
> Dereferencing a runtime-known NULL pointer is UB in the standard, but is well defined to trigger a segfault in pretty much every arch with an MMU. This is incorrect for C/C++ though. Modern compilers definitely treat null derefere
817.
by atq2119 5y ago
Try reading a 19th century or earlier math paper and then tell us again that proofs don't need maintenance...
818.
by atq2119 5y ago
I mostly agree with you, but your argument would be stronger if you didn't just blame everything on "overdoing" it. My understanding is that psychedelics work by disinhibiting certain self-regulatory mechanisms in the brain.
819.
by atq2119 5y ago
There are plenty of non-JS converters from Markdown to HTML and static websites are a thing.
820.
by atq2119 5y ago
> VFIO is virtualization where hardware is passed through to the guest OS. I use KVM+qemu on Linux and attach PCI devices like GPU and storage to the VMs. This is a native Windows game build on a Windows VM on a Linux host. It performs w
821.
by atq2119 5y ago
This is a curious pattern and interesting to think about. Jumping to the conclusion that it is caused by more female writers is a bit silly, though. Were there also more female writers in the early 19th century?
822.
by atq2119 5y ago
The corresponding analogy to your comment is going to the charity that gives out food and getting mad at them because you don't like the food. If you don't like it, just leave or don't go there in the first place. Certainly d
823.
by atq2119 5y ago
Good point. A more difficult sale for sure, but perhaps somebody should try and let us know how it went? :)
824.
by atq2119 5y ago
The key is establishing a market for this kind of insurance policy. That can only happen if companies are made liable. That needs to happen at some point, though it's not clear how to do it without getting unpleasant unintended side
825.
by atq2119 5y ago
It can be seen as a loss in an accounting sense, but it's not a loss in the sense it would be for you, me, or, say, Apple, because the federal government is the score keeper of the dollar. I like to think of the "losses" whic
826.
by atq2119 5y ago
FWIW, going with Apache 2.0 is/was a mistake. There is a clause in the license which implies that almost everybody who uses GitHub/GitLab/etc. to work on an Apache 2.0 project in the common workflows is in breech of the licen
827.
by atq2119 5y ago
Reading the GP in good faith makes it obvious that you should substitute: don't talk lightly about suicide. Also, it's an indication that you may need help. In that case, try calling a suicide help line.
828.
by atq2119 5y ago
This strongly depends on your definition of "adequate", "reasonable", etc. When Noam Chomsky wrote this, I'm fairly certain his definition of "adequate" included things like "the power structure does
829.
by atq2119 5y ago
Most likely, a security vulnerability in the GPU's MMU that fundamentally cannot be patched on DX12 due to the increase in programmer flexibility that DX12 offers. Could be a race condition somewhere, for example.
830.
by atq2119 5y ago
I haven't been following the Alder Lake situation too closely, but AVX512 is really multiple things that ought to have been orthogonal: (1) 512-bit vectors, (2) a much cleaner vector instruction set, (3) masked vector instructions. It&
831.
by atq2119 5y ago
I certainly hope you're right in your implied statement about climate change.
832.
by atq2119 5y ago
Genuine question: how important is the launch window when you start thinking about bulk transport to Mars? If you build thousands of starships, how much does it matter if some of them are slower to arrive? It's not like flying to Mars
833.
by atq2119 5y ago
The legal environment is not new to the companies operating in it. Nothing in that environment prevented them from preparing properly, yet they didn't. Example for why your argument doesn't hold water: one of the issues mentioned
834.
by atq2119 5y ago
> I'd argue we should strive for a society where the suffering you're exposed to if you're unlucky enough to be in the bottom quartile is bounded, while still allowing for the top to be unbounded in pushing humanity forwar
835.
by atq2119 5y ago
A lot of software engineering techniques are more about managing mediocrity than fostering excellence. They go overboard with the prescriptions. This may well produce better results when you have an army of mediocre developers. It tends to
836.
by atq2119 5y ago
Keep in mind that people routinely overestimate change in the short run but underestimate it in the long run. Changing those traditional carmakers is difficult, which makes them appear fall short of your expectations of the short run. And I
837.
by atq2119 5y ago
There is indeed a bunch of variety among academics in economics, but a very heavy filter biases which kinds of economic opinions make it into the broader public sphere. This has a lot to do with how think tanks are, on average, politically
838.
by atq2119 5y ago
They're deterministic but partially implementation defined. Some instructions don't guarantee the maximum possible precision, and implementations can differ in the least significant bits of their result. Addition and multiplicatio
839.
by atq2119 5y ago
I would be very worried if the machines actually executing orders today were anywhere close to 100% load on average, because of the well-known issue where tail latency explodes as you get closer to 100% load. So I doubt the relevance of eve
840.
by atq2119 5y ago
The problem is that (especially library) code just becomes absolutely littered with constexpr, because realistically speaking, you do want everything that can be constexpr to actually be constexpr.

More ›