variadix

13 ms·

121.
by variadix 2y ago
How much of this is because CUDA is designed for GPU execution and because the GPU ISA isn’t a stable interface? E.g. new GPU instructions can be utilized by new CUDA compilers for new hardware because the code wasn’t written to a specific
122.
by variadix 2y ago
Make it less confusing to setup VLANs
123.
by variadix 2y ago
There are also inline headset mics for sennhesier headphones that work reasonably well (they’re part of the cable that plugs into the headphones). More convenient than a desk mic imo.
124.
by variadix 2y ago
VR headset with Valve Index controllers (~$1200 total) It was cool initially and Half Life Alyx was a great game, but overall it wasn’t worth the money with how little I use it and how many issues there are with VR and VR games.
125.
by variadix 2y ago
Ultimately it’s appropriately paced education. Some people need accelerated education and some need decelerated education, and it might vary between subjects for an individual. Not having opportunities at either end of the spectrum is bad f
126.
by variadix 2y ago
It’s not exactly number rearranging, even if the government increases subsidy payments to offset the cost. E.g. say gasoline costs twice as much per gallon due to a carbon tax, but subsidies are increased proportionally to offset the cost
127.
by variadix 2y ago
If you have something periodic in time you can get high time resolution of what looks like a single event by taking multiple periodic captures with tiny phase offsets. It’s a neat capability
128.
by variadix 2y ago
Mormons, Catholics, etc. Mostly religious groups that value having children
129.
by variadix 2y ago
Sebastian Lague has a good video covering many different font rendering techniques. https://youtu.be/SO83KQuuZvg
130.
by variadix 2y ago
This isn’t an interesting statement. I could pull any numbers out of a hat in (0, 1) as probabilities and regardless of the outcome could use the same excuse because there is only a single event to observe.
131.
by variadix 2y ago
There’s likely a lot of performance still on the table if compilers were permitted to change data structure layout, but I think doing this effectively is an open problem. Current compilers could do a lot better with vectorization, but it wi
132.
by variadix 2y ago
Types are the best form of documentation because they can be used to automatically check for user error, are integral to the code itself, and can provide inline documentation. The more I program in dynamically typed (or even weakly statical
133.
by variadix 2y ago
At least for C and C++, why don’t GCC/clang implement constant time primitives as intrinsics? It would be useful in the meantime to developers working on cryptographic code, would provide better guarantees, and could emit useful errors
134.
by variadix 2y ago
Surely there is a way to present some piece of buggy code to a candidate and ask what’s wrong with it (letting them use whatever tools they want, doing this on a whiteboard is senseless), let them determine what the bug is and see how they
135.
by variadix 2y ago
I generally agree, but the length of a patent should probably be proportional to the R&D costs (and possibly other factors). Pharmaceutical development is insanely expensive and risky, if we want new, revolutionary drugs to be brought t
136.
by variadix 2y ago
Is the interesting part of P vs NP (since it seems very unlikely that P = NP) the mathematical machinery that would be required to prove that P != NP? Presumably doing so would require a way to determine a lower bound for _all_ possible alg
137.
by variadix 2y ago
You can get better properties by using the include itself to do the macro expansion, e.g. #define VECTOR_TYPE int #include “vector.h” This will let you step into the macro generated functions in GDB and doesn’t require putting the function
138.
by variadix 2y ago
The use of chaining and the requirement of pointer stability are written into the standard. Changing the implementation to do something else would require changing the standard, which would change the API contract, which would break existin
139.
by variadix 2y ago
How so? Assuming they’re modifying the APK they can just remove whatever check is in place. I’m guessing something like microG could emulate this API and always return true as well (though this veers more into DRM bypass which may cause leg
140.
by variadix 2y ago
I think technically he’s correct (I haven’t worked on media decoding code, but I understand how common video encoding formats work). If you have a long video with only a single key frame at the beginning then to step back you would need to,
141.
by variadix 2y ago
Apparently just running the process as Admin works as well
142.
by variadix 2y ago
From the creator of Forth https://youtu.be/0PclgBd6_Zs 144 small computers in a grid that can communicate with each other
143.
by variadix 2y ago
It is my understanding that SMT should be beneficial regardless of core count, as SMT should enable two threads that can stall waiting for memory fetches to fully utilize a single ALU, i.e. SMT improves ALU utilization in memory bound appli
144.
by variadix 2y ago
Depending on how SEO’d the thing you’re looking for is it can range from easy (looking up docs, specs, etc.) to impossible (product recommendations) to find quality information (without knowing what sources are reliable beforehand). I’m not
145.
by variadix 2y ago
More or less. Binary parsers are the easiest place to find exploits because of how hard it is to do correctly. Bounds checks, overflow checks, pointer checks, etc. Especially when the data format is complicated.
146.
by variadix 2y ago
Yes, it’s why https://en.m.wikipedia.org/wiki/Intel_ADX exists
147.
by variadix 2y ago
This just seems like a fundamental misunderstanding of what an LLM is, where people anthropomorphize it to be akin to an agent of whatever organization produced it. If Google provides search results with instructions for getting away with m
148.
by variadix 2y ago
Being able to use macro expansion, stringification, concatenation, etc. in GCC inline asm is a major advantage over how, e.g. MSVC handled inline asm. Getting the constraints right is the hard part, the syntax isn’t much of an issue beyond
149.
by variadix 2y ago
Yes it’s a bad thing, both scientifically and societally. For science, having taboo subjects limits our ability to understand the world. For society, it obfuscates what an effective solution to societal problems looks like.
150.
by variadix 2y ago
Worth noting that the metadata structure can be done more efficiently with a flexible array member, but it requires alignment to alignof(max_align_t) to obey the ABI. The structure will consume the same amount of memory (16 bytes on x86-64)

More ›