What kind of tools are the users familiar with for such tasks? It’s best to make it look like something the users already know, not something HN tells you is their favorite
I almost exclusively read newest posts. I’ll check front page weekly or monthly but it updates so infrequently, the dialogue is saturated, and only highly popular (not necessarily high quality) things make it there. I prefer to act as my own filter.
That’s a lot more topics than your title indicated. I guess in reverse order: to hell with age gap critics; you never mentioned wanting kids so idk why you’re worried about the when; if you don’t have a partner in mind then why bother thinking about marriage; if you know what your dreams are for future education then pursue those dreams, not the ones your parents outlined for you, and remember that trying to imagine the practicality of your possible futures is a dream-killing trap. If you want to kill a dream, then by all means do it, but be honest with yourself about what you are doing.
If it’s any consolation, I’m 36, researching masters programs and my partner just started taking prenatal vitamins in preparation for trying to have kids. You’re worrying about fitting in all the things people nine years your senior still think are realistic to accomplish in their own time.
> A recent study from the Hass Avocado Board reportedly found that the average millennial household spent $24.99 on avocados in 2018, which was 5 percent more than non-millennials households.
That is, they bought on average one more avocado than everyone else
The post is kind of funny to be honest. It’s a lot of contorting to say they just want to use something which they feel is newer and more hype.
I think this quote encompasses the whole thing:
> Admittedly the abstractions in the above code probably make it a bit slower than the comparable OCaml one, but the nice thing about Lean's metaprogramming support is that in theory, we could incrementally introduce our own optimisations into the pipeline
Yes, the OP dislikes Ocaml because the compiler is conservative so you can reason about run time performance so you might want to rewrite in a less pretty but more efficient style. Lean is better because while the performance is worse all the time they _in theory_ maybe could be better using meta programming.
Not that I have anything against Lean, it’s a very cool proof assistant with a bright future. I’m not sure I would put forward what the author puts forward to sell it though.
AI generated proofs in Lean are a sight to behold and probably reason enough to get interested.
> In virtually any industry you should be able to work your way into something much closer to $75k-100k within 24 months if you exhibit any significant agree of professionalism, attitude, and work ethic
Okay boomer. In which fields or industries have you accomplished this? I agree those attributes will generally be rewarded but not at that rate, not in most fields.
I was making $35/hr (~$70k) a year as a department manager in a grocery store while I still in college. And that was 20 years ago.
I just helped a friend's wife (late 20s) apply and interview for a general administration position in a tier 3 city. She didn't study anything important and sort of just floundered for a few years after college doing various temp jobs. She ended up getting the job makes about $90k now. They thought I did some sort of a magic trick or something.
That seems great until you realize that fast food and grocery stores are paying new hires $22-27/hr (so 45-54k). Again, if you have any degree of professionalism and work ethic you can move into some low ranking managerial position that is closer to $30-45/hr.
In short, $75k-100 is not a lot of money anymore and is pretty easy to get. It requires ignoring this learned helplessness and working hard.
Talking numbers doesn't sense without specifying the geography. Here in a Midwestern suburb, grocery stores are generally paying 13-16. Managers get low 20s. 100k is a great job here, most people can't get that even with a degree.
Having lived on the west coast, east coast, and all over the in between, you’re not right. But you’re not wrong either. The truth is far more complex. Consider the fact that most food in the Midwest is shipped from the coasts - everything the Midwest grows goes into either cars or cows. A west coast housing budget goes further in the Midwest, but a west coast grocery budget will come up short.
Has OP even tried dressing for the job they want to have and faking it till they make it? What about giving their boss a firm handshake and asking for a raise?
The median wage in the US is $38K. That’s what an Amazon driver can make.
Are you really telling me that in 2025 someone with skills and grit can’t make more than that? Hell I was making a little over $50K as regular old enterprise dev in Atlanta working for a company that mailed out utility bills in 2000.
This article is so bad (in that it echoes so many misunderstandings I see reflected across popular culture) that I don’t think a comment is going to be enough. I’m going to have to write a damn article.
I will put out its one strength: it points out that the way we conceptualize thought, memory, etc can be wishy washy and, especially at the lay level, admits all manner of entities we might rather wish to exclude based on certain qualifiers.
> In other words, even if the total time to complete a project increases—as the report claims—the amount I can get done per unit of time also increases.
I’m sure your product manager will be happy to hear that you’re more productive even though it’s taking you longer to ship
Recently I considered trying to find a position for myself just reviewing code part time because I find that the funnest part. I find writing (significant amounts of) code quite tedious.
Hearing people say that code review/reading is the boring part makes me think maybe I should actually pursue this
