it is not too late to build a better computer and to also be in a working environment that has fun
2,185 karma · joined July 14, 2011
it is not too late to build a better computer and to also be in a working environment that has fun
Trying to become even lazier by skipping code reviews and then vibe-coding formal software verification will get you into trouble.
In my experience with software verification, perfect is the enemy of good. My recommendation is to start with a software design you actually understand, and then try to understand how to map your requirements to something you can prove.
The trick is finding the best client for the device you want to watch on. There are quite some options.
This is the second time people are getting hacked via Plex vulnerabilities since I have been counting.
1. Fable as software designer and me as reviewer
2. Me as software designer
3. Me as software designer and Fable as reviewer
Then in my opinion, best design comes from 3, then 2, then 1.
- Flint 2: very happy with this. I can do any kind of OpenWRT setting I want
- Flint 3: super unhappy!! changing VLAN settings breaks the entire router.
Why? Flint 3 uses a chip with encrypted vendor blob (Qualcomm) and Gl.inet just hacked the drivers in a way is not compatible with OpenWRT.
But maybe I should let an agent reverse engineer the driver and add correct support myself?
Edit: i haven't checked the status in a while, but seems like last months support for this device changed a lot.
As a normal NixOS user, I know how to do this. It would be quite some effort, but not especially difficult. Additionally, for a government they have the servers to set up a build farm.
1. You get complexity back at the speed that you add code. Also the complexity compounds.
2. As a human you are still responsible for your code, and you need to understand how the important parts of the code base work.
When you combine these problems, you get a complicated code base where you don't understand the important parts.
That is why software design is getting a comeback. It actually helps with both problems. Less complexity and more understanding.
When designing systems, you want the important details to be right. Especially with authentication and authorization.
From an architecture level, you can know which classes are important to review and which ones are not.
Compared to traditional ML classification, Jev works without training, like a LLM.
Instead, if you resolve your dispute outside of court, you don’t need a lawyer. If both parties use ChatGPT to find the relevant laws or read contracts, they could come to an agreement without expensive legal fees.
But children do have access to internet and often with some protections.
This is also how I feel about AI, where a full ban is the lazy way out. Similarly like the internet, it is not possible to 100% protect a child every potential harmful AI interaction.
But ETFs do have to follow particular rules defined by their product description. So it is still interesting to benchmark against.