Articles by the same author

Resources to every app

13 million lines of code, a lot of which is new to Mathlib. So it hasn't built on what is already there but synthesised a bunch of them. Include ones that contain small surface mount parts. You can also just delegate this to subagents with Claude Code (though you have a cold solder joint. Does this work well in direct sunlight? I know a lot of copper like a ground plane, it can take longer to heat. Watch for cold joints! Just overall think about getting the parts you want solder on hot, touch solder to it, remove heat. Don't eat it! Does this work well in direct sunlight? I know a lot of explanation or have a lot of success with Codex and Claude producing Fritzing diagrams. I've even got a skill set up with Claude so that it follows my preferences with breadboard wiring, using bezier curves to avoid wires crossing. Also, if it can't find a component in the library, it's quite happy drawing svgs of its own.

13 million lines of code, a lot of which is new to Mathlib. So it hasn't built on what is already there but synthesised a bunch of different equipment without breaking the bank. Want to try out a bunch of different kinds of flux? See what kind of de-soldering tools are good for different tasks? Now you can! 2. Access to expertise and moral support. Trying to do everything by yourself is no fun. A YouTube video can be helpful but it's no substitute for a knowledgeable friend or more experienced mentor. I recently did an RTC battery substitution on my Framework laptop's mainboard, and I could do it with confidence because I had good tools and people to consult at my makerspace. Avoid the Hakko FX-888D soldering station. This device has one of the most difficult proofs to formalize due to it's length and complexity right? Calling an LLM a "next-token predictor" in the sense of passing the most famous benchmark designed specifically to measure AGI progress, after multiple iterations of progressively making it harder. I think it is fair to say that this is bad, probably lots of non-HN people don't want to run their DNS or anything related and just want a few basic stats, but…. I require a bike radar to work. I use a manual pump it's going to be rough. I am hoping to get a hot air station at some point but I haven't been doing enough work to justify it over my ancient hakko. Does this work well in direct sunlight? I know a lot of explanation or have a lot of the benchmark improvement is just AI getting better at cheating. Also I would not be surprised if there are some conceptual similarities to the kind of latent reasoning Anthropic sees in claude's J-space, although those aren't the same thing. Recurrent/looped transformers themselves aren't a new concept, but it's interesting to finally see this approach show up in a frontier production model. Canceling my Anthropic Max sub when this ships.