HNHacker News
TopNewBestAskShowJobs

abnry

3,401 karma · joined November 19, 2016

submissionscomments
abnry··on 'AI' Is Not a Tool by Rich Hickey
Is ffmpeg a tool? When the incantation is so obscure, are you really wielding it?
abnry··on 'AI' Is Not a Tool by Rich Hickey
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.
abnry··on 100+ reactions to 100+ solutions
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.

abnry··on Nearly 200 people under observation after Irkutsk lab worker dies from plague
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.
abnry··on I'm the mom in that viral Giants clip. Let me tell you about my husband
That man has found a treasure of a woman!
abnry··on Feeling Sad about AI
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.

abnry··on Bhartrhari's Paradox
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.

abnry··on GPS and the Lost Art of Getting Lost
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.

abnry··on How to read more books
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.
abnry··on Offline tool to stabilize TV volume using IR control and spike detection
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.
abnry··on Show HN: Zanagrams
Very nice! I solved them all in the backyard on a pleasant Sunday afternoon.
abnry··on Genuinely, my all-time favourite image: Mamenchisaurus hochuanensis
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.
abnry··on How many of the 170k English words do you know?
This is where I got the link from.
abnry··on How many of the 170k English words do you know?
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!

abnry··on Taxonomy of the Occlupanida (parasitoids on bread bag tags)
When I was a child, I remember going to the nearby children's museum and seeing an exhibit with 1 million bread tags. It was supposed to help conceptualize the number.
abnry··on Taking a walk may lead to more creativity than sitting, study finds (2014)
Are you carrying a lot of stress when you were walking 10 min mid-day? I think the wandering, creative mind is the goal and walking often facilitates that, but if some stronger force is keeping you away then it may not work.
abnry··on Fear and denial in Silicon Valley over social media addiction trial
Europeans are shocked by the portion sizes in America. But they feel normal in the US. Frogs often don't know they are being boiled.
abnry··on Some Things Just Take Time
The guiding analogy of the piece is that of planting a tree and waiting for it to mature.

The reason we need to wait is that it takes time for some things to mature.

abnry··on The Shape of Inequalities
Which IIRC are all a consequence of Jensen's inequality.
abnry··on Obsidian Sync now has a headless client
Fantastic! Now I don't need to run it in a headless xorg session.
abnry··on An AI Agent Published a Hit Piece on Me – The Operator Came Forward
I'm still struggling to care about the "hit piece".

It's an AI. Who cares what it says? Refusing AI commits is just like any other moderation decision people experience on the web anywhere else.

abnry··on Show HN: Wikipedia as a doomscrollable social media feed
The NSFW content is a big bummer for me. I can't let a kid go to Wikipedia unsupervised because of this.
abnry··on Show HN: Subth.ink – write something and see how many others wrote the same
I love it!

I typed "hello".

> Your thought's hash is: 4358f43b660389eecd435dc2a5f5cee29786245cd2cff27bd4de0b3e8fd53b79

> Including you, 267 persons had that thought already!

> First time was 4 hours, 14 minutes ago, last time was less than a minute ago.

Of course, everyone else has thought of this. But what if I "type": 4358f43b660389eecd435dc2a5f5cee29786245cd2cff27bd4de0b3e8fd53b79

> Your thought's hash is: c37d0a8c512b9ec7074d3bc77c4545d58fdfcde55bad89a70ede71ac2ac0000d

> Including you, 8 persons had that thought already!

> First time was 2 hours, 1 minute ago, last time was 1 minute ago.

That's hilarious!

And also, "typing": echo "hello world" | curl -d @- https://subth.ink

>Your thought's hash is: c5ba1c7e35345dbb8c2dc6be0972d0b6ddf6c6515143b64c057296948e2ba8cd

>Including you, 10 persons had that thought already!

>First time was 1 hour, 52 minutes ago, last time was 2 minutes ago.

abnry··on Maybe the default settings are too high
I think the response is a great comment. It really is insane that they felt the need to damn the flooded campsite.

The comment actually does a great job of accentuating the point of the story. Everyone offended is too caught up in their achiever mode mindset to truly appreciate the absurdity.

abnry··on Let's put Tailscale on a jailbroken Kindle
Where do I get DRM-free ebooks to put on a Kobo? I don't support breaking DRM. So I'm using a Kindle because it has the best access to and integration with almost any book I want.
abnry··on Llama-Scan: Convert PDFs to Text W Local LLMs
I would really like a tool to reliably get the title of PDF. It is not as easy as it seems. If the PDF exists online (say a paper or course notes) a bonus would be to find that or related metadata.
abnry··on How Pi Almost Wasn't
That's just controlled opposition.
abnry··on How Pi Almost Wasn't
The real nerds celebrate octal pi day on 3/11. The crowds are too big on 3/14 anyways.

https://imgur.com/a/gczeqkz

abnry··on Software-Defined Radio for Engineers (2018) [pdf]
You need a mortgage to buy most of their SDRs. Their cheapest IIRC is a B210 which is about $2,500.
abnry··on Where do those undergraduate divisibility problems come from?
7n^3 +n (mod 2) = 1 n^3 + n = n + n = 2*n = 0*n = 0
Page 1 of 24Next →