sbmthakur

Posts

• Exploring the Verifiability of Code Generated by GitHub Copilot
  by sbmthakuron 3/6/2024, 2:31 AMwith 0 comments
• Gemini 1.5 pro detects and fixes issues in the codebase
  by sbmthakuron 2/22/2024, 2:41 AMwith 0 comments
• Tech layoffs are back with a vengeance
  by sbmthakuron 10/29/2023, 4:25 PMwith 1 comments
• Americans falling behind on auto loan payments at record pace
  by sbmthakuron 10/28/2023, 5:33 AMwith 43 comments
• Ask HN: What do you regret doing or not doing in your 30s?
  by sbmthakuron 10/25/2023, 5:07 PMwith 25 comments
• Elephant dies after her herd became agitated from a dog running loose
  by sbmthakuron 10/19/2023, 8:15 PMwith 2 comments
• The myth of Go garbage collection hindering "real-time" software?
  by sbmthakuron 10/9/2023, 7:22 PMwith 1 comments