Re: gimme gimme gimme UK
Same way they "built" one in the US? That they "inexplicably" stopped building as soon as the Orange Menace left Washington?
1040 posts • joined 31 May 2011
You may want to brush up on computer science history, there was this bloke, Turing, that showed rather conclusively that there are algorithms you can't mathematically prove to be correct.
What we can do, is formally prove correctness of small pieces of code, not whole applications.
Also, it requires a completely different mindset than writing code and the associated unit tests.
Not only is it hard to switch to the "attacker" mindset when writing tests for security critical code, in my experience many programmers are incapable of doing that, especially for code they written.
you're right to think that it would cause a disaster
that's why it doesn't work like this
if a file is opened in exclusive mode, then nothing else can open it, but executing an application doesn't do that
The difference between Linux and Windows is that you can delete (unlink) an opened file on Linux, you can't on Windows. Such an unlinked file behaves normally for the application that has it opened (it will sync to disk, can be freely read and written to, and data is sent to disk, so you're not limited to RAM), but it doesn't have a name associated with it. As such, no other application can open it.
If two applications do manage to open same file at the same time, then they will see the same contents, so writes by the one application will be visible by the other, and vice versa. There is no way to "fork" a file and have two applications see different contents of the same file, that's a copy, even on ref-linked file systems like btrfs or zfs, so the new file needs to have a different file name.
Exactly, there are artists that not only give you access to all the intermediate stages of creation of a drawing (as PSDs usually), but who also actually stream the whole process!
And all that happened before this particular money-laundering scheme was a twinkle in the eye of the parasite that came up with it.
There is middle ground, but the cost to Apple of distributing an the keeping the app updated is more like 1% or a fraction of percent of the in-app subscriptions, for an app like Spotify.
And that's already on top of the huge margins they have on the sold hardware.
> There's a reason the "freemium" model didn't exist
yes, 'cause we called it "shareware"
> pointed to Kroah-Hartman's remarks about rejecting future contributions from University of Minnesota email addresses and argued that making trust decisions on the basis of email domains rather than confirmed code correctness is a more noteworthy problem.
Mister Valsorda doesn't understand the ban at all, just because somebody isn't banned doesn't mean they won't go through peer review before the merge.
What happened, is that UM proved themselves to be wholly untrustworthy, both on the "experiments on humans", and "keeping researchers from doing unethical experiments" fronts.
I don't think semiconductors can be classified as non-strategic any more. Far too much depends on them. Yes, that means staying on the forefront like the 7nm node now.
The question is how to structure the taxes or subsidies that doesn't result in the CEO getting a bigger yacht so they can have a place to keep their small yacht and the taxpayer getting the short end of the deal
I don't see how MS "dominating" code hosting is a problem, especially when every developer has a full history of the code on their machine.
They are providing service for free (have you tried Github Actions for CI, it's bloody fast, completely unlike Travis, even before they kneecapped it). If they do that just to have better integration with Visual Studio, then I don't care one bit; don't use it, don't need it.
Now, as a maintainer, my biggest issue is the backlog of issues that demand attention, so I'll use the hosting that is most popular, most well known so that I have chance to get people to help me and to minimise the barrier of entry to new people. Spending time maintaining a mailing list server, hg server and MoinMoin wiki doesn't help with any of that.
So yeah, good on ya SDL.
well, maybe you make yourself a new cup of tea 8 times a day, I do it 2, 3 tops, by the time I want another it's completely cold
also, I don't know about your kettles, but all the ones I ever used required 400ml or 0.5l of water as a minimum, so you always have to "overfill" it if you just one one cup
so, while wireless charging is a pointless gimmick, the argument that it's overly wasteful is barking up the wrong tree
sorry, but what?! what kind of pension provider makes pension money by shorting stock!?
Gamestop was already at the bottom when it started, *that's why it was shorted so fucking much* nobody with half a briaincell would invest long term in it, and if they did they got out months if not years ago.
microSDs are ok if you use them as the floppy disks of old; to move files around. They really are not good enough to install and run applications from (even the ones specifically advertised for app load performance on phones). It may work if you have massive amounts of RAM to cache, and the installs are write once, don't modify later; but it's a terrible experience either way.
I tried running Linux of off top of the line SD card, with 16GB of RAM, and while after everything loaded the machine wasn't much worse to use than with spinning rust HDD, the software updates were taking forever (like literally 6-8h to install ~200-500MiB of updates).
Biting the hand that feeds IT © 1998–2021