I do not have experience with Copperhead, but I made 2 PCBs with Claude. He made a py script that generates Kicad sources, I ended up generating all files (in particular schematics and PCB) from a shared netlist, and use Kicad cli to validate and generate gerbers.
I manufactured both PCBs via PCBWay (Claude also red all the specs and configured the constraints accordingly) and both work. I'm pretty impressed, especially because I've never done a PCB myself and didn't know I could.
What I was doing manually, co-working with Claude, was placing and routing (I was doing those via Kicad, then saving, then Claude was re-importing my work in his py files).
I did 2 pcbs recently with claude (opus 4.8 and 5).
One was simple, the other pretty complex. I’ll open source them at some point.
I did manual routing myself, including most positioning, but claude was super helpful in identifying components, reviewing, etc. It was truly a collaboration.
These are my first pcbs ever, I don’t have any edu at all at making pcbs and was really excited to receive working prototypes. The other pretty amazing thing is that I have py scripts that generate the all the kicad files, as a human I wou look d have never done that (for the cost of building the py files) but I find it pretty neat.
One per device seems a good rule of thumb. If you have 2 laptops, each gets a diff ssh key, and then you config both in github/server(s).
It's slightly more painful to setup, but you get more flexibility later on in case you loose one key you have the other, and in case you need to cancel just one you can.
If you use hardware security keys, you get one per device naturally.
Classic use cases would be like 1) show that you have a national id (like a passport) without revealing which one, 2) show that you are >= 18 without revealing your date of birth. More generally, assuming you have digital credentials with metadata, pretty much any statement can be proved in ZK (relatively efficiently, especially if the digital id is designed to be ZK friendly).
Nowadays you can run arbitrary verified computation at 100-300MHz using so-called zkvm. State of the art are probably risczero and succinct.
Practically speaking, write any program you want, compile it to riscv, imagine to run it on a pretty fast microcontroller, and in addition to the result you get a proof of correct execution.
I’d say it’s pretty practical, all major unlocks happened like in the past 3-4y and of course there’s a ton of research still happening.
This is the slow/generic version. For specific problems (aka dedicated circuits) it can be much faster.
To my understanding both Apple Passwords and the Android equivalent allow you to
export passkeys to a different app (password manager), but I haven’t tried it yet.
If anyone has direct experience I appreciate to know how it was.
I had a click around Apple Passwords on macos and I could not find a way to move my passkeys to another app. I could only see a way to share them with other Apple Passwords users.
Nice. This is relatively old work (2020) but Pinterest had/has skin tone features, for example if you're searching for cosmetic products. Worth a check if anything might be useful for your work.
https://medium.com/pinterest-engineering/powering-inclusive-...
I have a tmux split in 4 panes, 4 agents running in 4 workspaces with shared memory. Most of the times I use 2 concurrently, but here and there I have extra analysis or reviews to do. I like this setup with tmux, works over ssh, easy to bring any one full focus, etc.
no, for now just multiple copies of the same repo. typically the agents work on independent things.
but I will try. the limit tbh is me and my ability to keep up with what’s happening. I work mainly on security/cryptography so I’m expected to audit the results of my work very carefully.
reply