Viewing profile — Pelayu

Amazing project! >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 t…

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 …

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 wh…

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 req…

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 th…

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 …

They referring to the Cuban Missile Crisis.

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?…

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 …

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 …

I would highly recommend the Memrise app instead and maybe some actual study when you start getting into grammar you don’t understand if time permits.

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;…

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;…

I don’t think this argument holds as they added languages with a very low amount of speakers such as Navajo, Hawaiian, Guarani and Māori and even High Valyrian and Klingon. I would…

This attitude is one of the main reasons of the C++ shortage though. You are dismissing anyone else's potential to learn and become a C++ developer. I didn't say that I'm a qualifi…

From my personal experience it seems that companies looking for C++ devs are far too picky. I have a few years professional experience in C for embedded systems and have written pe…

Dinosaurs and the prehistoric era are absolutely fascinating to me. I wonder if there’s a way for a programmer to branch into that world.

I think there’s a very big distinction between the usefulness of English for travel vs living in a country. Sure, English is a great for tourism, but outside of that I would not sa…

As someone who moved to Spain I would not say that you can get by with only English. Outside of tourism barely anyone speaks it really.

I’ve used https://exrx.net/Lists/Directory for years. I find it the most comprehensive directory for exercises on the internet.

The thing is though, in Spanish, the masculine form of a noun already also takes the duty of neuter form. E.g. “Latinos” already refers to a general group of people, regardless of …