I don’t like magic. I’m not talking about acts of prestidigitation and illusion. I mean the kind of magic that’s used to market technologies. It’s magic. It just works. Don’t think about it. I’ve written about seamless and seamful design … Read more
“The devil is in the details,” they say. And so is the beauty, the thinking, the “but …”. Maybe that’s why the phrase “elevator pitch” gives me a shiver. It might have started back at AMD, when I was a … Read more
24 Dec, 2025 I was recently recommended a YouTube video with the following title: Only a slave quantifies its existence through productivity ”””,,,,,,,,,,,””’.”””………………………………………………………………… ………………………………….. … ”””,,,,,,,,,,”””””””’………………………………………………………………… ……………………………………… ””’,;;,,,,,,””””””””’……………………………………………………………………………………………………. …… ”’,,,;;,,,,,,,”””””””………………………………………………………………………………………………………………. ”’,,,,,,,,,,,,,”””””’…………………………………………………………………………………………………………………… . ”””,,,,,,,,,,,,””””………………………………………………………………………………………………………………………………… ”””’,,,,,,;;,,,”””’………………………………………………………………………………………………”.,:cclcllllllooooodxddxxxxkkxdddddddolcc:;, ”””,,,,,,,,,,,””””………………………………………………………………………………………”,:::cloooxOXNNXXXKKK0000OOO0K00OOOkOOkkkOOOOOOOO000OOkxdollccc:, ””,,,’,,,,,,,,,”””””………………………………………………………………………..,:cooolodolllodoolloxkk0KXXXKK00kkkxxdddddxO000OxxxxxxdddxxkkO000KKKKKKKKKKKXXK0Oxoc: ”’,,,,”,,,,,,,,,,,”””…………………………………………………………………….,:ldkKXNNX0xoolccccllodk0KKKK0OkOkkxxxdoollccclodoolllllllllcllooddxxkOOO0KKXXXXXXXXXKK000Okxo:;;::,…… ”,”””’,,,,,’,,,”””’…………………………………………………………………,cox0XNWWWWWNNNXK0OOkkOO0KXKK0Okxollc::;;;,”……………………..”,,,;:codxk0KKKKK00000OOOkxlclkklcllol’. ”’,,,,”,,,,,,”,””””……………………………………………………………..’;lkKXXXXXNWNNNNNNNXNNXXKKK0Oxdol:;’…….””’……””.”,:ccc:,”’.”………….’,,:ldxO00Okkkkkocldl,;;cxkl,… ”’,,,,”’,,,,,,,,””””’…………………………………………………………’:lx0XNNXK0KXXXNNNNNXXNXKKOxdo:;,…….””””’,,,…….’,,””,;,”””,;,.”..’..”……….’:dkkkxkOocll;,:c::ll;;:;;,.. … Read more
AI is making formal verification go mainstream. AI-assisted mechnical proving companies are raising funds on billion dollar valuations, new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some … Read more
A client once responded to one of my questions by saying, “Oh Greg, I am too busy living to think about life!” His off-the-cuff comment named a trap all of us fall into sometimes. In just one example, it is … Read more
Ever since I got AMD, Intel, and Nvidia graphics cards to run on a Raspberry Pi, I had a nagging question: What’s the point? The Raspberry Pi only has 1 lane of PCIe Gen 3 bandwidth available for a connection … Read more
As usual I’d like to preface all this that I write these blogposts as attempts to make sense of a subject for my own sake. I am not an expert here and it is likely I am confused about some … Read more
AI is being done wrong. It’s being pushed down our throats. It’s in our search bars, our operating systems, and even our creative tools, whether we asked for it or not. It feels less like an upgrade and more like … Read more
Don’t tug on that, you never know what it might be attached to This is a story about a very interesting bug that I tracked down yesterday. It was causing a bad effect very far from where the bug actually … Read more
Hi, it’s Takuya.Last week I had my birthday and turned 41 (November 19th). When I was younger, I could never really picture what life in my 40s would look like. It’s this vague age where you don’t have a clear image … Read more