Live data from Hacker News

Viewing profile — chaitanyya

chaitanyya

HN member
Joined
Tue, May 14, 2024, 7:06 PM UTC
HN karma
14
Public activity
38 items

About chaitanyya

All things software correctness, reliability, formal methods, and mathematics

Recent public activity

  1. comment
    Comment #48910728

    in all our hearts they were always rated CCC

  2. story
  3. story
  4. comment
    Comment #48716851

    Anthropic is probably overcharging for Claude API usage. I enabled API based billing for 2 sessions on Claude Code and it logged 700m input tokens.

  5. story
  6. comment
    Comment #48624981

    I don't believe US government wanted to restrict the model use to US citizens only. The bad actors will and can find their ways around it. They do however want strict measures in p…

  7. comment
    Comment #48624959

    How much of it is just exposing poor engineering practices people got away with because it was not economically viable earlier to spend human hours to exploit a system? Not taking …

  8. comment
    Comment #48614024

    Thanks, we need a lot of work in the docs and the homepage. A lot of that part was very rushed. You just need to create a simple workload - think of it like an e2e test case you ca…

  9. story
    Show HN: Make every bug perfectly reproducible

    We are building a VM that helps you simulate realistic production conditions, model latencies, different interleaving, user requests, and find bugs. Every non-deterministic propert…

  10. story
  11. comment
    Comment #48172967

    This reminds me of the free internet Facebook tried to launch in India to kill net neutrality Thank god people protested against it and made them drop the plan.

  12. comment
    Comment #47787662

    What do they mean when they say "no diminishing returns?" does this essentially mean the code you are testing has no bounded state space and you continue to find infinite paths? Be…

  13. story
  14. story
  15. comment
    Comment #47711304

    Good shit! going to experiment with some complex use cases

  16. story
  17. story
  18. comment
  19. story
  20. comment
    Comment #47480209

    Imagine a stack with two operations: push and pop. There’s a bug lurking in it. If you ever put more than 32 items on the stack, it crashes. You don’t know this yet. Your job is to…

  21. story
  22. story
  23. story
  24. story
  25. story