Karliss

29 ms·

301.
by Karliss 4y ago
> I thought "contracts" were dropped out of C++20. C++ compilers often implement C++ features which haven't been fully standardized yet. Either to prepare for stuff that is very likely to be in the next version, or as expe
302.
by Karliss 4y ago
I guess that every byte being stored as `mov [stack_ptr], 0x12` is why executable with 2MB array takes 16MB of disk space.
303.
by Karliss 4y ago
Here a test in godbolt https://godbolt.org/z/rKao1ssb9 . All 3 compilers GCC, Clang and MVSC instead of placing the whole stack initialization value in rodata and then copying from there using memcpy, chose to initial
304.
by Karliss 4y ago
If openinframap can be trusted, there are quite a few HVDC lines across India and China already, some in US, Canada and Brazil. It's not just the international underwater cables that use them. Not sure if avoiding large transformers is
305.
by Karliss 4y ago
There is https://opengameart.org/ . Major limitation to this idea is that for a decent looking game the assets need to be consistent. Not only in terms of art style, but also detail level and technical constraints. For exam
306.
by Karliss 4y ago
The trap in C is that you can't have overflow checks after the calculations testing if overflow happened by making assumptions about what the UB does. Once the UB has happened it's already too late. What you actually need is input
307.
by Karliss 4y ago
You are probably confusing flexible array members with VLA. Those are two completely different features. You are thinking about the one where last member of struct is an array and you adjust size based on malloc size when allocating struct.
308.
by Karliss 4y ago
Just because some people decided to label floating point overflow conditiona as "infinity" doesn't mean it can actually represent values up to infinity. There are ways of getting floating point infinity which doesn't inv
309.
by Karliss 4y ago
Sure calculating infinity is easy as long as you redefine "infinity" to be something which isn't actual infinity. But it's useless for many mathematical proofs. Having overflow of some finite floating point calculations
310.
by Karliss 4y ago
Isn't the question about one wheel(skateboard with gokart wheel) vs electric unicycle (single bigger wheel between the legs closer driving position to real unicycle)? Not about one wheel vs other more typical vehicles. Both have one wh
311.
by Karliss 4y ago
Couldn't rosetta (or other x86 emulator) do some static analysis and emit the instructions for computing PF and AF only in cases where there is a chance that they will be inspected? And not emitting extra instructions if nothing until
312.
by Karliss 4y ago
Isn't BPF execution constraints intentionally very tight, 4096 instruction, 512 bytes of stack, limited control flow? I don't think it's currently usable to implement general purpose drivers. Only reason it could work for HID
313.
by Karliss 4y ago
Just tried to do that exercise in FreeCad (0.20.1) and observed following issues with fillets. Initially for one of the inner corners I had selected 2/3 edges for filleting. This caused fillet to bug out and some of vertices be positio
314.
by Karliss 4y ago
Is it known why this response comes out now, 2-3 years after the “DOOM Eternal OST Open Letter” to which it responds? Waiting until any related NDAs time out?
315.
by Karliss 4y ago
>Pragmas are processed by the pre-processor This is wrong a lot of pragmas, I would even say most pragmas are not handled by preprocessor. Some examples: pragma pack, warning control, pragma GCC unroll, per function optimization setting
316.
by Karliss 4y ago
c++11 style attribute. There are already similar attributes [[unlikely]] and [[likely]] which can be attached to any statement. Having [[unreachable]] wouldn't be that surprising. C++23 also introduced [[assume(expr)]] which is basica
317.
by Karliss 4y ago
Seeing the contract doesn't mean it's in easy to read format. Any software of sufficient size becomes something which you need to put in effort to analyze even if you have source code. And that's ignoring possibility of obfus
318.
by Karliss 4y ago
Nothing was ruled so far. IKEA lawyers just looked at it said they don't like it, doesn't matter whether it's valid parody or not. And in many cases it works, because the potential cost of defending in court is too much.
319.
by Karliss 4y ago
If you form a spanning tree by noting which edges where used during DFS traversal of undirected graph, then all of the edges not used will connect a node with it's ancestor and there will be no cross edges. It doesn't matter if al
320.
by Karliss 4y ago
> Isn't Dijkstra the same as BFS? That's because demonstrating Dijkstra on a grid is as useful as demonstrating air resistance in vacuum. In a grid with only horizontal and vertical Dijkstra will produce same order as BFS (but
321.
by Karliss 4y ago
"Still technically a DFS" - No! The traditional textbook DFS visiting order has certain important properties. It's not just a "BFS" which uses stack and doesn't produce shortest path. There are more complex gra
322.
by Karliss 4y ago
Yes, but having results verified with multiple different software increases the chance that correctness problems will noticed sooner.
323.
by Karliss 4y ago
Yes, but why would you want the BIOS boot assuming you have a motherboard made in last 10 years and it has a UEFI implementation which isn't completely broken. I might understand doing that just in case when preparing a bootable flash
324.
by Karliss 4y ago
I wouldn't consider Beat Saber an entirely new game mechanics. It seems like pretty standard rhythm game format with notes/beat coming towards you and requiring to activate corresponding input at the right time. Rhythm games have
325.
by Karliss 4y ago
The current connector 12VHPWR connector already joins all the wires together on GPU end of connector. So multiple PSU power rails isn't an argument why they couldn't have used two beefier wires and connector.
326.
by Karliss 4y ago
I am glad to see that they recently (relative to project age) got two new developers which have for the last two years actively worked on rejuvenating the project, tackling some long standing issues, and actually making new releases with bu
327.
by Karliss 4y ago
All this argument proves is that model it doesn't contain lossless full size byte perfect copies of all the image. And that's assuming all those 100GB of are images are unique with no common data. Copying 2% of those images or m
328.
by Karliss 4y ago
That actually somewhat correct description of situation. Computer heuristic randomly banning users, with "careful review" not involving any humans or at least humans who care about results. They did make the system but afterwards
329.
by Karliss 4y ago
Can anyone comment what this project considers "large optimization problems". More than 2 variables, few hundred variables or many thousands of variables?
330.
by Karliss 4y ago
"licensing" as verb is often used to mean "sell or buy (depending on context) commercial licenses". Even though releasing for free as open source also involves a software license.

More ›