vrnithinkumar

Joined 10 years ago

Karma

4

Submissions

4

Member since

Jul 3

View on Hacker News

Recent submissions

Understanding LLMs with an Interactive Tutorial thousandmiles-ai.github.io

6 vrnithinkumar 1 month ago 2 comments

Finding null smart pointer dereference with LLVM-Clang Static Analyzer vrnithinkumar.github.io

2 vrnithinkumar 6 years ago 0 comments

Comment · 7 years ago

Use of Formal Methods at Amazon Web Services https://lamport.azurewebsites.net/tla/formal-methods-amazon....