News for hackers. Stuff that matters.
Re:Ask HN: Who wants to be hired? (February 2026) by JeffsCarbide on Monday February 02, 2026 @01:50PM (#46859664)

  Location: Chennai,India
  Remote: Yes
  Willing to relocate: Yes, after a year
  Technologies: math  + Python, PyTorch, TensorFlow, scikit-learn, NumPy, SciPy, matplotlib,  pandas, HDBSCAN, R, Haskell, SQL, Lean, Isabelle, LaTeX, Docker, Linux, Git
  Résumé/CV: https://gitlab.com/C4RBID3/jeffdoesmath-cv/
  Email: [email protected]
Hey! I'm Jeff and I have designed antennas, worked with formal verification tools (Lean, Isabelle), and consulted as an algorithms and data consulting engineer (for antenna verification) since my teens. My friends often complain that I'm the kind of person who considers "let ε > 0" a perfectly reasonable way to start a conversation. I'm currently seeking remote math research, data science or ML ops opportunities.
Re:Ask HN: Who wants to be hired? (February 2026) by areoform on Monday February 02, 2026 @02:17PM (#46859989)
Jeff's my friend and I'm happy to vouch for him. :)