Blog
allhaskellnixdata-sciencebazellinear-typesdevopspythonstatisticsinternshipfellowshipnickelhigh-assurancedata-engineeringMCMCghcformal-methodsasteriusrustocamlinline-javajobswebassemblytutorialformattingicfpliquidhaskellprogramming-languagessmart-contractsblockchainbuild-systemsauditingjupyterprofilingtrustixcapabilitymonorepoopticsgolangcargotype-level programmingbuck2packaginghalide-haskellterraformannouncementcloudazureraystate-machinedomain-driven-designfawltydepsreproducibilityjupyenvservanttrainingdelta-lakeprocesses








1 November 2022
Hard user separation with NixOS
Setup two encrypted partitions with a shared Nix store

20 September 2022
Optimizing Nickel's Array Contracts
A short dive into Nickel's reference interpreter

25 August 2022
Introducing the Scalable Build Systems Team
Introducing the Scalable Build Systems Team





19 January 2022
Why Liquid Haskell matters
On the relevance of Liquid Haskell in programming languages

























