ArticlesEnsuring Your Personal Digital SecurityGood security hygiene isn’t just for organizationsPublished 2021-11-10Est. reading time 13–19 min.AuthorIsaac ShapiraTags2fasecurityRead postIntroduction to generics-sopPublished 2022-05-23Est. reading time 19–29 min.AuthorSridhar RatnakumarTagshaskellIntroduction to `generics-sop`Read postHow to Sleep while Your Smart Contracts are in ProductionWhy your smart contract project needs Formal VerificationPublished 2022-10-14Est. reading time 4–7 min.AuthorIsaac ShapiraTagscardanosmart contractsformal verificationRead postScaling with UTXOsTransaction throughput scalability strategies for Plutus smart contractsPublished 2021-10-05Est. reading time 30–45 min.AuthorMorgan ThomasTagscardanoplutussmart contractsscalabliltyRead postWhat is the right tech for a web-based chat?A retrospective on writing ChatStrike’s chat interfacePublished 2022-10-14Est. reading time 5–8 min.AuthorIsaac ShapiraPlatonic SystemsTagselmRead post
Ensuring Your Personal Digital SecurityGood security hygiene isn’t just for organizationsPublished 2021-11-10Est. reading time 13–19 min.AuthorIsaac ShapiraTags2fasecurityRead post
Introduction to generics-sopPublished 2022-05-23Est. reading time 19–29 min.AuthorSridhar RatnakumarTagshaskellIntroduction to `generics-sop`Read post
How to Sleep while Your Smart Contracts are in ProductionWhy your smart contract project needs Formal VerificationPublished 2022-10-14Est. reading time 4–7 min.AuthorIsaac ShapiraTagscardanosmart contractsformal verificationRead post
Scaling with UTXOsTransaction throughput scalability strategies for Plutus smart contractsPublished 2021-10-05Est. reading time 30–45 min.AuthorMorgan ThomasTagscardanoplutussmart contractsscalabliltyRead post
What is the right tech for a web-based chat?A retrospective on writing ChatStrike’s chat interfacePublished 2022-10-14Est. reading time 5–8 min.AuthorIsaac ShapiraPlatonic SystemsTagselmRead post