Recent submissions

Comment · 19 days ago
Is ffmpeg a tool? When the incantation is so obscure, are you really wielding it?
Comment · 19 days ago
I guess according to his logic they would be tools for interacting with an automation. Like the button on a car wash kiosk. You could just as well holler and the man turns it on.
Comment · 22 days ago
The funny thing about people comparing mathematical research in the days of LLMs to playing chess in the days of Stockfish is that it identifies the competitive nature, and hence status seeking attitude, of the mathematical research community. Chess is, of course, a competitive game with a winner and a loser. You "win" mathematical research by solving a longstanding unsolved problem.

There is this idea of advancing human knowledge and adding to the record of what people know in mathematical research that breaks the analogy down, somewhat. But most people aren't Perelman. They would happily take the million dollar prize. And it is out of the question to do anything other than put your name on the published paper.

Comment · 27 days ago
How often does this sort of thing happen? I'm guessing more than we think, either because we forget the news stories we read or because it isn't reported.
Comment · 1 month ago
That man has found a treasure of a woman!
Comment · 1 month ago
I did well in school and the praise I received for excelling in my math degree did shape my life and impact my motivations. I do like praise.

But outside of social reasons, it's understanding I crave. Thoroughly understanding a topic is awesome. I remember the feeling of acing my qualifier exam in grad school.

Those LLMs change nothing fundamentally about this motivation and need and capability. I can't type a prompt, hazily skim the wall of text, and come to comprehensive understanding. I still have to work.

What I like about LLMs is that they can increase my understanding by helping me learn more efficiently. What I don't like is the temptation to turn off my brain.

Comment · 2 months ago
I suppose if the number of nameable things is countable (because humans can only enumerate, and it is humans who name), then it trivially follows that some real numbers are unnameable. Which proves the existence of such entities.

This reminds me of a YouTube video I watched this week titled "A counting argument for why mind comes before matter": https://youtu.be/AtduNjJV-6E?is=nBZ9ztZsyeoVhCj1

The argument is something like the set of possible thoughts about physical objects is larger than the physical objects themselves. It feels similar in flavor to the idea of unameable objects.

There's something special about a name. The name of the God of the Bible is special. Christians are to call upon _the name_ of the Lord. We pray, hallowed by _thy name_. It is somehow denotes the summary essence of the thing being named, even if it doesn't give specific details of its characteristics.

Comment · 2 months ago
Getting lost when you have time and a full tank of gas is fun.

Getting lost when you need to be someone on time is awful.

We can love the former and hate the latter.

Comment · 3 months ago
I don't think serious reader is a cringe term. Reading is a skill like any other and we use terms like "serious golfer" or "serious painter". The flip side of serious is causal. It's okay to structure your life so that reading is a big part of it.
Comment · 3 months ago
I need something like this for when my AC unit, which can only be right next to the TV, cycles on for a bit. It's sort of the inverse problem. When total noise gets louder I need the TV also to get louder.
Comment · 4 months ago
Very nice! I solved them all in the backyard on a pleasant Sunday afternoon.
Comment · 4 months ago
How can an animal even have a neck that long? Was it clear from the fossils that it is this long because I am skeptical.
Comment · 4 months ago
This is where I got the link from.
Comment · 4 months ago
I knew Flibbertigibbet from the sound of music:

MARGARETTA: How do you find a word that means Maria?

BERTHE: A flibberti gibbet!

SOPHIA: A willo' the wisp!

MARGARETTA: A clown!

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton