Readit News logoReadit News
saithound commented on I started programming when I was 7. I'm 50 now and the thing I loved has changed   jamesdrandall.com/posts/t... · Posted by u/jamesrandall
saghm · 14 hours ago
Good news, AI coding assistants aren't a magic button that give you the final result without having to play the game at all. You'll still need to make plenty of moves on your own at your job, and you're free to use or not use them as much as you want outside them. Your job was never to play chess though in this analogy though, which is where it misses pretty hard; you were being paid to produce software, and the process was incidental to it.
saithound · 11 hours ago
> you were being paid to produce software, and the process was incidental to it.

Yes, the people who write articles like the one in this post understand this. Previously, they could do it and get paid while doing a thing they loved.

Now that process is no longer economically viable: they can get paid, or they can do the thing they loved. They lost something, so they mourn the loss. At least they would, but a bunch of tone-deaf people keep interrupting them to explain why they shouldn't.

saithound commented on I started programming when I was 7. I'm 50 now and the thing I loved has changed   jamesdrandall.com/posts/t... · Posted by u/jamesrandall
sho_hn · a day ago
My advice to everyone feeling existential vertigo over these tools is to remain confident and trust in yourself. If you were a smart dev before AI, chances are you will remain a smart dev with AI.

My experience so far is that to a first approximation, the quality of the code/software generated with AI corresponds to the quality of the developer using the AI tool surprisingly well. An inexperienced, bad dev will still generate a sub-par result while a great dev can produce great results.

The choices involved in using these tools are also not as binary as they are often made out to be, especially since agents have taken off. You can very much still decide to dedicate part of your day to chiseling away at important code to make it just right and make sure your brain is engaged in the result and exploring and growing with the problem at hand, while feeding background queues of agents with other tasks.

I would in fact say the biggest challenge of the AI tool revolution in terms of what to adapt to is just good ol' personal time management.

saithound · 20 hours ago
> My advice to everyone feeling existential vertigo over these tools is to remain confident and trust in yourself. If you were a smart dev before AI, chances are you will remain a smart dev with AI.

We replaced the chess board in the park with an app that compares the Elo score of you and your opponent, and probabilistically declares a winner.

But don't worry, if you were a good chess player before we introduced the app, chances are you will remain a good one with the app. The app just makes things faster and cheaper.

My advice to the players is to quit mourning the loss of the tension, laughter and shared moments that got them into chess in the first place.

saithound commented on I fed 24 years of my blog posts to a Markov model   susam.net/fed-24-years-of... · Posted by u/zdw
chpatrick · 2 months ago
I think you're confusing Markov chains and "Markov chain text generators". A Markov chain is a mathematical structure where the probabilities of going to the next state only depend on the current state and not the previous path taken. That's it. It doesn't say anything about whether the probabilities are computed by a transformer or stored in a lookup table, it just exists. How the probabilities are determined in a program doesn't matter mathematically.
saithound · 2 months ago
Just a heads-up: this is not the first time somebody has to explain Markov chains to famouswaffles on HN, and I'm pretty sure it won't be the last. Engaging further might not be worth it.
saithound commented on Mathematics is hard for mathematicians to understand too   science.org/doi/10.1126/s... · Posted by u/mmaaz
scotty79 · 2 months ago
> Mathematics is such an old field, older than anything except arguably philosophy

If we are already venturing outside of scientific realm with philosophy, I'm sure fields of literature or politics are older. Especially since philosophy is just a subset of literature.

saithound · 2 months ago
> I'm sure fields of literature or politics are older.

As far as anybody can tell, mathematics is way older than literature.

The oldest known proper accounting tokens are from 7000ish BCE, and show proper understanding of addition and multiplication.

The people who made the Ishango bone 25k years ago were probably aware of at least rudimentary addition.

The earliest writings are from the 3000s BCE, and are purely administrative. Literature, by definition, appeared later than writing.

saithound commented on A triangle whose interior angles sum to zero   johndcook.com/blog/2025/1... · Posted by u/tzury
almostgotcaught · 2 months ago
> together rectangles with height one and width decreasing in geometric progression

The geometric series sums to 2 - your glued together rectangles will have perimeter 2*(1+2) and area 2*1.

saithound · 2 months ago
> your glued together rectangles will have perimeter 2*(1+2)

No. You should think through that perimeter calculation one more time, preferably while drawing a picture.

Here's a hint: the perimeter of a rectangle is no less than its height; you can glue so that the perimeter of each rectangle contributes at least 1 to the perimeter of the union.

saithound commented on A triangle whose interior angles sum to zero   johndcook.com/blog/2025/1... · Posted by u/tzury
almostgotcaught · 2 months ago
I have no idea why you think the geometric series has anything to do with this - this is related to continuous but nowhere differentiable functions: https://en.wikipedia.org/wiki/Weierstrass_function
saithound · 2 months ago
> I have no idea why you think the geometric series has anything to do with this -

IgorPartola is perfectly right to mention geometric series, you can easily use a geometric progression to construct a shape with infinite perimeter and finite area, e.g. by gluing together rectangles with height one and width decreasing in geometric progression. With a bit more thought you can also construct a smooth shape having this property.

saithound commented on Functional Data Structures and Algorithms: a Proof Assistant Approach   fdsa-book.net/... · Posted by u/SchwKatze
yuppiemephisto · 3 months ago
saithound · 3 months ago
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
saithound commented on Iowa City made its buses free. Traffic cleared, and so did the air   nytimes.com/2025/11/18/cl... · Posted by u/bookofjoe
AnthonyMouse · 3 months ago
> both cities have a fixed "fare" of about 30 US cents on their networks.

What form of corruption-induced lobbying is this now? A sizable advantage of making it actually free is to remove the huge cost of the fare collections infrastructure.

saithound · 3 months ago
If you remove the fare collection infrastructure, you remove beneficial usage tracking infrastructure too.

There might also be other "social engineering" benefits to having a fixed symbolic charge, as some people argued in this thread. I don't know about that, but I don't think it's _just_ lobbying.

saithound commented on Iowa City made its buses free. Traffic cleared, and so did the air   nytimes.com/2025/11/18/cl... · Posted by u/bookofjoe
benatkin · 3 months ago
I was just pointing that out from the post you replied to, I don't agree with the author.

However, I think that Iowa City isn't doing the symbolic fare, and that Brisbane's 50 cent fare would make some kind of a difference. https://en.wikipedia.org/wiki/Translink_(Queensland)#Fares

saithound · 3 months ago
Thanks.

> However, I think that Iowa City isn't doing the symbolic fare, and that Brisbane's 50 cent fare would make some kind of a difference

A reasonable point. That very well might be the case, and if everybody thinks symbolic-fare is better than no-fare, I won't be the one to oppose it.

u/saithound

KarmaCake day1737May 26, 2019View Original