bigcheesegs

8 ms·

1.
by bigcheesegs 2y ago
UB is a choice in that we could require symbolic execution of of all code. This is incredibly slow, so we don't. There are many cases of UB that would be cheap to check, but there are many more that are incredibly expensive to check.
2.
by bigcheesegs 3y ago
"state's monopoly on violence" means that a state's power to enforce its rules is rooted in its ability to use violence on those that refuse. Putting someone in jail is not physical violence, but what keeps them there (a
3.
by bigcheesegs 3y ago
LLVM does this on x86 because partial register writes don't break dependency chains in many cases, meaning that you can get stalls due to false dependencies. There's nothing in LLVM itself that makes it use larger sizes, it just d
4.
by bigcheesegs 3y ago
https://en.wikipedia.org/wiki/Unreal_Tournament_3
5.
by bigcheesegs 3y ago
In C++ this violates the data race rules both with and without volatile, but because it's sig_atomic_t it has a special carve out _only_ if it's volatile. See https://eel.is/c++draft/basic#intro.races-22 C ho
6.
by bigcheesegs 3y ago
For 1) lock-free atomics are also allowed. In C++ there's actually a lot more freedom. You can access non-atomic non-volatile-std :: sig_atomic_t variables as long as you don't violate the data race rules.
7.
by bigcheesegs 3y ago
libc++ was open sourced May 11th 2010. 13 years ago. https://blog.llvm.org/2010/05/new-libc-c-standard-library.ht...
8.
by bigcheesegs 4y ago
The LAION dataset, which SD was trained on, is just a list of URLs and textual descriptions. There's no illegal copying going on when StabilityAI trained SD. It's also not illegal for you to do the same thing.
9.
by bigcheesegs 4y ago
I think the much more likely outcome is further research on making the prompts smarter and more human like.
10.
by bigcheesegs 4y ago
Very surprised 17net only has 1.
11.
by bigcheesegs 4y ago
There's lots of overnight street parking in the bay area, but there are lots of other opportunities to charge. The actual hard case is someone that drives a significant amount during the day, doesn't have charging at work, and ca
12.
by bigcheesegs 4y ago
I'm surprised there's no 802.15.4/Thread support on a new IoT platform in 2022. Also the power consumption makes this mostly useless for battery operation. Overall I'm still not impressed by the 2040. I'll stick wit
13.
by bigcheesegs 4y ago
No. The economics of Proof of Work mean that increases in compute per watt just lead to an increase in global hash rate. Total energy usage never goes down as long as it's sufficiently profitable to use the energy.
14.
by bigcheesegs 4y ago
Encoding space, not die space.
15.
by bigcheesegs 5y ago
> it seems very obviously a move to force miners to use more GPUs in parallel This is very obviously wrong. The economics of crypto mining are almost entirely dominated by power cost. Nvidia's decision here simply means they will us
16.
by bigcheesegs 5y ago
Do you have any examples? std::launder fixes an issue that has existed since C++98.
17.
by bigcheesegs 5y ago
You don't actually want implementation defined behavior. There is no restriction on implementation defined behavior, it just needs to be documented. Suitable documentation includes "the optimizer assumes this never happens and opt
18.
by bigcheesegs 5y ago
> I don't believe RAM layout is that important. [...] ASLR has nothing to do with the type of memory layout discussed here. ASLR only impacts compiled code/data, and only entire shared objects/executables at a time. A bad
19.
by bigcheesegs 5y ago
Could be 1. Just adopt the C++ std as the C std.
20.
by bigcheesegs 5y ago
> they stay orbiting indefinitely Not quite true. For example quite a few orbits around the moon are unstable and you will end up crashing into the surface. This is due to essentially all celestial objects not being spherical.
21.
by bigcheesegs 5y ago
This is incorrect. I participated in the committee discussions around launder, byte, pointer provenance, and implicit object creation. None of those issues show up here. This is a very simple case of using placement new into a properly alig
22.
by bigcheesegs 5y ago
How? You limit physical over the air bandwidth, that inherently limits baud, but you don't need to do so explicitly.
23.
by bigcheesegs 5y ago
Yes. There are no plans for binary module compat between compilers, or different versions of the same compiler for gcc and Clang.
24.
by bigcheesegs 5y ago
I love that exceptions are the classic case for this, because it's not even true that "zero-cost exceptions" are zero _runtime_ cost on the non exceptional path. The most trivial example is they block vectorization.
25.
by bigcheesegs 5y ago
This is not at all how monitor marketing works. Every company gives them insane nonsense names. There is no other identifier. for XR382CQK bmijqphuzx there is no product line or model other than "monitor". That's all you get.
26.
by bigcheesegs 5y ago
Compiler dev here. Do you really think we just come up with code transformations and add them to the compiler just because? All code transformations have a compile time cost and runtime perf impact. We don't add transformations unless
27.
by bigcheesegs 5y ago
Yeah, I was about to post about this. Note that implementation-defined behavior and unspecified behavior are not _only_ used in places where a choice is given. Quite a few uses of implementation-defined behavior do not actually select betwe
28.
by bigcheesegs 6y ago
I seriously doubt it. The PS4 has a custom graphics API which directly creates command buffers in the GPUs native format. There's not really much of a graphics driver at all other than what's necessary to isolate the game from the
29.
by bigcheesegs 6y ago
> Opening the binary with Binary Ninja revealed that clang had already managed to leverage the SSE registers. X86-64 uses SSE registers for all floating point operations. I'm not sure that the author realized that they were looking
30.
by bigcheesegs 6y ago
Some of things are exempt from those rules. RoHS currently exempts some medical and industrial devices.

More ›