yaseer

38 ms·

1. 361.▲
   by yaseer 9y ago

   This question gets at the heart of computation, logic and provability. Coq is based on a logic system called the "Calculus of constructions" https://en.wikipedia.org/wiki/Calculus_of_constructions . As such it
2. 362.▲
   by yaseer 9y ago

   If you're a programmer that's not tried theorem proving before, I highly recommend giving it a go. It gave me the same 'thrill' I got when I first started programming as a 14-year old and realised a new way of thinking.
3. 363.▲
   by yaseer 9y ago

   Agreed, without the ability to exert pressure, getting people to pay by asking is not meaningful. Otherwise, it's solved with a script that repeatedly emails escalating copy. I can only hope one day, horse heads will be available via A
4. 364.▲
   by yaseer 9y ago

   It's probably opening a can of worms to begin the JavaScript Framework comparison in that blog post. I'd imagine it would detract from their central aim of an integration guide. I also imagine this HN thread will quickly turn into
5. 365.▲
   by yaseer 9y ago

   Well done for gracefully and thoroughly responding to the usual HN barrage of technical critiques.
6. 366.▲
   by yaseer 9y ago

   Google trends can be quite hard to read - that search term will include Angular 1, which is far larger than Angular 5. Github stars is a more precise metric. There, react has 80K, Vue is close with 72K (and gaining ground), and both are far
7. 367.▲
   by yaseer 9y ago

   $192M is the value of the shares sold in the IPO. The MDB's market cap, i.e. it's valuation, is around $1.17 billion as of the time this article was written: https://www.cnbc.com/2017/10/18/mongodb-p
8. 368.▲
   by yaseer 9y ago

   I can completely empathise with this, and the distinction between website vs web-app doesn't seem to be clearly defined for most people, outside of software. I often find myself explaining the difference using Google Docs, vs BBC News
9. 369.▲
   by yaseer 9y ago

   I use c9.io, and also a self-hosted version ( https://github.com/c9/core ) occasionally. Using even the free c9 service, connecting to your own server via SSH, you can create a fantastic collaborative development environ
10. 370.▲
    by yaseer 9y ago

    > The only solution is to go back to living that way no matter how hard you try to believe anything else. Nobody can confidently assert this now; you are stating your belief, not a fact. We would need to do longitudinal studies on all th
11. 371.▲
    by yaseer 9y ago

    I've found the Pomodoro method, coupled with walking and stretching between the breaks, helps immensely. The movement also helps me maintain energy levels during long periods of working, which can lull if I'm sedentary. I even fin
12. 372.▲
    by yaseer 9y ago

    This is a great set of articles, thanks for sharing. I place category theory within the same realm as the lambda calculus. Understanding category theory will enrich your understanding of the underlying computer science concepts, particularl
13. 373.▲
    by yaseer 9y ago

    I wasn't ranking the company's practices so much as their incentives, based on their business model. Microsoft derives most of its revenue from enterprise software, the others from consumers. Enterprises are generally more concern
14. 374.▲
    by yaseer 9y ago

    I agree with this reasoning (although I'm not particularly privacy minded, and prefer Android and most Google products to iOS and iCloud). The older tech companies like Apple and Microsoft have built business models with a different se
15. 375.▲
    by yaseer 9y ago

    https://learnxinyminutes.com/docs/nix/ Also includes links to the only other resources I found.
16. 376.▲
    by yaseer 9y ago

    I agree; I use intellij for the consistent experience across languages. It's difficult to beat vim (or Emacs) for quick edits. But for deep-dive coding I'm gladly sold in on jetbrains.
17. 377.▲
    by yaseer 9y ago

    There is a 'Focus' mode; built into the app, which provides a summary after you come out of it. Seems like a neat feature - if it became the norm across app apps, it may solve the concentration problem.
18. 378.▲
    by yaseer 9y ago

    This is typical of the "Enterprise" B2B sales approach, as apposed to selling to small and medium sized businesses and startups. Enterprise sales has developed its own absurd language and culture that is now indistinguishable from
19. 379.▲
    by yaseer 9y ago

    you'll never really learn to sail a small boat properly This analogy lost its sway for me with the word 'never'. It's not impossible, in either case. Perhaps working with a small boat / low-level language is indee
20. 380.▲
    by yaseer 9y ago

    Is this the state of things today...from the top-down, trickle through the stack learning 'the things' Yes, the path most people will take today is from high-level languages and high-level abstractions, down to low level abstrac
21. 381.▲
    by yaseer 9y ago

    I completely agree, DNS-parking is harmful. However, I can't imagine a system for banning or enforcing 'fair use' of a domain. How would it be financed and run? I also can't imagine how you would legislate around the sal
22. 382.▲
    by yaseer 9y ago

    I'm glad they're pursuing this. I wish more startups would tackle the problem.
23. 383.▲
    by yaseer 9y ago

    I think you've hit the nail on the head here. As any online community expands, moderating and guaranteeing quality become extremely hard problems.
24. 384.▲
    by yaseer 9y ago

    I know of no good generalist sites Agree with this, unfortunately
25. 385.▲
    by yaseer 9y ago

    Several sports, philosophy and literature. The general trend from responses is that there are many specialist communities that foster decent discussion. However, 'generalist' forums of a high quality are hard to find.
26. 386.▲
    by yaseer 9y ago

    Twitter definitely has always had the quality, lurking beneath. Personally, I just find it mentally exhausting ignoring and filtering out all the low-value content and noise on most social platforms.
27. 387.▲
    by yaseer 9y ago

    Thanks, the content seems interesting (although the layout of the site I find a tad confusing).
28. 388.▲
    by yaseer 9y ago

    Thanks, I had a feeling some sub-reddits would be a good source. The breadth of the spectrum in sub-reddit discussion quality is quite impressive.
29. 389.▲
    Ask HN: What online communities offer a high level of discussion?

    66 points by yaseer 9y ago|68 comments
30. 390.▲
    by yaseer 9y ago

    +1 to this. Von Neumann was well ahead of his time with his automata ideas. I found in interesting how both Von Neumann and Turing turned to analyse biological systems later in their careers.