devit

28 ms·

601.
by devit 6y ago
Posits as defined in that article don't distinguish between +inf and -inf, so min/max operations cannot even be properly defined (since min(-+inf, 0) = {-inf, 0}).
602.
by devit 6y ago
My goal for random experiences would be to experience new, unfamiliar and interesting things. Obviously restaurants, bars and shops are quite uninteresting, with very rare exceptions (regardless of Yelp rating).
603.
by devit 6y ago
You don't need "friends" (which often are not really friends anyway), just have at least one scene where you find yourself at ease and go to public places or gatherings about it. For instance, one could go to programming meet
604.
by devit 6y ago
My concern is that if you randomize uniformly based on geography or event, you'll get a very uneven distribution of place types. E.g. if you go to a random public place, you are very likely to go to a uninteresting bar or restaurant or
605.
by devit 6y ago
This only applies to addressing modes with side effects, which e.g. x86 doesn't have.
606.
by devit 6y ago
Seems really weird. How is an OS supposed to support that? Seamlessly transition processes to run in qemu-x86 on the ARM core? Compile some processes as ARM binaries and pin them to the core? Require some sort of data-layout-preserving dual
607.
by devit 6y ago
The articles talks about editors, but VS Code is mainly an IDE. Its predecessors were in order Emacs + single-language IDEs + proprietary IDEs, then Eclipse and finally IntelliJ IDEA CE. Emacs lost because it failed to update to reasonable
608.
by devit 6y ago
Have you tried the approach of booting Linux and then creating a normal fullscreen qemu/KVM-based VM initialized with the memory state of the DOS OS, with a configuration so that the transition works correctly? That would make the whol
609.
by devit 6y ago
Obviously you need a PartialOrd (and Ord, PartialEq and Eq) implementation for all fundamental data structures, since otherwise they are unusable (can't sort to canonicalize ordering, sort+uniq, use as btree keys, etc.). Lexicographic
610.
by devit 6y ago
New types could be introduced, a..b and other range syntax could resolve to them in next edition and cargo fix could add ".into()" to convert when needed.
611.
by devit 6y ago
It's generally so that the person using the formal language can feel validated because they know it (and sometimes to signal they know it).
612.
by devit 6y ago
Trademarks and copyrights are automatic, you don't need to do anything to have them (although registering them makes it cheaper to prove you have them). Obviously "anyone should be able to pick up the torch" has the issue tha
613.
by devit 6y ago
I mean the fact that you in Java, etc. any function you call may throw an exception, which automatically propagates upwards from the code that calls the function, which results in part of the code in your function being executed and part no
614.
by devit 6y ago
Implicit exception propagation (like C++, Java, JavaScript, etc. do) is a very bad design because when a statement can throw an exception, you need to design your code to rollback any changes before it, so it's essential that you know
615.
by devit 6y ago
You can do that in hardware in most cases. Embed a unique serial number and only enable a feature if the driver passes a cryptographically signed message stating that the serial number has paid for the feature (and then sell the message dat
616.
by devit 6y ago
A lot of people would probably deny camera permissions to Instagram (and upload by sharing from gallery if they upload content), and their reputation would take a significant hit (currently they aren't known to covertly gather any pers
617.
by devit 6y ago
E-mail? (PGP encrypted and signed if needed) WebRTC-based software? (e.g. Jitsi Meet, https://meet.jit.si )
618.
by devit 6y ago
Most of these are offline software programs that you can continue to use indefinitely, or physical buildings that are very expensive to run.
619.
by devit 6y ago
How does it compare to VSCodium? Given that it starts with the huge handicaps of being proprietary and commercial, requiring a proprietary OS with very limited hardware support, and having far less extensions than VSCodium, it seems very un
620.
by devit 6y ago
It's required to have static type checking, which is essential. Also, way more time/memory efficient.
621.
by devit 6y ago
Rust offers data-race freedom and in general correct concurrency (e.g. it's impossible to access mutex-protected data if you don't hold the mutex), correct handling of objects and invariant preservation due to shared xor mutable (
622.
by devit 6y ago
I don't think Haskell was ever successful other than as an inspiration for parts of other programming languages like Rust. They chose an unfamiliar syntax for no reason (and one that makes it hard to learn abstractions, e.g. the practi
623.
by devit 6y ago
Rust has a system equivalent to checked exceptions. However Rust, unlike Java, has a great macro system and can thus easily generate higher level exceptions wrapping the lower level ones.
624.
by devit 6y ago
If the game store takes a lower cut, then either games will cost less, or they will be better because at least some of the game developers will choose to use the extra money to pay more employees to work on the game. Also, if there are more
625.
by devit 6y ago
Why is that a problem? You can just install all game stores on Windows and there is no downside to doing so, and no real difference between installing the Epic store and purchasing a game there and buying the game on the game publisher&#x27
626.
by devit 6y ago
They don't have to run infrastructure, they just have to update iOS to remove the signature check on binaries and support installing IPAs from Safari downloads, so that there is no need for their app store anymore.
627.
by devit 6y ago
> on boat journeys even though 10% of the passengers would typically die on the way Source? Seems highly implausible (in general).
628.
by devit 6y ago
While Civilization games are fun for new players, ultimately they are quite flawed: - In Civ 1-3 infinite city sprawl is optimal, which is tedious and unfun - In Civ 5-6 one-unit-per-tile creates gimmicky non-strategical combat, forces you
629.
by devit 6y ago
There's a bit of a difference since you can easily have multiple consoles as well as a PC, but you can't easily have multiple mobile phones, since it's very inconvenient to carry them, charge them, pay for multiple data plans
630.
by devit 6y ago
That seems absurd, why not just clear the secure area (or make it inaccessible until cleared) if the processor detects a different firmware instead of not booting? Looks like they might be doing this intentionally to get some sort of financ

More ›