cyode

+1, plus Ticketmaster for some reason.

I think they use some cursed (or secure I guess) combo of stringent special character requirements, no reuse of old passwords, and automatic resets after incorrect guesses.

It actually hasn’t been an issue after finally using a password manager, but I remember it being a regular headache before that.

I saw the 1996 FLT documentary in high school calculus class. For me, it forever cemented that archetype of modern math researcher at the top of my mental “smart” totem pole.

It also convinced me I had no interest in that path. Setting aside the grinding work of producing a proof that can only be reached by existing years in the abstract and hyper niche isolation of the problem space (not to mention that you might never discover it or that it DNE), the anguish of the output being a paper or presentation or some other artifact of human symbology (_words_, really) that could at any moment be refuted by a single observation of a single mistake—-that sounded like hell to me.

An equivalent high schooler today probably sees things differently, in light of this news and the undeniable implications of LLMs on mathematics. Sturdy autoformalization tooling should with time completely dispel the aforementioned anguish, once our confidence in converting a human proof to Lean/etc. reaches that of a compiler translating Java application language to bytecode. Errata may always exist, but in practice these new methods will do wonders for rigor and peace of mind.

(I’m far less confident re novel discoveries. There’s too much chance of derivative findings based on something part of the training looking like genius but really just tiptoeing on the shoulders of humans, whereas autoformalization is absolutely convincing to me as transformative, particularly to check correctness of AI outputted proofs as mentioned in the post.)

Great example of writing about AI that maintains a human voice. Starting off the post with a picture of the author + nod to real-world experience (climbing) is a reasonably strong “this is not slop” signal.

I could see this being a great activity in a high school civics class. Very creative. One rule that tripped me up is:

> If two parties tie in a district, nobody wins it.

This isn't realistic as ties don't happen in practice in elections, and some party will end up representing it. But the spirit of the gerrymandering concept is conveyed well enough.

“Jeeves’ spirit endures.”

This goes hard.

While he never married or had children, Jeeves is survived by his brother software butlers Jenkins and Alfred who have asked the public for privacy during this difficult time.

This won’t drain accounts with balances above the maximum daily transfer limit. To get past that, you’ll need to get on a phone with the bank.

What do you mean by “the decimal value of the price can even determine if the item is being phased out” ?

Heads up OP: I’m trying to get a pro license but your checkout flow is borked. Probably should fix ASAP before missing out on HN front page traffic.

I don't think that was the intent. If anything, 90%+ of these features here feel nice-to-have, and I bet OP agrees (or is neutrally sharing the comp).

I hope, with the velocity unlocked by these tools, that more pure ports will become the norm. Before, migrations could be so costly that “improving” things “while I’m here” helped sell doing the migration at all, especially in business settings. Only to lead to more toil chasing those phantom bugs.

The lone ranger donor route feels severely suboptimal, unless perhaps if the donor is a .001%er pledging a large share of their net worth.

Imagine if this anonymous person worked with a foundation pledging to match $3.5M if said amount was raise via crowdfund. Even if say $1M goes to the campaign and NGO bloat, that’s still way more pipe money.

Do you really think it’s equal or are you contesting the value creation/capture dichotomy writ large?

Pulled from IMDB, Morgan Freeman as Lucius Fox voices the consternation perfectly:

> Batman: [seeing the wall of monitors for the first time at the Applied Sciences division in Wayne Enterprises] Beautiful, isn't it?

> Lucius Fox: Beautiful... unethical... dangerous. You've turned every cellphone in Gotham into a microphone.

> Batman: And a high-frequency generator-receiver.

> Lucius Fox: You took my sonar concept and applied it to every phone in the city. With half the city feeding you sonar, you can image all of Gotham. This is wrong.

> Batman: I've gotta find this man, Lucius.

> Lucius Fox: At what cost?

> Batman: The database is null-key encrypted. It can only be accessed by one person.

> Lucius Fox: This is too much power for one person.

> Batman: That's why I gave it to you. Only you can use it.

> Lucius Fox: Spying on 30 million people isn't part of my job description.

Excellent series, I've been reading for a few years now!

Q for OP: looking back at your 8 posts, I don't see you ever reflecting on loneliness (or lack thereof) as part of your founder journey. Yet both founder friends and anecdotes always emphasize this as a big weight.

Is it a significant factor for you, compared to your past life at FAANG? Do you you ever think about spending your time differently to optimize for more social fulfillment (vs. fulfillment from building or becoming profitable)?