Spoilers:

Worst 10: Spain, Finland, Sweden, Greece, France, Estonia, Italy, Latvia, Canada, Portugal.

Best 10: Netherlands, Iceland, Germany, Switzerland, Poland, South Korea, Japan, Malta, Czech Republic, Singapore.

Order in both lists is from higher to lower rate of unemployment, i.e. worst to best.

I don’t think much of these lists I guess. I keep hearing that Germany is hosed because of inflation outstripping earnings, and lots of Germans are moving to Austria because of that.

The lists generally don’t reflect anecdotal economic conditions in those places. So I’d like to see more direct numbers about median purchasing power and stuff like that. Also for work-seekers with some mobility, exactly what kinds of openings are there in a given country and what occupations are already glutted.

Music that takes focused listening, or else the kind that zones you out.

1 centaur = 1/2 human + 1/2 horse

1/2 human + 1/2 centaur = 3/4 human + 1/4 horse.

Yay math.

https://feddit.org/post/9959466/5697405

[why blocked?] "a contributor made a push from a sanctioned region is what i saw. not even a main dev, and they didn’t receive any warning is my understanding. i might be way off, i’m not a final source:

/me changes name to '); DROP TABLE STUDENTS; --.

SPJ left Microsoft a couple of years ago but I don’t remember what he is doing now. Does he still develop GHC?

I wonder what he thinks of:

• The idea of using AI for automatic code synthesis in dependently typed languages. The idea is that if the (human-written) types are precise enough and the code is effect-free, you avoid the hallucinations and other issues with current LLM-generated slop/code. Of course being able to generate code with an arbitrary type amounts fo AGI-level automated reasoning, but it’s ok to accept limitations on how powerful it can be.

• Whether Haskell itself still excites him and if not, what does. Does he like Idris? Maybe Lean? And on the low level effectful side, what about Rust? What does he think are the current exciting ideas in PLT (programming language theory), and for that matter in general?

• Is he familiar with Ben Lippmeier’s dissertation about Discus, formerly called the Disciplined Disciple Compiler (DDC)? It had a very interesting critique[1] of Haskell in its first chapter, that motivated the DDC language design, that used effect types to track memory mutation. The language never caught on and might not have really been usable, but the motivation for it seemed mostly valid to me. So I wondered if Haskell has any answers to that section of the thesis.

[1] https://benl.ouroborus.net/papers/2010-impure/lippmeier-impure-world.pdf start at page 17.

I may think of some other things to add.

Fairly lame article but yeah this is something lemmy used to get wrong. I haven’t paid attention to whether it still does.