n=42
print(n) Wow
42Any conversation
I wonder if there is a way, sane and friendly way, to prove that a piece of software is only accessing whatever it claims it will access.
Like network addresses or file system access. I want to be able to claim in my software that it only touches this or that file and I can prove it
I believe the sanest and friendliest way would be for it to be open-source so it can be audited.
I know, and that's totally fine, but it is not always friendly. I guess an agent can "audit" it.
Just the fact that it can be audited plus your word is enough. Noone would need to look any further, because they could if they had to.
I think a trusted piece of software such as your operating system should be in charge of managing permissions. For example, I believe with Wayland on gnome you no longer need to promise you aren't secretly taking screenshots of the whole monitor and shipping it somewhere because to do that Wayland requires you to get user permission.
Love the flat option for threads @stagasprofilefollow
creative technologist
creator of textlog
Edit: didnโt realise that was the old style. Hahaha
creative technologist
creator of textlog
Edit: didnโt realise that was the old style. HahahaI hate crawlers that donโt advertise theyโre crawlers. โn badly written. They donโt respect the canonical URLs so they keep getting themselves into a loop instead of actually crawling the site properly. They make the logs really hard to read. Canโt block them theyโre distributed.
I am curious what an actual solution to this problem could be. Everything I've read about it feels like a bandaid โ from robots.txt to cloudflare turnstile โ there has to be a better way!
It would require permaban on IPs which would require permalogging of IPs in order to track them, and we are currently obfuscating them before hitting the DB with daily rotating salt so an anonymous user canโt be tracked. So weโd have to give up privacy/security :/
For , the tension between & to eat healthy is an interesting problem.
If you don't have time, it is difficult:
If you don't have money, it's difficult:
- to learn to cook,
- to source real food,
- and cook real food
- to afford real food
- or solve one of the time problems above
Yea, aside from the money, sourcing is a big problem, one thing I noticed when trying to at some point was that there are zero vegan snacks in ordinary neighbourhood stores, so that didnโt last very long.
Choice is definitely a problem. We notice it when we go to our cabin, about a 2 1/2 hour drive away.
The grocery store there targets for its local community. It is beef-centric and often boxed foods -- which is not our diet.
Access -- or lack thereof -- is the worst kind of problem. illustrate the historical and complex nature.
I read
Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing.
The shape of LLM tools as toolsโfit for a purpose, ergonomicโis becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.