what [HACKENBUSH: a window to a new ...]( )
i love that mathematics lets you create values out of thin air. like pulling a rabbit out of the hat https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreia6r3vwcp3ujdpvukmlcijlsaw2tqlk75xwfe6gjxi6kel57brlji
it’s so weird. FF market share is so low and yet, as far as i can remember, its extension review process is way more annoying than chrome’s. it’s almost like FF doesn’t understand that it is actually in FF’s interest to have FF versions of popular developer tools RE:
is claude voice mode supposed to work? it just constantly cut me mid sentence and doesn’t listen for more than like ten seconds
woah RE:
discover is so much better wow. i mean i wanted those posts to disappear but i didn’t realize it would be a similar feeling to when some long-running construction across the street is over. you may even get used to it but once it’s gone, you realize how intrusive the noise really was
took me a few days but i'm very happy to be done with this section. the trickiest bit was probably learning to deal with the coercions (so i added some documentation on them upstream) my favorites so far have been - specification_from_replacement - singleton_iff (required some thinking) [Section 3.1 solutions by gaear...]( )
i always mentally resist it but rarely regret doing it. solved by making a drawing first and then turning the drawing into code https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreieqb7pbpr3lkxldkwtwly7hecdrxzqsksbct3gojykxed7am5qcsa
interactive proof checkers are basically like minecraft. you're trying to craft some complicated thing and you're almost there but then there's one remaining missing item and you realize you have no idea where to go about getting it https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreianudgj6bd64pqo3m2g3icv4suud5uat2qmrojqknyds7nbqbzlpa
worst error message ever. there is no problem with my "account settings", there's a problem with your web app. ask your developers to fix it and remove this bad error message https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihg4xny7zoanadcuwvolgibcduzfctw44b5jxjgb73wjiu4wviuze