He probably is. There’s no sane person that can defend what is happening in Venezuela. I’m Venezuelan and had to immigrate due to the countries condition. Out of more than 7 million that left only around 200k could vote from Outside. The want for change was such that even disbarring 7 million people they still lost.
I come here to get my tech news and encounter people doing government propaganda.
As a Venezuelan it baffles me how there can be people trying to support a regime that is only recognized by other authoritarian regimes. A regime with clear violations of Human Rights. Hinterlaces is government funded. There were many exit polls that showed the 60/40 split in favor of opposition. Even if you ignore those we are in an age when you can clearly see the government violently repressing and kidnapping as they are recorded and posted in twitter.
The Carter Center praises Venezuela voting process before. Even if you ignore that the fact is the opposition has published the tallies they have collected while the CNE is still busy doing who knows what (fabricating them).
That’s so clever. Nothing stands as particularly revolutionary but the author brilliantly solved all the problems to deliver the final product. They are only a undergraduate student as well, they have a bright future ahead.
Thank you! I still don't understand the relationship between "year 6" and undergraduate, or where does it say "year 6". I'm honestly wondering as I don't know anything about Japan
Nothing to do with undergrad/PhD - I was just commenting on the way the date was written (2024-03-21 in Chinese/big-endian format, 21.03.2024 in European/small-endian format, 03/21/2024 in the muddled US format):
At the bottom of the document, it says "令和 6 年 3 月 21 日“, where the first two characters denote the Reiwa era which started in 2019 (=year 1 of the Reiwa era). 2024 then is year 6 of that era. And that's just what the next two characters denote: "6 年" = year 6. "3 月" is month 3 (the character symbolises a moon), and "21 日" is day 21 (the character symbolises a sun).
Well, everyone breaks Adobe Flash... that's the whispered exception at the end of the rule: "don't break userspace and then blame the user (unless that user is Adobe Flash... F--- Adobe Flash)" ;P.
I feel like preventing illegal writes to protected memory is less "breaking user space" and more "protecting all space".
This is like arguing to allow the guy who can't drive and just pin-balls his way down the freeway bouncing of other cars, because to prevent him from driving would be to take away his personal freedoms.
There was no conceivable version of a road system where that behavior would ever be okay. However, it's not only conceivable but, apparently standard practice in systems programming, to "Try and Fail" instead of "Only Proceed if allowed".
So, if we want a tortured metaphor what JVM is doing is like trying to pass a turnstile to see if the pass is still valid so that on the happy path it saves the extra check. Now Apple decided that instead of just showing a red X and letting you buy a new pass, in the future you get shot in the back of the head if you try with an invalid pass.
Can’t help but laugh at the phrase “Real formal mathematics”. Mathematics are as formal as required to be understood by the audience. After all, math is just a way to communicate abstract arguments and reasoning. Computers require more help to understand abstract concepts, doesn’t mean that formulation is better than our current one. See Principia Mathematica on why too much formalism is not a good idea.
Can't help but laugh at your comment. Mathematics is an informal social activity where humans try to convince other humans that certain abstract structures have certain properties. Having to turn those proofs into formal machine checked proofs makes a huge difference. Principia Mathematica was a big step forward and directly leading to Type Theory. It didn't succeed in what the authors tried to accomplish, but it very much had a massive impact on the world of mathematics. That's why we both know about it and discuss it today.
Damn, my knowledge of ARM and x86 memory models was limited to "x86 provides a stronger model" but that was it. So much to learn, thanks for the slides.
Same. I've tried other frameworks like Django and even Express, but I still go back to Kotlin + Spring when I need a quick backend for a personal project.
How many years of experience do you have? I have 2 years of experience in Java and AWS. I'll be graduating soon from an MSc in computer science from the University of Liverpool and was wondering salary should I expect if I find a job.
I started out on a graduate scheme (after a BSc Maths) working for one of the global banks on ~£28,500 (in London). This was considered a good starting salary back then.
You have a very good higher level degree there and a bright future ahead of you, congratulations and best of luck!
Thanks for this. I'm seriously burntout due to using a very niche ERP framework that leaves no room for personal growth, this is exactly what I needed.
Edited:
Hahahaha, this reminds me of the one time all my co-workers fought against sth together :)
In my previous work place, it happened that they were using Ofbiz as a framework. If they were using it solely for marketing sites and co, there would've been no problem but they were building complex APIs on top of Ofbiz.
All developers fought against it. Functionalities you could easily implement on Java (or Spring boot), required knowledge of the inner workings of Ofbiz. Not to talk of the bloat that comes with it all :(
