ocfnash

5 ms·

1.
by ocfnash 6mo ago
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
2.
The Homepage of Ron Goodwin(rongoodwin.co.uk)
4 points by ocfnash 8mo ago|1 comments
3.
by ocfnash 9mo ago
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 learned a lot from it, but I also learned that
4.
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics(renaissancephilanthropy.org)
2 points by ocfnash 1y ago|0 comments
5.
by ocfnash 1y ago
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 library of formal mathematics known as Mathlib https:/&
6.
by ocfnash 1y ago
Most viruses are bacteriophages, so I imagine bacteria would run wild!
7.
by ocfnash 1y ago
According to the 6/N from this series, they are claiming full marks for problems 1 -- 5 https://x.com/alexwei_/status/1946477742855532918
8.
OpenAI claiming gold medal standard at IMO 2025(github.com)
21 points by ocfnash 1y ago|7 comments
9.
by ocfnash 1y ago
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.youtube\./,' http
10.
by ocfnash 2y ago
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 clearly not well-posed because the apex is a singular point: th
11.
by ocfnash 2y ago
If you like these, you should try the Uncle Fred books. Of course almost everything by Wodehouse is a sublime masterpiece.
12.
by ocfnash 2y ago
As a kid, the alliterative mnemonic we were taught was "current kills".
13.
by ocfnash 2y ago
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.
14.
AI solves International Math Olympiad problems at silver medal level(deepmind.google)
1370 points by ocfnash 2y ago|525 comments
15.
by ocfnash 2y ago
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 order differential relations. Part of the reason it was c
16.
by ocfnash 2y ago
You can see Klein's work in action in Python here if you're interested: https://github.com/ocfnash/icosahedral_quintic
17.
by ocfnash 3y ago
You can even follow his progress on GitHub here: https://github.com/teorth/symmetric_project/
18.
by ocfnash 3y ago
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 equal-area rectangles orange, yellow, green, pink has the specia
19.
by ocfnash 3y ago
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 but rather to fulfill a legal requirement. I also believe th
20.
by ocfnash 3y ago
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, awful app. javascript:(function() {window.locati
21.
by ocfnash 3y ago
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 letters between Vincent and his brother Theo and is quit
22.
by ocfnash 3y ago
Presumably one could now punish this behaviour by spamming the API with a firehose of fake data?
23.
by ocfnash 3y ago
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.
24.
by ocfnash 3y ago
The date of the last person executed by guillotine in France is surprisingly recent.
25.
by ocfnash 3y ago
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 runs in a web browser). I always recommend it to anyone teach
26.
by ocfnash 3y ago
There is a marvelous app designed to solve exactly this problem called Pytch: https://www.pytch.org/app/
27.
by ocfnash 4y ago
It's not especially relevant but I can't help being reminded of VerizonMath https://www.youtube.com/watch?v=MShv_74FNWU
28.
by ocfnash 4y ago
Weirdly, I was just sent this same blog post a few days ago. I guess it’s doing the rounds. I’ll repeat what I said to my friend who sent it. Ramanujan was of course an extremely talented mathematician but IMHO, there is an unnecessary cult
29.
by ocfnash 4y ago
Assuming it is accurate, the final sentence in this article is especially notable.
30.
by ocfnash 4y ago
I expect that the comment above was referring to the negative externalities, not captured by the financial side. For example, having more free time is probably not adequate compensation for the greenhouse gases emitted (at the societal leve

More ›