devit

21 ms·

361.
by devit 4y ago
As far as I can tell it's a useless language that will not replace anything. It's memory-unsafe, so you might as well use C++ instead, or if you want a "newer" language, then use Rust instead.
362.
by devit 4y ago
A mere 18 years after it was published in the SQL:2003 standard. I guess better late than never.
363.
by devit 4y ago
According to their paper, they used the "Hollywood" filter in FaceApp 3.6.11 at the highest level setting.
364.
by devit 4y ago
SELinux works well on Android because the OS is delivered by a single entity and unmodifiable, and is maybe fine on a desktop, but on a custom server it seems to me that using VMs or containers as a security boundary is far better since it&
365.
by devit 4y ago
To me, this feels like something that might be really useful in generating sample code and documentation for APIs, but I'm not sure the cost of producing those samples is worth it. The time taken to create just a basic template of a do
366.
by devit 4y ago
_Your_ computer, maybe. My workstation will certainly not be prevented from entering sleep by anything a webpage can do.
367.
by devit 4y ago
The "The Dunning-Kruger Effect is Autocorrelation" article is an example of obvious bullshit. Their claim that "If we have been working with random numbers, how could we possibly have replicated the Dunning-Kruger effect?&quo
368.
by devit 4y ago
Seems like, at least as an initial implementation, the kernel could disable the feature when entering kernel mode and then manually mask all accesses to user space addresses. This way mistakes will not impact security but only cause spuriou
369.
by devit 5y ago
I think the biggest issue is the lack of arithmetic with overflow checking, especially with a variant that calls a location in a control register on overflow. This makes it very inefficient to compile languages that would like overflow chec
370.
by devit 5y ago
How can a Bitcoin transaction be fraudulent? They are irreversible and if the Bitcoin is stolen that's not the merchant's problem. The whole point of Bitcoin is to eliminate the possibility of chargebacks and thus the need for mer
371.
by devit 5y ago
PageRank-like system, ideally based on real identities? (i.e. depending on how often the recipe is linked from Facebook, etc.) Also if you are specifically doing it for recipes, just select manually websites that have precise ingredient amo
372.
by devit 5y ago
Here's a gift for you: inotifywait -m -e create "$(xdg-user-dir DOWNLOAD)"|while read d e f; do chmod +x "$d/$f"; done You can add "-r" if you want to also do it on subdirectories, and you can specify
373.
by devit 5y ago
I think Google should just remove all pages with affiliate links from its index (which of course includes detecting all the ways to defeat that like URL shorteners, redirect pages, JavaScript hackery, giving a different version to the crawl
374.
by devit 5y ago
> What if I want to play with my friends who aren’t on Linux? Oops we removed cross platform capabilities. You can play with them just fine, but if you use match making you would only be matched with other groups where there is at least
375.
by devit 5y ago
There's a very simple solution for the anti-cheat problem: make Linux users play only with each other (this also applies to other platform users who refuse to run the anti-cheat). I'm quite skeptical about their argument though, s
376.
by devit 5y ago
The normal non-Google way is to configure initramfs to start an SSH server on a non-default port, and then you log in (from your secure workstation with a dedicated public/private key, of course) and use systemd-tty-ask-password-agent
377.
by devit 5y ago
Not sure why it would be so hard. All you need is a centralized authentication server (preferably including access logging) and a simple way to use it for all applications (the simplest is to have the app listen on localhost and expose it v
378.
by devit 5y ago
An hosting service is the only solution since otherwise the website will be down when the Mac is rebooted or moved if it's a laptop. The service in this article is either for development purposes or for people who are running dedicated
379.
by devit 5y ago
For new flags, this is easily solved by generating and compiling (via generic monomorphization, macros or build-time code generation) two versions of all the relevant code (including of course any loops calling the relevant code) and switch
380.
by devit 5y ago
I read it, and it seems to work like this: 1. First, make all memory ABA-free, which the paper does in two ways. The first, for CPUs with 128-bit compare-and-swap, is to simply use a 64-bit counter and 64-bit value; the second appears to us
381.
by devit 5y ago
The document uses a monospace font, and the redacted name can be seen to be 10 characters long. Based on the 2019 Fortune 500 list, that gives these possible candidates: Activision, Alaska Air, Albertsons, Altice USA, Amazon.com, Ameriprise
382.
by devit 5y ago
Not clear how a lower bound on the absolute value of the difference of any two of the square roots would help give a lower bound on the absolute value of the difference of the two sums of square roots.
383.
by devit 5y ago
Does that actually work? It seems that the degree of minimal polynomial having as root the sum of N square roots might be up to 2^N, and if you then apply the bound at https://en.wikipedia.org/wiki/Geometrical_propertie
384.
by devit 5y ago
Currently it's 50x slower than JavaScript ([ https://benchmarksgame-team.pages.debian.net/benchmarksgame/... ], look at n-body which is just straightforward math), and apparently they are looking to achieve 2x speed
385.
by devit 5y ago
Would also be nice to create a TypeScript variant with a sound type system, and this might be a better project for creating it than tsc.
386.
by devit 5y ago
Yeah, the current problem is that Idris code is far less efficient than Rust code, because Idris boxes everything and erases all types, and also Idris's support for borrowing seems less powerful than Rust (it lacks first-class mutable
387.
by devit 5y ago
It's the minority of the total spend, but it seems the hosting costs are too high. For example, they are paying $266/month for 16 thread 128GB 3.8TB SSD, but you can rent a better machine for 99$/month from Hetzner (AX61-NVME
388.
by devit 5y ago
The concept is cool but the implementation seems to be completely wrong. For example, look at New York City around dusk, and if you zoom out it's mostly yellow, but if you zoom in it's mostly black.
389.
by devit 5y ago
It's surprising to me how software developers, supposedly very rational, cannot come to the obvious conclusion that the correct coding style is to have unlimited line length and using tabs for indent. The reason that's the best ch
390.
by devit 5y ago
Is this secure? (i.e. does this prevent a malicious VM from fully taking over the host, writing arbitrary GPU memory, reading arbitrary GPU memory, corrupting other GPU memory or state, crashing the GPU) Apparently the web people decided to

More ›