Ganesh's blog

• Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal
  posted on Dec 28, 2024
• Implementing unbounded nonblocking channels in Go
  posted on Jul 1, 2024
• Using TLS certificates properly with requests library in Python
  posted on Jan 24, 2024