ok this was a bit brutal but i learned a lot. will hopefully simplify it for next souls doing it. it was particularly affirming to find that my initial ad-hoc helpers matched preexisting stuff in Mathlib 1:1 [Scaffolding for Exercise 3.6.1...](

GitHub

Scaffolding for Exercise 3.6.12 (i) by gaearon · Pull Request #360 · teorth/analysis

As discussed, Exercise 3.6.12 is too hard in this formalization. Both @rkirov and me ended up spending at least a week on it. There's a few dif...

)

tfw RE:

Bluesky Social

dan (@danabra.mov)

i like how the npm ecosystem works in general (packages are good) but if you deal with it regularly you should probably code in a vm or a clean operating system with no sensitive tokens RE:

Bluesky Social

Astro (@astro.build)

There has been another serious npm supply-chain attack. Astro is NOT AFFECTED as it does not depend on any of the packages, either directly or indi...