gf000

34 ms·

871.
by gf000 1y ago
I'm not saying the status quo is good, but it is nontheless the status quo. Just about every machine on the cloud, mobile devices, etc all have non-source binaries somewhere, and besides some niche projects that actually have an assemb
872.
by gf000 1y ago
I am using Nix everywhere and have some packages contributed, so I do know how it goes - and there absolutely are cases like I have mentioned. Sure, apps can be patched, problems can be circumvented, but a fundamentally malicious/ignor
873.
by gf000 1y ago
Outside some fairly niche projects working on the problem, this is not a priority and most systems have straight binary dependencies.
874.
by gf000 1y ago
I would say, similar. In theory it may be slightly worse, because you are not using play services to deliver notifications, but each app does their own fetching (I believe that's how it works), but you will also restrict apps more (due
875.
by gf000 1y ago
Show me any device on earth that can run a browser that has no proprietary code whatsoever (including hardware) on it?
876.
by gf000 1y ago
A good deal of banking apps will run on it just fine. Some of these features are backported to mainline android, others may be deemed too advanced or just the incentives don't match (e.g. being able to disable networking by the user co
877.
by gf000 1y ago
GrapheneOS is literally an OS made specifically with security in mind. They have countless contributions that were later merged into upstream improving the security of all the Android OSs, including hardened malloc and similar.
878.
by gf000 1y ago
You can't have a low-level language and green threads at the same time.
879.
by gf000 1y ago
You basically have a concurrency-safe message queue. It would be pretty limited without malloc (fixed max queue size).
880.
by gf000 1y ago
I think an important takeaway here that many often ignore is that in language design, not having low-level control over something is sometimes just as important design tradeoff as having it. From that it also follows that it may not be to
881.
by gf000 1y ago
Then you just replace deadlocks with livelocks, the fundamental problem AFAIK can't be avoided.
882.
by gf000 1y ago
> It does feel like there's still generally possibilities of deadlocks in Rust concurrency right? I mean, is there any generic computation model where you can't have deadlocks? Even with stuff like actors you can trivially have
883.
by gf000 1y ago
I'm sure some form of training is possible where you get a better understanding of a 4D universe with some limited inference abilities, but with a bad analogy, this would all be "software emulated" with no hardware accelerati
884.
by gf000 1y ago
I'm afraid this doesn't work in a generic Unix world -- what stops an application from saving some env variable it was first initialized with into its local config and later accessing them (and potentially failing if they were GCd
885.
by gf000 1y ago
As mentioned, second-hand is also an option. But my price was actually from Hungary with world-record VAT included, so not sure if you really couldn't find/order it for around that price. Also, the basic premise is that you can bu
886.
by gf000 1y ago
What about the result of a computation within a giant algorithm that I decided to name, and don't plan on rewriting it anymore? That's surely not a constant like PI, is it?
887.
by gf000 1y ago
For what it's worth, Haskell has plenty of escape hatches itself as well.
888.
by gf000 1y ago
Yeah, but now logic bugs can cause memory leaks, doing use-after-frees, etc, without any kind of tooling to prevent it (nothing like valgrind to catch them). Sure, they won't crash the program, but sending money from a wrong account
889.
by gf000 1y ago
Foreign looking is just a person's biases/experience. C is just as foreign looking to a layperson, you just happened to start programming with C-family languages. (Also, as a "gotcha" counterpoint, I can just look up a H
890.
by gf000 1y ago
It's because you want a tasteful mix of both. I believe Scala was pretty ahead here by building the language around local mutability with a general preference for immutable APIs, and I think this same philosophy shows up pretty strongl
891.
by gf000 1y ago
I like to think of grammar rules and the accompanying tests that make you remember them as.. rules you can use to generate any number of examples to better the language. You learn a language by being exposed to it countless times, but most
892.
by gf000 1y ago
You can get a new Pixel 8 for ~500$, I would say that has a very decent price to value, and will be supported for longer.
893.
by gf000 1y ago
No, just take a look at how long and smooth does a pinephone run with "GNU Linux" vs stock android. Android devs actually backported a bunch of work to the mainline kernel with regards to low-level energy management, but that&#x27
894.
by gf000 1y ago
I'm not saying it's seamless and good. I'm saying that I have had windows fail in similar or worse ways. For example the laptop I had from my previous employer (a pretty beefy Dell) was failing to go to sleep, I had to unplug
895.
by gf000 1y ago
> The odds of having just about any Linux distro work "out of the box" without manual tweaking on just about any computer Well, show me that magic OS that works on "just about any computer", because I am sure Windows
896.
by gf000 1y ago
I have had worse experiences on each and every count with various Windows installs on various laptops, and yet it is the "de facto" desktop OS.
897.
by gf000 1y ago
> think getting mainline Linux on viable and sustainable on multiple hardware devices is warmer, fuzzier foundation. You just have to somehow speedrun the decades of development that went into Android to make it decently run on mobile ha
898.
by gf000 1y ago
On pixel devices you can add your own signature to be checked and thus can use secure boot with a custom OS - that's how GrapheneOS works. No need to strip out every wall, we just have to think about the problem and put doors at necess
899.
by gf000 1y ago
> Still, I cannot Airdrop things without a 3rd party service Well, it hardly works between Apple devices themselves to begin with (sending a bunch of pictures over to a 4 years old iphone works like 1 times out of 10 trial..). At least I
900.
by gf000 1y ago
The context was "business", that kind of application is developed quite differently than, say, a cool little hobby terminal emulator or whatever. Even though the business currently doesn't have a need to e.g. support any othe

More ›