amkkma

Recent Submissions

1. 1. ▲ CosineAI coding agent tops software engineering bench (twitter.com) 1 point · 1 year ago · 0 comments
2. 2. ▲ Task Management for Tech Startup 1 point · 1 year ago · 3 comments
3. 3. ▲ Musings on long Covid and the epistemology of medicine (imaginativeclinician.substack.com) 1 point · 2 years ago · 1 comment
4. 4. ▲ Formal specifications and static checking of interfaces in Julia (github.com) 4 points · 2 years ago · 0 comments
5. 5. ▲ Composable static typing, proofs and formal verification for Julia (github.com) 2 points · 2 years ago · 0 comments
6. 6. ▲ Advice for new data scientist at mobile app startup 1 point · 2 years ago · 0 comments