Sorry to hear that. No recruiting process is perfect. They often get it wrong, as they clearly did here!
There may be other factors. Hiring is complex. They could have judged tbis fairly and they may have had a better candidate. Having a project like this should probabilistically increase your chances.
[1] https://m.youtube.com/watch?v=fJ9rUzIMcZQ&pp=ygURYm9oZW1pYW4...
No one's trying to lay claim to if this individual product "becomes Dropbox", and you're not saying you can build it in a weekend, which is the comment you're referring to.
I think you may be swapping in a bailey of "oh we're arguing about whether this will be "successful"" because the motte of "what is this for, it can't work!?" was obviously stupid, as you've ceded.
With the conraption here. It is not useless, sure, but that is not a high enough bar to use resources to manufacture it or for there to be a market for it. Other than someone mentioned geek consumerism.
First person know is belief. To some extent: this is just faith! Yes we have faith that the laws of physics wont change tomorrow, or we remember yesterday happened etc. Science tries to push that faith close to fact by verifying the fuck out of everthing. But we will never know why anything...
The other "know" is some kind of concept of absolute truth and a coincidence that what someone belives matches this. Whether that coincidence is chance or astute observations or in the paper's case: both.
In classical logic statements can be true in and of themselves even if there as no proof of it, but in intuitionistic logic statements are true only if there is a proof of it: the proof is the cause for the statement to be true.
In intuitionistic logic, things are not as simple as "either there is a cow in the field, or there is none" because as you said, for the knowledge of "a cow is in the field" to be true, you need a proof of it. It brings lots of nuance, for example "there isn't no cow in the field" is a weaker knowledge than "there is a cow in the field".
Also no suprise the rabbit hole came from Haskell where those types (huh) are attracted to this more.foundational theory of computation.
A tool for filling the fields with papier-mache cows.
Well done!
Peope who do 0.8 hours work and collect a full time salary while playing golf and pretending they do 8 are rare I suspect.