>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.
i made a GUI with cljfx which uses JavaFX and I didnt really hit any issues (save for i have one bug on startup that ive had trouble ironing out). The app is snappy and feels as native as anything else
Ended with a very modular functional GUI program
the only thing i wasnt super happy about is that i couldnt package it as a simple .bin/.exe bc the jpackage system forces you into making an installer/application (its been a few years since, so its possible theres a graal native solution now)
i highly recommend cljfx. Its the opposite of clunky
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.
That particular example shows the difference between what happens when a occupation of a primary residence has happened, and when a occupation happens in other properties.
In the case you put, the guy called the police, and the police threw them out. What more can you want? Seems the system works perfectly fine, in that case, because it was his home, the squatters have no rights, so the police threw them out immediately as soon as he called the local police. How is the laws "lax" in this case, when the police has the authority to get rid of them?
No one is arguing for squatters right for other's primary residence. The division comes when you start talking about properties that are bought/owned for the sole purpose of speculation.
For others who might not know Spanish, here is a translation of the part where the trespassers (not occupiers/"okupas", as that's a different thing than what happened here) gets thrown out:
> He assures that he panicked: “I started to have an anxiety attack, I don't even know how I had the strength to call the local police... on the phone they told me to calm down”.
> The man, 82 years old, tells a team of Antena 3 Noticias that the agents arrived very quickly and tried to negotiate with the “squatters” , without success. “They asked me for permission to break down the door, and I said yes!”, and adds, “The police acted very quickly and I am very grateful to the agents”. Emotionally, he narrates, “That something like that happens to you and they sink your life, I would have stayed outside with my two little dogs.”
Antena3, lol! This is one of most sensationalist TV channel in spain.
The media always look for this situations and portray they because are shocking.
This is not okupation, and has nothing to do with the movement.
This laws primary are there to protect families and people who rent.
I know at least 15 okupas, who lived +4 on bank unused, and still unused, properties. This okupas helped to not saturate the market. They all worked in touristic areas where housing is scarce, and this makes hiring people very difficult because workers doesn't have a place to live and rent is crazy high.
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.
My main complaint about QR codes used like this is that at most restaurants I have been to will link to a pdf file that you then have to pinch-zoom all around the document to read it on your small phone screen - a bad UX.
I've entered photography contests before, and the ones I entered requested the raw file from the camera as well as your final .jpg/.png as a way of proving it was you at that took the image.
The article goes on to state that the Sony competition refused to acknowledge the withdrawal.
The author traveled to the ceremony at his own expense, found that he was not allocated time to speak, then went onstage unannounced to explain his refusal, at which point all physical evidence of his work was removed from the facility, again without comment.
I agree that Sony could have saved itself trouble by requiring the raw camera footage with verifiable exif data.
Almost sounds like the collective decision making process of the awards organization were in denial that the industry at large is changing.
Feels dystopian that they would just, scrub the winning work from the website and physical location without comment, pretending as if it didn't happen.
I feel like the guy behaved pretty indecently, and to reward him with more attention would encourage others to behave similarly in the future, and detract from the other winners who participated in the contest in good faith.
I feel like he didn't behave indecently at all, and thus everything you said which follows, is not, in fact, the case
the fact that he was able to enter at all with a non-photo is proof that Sony is in the wrong, and despite their coverup, is not, in fact, prepared to deal with "black-hat artists" in this space
when an inadequacy makes itself apparent, the decent thing to do is acknowledge it, thank anyone who helped you see it, and try to make it right – Sony did none of these things, and thus are the "indecent" ones here
What is verifiable EXIF data? The submission was simulating a 100 year old photo. There could never be verifiable EXIF data for that. Sony didn't care; they liked the creativity.
Sony problem was in not catching someone who wanted to embarrass them. There's not a good way to detect that in advance.
In regards to research I'm struggling to imagine useful applications of being able to create such raw files. Also, as it's a general term for a file containing raw sensor data, it would be different across sensors.
In any case, perhaps some kind of hardware-signed cryptography scheme on the files from the camera could be used in lieu of this development in the future.
The most obvious application would be faking criminal exhibits. Fake photos prrofing something
RAW files generated "backwards" do already exist. For this, police and forensics have been using special cameras with hardware signatures for raw files for around 15 years, but Canon's and Nikon's system was broken by Elcomsoft like 12 years ago. Sony is trying something similar in their A7 IV, but I don't know how serious it is, and I think it's not as oriented to forensics as Canon and Nikon was.
I'll admit those are stretches. Anyway, in addition to a digital signing scheme, these competitions are gonna need more editing restrictions if they want to exclude the use of diffusion models.
What sort of editing did you have in mind? If you are using SD to add things to the photo for example, you would see the difference between the raw file and the .jpg you submitted?
- Changing the style of the whole photo to (for instance) make it look old and analog.
- "Enhancing" it with HDR, depth of field, focus everywhere or something like that.
- Altering exposure beyond what you could get out of a underexposed/overexposed RAW file.
- Stylizing the human subjects to make them look more attractive, more grimey or whatever
All these things could arguably be done in photoshop, but its just very labor intensive and more hit-or-miss. Hence the contest rules would have to exclude most photoshop work if they want to exclude diffusion.
It’s already the case to add textures and patterns. Like sharpening images of the moon and its craters with AI. It’s hard to draw the line. Some phone does these AI work live now!
This is the same for me but with Basque. People have been campaigning to get a course published for years now, with volunteers willing to help, but for whatever reason they refuse; which is a shame as from a linguistic point of view it is a very rare and interesting language and culture and would help people in Spain a lot in my opinion.
>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.