widdma's comments

widdma | 5 years ago | on: Implementing the Exponential Function

Nice article, thanks. For anyone interested in the topic, I highly recommend Trefethen's Approximation Theory and Approximation Practice. It's approachable, intuitive, and fun while still covering a lot of technical detail.

widdma | 8 years ago | on: What If GPS Stood for “Galactic Positioning System”?

This is exactly what is already done! On Earth at least. Radio telescopes around the world observe (mostly) quasars to perform geodesy. This is the main method used to measure the Earth Orientation Parameters which is need for keeping GPS/GNSS calibrated.

With it, you can measure distances of several thousand km with a precision on the order of a few millimetres. The problem is that it's really expensive compared to GPS: at each site you need a reasonably size telescope, atomic clock, some serious storage, and a way to ship all the data to a central cluster.

widdma | 8 years ago | on: Vladimir Voevodsky has died

I think if he did have mental health problems, like many others in the field, it's now more than ever to raise the point. If he didn't it doesn't hurt to raise the issue, because it is genuine.

If you suffer from anxiety and/or depression, there is help. Talk to someone. You're not alone, and you don't need to suffer alone.

widdma | 8 years ago | on: Android Oreo

This release introduces Project Treble with the goal, I believe, of fixing this exactly this problem.

widdma | 8 years ago | on: Diving into the world of hash tables

Since Python is an interpreter, it keeps a dictionary/hash table of the local and global variables. These can be accesses by the functions `locals()` and `globals()`.

`a = ... ` can be thought of as `locals()["a"] = ...`

(although you can should not actually modify the local variables this way)

widdma | 9 years ago | on: Iosevka – A Typeface for Code, from Code

The slight curve to usually straight letters like 'v' and 'k' reminds me a bit of of Inconsolata. I really like this touch and makes a monospaced font flow. Is it also using Spiro splines?

widdma | 9 years ago | on: Going faster doesn’t make you happier; you just drive farther

> Not at all! Happiness _is_ correlated to shorter door-to-door time, but higher speed does not equate to shorter times if the distance grows as well.

Exactly! This is also related to the The Fundamental Law of Road Congestion: building new roads just allows people drive more. (See Duranton and Turner.)

You can view this as an equilibrium. People will prefer uncongested roads until they become congested.

Surprising, yet simple when it's pointed out.

page 1