skysight-inc/HackerNews huggingface dataset:
Before the pandemic and surge of remote work, a lot of us complained not just about going to the office, but that the office itself was pretty crappy. The open plan creates an environment of high distraction, low privacy, and physical discomfort. Whether or not people wanted to listen to music or anything for hours at a time, they were pushed to do it just to drown out a constant background noise of words that are highly salient in your problem domain. You're probably constrained to the desk or chair set up that your office manager picked. The bottom line is you're spending a lot of time in an environment about which you may have zero input or control.

At home, I can work in silence if I want. If I want background noise, I can play music on a stereo or turn on the TV in the next room. When my back hurts, I can lie down on the sofa, or stretch and foam roll in a way which would be conspicuous in the office. I can be barefoot all day if I want. I can snack on the food that I like enough to buy, without broadcasting the pretention of bringing my own food to the micro kitchen. I can eat healthier lunches than the office catered food. Even without considering commuting, or the amount of time spent in synchronous interactions, just being able to control my own space is sooo much more comfortable. I injured my back this year, and taking care of it has been so much easier at home than it would have been in open plan hell.

A bunch of that stuff is nominally compatible with being "in the office" -- just give me a private office, with real walls, the ability to buy my own furniture, etc. But tech long ago decided that engineers get cubicles or open plan desks, that the way you know we're working is seeing that we're looking at screens rather than seeing our actual output, that a clean modern spaceship aesthetic is more important than workers being able to control or customize their workspace. Is it that we don't value the office, or that the office has been created by people who don't value us?
Some developers are just lazy, and will likely need some kind of negative feedback to force them to confront their own laziness.

Which can be tricky, because the degree of negative feedback that is appropriate to the person in question can range from

"Polite one-on-one suggestion that you read the error message more than once before calling me"

to

"Full on yelling at the person in the middle of an open-plan office".

Thankfully, type II is rare, but they do occur.
In my experience, in Ghidra you can Ctrl+L to mark a variable as a different type, but retyping or renaming sometimes fails because it creates a HASH variable which sometimes fails to apply to the decompiler output (instead creating a new variable of the right type but the code still references the old wrong one).

Also can I haz offset pointers pretty please? It's not in the last released version I tried, and the last Git version I tried had offset pointers but they didn't affect decompiler output so multiple inheritance and container_of linked lists still came out broken.
It will be so much fun when the implementation is refactored and half of these comments are forgotten about and no longer meaningful.
0x0000001E, KMODE_EXCEPTION_NOT_HANDLED

That is all.
Sounds like you get your socialization needs met through work. It's a you problem. Join some tech meetups to talk about tech.
Other than the large exception of taking care of small children and the timing of getting them from school, I have heard it is nice for people to have an outlet from home life.
When the industry went Zoom I left it.

Working from home is pointless, zero intrinsic reward. A video game instead of life.
> this is conveniently unprovable

Perhaps. I was responding to the assertion that Mathematics exist independently of biology or perception of reality which is at least as unprovable
Well, the answer to your question would always be "You (or the responsible person in your team) needs to figure this out".

I'd love to have some very clear rules and metrics as an answer, but I doubt that there are any.
Great looking tool! I have a UX nitpick about the pricing page, the loading indicator saying "fetching our best prices" gives me the impression that the prices change frequently, and that I should check back later.
Here's another link for how to write useful error messages: https://www.bbc.co.uk/gel/features/how-to-write-useful-error....
isn't it super-tags that are implication? A male author (sub-tag) implies it's an author (super-tag). But an author does not necessarily imply it is a male author.
This is a context where people are used to seeing errors that they don't know what to do with.

If a web app pops a well written error it is much more likely to be acted on than an unmotivated dev seeing a some (probably badly formatted) text.

Every time I see an error in terminal with a link to documentation I'm delighted. And surprised.
I have a kid. They're older now, but working at the office was the only way I could get a solid 8 hours of uninterrupted work done. Plus meeting and talking to other adults about Not Kids is very nice.
I'll start with the second part

> why should they page a German wage

I totally agree. In the U.S there is a lot of discussion about most companies introducing location based remote pay, based on the cost of living in your city. People thing this is ludicrous, and want to be paid SV wages in rural America.

On the other hand, they have no problem paying Indian engineers a fraction. They use a lot random reasons that don't end up making sense. Work hours, ability to vet the engineering quality from so far away.

But then when I ask - If your star amazing Indian H1B engineer wanted to move back closer to his family, and promised to work U.S hours, would you agree to pay them a SV wage? The answer is always no. So I think there is definitely a double standard here, and in the very long term this will change, and wages will balance out to a bit lower than what they were during peak 2021 tech

To the first part. You're completely ignoring people having to commute to the office, wake up an hour or 2 earlier, only see their child ~30 minutes a day, not being able to cook their own lunch or go to the restroom without seeing someones legs right next to yours. Even if people value solving problems face to face, they can also value the above more
Moving goal posts are obvious. They show up with an initial over commit like say, “you don’t need masks” or “the vaccine is sterilizing” that is obviously wrong at the time it occurs, but only on a valid limited data set. This followed by a bunch of backpedaling as that position becomes more and more indefensible as the data becomes overwhelming.
Childs Drawing (Math Concept)
What a relief. I too thought I was losing it.
it could also be from this video, one of my favourites (1:35):

https://youtu.be/H8eP99neOVs?t=90
I agree 100%. As I got older and my father died and other older family members I realized that I was taking for granted my family and all of the energy around me it generated. The things that made me happy such as working, traveling and hobbies felt like they needed more. Also this is weird but just seeing guys locked up in prison that were the coldest people that ever existed weeping over their kids really got me feeling it was something special.

It is something special. I have a kid now and another coming in the next few weeks. It is both the most time consuming and expensive thing I can do but also the most meaningful. I never thought I would feel this way 5 years ago. It is definitely dismissive to tell someone hey your feelings are rooted in other problems. It is not like OP is longing for a cupcake or something. So I support the OP and if it is really something you need, do it!
Work relations have always been transactional. The idea of everyone being buddy-buddy at work is pushed by a company right up until the moment they lay you off because it is in their best financial interest to do so.

For many of us, we are happy to trade less time spent socializing these forced, thin relationships, for more time with the meaningful relationships we’ve created with friends and family.
Same for me. I had it back in early 2018 also with similar time scales. It was a horrible time, but have fully recovered now and not had any issues since. Luckily it's (apparently) not one of those things that recurs once you've had it. That's not to say we won't get it again for some reason, but it's nice to know it isn't an ongoing condition.

I am glad I (and you guys) got off relatively lightly with it. It can affect people for a lot, lot longer.
Brave browser now blocks cookie banners
Get a dog, far better.
But in liberalism my wish to not be in another individual's company strongly trumps their desire to be in my company
Microsoft has stated many times they are "Cloud First" and hyperv development seems to be focused on Azure HyperV with limited features and improvements coming to OnPrem Hyperv, Hyperv for OnPrem still has ALOT of features missing even when comparied to linux based hypervisors let alone VMWare.

It is also unclear what the long term path is for OnPrem Windows Server, many people believe in the next 5 years it will be replaced with some Variant of "Azure Stack" and will be billed on a subscription basis

from hardware vendors, to Microsoft. The future is clear. Everything as a Service is coming for OnPrem, your network, storage, and hosts will all be some subscription model just like "cloud"
i don't use google search myself, i haven't used that in actual years, i am on DDG which has a similar pinterest filter that does the job well
There are a bunch of ways to do it. You could use the Entity-Attribute-Value[0]. Then it's (California Quail, Region, California), (California Quail, Genus, Callipepla). You could do relational tables, with a through table for each taxonomy. Or, one through table with tags. That's like your comment.

https://en.wikipedia.org/wiki/Entity%E2%80%93attribute%E2%80...
At least for me, my primary hangup for going back to the office is that COVID -isn't over-! Since I can do my job just as well from home as from the office, I'd far prefer to stay in an environment where I have control over my level of risk. (I realize not everybody has this at home, but I live alone)

For this reason, when I hear corporate taking advantage of the between-wave lull to trumpet going back to the office, it smacks to me as corporate deciding their need to see butts in seats is more important than my desire to not get sick. Long COVID is a scary thing and AFAIK we don't know any predictors for it!

If it weren't for COVID I would likely prefer to be in the office for the reasons OP lays out. (though now that COVID has happened, I think I'd try to make my commute shorter than it is now)
I suffered from pretty severe burnout once, which took me about a year to recover from. Thankfully, I had the means to quit working and change gears to a slower life tempo. I started rock climbing again, spending lots of time with my partner, even painting occasionally. One day, I just felt like programming again, for myself, and man was it fun!! I rediscovered the joy programming.

I decided to make a change in my work-life. I decided to only take jobs/contracts that I'm excited to work on. For me, that largely means graphics and game-engine programming. It's a tremendous amount of work to learn those skills, but when I'm working on graphics programming I feel like I'm programming for myself 90% of my day's.

I guess my advice here is (if you can) walk away, take some time off to recover, and you'll remember why you started programming.
To play devil’s advocate to this mindset: life isn’t an optimization game. When you’re being nibbled away at by maggots or a pile of ashes, you will receive no trophy for how you optimized your life in a particular order.

You don’t need to perfect one thing to do something else. Nor does getting your ducks in a row on one thing guarantee you’ll be better off in another.

Sometimes you hurl yourself into the fire and you get burned. Sometimes you hurl yourself into the fire and you figure out everything else because you did it.

I know several once lost and now successful adults who found their drive and focus in the moment they held their first child in their arms. Others who, like you said, are still lost.

If you want to have kids, have kids. You’ll figure it out. Sometimes you won’t. Don’t sit around and wait for the optimal circumstance and opportunity. If there is an opportunity, take it. It may never come again.
Chapter 6, at page 163, says that direct sums can't be built directly from the cartesian product because, instead of defining ordered pairs (a, b) != (b, a), they are unordered, so E ∐ F = F ∐ E

However, direct sums in general are defined as being ordered, see https://math.stackexchange.com/questions/2694051/what-is-the... and https://en.wikipedia.org/wiki/Direct_sum

How to make sense of that?

Actually I'm confused because Wikipedia says "The direct sum of two abelian groups A A and B B is another abelian group A ⊕ B consisting of the ordered pairs (a, b) where a ∈ A and b ∈ B . To add ordered pairs, we define the sum (a, b) + (c, d) = (a + c, b + d)", and, while vector spaces have a little more structure than abelian groups, the definition should match up; and this definition seems just wrong, since it implies that direct sums are just cartesian products!

PS: in my understanding, direct sums in math are analogous to sum types in programming (like in Haskell, data X = One Float | Another Float Float, X is a direct sum between ℝ and ℝ²), or better yet, anonymous sum types like the polymorphic variants of OCaml.
> Worse is its insistence on continuing to autocorrect words I’ve just gone back to fix.

its really bad... so bad (except the pop-up suggestions) i just turned auto correct off completely a few versions ago
I dont agree population decline is a problem. Nevertheless, if it were, at any time of our choosing, we can open the gates and access a practically endless supply of people wanting to move and work in the countries with population decline.
Probably just me, but I am less concerned with how good my error messages are, and more concerned with trying very very hard to make the errors happen closer to the cause of the problem, rather than further away.

"Fail early, fail hard"

i.e. if I can make the error message happen near the beginning of a process, I can get away with making it a hard error.

Hard errors in the middle of a multi-hour operation tend to annoy people.
What We Are Is an Agglomeration of Cells
But as I said, its about choice.

The WFH crowd are unhappy if they don't get a choice in where they work. The WFO crowd are unhappy if others DO get a choice of where they work.

Or to put it another way, one side are unhappy if they're forced to do something they don't want to, the other is unhappy if the first are not forced to do something they don't want to do.
Ask HN: Apps that are built with Git as the back end?
Hey HN, I'm working on a project that builds with git as the backend (https://github.com/inlang/inlang) and I'm looking for other projects that have a similar approach.

PS: Also apps such as VS-Code or Obsidian which work on local files and have git plugins would be interesting!
My favorite blogs on bearblog.dev: https://michaelhly.bearblog.dev/my-favorite-bear-blogs/
Also when I dictate using Siri, maybe becomes “may be”. Wtf
The West has tried peaceful engagement with Russia many times, the reset under Obama, tacitly accepting the annexation of Ukraine, turning a blind eye to massive civilian casualties in Syria, Trump's attempts at engagement and shaking down Zelensky, but it never works. We've opted to shrug and let them do what they want over and over. Giving space to Putin is always interpreted as a sign of weakness.

The basic problem is Ukrainians didn't want to be dominated by Russia, they're fed up with it, and who can blame them. They wanted to enter the EU and join NATO. And why shouldn't they, surely that's up to them?

Turning the blind eye to Russian aggression and annexations, opting for peaceful accommodation at every turn now matter how far they pushed is one thing. The democratic desires of Ukraine to engage with the West was another. Put the two together and they're an explosive combination.

So the only option to avoid this would have been to absolutely deny Ukraine access to the EU or NATO, to ignore the desires of their citizens and abandon them to perpetual Russian domination and exploitation. I don't see any way that's morally justifiable or acceptable to the west, it's just not how we think and not the values we aspire to.
The same thing that happens when Aldi in Germany tried to sell apples for 2 euro each and Lidl sells for 1 euro each.

If the Aldi apple is so good, then people will buy for 2 euros. If the Aldi apple is not so much better, then Aldi will have to lower the price or find something else to sell.

But no one commiserates with Aldi when they have to do that.
I personally enjoy WFH - but I also enjoy the self-organized "office day" me and my team hold once a week, to get together with everyone, having coffee together in the morning, and sometimes a beer after work.

I think it's important to keep personally connected to your team - and while I feel that should be possible with WFH as well, it seems like the online tools we use aren't really up for it though. We tried having coffee together using video chat... but there's always friction.

Even on the rare occasion where nobody drops out of the call, has their voice go all robotic, lags horrifically or turns into a mush of compression artifacts - you still just sit in front of a grid of floating faces... there must be ways to improve that!
do we get snacks and naps? I'm in.
Brothers Hildebrandt
I've been guilty of this in the past - I remember writing an error message that looked like "if you used X setting, do this, otherwise that". The code should have instead checked what settings the user enabled and given a clearer error for the situation at hand.
I'm on a team that has a mandatory "in-person" day twice a month. This seems to be the best balance for everyone as it's just infrequent enough to not feel like a grind but frequent enough to keep everyone moving in the same direction.
I think you're correct. To add to this (and I think it's the point that the article was trying to make), errors written in fragmented language or "developer speak" I feel are likely to get glossed over. The “Write it like you’re talking to a friend.” advice the article gives I think is spot on. Making the message more conversational is to invite better understanding and comprehension.

I feel there's a trend when it comes to disseminating messaging like this that we adopt an attitude of our audience "is smart, and should figure the rest out". They may be. But they already have lots to do any plenty to figure out. Any opportunity we, the requestor, can lighten their mental load, is going to increase the odds that they'll be inclined to take action right away.
It's not systemic, but I'm unironically doing this. I live in a LCOL city and I just walked away from my previous career path and am working in a lingerie shop. It's definitely not a forever thing, but the time to get my brain together is invaluable.
Caring less is one of the main symptoms of medical burnout. I wonder if it's correlation the other way though.
Working next to people who aren’t working on a similar system as you gives you nothing to talk about. It’s about the manner of work not just having people around.
There’s 1000 places in this conversation to say this, but I thought here would work. I too had a kid late and do not regret the camping, but wanted to say the no-life is time limited^, or can be if you are lucky.

My kid is now 9, and while a fancy brunch is beyond him, he can do a sit down sushi dinner. We've done a couple of international trips with him, and we've settled into a friend group with similar interests so we are constantly doing camping, backcountry backpacking, and in the winter skiing - all with him and his friends. It is pretty good, and certainly not a no-life.

---

^ And we knew what we wanted, so even though many of the early trips where miserable, the kid can say he’s been backpacking and xc-skiing every year of his life.
Interesting, I'm Canadian so I hadn't known about that. It looks like the Superfund uses traditional (expensive) remediation methods, but there are probably a lot of similarities to what I imagine.
Will a Nobel Prize Make Paleogenomics More Accountable?
I love this. If you're looking to collaborate or potentially sell, let me know. tyler at failure dot inc

Nice work!
You have already checked cdbbsarchive[0]?

[0] https://archive.org/details/cdbbsarchive
Show HN: Logto, an auth OSS, now introduces custom internationalization and CLI
The 24/7 office people won't be happy until we're collaborating at hot desks with no headphones 100% of the time. Otherwise they might have to wait to ask a question.
> Putting in 60 dollars in a USB hub is some privileged behavior.

If we want to take manufacturing back to the West, just having a USB hub must be considered a privilege.

Low-wage jobs will come back to the West when we will change our definition of a decent life to include what a low wage can provide, and not expect that each kid plays with several-hundred-dollar electronic toys.
Listening to it again, and I really like it. I do agree that after about 1:30 or so when it "opens up" it really hits its stride, and I go from like, yeah this is good, to wow yeah this is great after about 1:30. It leaves a great after-taste and makes you want to listen to it again.
Ah. That sounds like a strange prepaid SIM. I haven't seen any of those. Assuming that's the same as a prepaid plan. For the latter ones you can go years without topping up, in my experience, but they suffer from the same as any other SIM - if you don't use the phone even once in a year (or sometimes less), then it expires and you can't use the number. I saw someone complain about that because the guy had this "emergency phone" in the glove department of his car, which he never used, until an accident - and then he couldn't call (if it had been serious he could always call 112, I'm not sure he was aware of that). Come to think of it, this happened to a number I and my wife kept on a "loaner" phone we gave to foreign visitors, during the Covid period (no visitors..)
I’m of two minds. I work remotely but miss the benefits of the office.

On one hand, I am getting paid over 2x what local companies would pay me, the convenience and flexibility are wonderful WFH, I get to spend more time with my family, etc.

On the other hand, I miss all the things you listed. Plus I’m an advocate of eXtreme Programming, which means pair programming all the time. Pair programming with people who have very different schedules, time zones, etc is difficult.

So for now I’m working from home and trying to recreate some of the things you’ve listed. I work from a friend’s house regularly. I get lunch with former coworkers once a week. I’m active in our local tech community and we have meetups once a month, local conferences, etc. I work from a coffee shop sometimes just to have a change of scenery. It isn’t perfect, but it’s better for me
Being unhappy about a bad situation isn't a mental illness, it's normal. If you try to change your feelings while staying in the same situation, you'll just make yourself more depressed. It's better to change the situation.
It's funny because one of the most common arguments I see inside Reddit communities is irrelevant posts getting upvoted in a subreddit, and wanting the mods to step in - or not. People just see a post on their frontpage that they like and they upvote it, rarely stopping to look at what subreddit it's from and whether the post is a good fit for that subreddit.

I suppose it probably still works better than Instagram.