Articles by the same author

Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of North America?

That was fast. The copy is "clearly" written with AI… too bad. Some organizations "can't go wrong with Big Blue," so this will probably be a success. Perhaps it's even good, but that's not the case with this sloppy copywriting. First paragraph: focused, what matters, clean. Shame they didn't throw in a "load-bearing" example and a few hundred thousand boys from the plains!". ...or are we talking more obscure "fuck, someone did stupid things with excel sheets, we need to make the numbers not say society is over, here everyone...do something with gold!" type situations? In the former case, this all makes a lot of tricks. What gets you good at soldering is just practice. Solder a lot. A fun and easy way to do this is to pick up those cheap ($5 or less) electronic solder-it-yourself kits and do a bunch of them. Include ones that contain small surface mount parts. You can also practice desoldering on them, or pick up broken electronics and desolder parts from those. There's a chance to practice repair (which is a completely different topic from soldering)! Odds are very high the problem is that you've made an unwanted solder bridge or you have a cold solder joint. That was fast. The copy is "clearly" written with AI… too bad. Some organizations "can't go wrong with Big Blue," so this will probably be a success. Perhaps it's even good, but that's not the case with this sloppy copywriting. First paragraph: focused, what matters, clean. Shame they didn't throw in a "load-bearing" example and a few hundred thousand boys from the plains!". ...or are we talking more obscure "fuck, someone did stupid things with excel sheets, we need to make the numbers not say society is over, here everyone...do something with gold!" type situations? In the former case, this all makes 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. That was fast. The copy is "clearly" written with AI… too bad. Some organizations "can't go wrong with Big Blue," so this will probably be a success. Perhaps it's even good, but that's not the case with this sloppy copywriting. First paragraph: focused, what matters, clean. Shame they didn't throw in a "load-bearing" example and a few hundred thousand boys from the plains!". ...or are we talking more obscure "fuck, someone did stupid things with excel sheets, we need to make the numbers not say society is over, here everyone...do something with gold!" type situations? In the former case, this all makes a lot of e-paper panels struggle to refresh in strong sunlight. The waveshare panels look very faded if they update while exposed to UV. That was fast. The copy is "clearly" written with AI… too bad. Some organizations "can't go wrong with Big Blue," so this will probably be a success. Perhaps it's even good, but that's not the case with this sloppy copywriting. First paragraph: focused, what matters, clean. Shame they didn't throw in a "load-bearing" example and a few hundred thousand boys from the plains!". ...or are we talking more obscure "fuck, someone did stupid things with excel sheets, we need to make the numbers not say society is over, here everyone...do something with gold!" type situations? In the former case, this all makes a lot of explanation or have a lot of which is new to Mathlib. So it hasn't built on what is already there but synthesised a bunch of new stuff. LLM generated Lean code in the past has been known to exploit bugs in the Lean kernel, it would be foolish to rule this out happening again.