If you are looking to relocate to Spain the typical sites for tech jobs are LinkedIn and InfoJobs.

I know that already, tecnoempleo was just a site I was redirected to by one of the job postings on LinkedIn.

Good luck!

Thank you!

tbh I’m not from Spain so I haven’t come across describing disability as a number before. but because this is an official designation as you said, now this makes perfect sense

This website is satire and best viewed with a healthy dose of skepticism and a strong sense of humor.

what a disappointment

I love this

why can’t we use passkeys instead of passwords though? is it just a matter of convenience? if so, maybe there is a way to determine a passkey from a password?

please correct me if i’m wrong on this. lots of people here saying that it’s not practical because we would have to trust tiny instances that may be malicious. however, what if we make user’s identity provable to anyone, simply by the use of logic? suppose we have a way of generating random proof-theorem pairs (for example, the theorems could be something like “the largest proper factor of n is greater than some m, where m and n are some huuuuuge numbers and n is semiprime”, the proofs could be constructive). we let the identity be the theorem and the password be the proof. hence, anyone is able to verify the indentity by the use of a theorem prover like Agda