carlkcarlk

4 ms·

1.
by carlkcarlk 4mo ago
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, roll, and move. Not surprisingly, the parameter count c
2.
Show HN: A 2D and 3D robot arm simulator built in Excel(github.com)
1 points by carlkcarlk 4mo ago|2 comments
3.
by carlkcarlk 9mo ago
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 btn = ir.wait_for_press().await; // use b
4.
by carlkcarlk 11mo ago
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.
5.
by carlkcarlk 1y ago
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 long-running computations, big numbers, and algorithmic complex
6.
New Turing Machine Results with Simple Programs and Fast Visualizations [video](youtube.com)
2 points by carlkcarlk 1y ago|1 comments
7.
by carlkcarlk 1y ago
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 `gmpy2.xmpz` instead.) def tetrate(a, te
8.
by carlkcarlk 1y ago
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 "any amount of zero-initialized memory". (It calls
9.
by carlkcarlk 1y ago
Python version: https://towardsdatascience.com/how-to-optimize-your-python-p...
10.
How to Optimize Rust for Slowness: Inspired by New Turing Machine Results(medium.com)
55 points by carlkcarlk 1y ago|14 comments
11.
by carlkcarlk 2y ago
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 of learning Galois theory, I cheated and