Viewing profile — carlkcarlk

Interesting! I hadn't heard of DH parameters before. I worked this out from first principles starting from turtle graphics and ended up with four primitive operations: yaw, pitch, …

[dead]

I’ve been enjoying Embassy most at the application pattern layer: long-lived device tasks that hide timing and coordination behind a small, typed async API. For example: loop { let…

I used multiple AI agents (and Lean) to formally validate a Rust algorithm. Along the way the AI tried to hide missing proofs. I describe the process and surprises.

This talk explains some recent Busy Beaver and Turing machine results using simple programs and shows how to visualize them efficiently. It’s aimed at programmers interested in lon…

Here is the [final function in Python]( https://towardsdatascience.com/how-to-optimize-your-python-p... ): (Regular Python `int` is arbitrary precision, but immutable, so I use `gm…

Yes, the article figures that with a limit of 64GB of memory, with simple nested loops, you could only loop about 10^(165 billion) steps. To get 10^^15 steps, the article assumes "…

Python version: https://towardsdatascience.com/how-to-optimize-your-python-p...

In school we learn to "solve" y = x² and get x = ±√y. But they never teach that (or why) you can't solve y = x −c sin(x) and get a nice equation. That's always bugged me. Instead o…