HN Explorer

learningstud

↗ HN profile [ 84.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Coding is the purest form of art

    As I was watching a YouTube video on Michelangelo's "Pieta", I was reminded of Milton's "Paradise Lost". Though the latter takes a lot more patience to appreciate. Then, I thought of Knuth's "The Art of Computer…

    1 points 4
  2. Computer science should be called logic (youtube.com)
    1 points 10
  3. AI Replacing CEOs

    CEOs have been talking about how programmers, attorneys, etc. will be replaced by AI. However, the CEO seems like the perfect role to be replaced by AI. Why isn't the board nor investors bullish on replacing their CEO?…

    5 points 12
  4. Why is there so much useless and unreliable software?

    Linear logic has been known since 1987. The first release of Coq (dependent types for functional programming and writing proofs) was in 1989. The HoTTBook came out in 2013. Ada/SPARK 2014 came out the same year as Java…

    83 points 146