Is there something like an Extract-SPICE tool that takes a circuit and gives you back a text rendering of it ?

looks like they didn't post any blog post about 2nd NN challenge (https://huggingface.co/spaces/jane-street/droppedaneuralnet)

I was waiting for some writeup about permutation decyphering

That sounds like a fun challenge. Feels a lot more tractable than the neural net one.

people who can do this stuff are super-smartypants

but reminds me how we're going to find out on an industrial level when the Saudis give China some nvidia chips they were grifted

they've cloned lots of chips before but nothing that advanced