a bit like Communism, really
-
-
-
in some sense, I suppose so…
End of conversation
New conversation -
-
-
Was this said by someone with the least idea what they're talking about? I'm guessing not
-
I’m not even sure what they were referring to… it did remind me why I stopped looking at reddit, at least.
End of conversation
New conversation -
-
-
Hi. I wrote that comment and would gladly discuss the topic with you as well as the origin of my criticism if you’re interested.
-
.
@pressron happy to hear the origin of the criticism. There's a lot of things I've missed I'm sure, and being an academic I'm open minded... - 1 more reply
New conversation -
-
-
what do they mean by "an approach"?
-
.
@sbrandauer My guess is they are comparing it to dependently typed programming in Coq. I’m not inclined to engage… - 1 more reply
New conversation -
-
-
better stop trying new things.
-
but it’s not a new thing! It’s been tried before and failed! I’m going to write everything in C now.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.