Interests:
Cybersecurity, Data Science, DevOps, Digital Nomad, Entrepreneurship, Hardware, Networking, Open Source, Programming, Startups, Travel, Web Development
You might not like Microsoft but they did a video on why they re-wrote the last version of the Typescript compiler in Go. Basically, because of LLMs. It's worth viewing even if you don't decide to go with Go.
Read this section of the article “ Bug Discovery: Finding Hidden Flaws”, they appear to have used the model on open source Rust to find issues starting with just the Rust code.
You might be also able to have conversations that help you write the Lean to verify your application, but I’m not certain about this.
This. This is why everyone who wants to fingerprint and collect tons of data on end users pushes them hard on installing an app. The amount of valuable data is 10x what’s available in the browser
Maybe I am cynical, but I read this as "We were not able to meet our deadline of making you pay API rates for -p and the Agent SDK, but it's coming. We will let you know"
Thanks to this article, I learned that the 70's Sticky Finger jeans brand were named after a Rolling Stones album. Don't know how I missed that all this time.
Well, according to Sonnet, the term "staging" refers to assembling troops and equipment at an intermediate location before moving forward into an operation.
I really didn't know, but was curious, so I used an LLM to research it.
The article contains the passage below twice.
I mean how does that happen? No proofreading? Cut and paste editing. I am always surprised when I see this in professional new sources.
——
That the amendment died quietly does not erase what its introduction signals: opposition to police LPR programs is reaching higher levels of the political agenda, and Flock is increasingly at the center of it.
Maybe I am wrong about this, but I think Zed will run the npm stuff on the dev-container if you are using dev-containers. That can be your isolated virtual machine image or docker instances. But I believe you do need to use Zed (stdio or ssh) dev containers to get that security isolation. I know it’s a pain, but for me, I am going to pay the logistics price for security until a better solution comes along.
This would be kind of a fun challenge. If you are handling random numbers, well you are limited by disk or memory size. But if the numbers are compressible ala LZ77 or Gzip, then there are ways to use the value’s compression trees to sum the numbers from the least significant digits using the LZ77 style compressed value tree representation. If you go that route, and the numbers are compressible (not random) then the question is whether the compressed input and output trees fit in memory or disk.
The security model, or almost lack of any whatsoever in VSCode drove me to only install MSFT extensions, then use Code Server in a docker container, but I decided I didn’t like using my editor in a browser.
Finally I have decided to start using Zed, which isn’t perfect on the security front, but much better IMHO.
The combination of WASM extensions, and the ability to put language servers, etc, in dev-containers seems like a great step forward.
I hope Zed continues to improve their extension and language server security model.
Actually I hope VSCode does too, but honestly, I am not optimistic.
It would be fascinating to know where the remote drivers were located that were remotely controlling these vehicles. Wasn’t there a big hubbub about using remote staff in the Philippines a while ago? This can change the reliability profile quite a bit. (Internet quality)
Says this:
"Unless previously approved, Anthropic does not allow third party developers to offer claude.ai login or rate limits for their products, including agents built on the Claude Agent SDK. Please use the API key authentication methods described in this document instead."
Again, it seems Anthropic prefers to bill API token rates (long run), not subscriber effective token rates.
It seems clear that Anthropic wants users pay API rates for tokens when use in a programatic way, and not subscriber rates for tokens when used from code. As a user, I want to pay the subscription rates with -p, but it seems they want to block that.
Socials: - github.com/Cameronelliott
Interests: Cybersecurity, Data Science, DevOps, Digital Nomad, Entrepreneurship, Hardware, Networking, Open Source, Programming, Startups, Travel, Web Development
---