gregwebs
Joined 19 years ago
Joined 19 years ago
Interesting thing is that when I asked a follow up question it answered but showed: This answer came from what the AI already knows, not the library, so there's no source to check. Ask “look that up” to get one.
When I asked "look that up" it was able to. It highlights relevant sections.
The information it was working off in my case was WikiHow and there aren't any citations in that information.
Running on a 32GB Mac M1 using Qwen 27B. Ollama is showing as taking 19GB steady state and 23GB while answering on Activity Monitor (sometimes a little more and sometimes a little less).
Its amazing this can be done, but it seems like someone should be able to develop a much smaller model that can be used reliably for this use case. There are smaller models available to use and download but it is stated that they have some reliability issues.
[1] https://github.com/gregwebs/skills-sdlc/blob/main/skills/rus... [2] https://github.com/gregwebs/skills-sdlc/blob/main/skills/ver...
This goes to show the benefit of maintaining separations between the control plane and the data plane.
This site does say it has SQL logs which have some amount of customer data and there is a mention of some snapshots/imports- this looks like a case where the control plane and data plane end up getting entangled. Its possible the attacker could have reset customer database passwords to try to connect to them or could have exfiltrated customer data by initiating snapshots but just didn't want to deal with the increased risk of detection.
TiDB is for large scale data. You generally wouldn't use it unless you have at least 1TB of data. A 10TB leak of information is less than the size of a single small customer database for them.
They are showing this new version scoring significantly higher across multiple coding benchmarks, beating Sol 5.6 (6.1 is the latest) across 10/11 benchmarks.
I am going back to DeepSeek for writing code. I was trying out using Sol and liking the result, but this should close a lot of that gap. I use Opus/Sol for an implementation plan and code review also use them for grilling. DeepSeek is also running verifications.
This technique seems dubious- what is stopping AI from doing the computer work of legal secretaries and court clerks as well?
Solving math problems is one of the hardest theoretical jobs. Software engineering is one of the harder practical jobs. AI is now much better at these tasks than humans because it has been able to properly train for them.
For other computer-based jobs it's a matter of AI getting properly trained for them. If a job is harder to verify or the training data is more limited, it may be much more difficult to train AI for it but I don't think there's any reason to think it won't happen eventually.
Originally at https://www.rd.com/article/how-honest-are-dentists/ it now seems available here: https://asset.cdocs.com/uploads/forum/attachments/258722/Rea...
I have found that agents are good at writing Verus proofs in a Rust code base, and that these proofs have only a minimal negative effect on the normal compilation path. I have a skill for using Verus: https://github.com/gregwebs/skills-sdlc/blob/main/skills/rus...
If you can direct AI and produce more value per $/time spent then a non software engineer directing AI to develop software then you still can produce a lot of value. This should be the case now for most things that are not a prototype. The job has changed from "writing code" to "shipping software". A technical lead.
Software products making ever more intelligent AI software development accessible will continue to reduce the need for software engineer involvement. But there’s also going to be 1000x more software. So there may continue to be opportunities for those that adapt.
This should be the case now for anything that is not a prototype. The job has changed from "writing code" to "shipping software". A technical lead.
As AI gets more intelligent and the tooling around it develops and organizations figure out how to get it access to the data, the level of involvement needed for software engineers will decrease. Since the cost of developing software is plummeting, the amount of software being used is going to expand greatly- that will keep the technical lead positions available longer and also create more opportunities for consultant engagements.
Although someone can use AI to rewrite every software dependency and every paid piece of software, its still not worthwhile for them for most software, especially if the price of the software is low compared to the complexity it hides.
Users of a paid software product still need a human to be responsible for it.
As you develop your skills with AI, you now have the ability to develop your own software products. So there's an opportunity to become a small business owner. You didn't want to do these non-technical roles, but now you can continue to direct AI to automate all the aspects of the business.
Interests in security, startups, health, sustainability, productivity, community.
Side projects:
* eatnutrients.com * docjumper.com
github: gregwebs
gregwebs.at.hn