91–100 of 100 posts
I wonder how far a LLM could get with this. It will be cool when we get to the point where you can decap a chip, take a picture, and then an LLM can create an emulator for that chip.
> Well I don’t really know what to work on next Let me help you: work on figuring out how to spend the millions of dollars every year Jane Street will pay you to clock in. I've heard private aviation is expensive, for example. :)
Does Jane Street really pay that much? Of course 7 figures is possible, but these median comps seem lower than FAANG (and with much higher workload): https://www.levels.fyi/companies/jane-street/salaries/softwa...
Earlier quoted context omitted.
> It turns out that this ‘sky130’ thing is like a … standard? Or something for making chips. Very cool seeing someone completely naive going into this :) If you want to read more about a bit more... cheaty way to do this, I have written about using formal verification machinery to straight up force the solution out of the netlist here: https://atx.name/electronics/asic-re/ . Could be a bit of an infohazard, but I thi…
I'll definitely be reading this thankyou! I think this would have been a much better way to approach it, it's a bit of a joke in the piece that I always do things the hard way, but it's a genuine mystery to me why I operate this way. I should add I have an EE degree (but have never worked as an EE), so even though I don't know industry standards like this sky130 thing, it's not completely foreign to me.
There's a typo on your link to the two stars image. It should be `/img/two-stars.png` instead it's right now `/img/two-starts.pgn`. For those interested in the image itself: https://jestoph.com/img/two-stars.png
Weren't you supposed to wait until the submissions close to publish spoilers? (Or did they close yesterday?)
I also look at it and got the same result as well, but I did not submit it. I also figured out the purpose of the circuit: it is a 11x11 Star Battle checker (2 stars per row/column/region, no touching)
reading the post felt like going down an authentic manic rabbit hole, thanks for sharing your artisanal words @anitil
> I ended up using a tool called ‘z3’. It’s kind of magical? Every time it finds a solution I get a surge of joy. This resonates so much. I had a similar feeling after going to my very first operations research lecture. Solving seemingly incomprehensibly complex problems by framing them as a bunch of simple constraints and getting a solution seemed like such magic.
Weren't you supposed to wait until the submissions close to publish spoilers? (Or did they close yesterday?)
I emailed them and asked as I'm in Sydney and didn't want to mess it up - they said to wait until the end of my workday, so I posted it at roughly 5:30 my time. I hope I didn't spoil it!
In any case, I had it all worked out already. But looking at other people's submissions today showed me that I found some easter eggs other hadn't. That was encouraging. (And I missed some that others found, of course.)