chaitanyya

6 ms·

1.
by chaitanyya 2mo ago
in all our hearts they were always rated CCC
2.
Show HN: Deterministic Simulation Testing(workers.io)
2 points by chaitanyya 3mo ago|0 comments
3.
by chaitanyya 3mo ago
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.
4.
by chaitanyya 3mo ago
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 place to avoid abuse, and the export control was the onl
5.
by chaitanyya 3mo ago
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 a dig at people, it was not a terrible choice earlier. Not l
6.
by chaitanyya 3mo ago
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 care about. It can be in any language or lib. Next you need to
7.
Show HN: Make every bug perfectly reproducible(workers.io)
13 points by chaitanyya 3mo ago|2 comments
8.
by chaitanyya 4mo ago
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.
9.
by chaitanyya 5mo ago
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? Because we have tools and techniques that can guaran
10.
by chaitanyya 5mo ago
Good shit! going to experiment with some complex use cases
11.
by chaitanyya 6mo ago
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 find the bug. The first thing you’d probably try is to gene
12.
Claude Code Skill to write better Lean4 proofs(spec.workers.io)
2 points by chaitanyya 6mo ago|1 comments
13.
by chaitanyya 6mo ago
I have been getting into Lean4, mostly playing around with writing proofs for properties of distributed software systems. Claude Code has been super helpful in this; however, I had to do a lot of back-and-forth to verify the output in an ID
14.
by chaitanyya 7mo ago
Well it definitely killed mine so I can't say this is not true
15.
Show HN: Security platform for vibe coded apps(twitter.com)
1 points by chaitanyya 8mo ago|0 comments
16.
by chaitanyya 8mo ago
what does that even mean? these two are not even closely related, though your tool may help be useful for our sales agent
17.
Replaced Clay.com with Claude Code Agent(github.com)
4 points by chaitanyya 8mo ago|2 comments
18.
Show HN: Claude Code for Sales and GTM(github.com)
8 points by chaitanyya 8mo ago|2 comments
19.
by chaitanyya 8mo ago
What you are about to read took us less than 3 hours to put together. Built using Claude Code, and uses Claude Code as a backend (lol, I know). I have been experimenting with multiple GTM and CRM setups to book more demos with potential cus
20.
Claude Code as a Sales Guy(twitter.com)
5 points by chaitanyya 8mo ago|1 comments
21.
by chaitanyya 8mo ago
It's an interesting one. Every time I speak with engineering teams about reliability and correctness, they all want more of it, yet when it comes to investing in it, it's never really a priority. More often than not, people test t
22.
by chaitanyya 9mo ago
"IBM to acquire OpenAI" somebody should put this up on polymarket lol