HN Explorer

cjfd

↗ HN profile [ 95.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: I wrote a toy proof assistent (github.com)

    It is an implementation of the Calculus of Constructions with a small set of axioms.

    2 points 0
  2. Why Companies Are Kicking Cloud to the Curb [video] (youtube.com)
    3 points 0
  3. Only 1% Need Microservices (medium.com)
    3 points 1
  4. Git Flow Is a Bad Idea (youtube.com)
    3 points 0
  5. Fibonacci Hashing: The Optimization That the World Forgot (probablydance.com)
    1 points 0
  6. Ask HN: What about Version Pinning?

    Nowadays some languages/environments offer the possibility to pin the versions of dependencies. I have a colleague who is religious about the opinion that all versions of dependencies should be pinned. To me this is not…

    5 points 1