Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Viewing profile — ajaystream

ajaystream

HN member
Joined
Mon, Mar 14, 2022, 4:27 AM UTC
HN karma
4
Public activity
29 items

About ajaystream

I am product engineer by passion - obsessed with solving problems, every day and gets worse at night. Would love to be able to sleep for a whole night ... one can dream I guess, but it has to be a day-dream

Recent public activity

  1. comment
    Comment #48193427

    [flagged]

  2. comment
    Comment #48193415

    [flagged]

  3. comment
    Comment #48193382

    [flagged]

  4. comment
  5. comment
  6. comment
    Comment #48049042

    [flagged]

  7. comment
    Comment #47985715

    [flagged]

  8. comment
    Comment #47985705

    [flagged]

  9. comment
  10. comment
    Comment #47967841

    [flagged]

  11. comment
    Comment #47967807

    [flagged]

  12. comment
    Comment #47967792

    [flagged]

  13. comment
  14. comment
  15. comment
  16. comment
    Comment #47796357

    I am going to ignore the form comments -- I guess I am not sure how I feel about being called an LLM (good or bad ?), not sure only time will tell. If LLMs turn out to be the turd …

  17. comment
    Comment #47792025

    [flagged]

  18. comment
  19. comment
  20. comment
  21. comment
    Comment #47760799

    The spec-completeness problem here is the same one that bites distributed systems verification: the proof holds inside an operating envelope (no adversarial inputs, trusted runtime…

  22. comment
    Comment #47714320

    [flagged]

  23. comment
  24. comment
  25. comment
    Comment #47446138

    I hardly felt that the problem could be answered in such poetic and psychological eloquence. I get what you are saying.