HN user
Do you think writing books (and Wikipedia articles, and stack overflow articles, and github repos, and, and, and, and ...) is not a value add?? What terrible claim.
Well, that's literally what "vibe coding means", no?
What exactly are you “getting done”? I’m really curious what you’re doing with so many tokens.
One thing that has happened is that "AI" has been an academic discipline since literally the 1950s. The term was originally used in the hope that we would soon be able to emulate human minds. This turned out to be hard, but the name stuck to the discipline.
Now, suddenly, this name has been broadcast to every human in the world more or less. To them, it's a new term, and it obviously means something human mind-like. But to people who work on AI, that's not generally what it means. (Which isn't to say that some of them don't think we're near to achieving that; they just use other terms like "AGI" for that goal). So the name, which has a long history, is deceptive to people who aren't familiar with computer science.
I read commit messages all the time to figure out what a change was about.
For small personal projects I often write one phrase messages with `-m`, but if you're working with other people you should be writing good commit messages.
People who care about code quality are not artists who want to paint on the company's dime. They are people who care about shipping a product deeply enough to make sure that doing so is a pleasant experience both for themselves and their colleagues, and also have the maturity to do a little bit more thinking today, so that next week they can make better decisions without thinking, so that they don't get called at 4 AM the night after launch for some emergency debugging of an issue that that really should have been impossible if it was properly designed.
Speak for yourself. This is exactly the GPs point. Some people care more about the craft of code than the output. I personally find writing good code to be what motivates me. Obviously its a spectrum; shipping is good too. But it's not why I get up in the morning.
I was wondering what these images were! I wasn't sure if they were real photographs or not. They're great!
This reads nothing like any AI text I've read before.
None of my side projects are things where I want the output. They're all things where I want to write the code myself so I understand it better. AI is antithetical to this.
This comment is fascinating to me, as it indicates an entirely different mindset than mine. I'm much more interested in code readability and maintainabilty (and simplicty and elegance) than performance, unless it's necessary. So I would start by saying everything flows from rule 4 or maybe 5. Rule 1 is a consequence of rule 4 for me.
Or you could believe what she said instead of implying that she's lying??
Why would you expect a reporter to magically know what a "unit test" is? Sounds like a simple miscommunication with one of his sources. Not perfect but not "brain rot".
IDs cost money. How do people with no income get one if they don't have one? How do they get access to the necessary documents?
In any case, it's not on me to show that they shouldn't need ID. It's on the proponents of ID laws to do so, and they have utterly failed.
So how would you have gotten it if you were homeless with no income?
Voting is a civil right. We need to have a system that allows everyone who is allowed to vote, to vote. Many people don't have IDs and it is an onerous process to get one. Any system that requires IDs for voting suppresses these people's civil rights.
Same--I was worried my lightbulbs might be deprecated!
No, an en-dash is used for a range, like "5–10", or in talking about two things and their relationship, like Franco–Prussian War.
Ultima Underworld is a fantastic game.
From The Mote in God's Eye:
"Wrong," said Renner.
"The tactful way," Rod said quietly, "the polite way to disagree with the Senator would be to say, 'That turns out not to be the case.'"
The manager at my structural engineers can still calculate a beam size, he is better at it than his staff.
That sounds insane to me. I want my manager to be good and managing. If they are writing code, it's a misuse of their time and skills. If they are good at writing code and bad at managing, they shouldn't be a manager.
I don't understand your point? If you write code with an MIT license, this is what you would expect.
Tell that to my mom who has created a bunch of passkeys all over the place without knowing what they are. I'm trying to unwind it but it's a mess.
It doesn't read like an LLM to me. What are you seeing?
I don't think that's true at all. There's plenty of weird post hippies around, including Burning Man culture and the libertarian roots of a lot of the tech world.
But if you're immersed in the modern tech world, you're just ignoring all that.
My facebook page, which is where I have friended everyone I met between like 2004 and 2017 is absolute garbage.
But I have a secondary account where I follow a few specific niche groups on a specific topic that are only on facebook. This page is actually fine, and is pretty good at suggesting related pages.
Not sure what the takeaway is for facebook though.
I don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.
Those are all art, though? Your insults to them don't make them not.
Vim has been having a moment for a while. I have several coworkers who just use it and it seems to work fine for them.
Well for one, it's definitely not the responsibility of the reviewers to check that all the citations exist. That would be insane.
In this case the human written statement of the theorem is small. Can there be bugs? Absolutely! But it's essentially a few lines of code worth of thinking.
The lean proof checker then checks to make sure the proof actually proves the statement.
In this case an AI is generating the proof, but if it "compiles" it's correct. The only thing humans need to check is the statement to be proven.
(I don't know anything about this project but I've played around with lean and used other proof checkers more sesrisously).