Skip to content
View lalitj5's full-sized avatar
3 followers · 6 following

Block or report lalitj5

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lalitj5/README.md

Glad you're here!

My name's lalit and right now:

  • I write for a technical newsletter called AI, but Simple, go check it out!
  • I'm currently working on a personalized coding harness
  • I'm trying to learn how draw, but by using color theory mind tricks
  • I love watching and playing basketball
  • I'm super passionate about learning about and solving problems in AI Safety and verification methods (my latest deep dive)

If any of these resonate with you, reach out to me at lalitjulapalli5[at]gmail[dot]com and I'd love to meet you!

Pinned Loading

  1. formalization-proj formalization-proj Public

    Dafny 1

  2. agent agent Public

    Python

  3. nvemuri4649/BrainrotGenerator nvemuri4649/BrainrotGenerator Public

    Python

  4. Alex-Epstein/claude_hackathon Alex-Epstein/claude_hackathon Public

    were on claude 9

    Swift 1

  5. traffic-counter-project4 traffic-counter-project4 Public

    computer vision project that tracks objects, which in this case are cars, trucks, and other vehicles, to produce live traffic counts using live feeds.

    Python

  6. presenter presenter Public

    auto-presenter

    Python