yolodeveloper

Another question is whether translation from TLA to, say Haskell or Scala is on the roadmap? That would be a killer feature but I've never heard this being something that is planned for implementation.

Sorry, I still am wobbly on the matter of how TLA+ is different from QuickCheck and it's clones?

The idea that "you don't test a use-case, you test many inputs that may work differently" is solved by fuzzing/test factories.

So TLA+ without the fuzzing, leaves what, temporal stuff? Did I miss anything?

Nothing wrong with awk. I have serious beef with people who are writing scripts using them and not aware of portability issues, tho.

I wonder how widespread was cancer in, say 17-18th century. Obviously there would not be much technology do diagnose it, but still, if someone has any references, that'd be of interest.

Not in East Europe it is not.

Update: interesting video of a talk given by project's founder https://www.youtube.com/watch?v=vU7difOTyvk

I have just joined the project and am no biology expert, but all of these discussions are help with professional biologists on the Slack page of the project. Let me know if you'd like to join and I'll invite you to Slack channel of the project.

GIMP is only UI. GEGL is actually doing the job behind it. Rewriting UI would mean to restart the GIMP project from scratch. Not that it would be a bad thing.