| 1. | | Common Advanced React/Redux Mistakes (javiercasas.com) |
| 2 points by javcasas on May 28, 2020 | past |
|
| 2. | | Common Intermediate React/Redux Mistakes (javiercasas.com) |
| 2 points by javcasas on May 27, 2020 | past |
|
| 3. | | Common Beginner React/Redux Mistakes (javiercasas.com) |
| 2 points by javcasas on May 26, 2020 | past |
|
| 4. | | Code Equivalences from the Little Prover (javiercasas.com) |
| 2 points by javcasas on March 21, 2020 | past |
|
| 5. | | Dependent Types in TypeScript (javiercasas.com) |
| 2 points by javcasas on March 14, 2020 | past |
|
| 6. | | Type Families in TypeScript (javiercasas.com) |
| 2 points by javcasas on Dec 9, 2019 | past |
|
| 7. | | Types as an Afterthought (javiercasas.com) |
| 3 points by javcasas on Oct 23, 2019 | past |
|
| 8. | | The Rule of Seven: how to overload the brain of a programmer for no good reason (javiercasas.com) |
| 61 points by javcasas on Aug 12, 2019 | past | 9 comments |
|
| 9. | | Constructing a Generic Data Loader Component with Good Typechecking (javiercasas.com) |
| 1 point by javcasas on July 26, 2019 | past |
|
| 10. | | Typechecking state transitions in a React/Redux app (javiercasas.com) |
| 10 points by javcasas on July 12, 2019 | past | 5 comments |
|
| 11. | | Using TypeScript to make invalid states irrepresentable (javiercasas.com) |
| 3 points by javcasas on July 8, 2019 | past |
|
| 12. | | Improving Your React with TypeScript ADTs (javiercasas.com) |
| 2 points by javcasas on July 2, 2019 | past |
|
| 13. | | Sensible Path to Microservices (javiercasas.com) |
| 2 points by javcasas on June 25, 2019 | past |
|
| 14. | | Patterns of Functional Programming: Functional Core – Imperative Shell (javiercasas.com) |
| 2 points by javcasas on June 18, 2019 | past |
|
| 15. | | Codata in action, or how to connect FP and OOP (javiercasas.com) |
| 1 point by javcasas on May 25, 2019 | past |
|
| 16. | | Plutus Smart Contracts: Pay $10 in Ada (javiercasas.com) |
| 2 points by javcasas on April 10, 2019 | past |
|
| 17. | | Show HN: Plutus-yesod-starter-app: a tool for researching Plutus User Interfaces |
| 1 point by javcasas on April 3, 2019 | past |
|
| 18. | | Plutus Pub-Sub: A Way to Communicate Using Cardano and Plutus Smart Contracts (dssti.com) |
| 2 points by javcasas on March 25, 2019 | past | 1 comment |
|
