Pelayu

12 ms·

1.
by Pelayu 9mo ago
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 this; it's what puts me off writing GUI apps in Cloju
2.
by Pelayu 2y ago
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 ab
3.
by Pelayu 2y ago
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 ou
4.
by Pelayu 2y ago
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 t
5.
by Pelayu 2y ago
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
6.
by Pelayu 3y ago
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.
7.
by Pelayu 3y ago
They referring to the Cuban Missile Crisis.
8.
Speed Is All You Need: On-Device Acceleration of Large Diffusion Models(arxiv.org)
56 points by Pelayu 3y ago|8 comments
9.
by Pelayu 3y ago
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?
10.
by Pelayu 3y ago
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, pe
11.
by Pelayu 3y ago
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.
12.
by Pelayu 4y ago
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.
13.
by Pelayu 4y ago
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
14.
by Pelayu 4y ago
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
15.
by Pelayu 4y ago
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 hazard a guess that more people would find use in Iranian.
16.
by Pelayu 4y ago
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 qualified C++ dev, just that I wanted to start lea
17.
by Pelayu 4y ago
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 personal projects in C++ but have been rejected from every C++
18.
by Pelayu 4y ago
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.
19.
by Pelayu 4y ago
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 say it’s as useful as a lot of English speakers like to say. A
20.
by Pelayu 4y ago
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.
21.
by Pelayu 4y ago
I’ve used https://exrx.net/Lists/Directory for years. I find it the most comprehensive directory for exercises on the internet.
22.
by Pelayu 4y ago
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 gender. It doesn’t mean a group of only men.