Viewing profile — ceceron

War with the Newts is wonderful, though The Absolute at Large is also worth of attention :)

That's why I am so often disgusted with the psychology research ethics. So many experiments are impossible to reproduce (vide recent reproducibility crisis), some (like the Stanfor…

AFAIK Python [optional] type system supports both. The nominal types are the "common" types, while the protocols [1] are structural. It's quite cool, actually :) [1] https://peps.p…

AFAIK there is no single generally accepted definition, what does it mean for a language to be declarative. Some people believe that pure functional languages are declarative becau…

Are you saying, you trust diplomats and politicians solely on their word? I'm happy, there are still so innocent people :)

There are a lot of very good answers already in this topic: - quality doesn't bring enough to the business value; - high demand requires hiring people without enough knowledge/skil…

In Europe, UHT has caught on even in "wealthy" countries. In most shops you can buy both kinds, the UHT cheaper and the unprocessed as the more luxurious version. I think you're ov…

Try `gcenx` distribution of wine with crossover patches ( https://github.com/Gcenx/homebrew-wine ). Work fine on M1, enough to play Heroes of Might and Magic III with various mods.…

True, that's why I haven't used 'finite' in my comment. Apparently I've missed that the parent referred to the finite collections and in fact was wrong making my previous comment m…

The number of symbols in the language may countable, but the number of sets of symbols will be indeed uncountable, i.e. AFAIR the number of sets of natural numbers is uncountable —…

In 2014, I've met in Krakow a Ukrainian woman in her sixties, feeding pigeons just next to the Wisla river. It wasn't anything uncommon, during the Crimean crisis hundreds of thous…

I had completely different experience. Pathfinding and inventory - honestly I don't remember, they didn't stay in the way. Not more than in any contemporary game. Combat wasn't in …

Ok, now I'm lost. What does the "gameplay" word mean for you? Planescape had IMHO am amazing gameplay. Good example of a great RPG with terrible combat system was Arcanum but even …

I've switched to SE 2022 and it's "okayish". Much worse experience but good enough to get by and is reasonably priced. The mini model is another option, but is worse (no fingerprin…

> - subtitle settings get reset every time I close the website. I also find this ridiculous and annoying, but... I've found a "solution". Just open a mobile Disney+ app (I've used …

I totally agree. MiniZinc is a great tool to prototype solvers for combinatorial optimization problems. It's mature (but still growing) and has support for many different solvers, …

Exactly my thought. Looks like a poor man's swift (poor because many features from Swift are still only in planning). The one difference is that jakt is transpiled to C++ (IMHO it'…

I've been avoiding her books but being a Polish I tried to appreciate her writings when she got the Nobel. I found her style technically very good, but nothing special (compared to…

I'm just finishing "Rationality: from AI to Zombies". Started ~25 days ago. It's quite long and frankly rather underwhelming given promising beginning. I don't recommend the title.…

I am a big fan of the Constraint Programming paradigm. Still, there are several distinguishable approaches: 1) Constraint Logic Programming — quite cool as long as you have experie…

Yes. But still I find beauty in great abstractions ;)

MiniZinc language for Constraint Programming uses /\ and \/ as AND/OR operators.

I'm terrified of such simplistic narratives (in any domain, not only politics) and I believe they are very dangerous, especially in the modern societies which are very prone to acc…

I'm always scared of such articles/narratives. Because they are internally consistent and seemingly explain the complex reality, they easily seduce rational readers giving them spe…

Sure. I've used "possible causes" instead of hypotheses to match other reasoning methods.