tetsuo.td
@tetsuo_cpp
Compilers, infosec, systems-programming. Building compilers for ZK hardware. Senior Staff Supreme Engineer.
Sometimes I like to put on my headphones and listen to electronic music so I feel like a leet hacker while I tell Claude to think hard and not make any mistakes.
So happy to see my favourite @trophyeyesmusic again today. Last time was back in 2020 when I lived in Sydney. :-)
The best editor is the one that doesn’t one-shot you into customising it for the rest of your life.
I was like this as a grad. I had no general knowledge of anything related to computing. I remember one of my uni classmates mentioned JSON, and I replied, "Who's Jason?" I've come a long way since then. :-)
man it can be so wild interviewing people. just talked to someone for a sw role who didn't know what a thinkpad was. he saw a laptop on the side and asked what kind of computer it was. I said ah just a random thinkpad. he was like what's that.
Announcing the Beta release of ty: an extremely fast type checker and language server for Python, written in Rust. We now use ty exclusively in our own projects and are ready to recommend it to motivated users. 10x, 50x, even 100x faster than existing type checkers and LSPs.
Fun fact: Valgrind is pronounced Val-grinned. I guess this also applies to other “grinds” like Callgrind and Cachegrind.
I learned about DFA (Data Flow Analysis) optimizations back in the early 1980s. I eagerly implemented them for my C compiler, and it was released as "Optimum C". Then came the C compiler roundup benchmarks in the programming magazines. I breathlessly opened the issue, and was…
Well, this is cursed.
Prediction: the next wave of programming languages will just be AI prompts. Someone's just released ai_bindgen (github.com/germangb/ai-bi…) into the Rust ecosystem, which allows annotation to create functionality with natural language:
I think tile-based programming models are happening whether they're onboard with it or not. So the choice is really between letting something portable like Triton gain traction, or to win with their own solution where they're free to introduce NV specific primitives and throw…
Curious. Did Nvidia end the Cuda "moat" ? If they move to tiles like most other hardware, the AI kernels will be easier to port. x.com/nvidiaaidev/st…
(reposts appreciated pls) hey, is anyone in the bay (preferably sf) willing/able to take care of a kitten for a little bit? while going to the ER today we took a stray in because he looks just like my kitty that passed away.. it made me cry and i felt really emotional about…
Very interesting! I wonder how this compares to Triton.
CUDA Tile has shipped! You can now `pip install cuda-tile`. I'm excited to see what y'all will build with it! Docs & resources: developer.nvidia.com/cuda/tile GitHub: github.com/NVIDIA/cutile-…
call me anthropic the way i’m acquiring buns
A while ago, when I was working on databases, I was attracted to the idea of working on compression algorithms such as Zstd, Snappy, LZ4, etc. I think it's amazing that you can have such an outsized impact on the world with a (relatively) compact codebase.
Apparently, jemalloc is no longer being developed, and its GitHub repo is now archived. It's been in use for 20 years, that's a hell of a run! :-) jasone.github.io/2025/06/12/jem…
United States เทรนด์
- 1. Good Sunday 64.2K posts
- 2. #WinterSolstice 6,532 posts
- 3. #AskFFT N/A
- 4. #sundayvibes 4,224 posts
- 5. Muhammad Qasim 25.4K posts
- 6. And Mary 27.4K posts
- 7. Happy First Day of Winter N/A
- 8. Packers 99.3K posts
- 9. Caleb Williams 41.4K posts
- 10. Northern Hemisphere 1,912 posts
- 11. Snowball 12.6K posts
- 12. Willis 73.9K posts
- 13. Yule 6,272 posts
- 14. DJ Moore 31.2K posts
- 15. Malik 41.8K posts
- 16. Doubs 9,529 posts
- 17. Tulsi 73.9K posts
- 18. Black Clover 27.5K posts
- 19. Estime 5,252 posts
- 20. Smart Money 11.2K posts
Something went wrong.
Something went wrong.