_flux

64 ms·

811.
by _flux 5y ago
Hm, so can Ada/SPARK bring the same memory safety/data race guarantees to the table as Rust, yet not being more difficult to express and maintain those guarantees? I'm not familiar with the language.
812.
by _flux 5y ago
> Right, but if the compiler has proved that you don't need those null checks then you can simply remove them. This can be the case now, but then later someone adds new code that you did need that null check. > If you think you d
813.
by _flux 5y ago
They may apply better than one might think: the example SPI driver posted at https://lwn.net/Articles/863459/ only has two cases of unsafe. Of course, the kernel:: -modules it uses undoubtedly have more, but I ima
814.
by _flux 5y ago
I wouldn't call it broken duck typing. The problem is that ShowAbstracts could just modify the array and put an instance of Abstract there that _isn't_ an Impl, thus violating the original constraint of arr containing only instanc
815.
by _flux 5y ago
I think one big reason why checked exceptions failed was due to the other big lacking thing: generics. Of course, nowadays Java does have generics but I haven't used Java since then. But in principle with generics and possibly some oth
816.
by _flux 5y ago
I like to use it just to make logs more readable.
817.
by _flux 5y ago
Do I understand correct that you don't get motion sickness if standing still but looking around—when there is no disconnect in motion? This is the use case for productivity apps. In my understanding it is extremely rare to experience V
818.
by _flux 5y ago
> But it’s not totally clear whether rural America is a viable customer base for Starlink. The biggest issue is cost. A Starlink subscription is $99. Speeds can vary greatly, but the average user should expect 50 to 150 megabits per seco
819.
by _flux 5y ago
Almost ten years ago I recycled/converted Topfield to show time with an arduino-like board and a network adapter. Basically, it listens to NTP broadcast messages and "keeps" time in between. Its timekeeping will suck though i
820.
by _flux 5y ago
Maybe if GCC project wasn't opposing the ability to easily integrate third-party tools we wouldn't have LLVM to begin with.
821.
by _flux 5y ago
Think however what happens if developers start actually targeting Proton, instead of Windows. Suddenly Microsoft isn't the one holding the reins :).
822.
by _flux 5y ago
Does the linked license https://creativecommons.org/licenses/by-nc-sa/3.0/us/ really mean you cannot read it, and then write a piece of software that implements it? My reading of the license implies it c
823.
by _flux 5y ago
Well, cheaters arguably reduce the enjoyment of people who don't cheat. So it seems something that would be nice to fix. And it's basically impossible to fix perfectly. Having kernel co-operate with the anti-cheating tool seems to
824.
by _flux 5y ago
I guess that would be a reasonable complaint if it wasn't so that Steam is already Valve's main product, and that this device is intended for playing games from Steam!
825.
by _flux 5y ago
And if you add 5% for import duty, you get a number very close to 419 EUR. I don't however know how much the import duty is, it seems to be a number that is very difficult to find :).
826.
by _flux 5y ago
How about integrating/summing values? Seems like if we interpret the Perlin noise values as "how much to change" instead of an absolute value we would get the end result immediately. However, it would be more difficult to det
827.
by _flux 5y ago
What mentality? I did not say it would be worth the price, just that there are things to gain from it. I did notice nobody outright challenged the actual claim (except for the Facebook comment that touched the topic).
828.
by _flux 5y ago
If Facebook isn't able to make money from moderating such content, then there's no reason to think they would do it. Might a real name policy have toned down the communication that lead to case Tenacity https://github.c
829.
by _flux 5y ago
As privacy invading it is, I can easily see how this would be effective means to curb bad behavior online, such as trolling or spamming—or worse.
830.
by _flux 5y ago
"Source available" is still useful if the product in question is a library; the source can often answer questions about how to implement certain things, even if you cannot change anything. Source available may also enable you to d
831.
by _flux 5y ago
So how about this then: { using my_socket = new NetworkSocket(); my_socket.write("Started"); register_callback(() => my_socket.write("Finished")); } This is the case what RC solves well
832.
by _flux 5y ago
So are there some languages that do it? I'm sure the devil is in the details.
833.
by _flux 5y ago
True, but GC gives those benefits automatically, compared to a naive program doing e.g. RC-based memory management. And there is of course the question of safety; should you release an arena too early, you may have introduced a bug. Worse:
834.
by _flux 5y ago
I've sometimes wondered if neural networks could be used for replicating the differences between different 6581 chips, by having a computer automatically interrogate the chip and the neural network. Optimally the end result would be a
835.
by _flux 5y ago
I must be missing something. How is it possible to precisely collect a resource with tracing GC? And if you need to update counters when you make duplicates of object references, you are not using a tracing GC where the benefits are the che
836.
by _flux 5y ago
Tracing GC is troublesome for any non-memory resource, such as network connection or file handle, due to its untimely release, but otherwise I actually agree: reference counting is a GC mechanism—not a very good one, but it's the only
837.
by _flux 5y ago
A microkernel one, potentially at least.
838.
by _flux 5y ago
I agree that full mesh network is bad for scaling, but IRC's directed graph—manually configured even—is bad for availability. There is some talk about making the routing better, but I guess it's not in near future.. In Matrix it c
839.
by _flux 5y ago
Should be the same for Matrix really, if your client manages to send it to the server.
840.
by _flux 5y ago
How many would want gmail if or any other service that could only exchange messages with other users of the same system? Email is what makes it happen that systems can exchange messages with each other. Much like Matrix. Much unlike Discord

More ›