Viewing profile — ocfnash

According to http://madrona.ca/e/coremem/index.html > I have seen it [core memory] in service as recently as 2004 in a telephony control application

Thank you for sharing these memories. I'd be very interested to hear any thoughts you might have about Jung Chang's book "Wild Swans". I read this book a year or two ago and learne…

Mathlib Initiative | DevOps Engineer | Fully-remote | Full-time The Mathlib Initiative is a new programme of Renaissance Philanthropy. We exist to support Lean's open-source librar…

Most viruses are bacteriophages, so I imagine bacteria would run wild!

According to the 6/N from this series, they are claiming full marks for problems 1 -- 5 https://x.com/alexwei_/status/1946477742855532918

I'm a bit surprised nobody seems to have mentioned http://fixyt.com I have a bookmarklet: javascript:(function() {window.location=window.location.toString().replace(/^https:\/\/www…

I think it is worth comparing this problem with the question of the behaviour of a particle placed at the apex of a cone. I claim it is clear that in this case, the problem is clea…

If you like these, you should try the Uncle Fred books. Of course almost everything by Wodehouse is a sublime masterpiece.

As a kid, the alliterative mnemonic we were taught was "current kills".

The computer did find the answers itself. I.e., it found "even integers" for P1, "{1,1}" for P2, and "2" for P6. It then also provided provided a Lean proof in each case.

If you are curious, I encourage you to look up The Sphere Eversion Project [1]. It was a project in which we formalised a version of Gromov's (open, ample) h-principle for first or…

You can see Klein's work in action in Python here if you're interested: https://github.com/ocfnash/icosahedral_quintic

You can even follow his progress on GitHub here: https://github.com/teorth/symmetric_project/

Note that this argument does not depend on the fact that the blue rectangle also has equal area. This argument thus teaches us even more, namely: the configuration of the four equa…

I salute your intention to find the silver lining but my experience reading patents is that they are hard to read. I believe this is because their job is not to convey information …

I've been using fixyt.com to avoid YouTube grossness for years. Thanks to the bookmarklet below, whenever I land at youtube.com I'm only ever a click away from escaping their awful…

A couple of years ago I read Irving Stone's biography of Van Gogh [1] and it very much enriched my experience of Van Gogh's art. The book is based largely on a collection of letter…

Presumably one could now punish this behaviour by spamming the API with a firehose of fake data?

I note that this also appeared just days ago: https://www.irishtimes.com/business/2023/05/15/three-quarter... I'm not quite sure what conclusions to draw.

The date of the last person executed by guillotine in France is surprisingly recent.

I mentioned this in a reply to a comment below but I think it is worth repeating at top level: there is a great app called Pytch which is a bridge between Scratch and Python (and r…