>While the JVM solves lots of hard problems, it has one major weakness, the UI libraries provided by the JVM (Swing and JavaFX) are clunky and dated.
I also feel this; it's what puts me off writing GUI apps in Clojure. I have hope that natively compiled Clojure implementations like Jank that could interact with C or C++ libraries could help with this.
Does anyone know of any good resources explaining how a theorem prover like Coq is actually used to prove safety properties of software? All the resources I’ve found thus far have been more in the pure mathematics domain, and not so much about applying it to software.
I see a lot of people here claiming that the okupas only affect landlords and banks. Here for example is an article in Spanish that tells the account of an 82-year old pensioner who's house was taken from him (occupied) while he was out visiting a friend in hospital.
I myself have also heard from friends in various cities in Spain of neighbour's apartments being taken also. I'm even aware of some apartments even in my small city that have been occupied.
The fact of the matter is that these lax laws harm many ordinary people. This cannot be argued.
There are a few factors causing the housing crisis but I will not comment more on this as to not go off-topic further.
However I don't think the laws allowing okupas help the housing problem at all and are in fact dangerous and just cause more harm to ordinary, hard-working people. They need to be changed.
Honestly after interviewing lately, I prefer Leetcode-style interviews to doing some takehome project. I’ve failed two assessments now where my project fulfilled the functional requirements set out, but I was rejected because I didn’t use their conventions (which were not specified) or they didn’t like the structure of the code. Not only that, after investing a few hours of my free time to complete said project. I just get vague, hand-wavy reasons as to why I’ve been rejected.
I'm someone who does a lot of sport where ringworm/staph is a problem, caused by a lack of hygiene i.e. showering and cleaning the skin. I could not disagree more. I would guess that anyone doing regular sport or physical activity would say the same.
>While the JVM solves lots of hard problems, it has one major weakness, the UI libraries provided by the JVM (Swing and JavaFX) are clunky and dated.
I also feel this; it's what puts me off writing GUI apps in Clojure. I have hope that natively compiled Clojure implementations like Jank that could interact with C or C++ libraries could help with this.