HN Explorer

javcasas

↗ HN profile [ 73.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Common Advanced React/Redux Mistakes (javiercasas.com)
    2 points 0
  2. Common Intermediate React/Redux Mistakes (javiercasas.com)
    2 points 0
  3. Common Beginner React/Redux Mistakes (javiercasas.com)
    2 points 0
  4. Code Equivalences from the Little Prover (javiercasas.com)
    2 points 0
  5. Dependent Types in TypeScript (javiercasas.com)
    2 points 0
  6. Type Families in TypeScript (javiercasas.com)
    2 points 0
  7. The Rule of Seven: how to overload the brain of a programmer for no good reason (javiercasas.com)
    61 points 9
  8. Constructing a Generic Data Loader Component with Good Typechecking (javiercasas.com)
    1 points 0
  9. Typechecking state transitions in a React/Redux app (javiercasas.com)
    10 points 5
  10. Using TypeScript to make invalid states irrepresentable (javiercasas.com)
    3 points 0
  11. Improving Your React with TypeScript ADTs (javiercasas.com)
    2 points 0
  12. Sensible Path to Microservices (javiercasas.com)
    2 points 0
  13. Patterns of Functional Programming: Functional Core – Imperative Shell (javiercasas.com)
    2 points 0
  14. Codata in action, or how to connect FP and OOP (javiercasas.com)
    1 points 0
  15. Plutus Smart Contracts: Pay $10 in Ada (javiercasas.com)
    2 points 0
  16. Show HN: Plutus-yesod-starter-app: a tool for researching Plutus User Interfaces

    Hi everyone, I want to share with you a small tool I have been constructing in the past weeks. It's designed to kickstart you into developing Plutus Smart Contracts. https://github.com/javcasas/plutus-yesod-starter-app…

    1 points 0
  17. Plutus Pub-Sub: A Way to Communicate Using Cardano and Plutus Smart Contracts (dssti.com)
    2 points 1