283 karma · joined August 23, 2019
I stopped using Coq after that course and moved to other interests, but I'm relatively happy to know that, if I ever need Coq again, the chances for it to be the same PITA I remember are pretty low.
I might not ever need it anymore, but it's a small consolation to know that I don't need to fear that possibility.
If they finally finished translating the documentation and the errors (or fixed whatever memory weirdness was affecting my version) it wouldn't be so bad. I'd still hate it from the countless sleepless night trying to get it start again before the weekly assignment's deadline, though.
The main problem I had with it is that it kept crashing or failing for misterious reason and it just printed out some obscure French error message (which I was forced to pass through Google Translate, since nobody in the whole class could speak French). This only happened for the most obscure errors, while the more common and easy to spot ones (logical errors, typos...) were well documented in English.
Also a lot of useful parts of the manual (and the community posts around it) were written in French.
I don't think it's really inferior to other tools, but the bad documentation and tendency to crash (which I hope had been fixed by now, TBH) got on my nerves.
Honestly, none. It's their business and they can handle it however they want.
What you can do (and this is exactly what Kolmisoppi was suggesting) is build your platform to work without relying on other people's business.
I'm happy that companies like Amazon don't want to get associated with people who organized a failed coup. That should be the bare minimum. But there is no law which forces you to be hosted on Amazon if you want to be on the Internet. You can self-host. You can buy/rent servers in another country, where what you are doing doesn't have direct consequences which might lead people to want to get away from you. Use the blockchain, use torrent, develop your own P2P protocol. Those people just got locked out from the easy way, something they should have expected to happen (and plan for) since day one.
With a browser and enough time at hand even my grandfather could have dumped their whole DB.
Since Catalina, it doesn't anymore. Or, at least it doesn't check as much boxes as it used to. And, frankly, it's not worth the cost anymore. I could justify the expense for an used 2015 MBP, which felt like a slick and comfortable machine. Can I justify the expense for another Mac, now that it feels distinctly uncomfortable?
Twitter doesn't have a paid service for users (it has paid access to their API, just in case somebody on this site still had doubts about what really is their core business), I was just making a (probably poorly phrased) example.
This is basically the NYPost crying because it wants free stuff with no strings attached.
In fact, the solution suggested above (only using a truncated IP address) would still require you to acquire and process the IP address and thus be subject to GDPR.
There are lots of things I value more than career (family, friends, my dog, my hobbies...) and I'm not going to sacrifice them to land a shiny hip job. In fact, 9-to-5 suits me well.
[1]: I own 4 (once 5) pet rats. They are only a small colony and, while I love them, I don't keep them at lab standards (for example, I don't a vet sleeping on the couch 24/7 in case of emergencies), yet, in a bad month, I could end up with spending 1000+$ for their health. Now, imagine that for the health standard of lab rats/mice and the numbers required for research.
Codogno has an "hospital" which is basically a glorified asylum (and is often considered one of the worst asylum in Italy). It was not equipped to deal with anything serious and basically it was considered and hospital only in order to avoid spending money on other infrastructures.
Bergamo, on the other hand, is one of the economical centers of the country and the regional government delayed action under the pressure of the industrial establishment, until national government stepped in.
Many citizens of Lombardy knew that our healthcare system (which is regional competence) was a disaster waiting to happen and still suspect our regional government is lying in order to cover their failures.
Oh, and don't forget all the nice paper for the notes.
I don't know if it still in use, but Italy had at least a bunker court for mafia trials which could withstand even missile attacks. In case of high risk targets, I feel it would be better to ensure the safety of every person inside the court, instead of enclosing just one person inside a box which could still be opened, after spilling enough blood.
To me, it seems the glass box is used only for the psychological effect and justified with the security concerns.
If it can be done by a small startup with a total of 3 devs in the entire company (and I have seen it done), it can be done by a company the size of Citrix.
That's probably a break of the GDPR so it will still be against EU law and they are taking the GDPR pretty much seriously, so getting caught is going to be a real risk.
I'm sure there will be at least some attempts, but the legal framework to stop those exists.