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 postNix Flake Architecture in PracticeA Beginner-friendly Tour following a Basic Vim PluginPublished 2023-08-31Est. reading time 11–16 min.AuthortoastalTagsnixflakesbeginnersetuparchitectureLearn how to set up & think about your basic architecture skeleton with Nix Flakes by following an exampleRead 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
Nix Flake Architecture in PracticeA Beginner-friendly Tour following a Basic Vim PluginPublished 2023-08-31Est. reading time 11–16 min.AuthortoastalTagsnixflakesbeginnersetuparchitectureLearn how to set up & think about your basic architecture skeleton with Nix Flakes by following an exampleRead 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