PinnedMethrat0nUnion Types and Intersection TypesDo you now about union and intersection types? They are widely used but rarely named. The only programming language I know about containing…Feb 22, 20199Feb 22, 20199
Methrat0nHow to do remote development rightGithub Codespaces, Coder, Jetbrains Space, Gitpod, Amazon CodeCatalyst, Cloud Workstations … You name it, it’s the new hot thing.Aug 11, 2023Aug 11, 2023
Methrat0nWriting HTML is for machinesLastly I had to create a static website to show off my team to the world. I wanted it to be static to gain performances, have it usable by…Apr 12, 2023Apr 12, 2023
Methrat0nSuspense is all you needWith the release of the Hooks API into React new opportunities arise to eliminate even more boilerplate. The one I want to talk about here…Jun 30, 20205Jun 30, 20205
Methrat0nScala weak type refinement implementationType refinement is the process of specifying a type. In vanilla Scala this can be done using the with keyword. It combines two types into…May 28, 2019May 28, 2019
Methrat0nPlay Scala with mavenAre you working in a limited environment? You cannot choose your build system ? Or maybe you are a fan of maven? Even so, you still want…Mar 12, 2019Mar 12, 2019
Methrat0nWtf is Refined ?Since I published my article Reduce the domain of your types with Refined I received some thank’s and a lot of questions of the “wtf is…Feb 8, 2019Feb 8, 2019
Methrat0nReduce the domain of your types with RefinedSome days ago one of my coworker asked me about Refined. He said he couldn’t find any explanation about what Refined does. After some…Jan 28, 2019Jan 28, 2019