devit

24 ms·

721.
by devit 6y ago
Rust can create dynamic libraries that import and export symbols using the C ABI, so it is not worse than C in such a comparisons, since it can do exactly the same thing as C.
722.
by devit 6y ago
Rust is that language. Some things, namely array indexing and RefCell borrowing, have unavoidable extra runtime overhead in the default safe usage, but it's unlikely that it is significant (often array bounds checks are either essentia
723.
by devit 6y ago
If the conditional is almost always true or almost always false and the CPU has a branch predictor, then a branch is likely faster; otherwise, the CMOV will be faster. Obviously a CPU could use a predictor for CMOVs as well, although I thin
724.
by devit 6y ago
Especially since it seems that this extension is for paid users, you can tell them to use Firefox instead (or use Chromium and sideload the extension).
725.
by devit 6y ago
It's kind of hard to decode the explanation given that it spends a lot of text on useless formalism instead of substance, but it seems like this language has three fatal problems: 1. Borrowed pointers are not a first class concept, but
726.
by devit 6y ago
I think it's better to simply buy a very high resolution laser mouse (which are commonplace now) and map sensor displacement to screen displacement in a trivial linear way.
727.
by devit 6y ago
Or in other words, people in Lagos and Jakarta will now have access to higher salaries (not as high as SF ones, but higher than their alternatives) because they can now work for Facebook and similar companies, rather than being discriminate
728.
by devit 6y ago
You can just run it on your local machine and dedicate some of the cores to it with a tool like "cset shield". If you _really_ want to avoid any contention, then build the benchmark as a Linux kernel module and call stop_machine()
729.
by devit 6y ago
Blog discovery is now done on social networks, i.e. you publish an article on your blog (often hosted on Medium), then share it on Facebook, Twitter, Reddit, HN and then people find it there and can possibly follow you and get new articles
730.
by devit 6y ago
You could remove the DNS block and only block it from loading from 3rd party sites using the built-in Firefox support or a suitable WebExtension (and also block it in non-browser apps if desired by setting up a MITM proxy with a certificate
731.
by devit 6y ago
This is an API issue, not a protocol issue. Looking at the Android API docs, it looks like Google does not trust government apps and so provides only limited data and alerts the user with a popup when the app asks for information. It's
732.
by devit 6y ago
What is the reason for making a JavaScript runtime based on browser APIs that cannot also be a browser? Or in other words, wouldn't it have been easier and better to make an optionally headless version of the Servo browser with additio
733.
by devit 6y ago
Your device can and probably should save the time and location if available at which rolling identifiers are received along with the rolling identifiers.
734.
by devit 6y ago
Isn't this just a problem due to money-losing competitors selling at low prices? Getting restaurant food delivered is a waste of money compared to getting bulk food delivered from supermarkets, so those who order it are probably not ve
735.
by devit 6y ago
The fact that they were requesting https://*/* and http://*/* (i.e. full control over all your accounts) without it being absolutely necessary reflects terribly on them. Still not clear why localhost (which
736.
by devit 6y ago
All non-toy languages and compilers only add constant overhead; unfortunately that's still a problem, the goal is to not have any overhead at all. malloc/free is fast with a moving GC, but moving is not, and if an object is never
737.
by devit 6y ago
I don't see why it would be important to for employers to specifically compensate people for things like that: ultimately what matters is the total amount of money earned regardless of how it is split. Also in most cases work that is d
738.
by devit 6y ago
Monads work for just doing in-place updates, but they seem unable to also prevent/control mutable aliasing, avoid rc/gc of arrays/records, put arrays/records inline in the containing record, and anyway they unnecessarily
739.
by devit 6y ago
AFAICT Coq doesn't have linear types, and thus can't provide in-place modification of array elements or non-reference-counted/GCed non-primitive values, which means it can't take full advantage of a real CPU+RAM machine.
740.
by devit 6y ago
The problem is that, as far as I can tell, there is no language with zero-cost dependent types, i.e. a language with dependent types that has a subset equivalent to Rust that compiles to machine code as efficient as the Rust compiler output
741.
by devit 6y ago
Yeah, you can only use SGX-like systems when the reward from breaking them is limited since they can all be broken given sufficient resources (or even just insider knowledge). For example, it might be fine as a way to guarantee the integrit
742.
by devit 6y ago
Yeah, is there any information on why the Chinese government feels like they need the censorship? As far as I can tell they are the most successful government at least in modern history in terms of increasing living standards (huge GDP grow
743.
by devit 6y ago
Journals need to start rejecting submissions without code, or with code that doesn't pass peer review by people with a modicum of software engineering skill.
744.
by devit 6y ago
Is this thing actually being used for policy decisions? Given the complexity, poor language/framework choice (should have used either Rust or Tensorflow), bad code design, and unclear determination of the parameters (especially the fac
745.
by devit 6y ago
I mean that almost surely there are people that do so and carefully make sure to not mention that and make sure that their contributions are not derived work and don't have such "hints". The main technique to do so is "p
746.
by devit 6y ago
That policy obviously just results in Wine contributors not disclosing seeing Microsoft source code, which is a good thing for Wine, but does not imply that having Microsoft source code (or Nintendo's in this case) is useless. Also loo
747.
by devit 6y ago
How come nobody has implemented an Oracle compatibility mode for PostgreSQL? Or in general, why don't databases support each others SQL dialect? It can't be that much work, at least if one is content with only supporting the major
748.
by devit 6y ago
The main problem is that allocating a vector for each evaluation is completely wrong: instead, it needs to be allocated once by making the function a method on a struct containing a Vec; which makes the allocator moot. The second problem is
749.
by devit 6y ago
If someone had good experiences with people the app recommended previously, then the app recommending someone can be enough to make them willing to date them. It's basically the same mechanism that works for physical attraction, i.e. i
750.
by devit 6y ago
Good riddance! Restaurants are an horribly inefficient way to eat compared to supermarkets, and they are a really lousy social environment, where you can only interact with people at your table, often in very inauthentic (aka "formal&q

More ›