Yesterday ProPublica and ArsTechnica published a takedown of Azure: "Federal cyber experts called Microsoft’s cloud a “pile of shit,” approved it anyway" ...
No mention of starting with a design specification & then tied to formal verification the whole way?
It sounds interesting and a step forward (never heard of library Os itll now), but why won't this run into hundreds of the same security bugs that plague Windows if it's not spec'd and verified?
If they said "could" then I would agree but they said it did happen. those actors DID do it, not could. So it's not a think of the children excuse. Unless they are outright lying but I doubt the security team came up with a business type excuse
I agree, but if one has ever taken an antibiotic then they should replace the bacteria that they lost? Strong antibiotics completely destroy the gut biome
I would love to see this same analysis with a gut probiotic! I am never convinced if I'm wasting my money, which strains are best, should I do refrigerated or shelf-stable, etc.
I haven't logged into Plex in a while but did decide that the next time I need it will just setup Jellyfin instead. Nice to see they support all my devices iOS AndroidTV FireTV
> Six years later, Hammersmith Bridge remains closed to vehicles. The solution proposed by local authorities costs £250m and has no funding.
If this is not a failure of Mayor of London Sadiq Khan, then who? Where I grew up, new bridges were paid for by tolls until the building cost was paid then taxes covered occasional maintenance.
"Math is something humans invented"
Majority of mathematicians are platonists and believe arithmetic was existed and was discovered and was not "invented".
"There is no logic per se"
There is logic to it! Most logicians are mathematicians at heart. See Russel, Godel, Hilbert, etc
"no beauty of Mathematical Logic"
Mathematicians do focus on beauty. Entire books have been written on this. G.H. Hardy in A Mathematician's Apology even said math MUST be beautfiul
"Proofs are religious things"
What are you going on about...