bobkb

8 ms·

1.
by bobkb 5d ago
Coding just a stage in the software development. Design and specifications which can help in coding is not solved at all and may never - the end result is software reliability is not a solved problem.
2.
by bobkb 7d ago
Excellent read! We were talking about the effects of AI Psychosis on companies. It looks like people have a misconceived notion that now work can be done 90% faster and they are attempting to literally get rid of 90% of the engineers. The e
3.
Date with a Recruitment Scammer(freebird.in)
2 points by bobkb 7d ago|0 comments
4.
by bobkb 1mo ago
Is their CI and CD workflow robust like gitlab/github ?
5.
by bobkb 1mo ago
Same experience. It took minutes to find the API key from the console. Now following up with Google support team without luck to find the logs. Prompts send to the model and the responses including the thinking was available in the ai studi
6.
by bobkb 2mo ago
They have support for long format and the industry is already attempting long shots with Seedance 2.0 which cannot be efficiently done without drift in other leading models like Kling.
7.
by bobkb 2mo ago
Happy to see an open weight model ! This has all the right ingredients for success.
8.
by bobkb 2mo ago
Would love to collaborate
9.
by bobkb 2mo ago
Thank you! Jetstream looks useful. For a platform which is production our Redis costs are getting prohibitively high. I was on the look for alternatives and perhaps in the software reliability tool [0] I am buildin try out Jetstream. [0] h
10.
by bobkb 2mo ago
Wow! I have a stupid question - as I understand NATS works very well as a “message” pipe/bus. Anyway to get Redis type cache functionality as well ? Is it something possible ?
11.
by bobkb 2mo ago
We are in the same decision making stage and trying to choose between rabitMQ, Kafka, NATS and some solutions built on top of Redis. Did NATS eventually worked well?
12.
by bobkb 2mo ago
Not sure whether this is the right step. Rather steps must be taken to ensure reliability of the software irrespective of whether it’s “written” or “generated”. The code generation based on “rules” is not new after all.
13.
by bobkb 2mo ago
The leader boards based on token usage happened in our org for a month. Then we managed to convince the board that what matters is the reliable software shipped. Now we are back to DORA metrics.
14.
by bobkb 2mo ago
How to prove this is indeed the system prompt against a certain timestamp (in the past ) ?
15.
by bobkb 3mo ago
Very useful. The whisper setup is something similar to what we have been using. The LLM setup though is outstanding.
16.
by bobkb 3mo ago
This gave me shivers
17.
by bobkb 3mo ago
Will it be accessible to anyone ?
18.
by bobkb 3mo ago
This type of attack is going on for few years now. I had 2 in my credit. Some details https://freebird.in/malicious-code-source-code-shared-via-jo...
19.
by bobkb 3mo ago
Will cursor launch a CLI tool like Claude/codex/opencode/pi ?
20.
by bobkb 3mo ago
I assume your idea is, if the spec and the proof is verified the code generated is good enough as well ?
21.
by bobkb 3mo ago
I have been testing formal verification methods with multiple products. It will be great to also understand more about what’s tried and how it was done. For example attempting to verify the spec is what I have been trying to implement.
22.
by bobkb 3mo ago
In an interesting coincidence I ended up watching Person of Interest S4 E5 while reading the announcement. The series showed some code supposedly belonging to to an AI. Fable 5 said the first screen shot is from “ IDA Pro’s Hex-Rays decompi
23.
by bobkb 3mo ago
It’s impossible to write a spec that’s not ambiguous , complete and correct in natural languages. Thus prompts will always generate unreliable software.
24.
by bobkb 3mo ago
IMHO even if we are using auditing tools I believe we must use deterministic tools for critical analysis like this. Such rule and pattern based systems may not scale beyond certain point but they can be accurate.
25.
by bobkb 3mo ago
At work we are now in the process of migrating away from Figma. We had spend years perfecting our Figma based design workflow. Currently we are moving all the designs into the code itself using Storybook. The gap currently is reviews and fe
26.
by bobkb 3mo ago
I tried building a deliberately vague project around managing MCP servers [0]. The purpose was to find what LLMs and agents can do. While the project didn’t reach anywhere I was amazed by how it’s possible to navigate even with no clear dir
27.
by bobkb 3mo ago
False positives from the deterministic audits a very difficult problem to address. Comparing and deduplicating across different methods or LLM audits seems to the only way.
28.
by bobkb 3mo ago
I think these audit tools can look beyond just security and can look for compliance audits as well. The ability to audit real targets in staging environments makes it easy to identify issues.
29.
by bobkb 3mo ago
Very interesting. I have working on and using a similar tool for a while now : https://github.com/bobinson/vulture I have been struggling with false positives and using Claude + MCP as a poor man’s audit tool. As of la
30.
by bobkb 4mo ago
When will npm issues stop ? This has become a big pain !

More ›