HNHacker News
TopNewBestAskShowJobs

ducttapecrown

370 karma · joined April 21, 2016

mathematician looking for work on the west coast
submissionscomments
ducttapecrown··on Cognitive Behaviors That Enable Self-Improving Reasoners
I wonder if the number of people who could recite works from memory has substantially changed: while surely the prevalence of such people decreased, world population ballooned! Today we have people that can recite many digits of pi, for example.
ducttapecrown··on I had to take down my course-swapping site or be expelled
A third UW is the University of Wisconsin!
ducttapecrown··on Gemini 2.0: our new AI model for the agentic era
And quantum computing! They found a way to make error decrease with number of qubits.
ducttapecrown··on Tech companies Palantir and Anduril form fellowship for AI adventures
I like how the article claims that Palantir and Anduril were independently named, as if Palmer Lucky had no clue Palantir existed and what they do.
ducttapecrown··on ChatGPT Pro
I bet users won't pay for the power, but for a guarantee of access! I always hear about people running out of compute time for ChatGPT. Obvious answer is charge more for a higher quality service.
ducttapecrown··on How good are American roads?
They are red states, but without the blue state tastes that might pull the state budget in other directions. (I don't know anything about the budgets of the states of Colorado or Kansas or Wyoming).
ducttapecrown··on Humans have caused 1.5 °C of long-term global warming according to new estimates
Probably mining and refining natural gas and oil?
ducttapecrown··on How 'Factorio' seduced Silicon Valley and me
The trees move in the wind when you zoom in. Factorio takes sprite graphics to the next level! I felt the same as you, I've always wanted a brighter reskin of Factorio but I've realized it's way tooooo much work for anyone to do for free...
ducttapecrown··on Writes and Write-Nots
I think of writing as similar to a linear extension of a partial order. Your brain doesn't think a single letter at a time, instead, all of your neurons are doing neuron things all at the same time. But writing is linear. This forces order and I think is partially responsible for the "clear thinking" ascribed to writing!

Hopefully I'll live the couple of decades to find out if PG's prediction is correct, I would bet against it.

ducttapecrown··on Writes and Write-Nots
The usual one: young people are using it!
ducttapecrown··on Pediatricians Created the Peanut Allergy Epidemic
They also are now blocking toggling javascript! Luckily a commenter provided that MSN link otherwise I wouldn't have read the article.
ducttapecrown··on Deliberate Practice and Acquisition of Expert Performance: A General Overview
Beyond the edge of your capability to do perfectly is what is meant, because there's little point to practicing something you can do perfectly (other than to warm up for other practice for example).
ducttapecrown··on Deliberate Practice and Acquisition of Expert Performance: A General Overview
What? There are a lot more 19 year olds that understand Galois theory today than when Galois was around.
ducttapecrown··on A simple proof that pi is irrational [pdf] (1946)
Think of a collection of integrals, one for each n, rather than a function depending on multiple variables. The contradiction is that the number F(pi) + F(0) is both a positive integer and arbitrarily small.

There is no contradiction until n is large enough that F(pi) + F(0) is bounded below 1, hence the statement at the start: we'll pick a large enough value of n later.

ducttapecrown··on California approves final high-speed rail link connecting San Francisco to LA
https://hsr.ca.gov/2024/06/27/news-release-california-high-s...

https://www.buildhsr.com/

ducttapecrown··on Waymo One is now open to everyone in San Francisco
I'll hazard a guess: because Uber drivers are sometimes willing to stop for a minute in an illegal spot to park to do a quick pick up or drop off, and Waymos are never willing to do that (presumably).
ducttapecrown··on Land value tax in online games and virtual worlds (2022)
I don't think you should read the above comment as a lack of optimism, but instead as warning that conviction is required to enact the optimistic vision.

Yes, strong policies which impose significant good will always face significant resistance because finite resources cause many to see the world as a zero-sum game. This is the progressive vs reactionary battle.

ducttapecrown··on Grothendieck’s use of equality
I used l instead of \lambda, my bad I guess. My point was that the equality sign = is used to denote equality between projective points [x:y] = [ax:ay] and also proportionality between the ordered pairs [x:y] = [ax:ay], just depending on how you read and understand it.

I later remembered fractions a/b = ac/bc work this way too!

ducttapecrown··on Grothendieck’s use of equality
[x:y] = [lx:ly]

and I suppose the model of localization discussed in the article above counts as well.

ducttapecrown··on Grothendieck’s use of equality
"Some proofs" are the proof used to verify that the definition of an affine scheme makes sense, and the author motions in the direction that every single proof in algebraic geometry uses identically wrong arguments when using the language of "canonical" maps.

Thus the replication crisis of mathematics is revealed. In the words of John Conway: a map is canonical if you and your office neighbor write down the same map.

ducttapecrown··on The spy who flunked it: Kurt Gödel's forgotten part in the atom-bomb story
This speaks of the mathematical notion of cardinality, which is the number of elements in a set. For infinite sets, it turns out there are multiple sizes. The natural numbers have the smallest infinite size, and it is the same size of set as the integers and perhaps surprisingly, the rationals. But the real numbers have more elements. A quick proof is called Cantor's diagonalization argument, I recommend looking it up!

In fact, I recently learned there is one cardinality for each possible way to order an infinite set. This is slightly confusing because there are many ordinals of each cardinality, but there are just that many cardinals I've decided.

ducttapecrown··on FCC fines largest wireless carriers for sharing location data
LLM's are always running.
ducttapecrown··on Apple users are being locked out of their Apple IDs with no explanation
There are no rules in love and OS wars.
ducttapecrown··on I rewired my brain to become fluent in math (2014)
You might be interested to hear of the Church-Turing thesis!
ducttapecrown··on I rewired my brain to become fluent in math (2014)
I feel like 5 year olds could appreciate dots and arrows.
ducttapecrown··on Quaternion Knowledge Graph Embeddings (2019)
Since you can multiply a quaternion by a quaternion, the quaternions act on themselves, so they indeed act on a 4D space. They can also act on a couple 3D spaces: the unit sphere in 4D, called the three sphere, or the imaginary quaternions.

In math, this is called a representation of a Lie group, and there are representations in all dimensions.

ducttapecrown··on New Foundations is consistent – a difficult mathematical proof proved using Lean
I write about his work on this website to bring notice to his work, because I don't believe Scholze and I'm not going to read Mochizuki (If I did, it would be his original actual contribution to algebraic geometry (and I don't know why I don't read Scholze but its scary mmkay)). So I mentioned that Joshi was from the IAS for the same reason, to convince my readers to read his work.

Further edit: I guess he's at Arizona right now, but he was at IAS at some point....

ducttapecrown··on I now lack the juice to fuel the bluster to conceal that I am a simpleton
A group of people just asked me what verisimilitude was, now I'm excited to come back and tell them about verisimilitudinously.
ducttapecrown··on New Foundations is consistent – a difficult mathematical proof proved using Lean
Kirti Joshi from the IAS has made very serious attempts to patch up Mochizuki's work by developing new math and by making the exposition good. If you're an expert in arithmetic geometry presumably he's readable, if you're just interested, I found it fun to skim.
ducttapecrown··on Silver coin boom in medieval England due to melted down Byzantine treasures
Since the coins have the same ratio of value to weight, you don't need to sort them before weighing them. Still pointless though!
← PreviousPage 2 of 7Next →