WingNews logo WingNews GitHub [2]

Pelayu's comments

Pelayu | 2 months ago | on: Easel Turns One One year of building my own IDE in Clojure

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 Clojure. I have hope that natively compiled Clojure implementations like Jank that could interact with C or C++ libraries could help with this.

Pelayu | 1 year ago | on: Coq-of-rust: Formal verification tool for Rust

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.

Pelayu | 1 year ago | on: Squatting in Spain: Understanding Spain's "okupas" problem

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.

https://www.antena3.com/noticias/sociedad/vuelve-hospital-vi...

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.

Pelayu | 1 year ago | on: I am sick of LeetCode-style interviews

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.

Leetcode-style any day, over that.

Pelayu | 1 year ago | on: There's no need to shower every day – here's why

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.

Pelayu | 2 years ago | on: Artist refuses prize after his AI image wins at top photo contest

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.

Pelayu | 3 years ago | on: Duolingo Max, a learning experience powered by GPT-4

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.

Pelayu | 3 years ago | on: Duolingo Max, a learning experience powered by GPT-4

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.

Pelayu | 3 years ago | on: Duolingo Max, a learning experience powered by GPT-4

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.

(For the record, I’m not saying the above languages shouldn’t be included, rather that the argument doesn’t hold up)

Pelayu | 3 years ago | on: The pool of talented C++ developers is running dry

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 learning to be one and get a foot in the door.

Pelayu | 3 years ago | on: The pool of talented C++ developers is running dry

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++ position I applied for. It seems that companies only want someone with 5+ years experience and are unwilling to take less experienced people on.

Pelayu | 3 years ago | on: Japan has changed in important and visible ways

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. As someone who moved to Spain, I would say it’s pretty much impossible to get by (living) here with only English.
page 1
more