Blag entries
- two years on the coast
- packages vs modules
- thoughts on 2000 lines of coastML
- reasoning about parameter order
- thoughts on data security
- nine months of coastal living: coastML status report for November 2022
- eight months of coastal living: coastML status report for October 2022
- six to seven months of coastal living: coastML status report for September 2022
- thoughts on sub-languages and Hoare logic
- five months on the coast with coastML
- the
casefor inversion - four months on the coast with coastML
- three months on the coast with coastML
- using and understanding libfuzzer
- 2 months on the coast with coastML
- coastal living: 1 month of coastML
- Leaving Sweetness for two weeks at the Coast: retiring carML and coastML at two weeks
- Learn carML in 5 years
- Digamma TODOs
- Muse write up
- First Post