@kraulain manifestos are political documents. in the world of software, that means something like "marketing collateral". FP does not have a manifesto that I know of. I suspect that is because FPers think manifestos are silly PR.

step 1: make it work step 2: refactor Is there a single word taht means "make it work" in the above context ?

I see manifestos less as political and more as declarations of alignment and intent. ... So maybe that's political, yeah. Doesn't make it meaningless or useless, if used constructively. Great for communicating principles succinctly, and can draw people in to learn more.

@qqq, correctness

implement?

@pesterhazy @danielstockton : both great suggestions ; thanks!

"The field of computability theory deals mostly with incomputable not com- putable objects." Soare [2009] at http://www.people.cs.uchicago.edu/~soare/History/. (head explodes) A bottle of the finest Malort to anybody who can explain relative computability in a way that i can understand.

It’s highly technical, judging by Soare’s articles. And way over my head. “Finite injury method” anybody? I’m hoping somebody who understands the technical stuff can chime in.

@mobileink : have you read https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X ?

complexity/computability is hard to ickup without the correct math definitions

No, but I’ve come across it before and always thought I probably should.

Soare recently published a magnum opus, https://www.springer.com/us/book/9783642319327

alright, someone on quora said Linus uses/used fedora, so I'm going to give it a try