skysight-inc/HackerNews huggingface dataset:
I always found the fact that I can be interrupted at any time in the office very annoying. When I was in the flow and then someone comes up with a question that makes me switch context, then that affected productivity badly. Other colleagues raised this too and in the end we adopted a rule that you either ask a question on Slack or schedule an appointment. After that we found we could get much more done. Some people didn't like this though and left, but with the remaining devs we had an awesome team.
I gave up trying to work from home and commute to the office as an essential worker, because the distractions were so frequent I was not getting much work done. I'm the only person in the office and it is night and day for my productivity.
I'm afraid I didn't and I cannot really recall, but many were related to networking. I think one was that I couldn't have two containers on the same network listen to the same port, another one was related to Podman not playing nice with nftables, but the specifics elude me.

EDIT: Upon further reflection, I think Docker doesn't really work with nftables either, so that one isn't on Podman. It just so happened we made that switch at the same time. Regardless, there were other problems. I'll check to see if I can find any records of the problems later.
yes but an sd card can be bought for less than 10 $/€, whereas an nvme disk would cost about the same price of the whole rpi.

you have to keep in mind the original goal of the raspberry pi project.

if you want nice performance and low power consumption, you're better off considering a cheap intel nuc.
> Money is just a lever. If you focus all your mental energy into acquiring the leverage without ever giving any thought to where you want to pry, you can end up badly lost.

Agreed. In other words, money is just a linguistic tool for communicating value. So, what do you say with how you use (or don't use) this tool?

How do you express your core beliefs, convictions, or values with toul use of money? What are you trying to do ("pry") with this tool?
It's not quite entirely about culture - I do think that a synchronous call with someone provides better opportunities to detect their unknown unknowns, because you get to see their thought process as they formulate the question. Obviously one can get by without it, but I think this is one of the places where the lack of serendipity actually does hit a little.

Once someone has fewer unknown unknowns, though, the act of asking a question by text can often be enough of a rubber duck that they don't need to hit "send" at all.
But the question still valid, which are and which aren't (premature)? For experts: avoiding n+1 query, using hash map rather than loop match, caching in memory, using smaller data type, all are standard optimization techinques.

Now if junior doesn't implement them, are they didn't do required optimization, or do they do premature optimization if they did?
Looks nice, I will probably be using it for a project since something like this is just what I have been looking for. Good job man!
Hi, it exists <https://www.nomadproject.io/docs/drivers/podman>! This has gone right passed me.
Through my career I've traveled to new countries and cities for work, each time the office helped me connect with people and make new friends, some of my best friends in fact. What does the future hold for me in this respect? It seems like a lonely place.
This deserves far more attention. Perhaps even a post on its own.

Ever since the rise of the attention economy I've felt more and more disillusioned with the way the internet of information has evolved. With each of us being a commodity and companies creating content that was more likely to keep us looking at the page (and ergo ads) with content that was increasingly more divisive.

Any tool that helps us remove pages from our consumption that are designed to keep us engaged in that horrendous economy is simply a must have.

Thank you.
> The current tittle of the original MathOverflow question is "What makes dependent type theory more suitable than set theory for proof assistants?", I don't know why is it different than here.

It's too long for HN, OP presumably reworded to fit. If you have a better suggestion one of the mods might see and change it, I think OP's chance to edit it has passed though.
I have the complete opposite experience. I miss very little from the office because my desk at home is bigger and cleaner, my monitors are better, it's quiet and private, and my productivity is through the roof.

If productivity is truly down then it just sounds like some work is different and has different needs. As for having a lower quality of life because you now live in a city for no reason, you have to adapt. Things have changed. Deal with it.

And never forget the grass is always greener on the other side.
> Things that seemingly that have 1 function... are jam packed with buttons

$ ls --help | grep '^ *-' | wc -l
59
Not really relating to this. While I'm working from home I just put my headphones on and ignore everyone else at home. Are you not able to do this?
We’re all pixers. Making pixels appear.
This is.. god, this is awful. I mean, it's good that they did this because it will help players and content creators that show gameplay to not be blocked, banned, or whatever it is they do. I mean, I even like the feature, in this sense.

But the existence of this problem is just so petty, that it makes me sad that we need to do this.
Look for blog posts by Dan Walsh.
I've been working remotely for years and no one calls me after 5pm. Maybe you should change jobs because it has nothing to do with remote work.
I don’t. If I work from home for 15 years then I gain 1 entire year back of my life from not having to commute.

Also no one can tap me on the shoulder :)
FWIW, Docker support for cgroups v2 is coming in 20.10 AFAIK
I have too much pressure from my significant other. She can't look at me doing nothing (when I'm thinking or having my 15 minute rest between productive hours). Every single time I need to clean something up.

I started going to the store and cooking lunch during work hours.

Then I also get complaints about not doing the dishes while I'm working.

It was nice when the work and home were separated and I just did all my household chores on my non-work time. Now I'm constantly interrupted.
The term “software engineer” was invented to describe the work being done by Margaret Hamilton and her team, when developing the guidance software for the Apollo moon landings. It definitely is a form of engineering.

From Wikipedia:

> When I first came up with the term, no one had heard of it before, at least in our world. It was an ongoing joke for a long time. They liked to kid me about my radical ideas. It was a memorable day when one of the most respected hardware gurus explained to everyone in a meeting that he agreed with me that the process of building software should also be considered an engineering discipline, just like with hardware. Not because of his acceptance of the new 'term' per se, but because we had earned his and the acceptance of the others in the room as being in an engineering field in its own right.

https://en.wikipedia.org/wiki/Margaret_Hamilton_(software_en...
It does. December 10 2020
Well, the linked to article is 2011, so it was either prophetic or also 9 years ago quality wasn't that good.
The OP's claim is slightly vague, but would most charitably be read as saying that if you compare all teams (as in the total of all teams around the world), they will perform better in-person than remote, and that this is unlikely to change.

You seem to be interpreting the OP as having said that each and every team is always better in-person. Your read is plausible, but HN guidelines say we should interpret charitably.
> I miss productivity! Our engineering productivity has fallen through the floor since COVID despite everyone working longer and harder; I fundamentally do not think remote teams can ever be as productive as in-person teams.

So far I haven't found this to be the case. Somewhat the opposite in fact, although here I'd credit our move from scrum/scrumban to Shape Up as much as working from home.

It's not perfect though. We see evidence of low-lying morale and mental health issues. Nobody's losing their minds, exactly, but plenty of people aren't really happy. Of course, there are many wider reasons why that might be the case. E.g., lockdown in particular seems to turn every day into a sort of mundane Groundhog Day, especially for people who live alone.

The balance point will be different for different people but, certainly, for me, 100% WFH is not the perfect balance (but then neither is 100% office). At least I know I can adapt to 100% WFH well enough when I have to though (unlike 100% office).
Coworking offices can fill this space: Meeting new, interesting people, coffee chats and after work beers.
My City for You
Every once in a while I browse the internet without an adblocker and I wonder how people can live like this.
“I had to do some digging”

Indeed. I think it’s telling that the opening question on that Reddit thread identified the exact same problem I did, and three months on they still haven’t fixed it. Programmers who fail to provide their users’ needs simply because it doesn’t interest them to do so is a cancer throughout this industry and culture. As a 30-year computer user myself, that is an attitude I expect from children, not from supposed “professionals”.

I don’t care how nice your language is, I care about whether using it is going to make my life better… or worse.

If folks here think I’m bad-tempered and unforgiving, then consider I’ve had to spend the last 20 years teaching myself to program just so I’d no longer be at the complete mercy of those “real programmers” who one too many times made my life shit.

In turn, I’ve done my share of making users lives both better and worse, and while I accept that shit happens I don’t tolerate me messing other people around any better than others messing me.

It’s meant to be called “Computer Science” for a reason. And you should see the size of the knives that real scientists bring to a science fight. I’m being kind.
I think it looks great! Viewing it on my smartphone. I might use it for my next project.

One little error ia that the textarea is too wide, you'll see on this page (smartphone):

https://andybrewer.github.io/mvp/mvp.html

It makes the entire page have a horizontal scrollbar.
I can relate to that, I feel like most computer stuff is a hamster wheel for smart peeps.
Work in office was a thing because we didn't have great tools to communicate. Now that changed and I think office work is an unnecessary luxury. If people need face to face meeting, then maybe it is a sign they need to work on their communication skills? I find text communication more meaningful and productive that f2f where things easily get lost. If you need to escape family life, consider working from a cafe or rent a desk somewhere or maybe consider relationship therapy.
Before my current job I worked from home for 8 of 9 years. Right in the middle I worked in an office in a small start up. We were about 10 people squeezed into a space the size of my living room. I spent more time chatting with them over some form of messenger than I did in my remote jobs!
And no, I feel like I get more done, because I don't have someone just turning sideways and interupting me. While it may be quicker for you it may not be for the person got are interupting.
I think we need to keep in mind the distinction between "working remote" and "working remote during a crisis".

I recently wrote about that at some length, in fact: https://taoofmac.com/space/blog/2020/10/29/2200

I've been remote for years now and this has been an "eternal September" (or, rather, March) kind of thing where all of a sudden hundreds of people in my immediate professional circle were forced to have new work habits while the couple of dozen of us who were used to "regular" remote work watched a variety of small scale train wrecks as people realized they had to do meetings differently, be more flexible about scheduling, etc.

Good points:

* It's more inclusive, for sure. Everyone has to use Slack/Teams/whatever to interact, so you don't feel like everyone in the room is ignoring the remote guy inside the little box on the table.

* If you have a home office, it is _way_ more comfortable than anything else you might usually have at a "regular" office. For instance, you get a door you can close instead of open space insanity.

* If your kids are still in school (and not sent home because of COVID) you get to pick them up (that's my daily outdoor exercise).

* You are no longer taking hours (sometimes days) travelling to the office, customers and whatnot.

Bad points:

* More, shorter meetings that completely destroy focus time. I've taken to block out 2h a day at least where I will simply not take calls or even reply to chats in order to get stuff done.

* Longer working hours (which I also completely blame on the pandemic--it's become much worse this year).

* Your life feels more "crammed in". Part of it is due to the insane work schedules, but confinement means shopping and chores (like doing the dishes, cooking or laundry) have to be done _somewhen_, often into the night time.

* You may be physically around your kids, but most often so busy or exhausted that it takes extra effort to devote the required level of focus and attention you absolutely _have_ to give them in these trying times.

On the whole, though, I still don't want to go back to an office.

Yes, it's harder to create new relationships, to learn a new org, etc. But even when things get back to "normal" (if ever), I don't think I'd be able to deal with going to an office more than once a week, because the benefits will then far outweigh the downsides (at least for me).
Our images are 35GB, and I've spent much of the last two weeks breaking up files so we don't hit the 8GB per file limit, and my next week will be trying to avoid hitting the per-layer limit.
To some people, soldering isn't a big deal.

To others, having to do a full drive reformat may be as intimidating as using a soldering iron.

Contrast to the second point, where non-autonomous quadrocopters are emphatically not "drones". Unless you consider the IMU and feedback loops that keep it level "autonomous", since it is technically some degree of autonomy...

Anyway, I'd be a little more specific and say something is "bricked" when it cannot be repaired with the speaker's skill level or equipment.

Ultimate bricking would be frying an IC with e.g. heat or ESD. Good luck removing those few hundred atoms shorting something inside.
I think that what isn't discussed enough is the variance in quality of your office environment and of your home office and how that quality affects your preferences about working from home. It sounds quite obvious but in these arguments people often just state what they personally like and leave it at that.

Your office can be place where you still have the option to work uninterrupted but also get the benefits of face-to-face interaction, casual exposure to work ideas, better meetings, having all the equipment you need, separating work and personal life. Or it can be a hell where you hate every second and can't get anything done. Your commute can be a 15-minute walk or it can be a couple of hours of driving - vastly different experiences.

Your home office can mean working on a laptop at a tiny desk in a small bedroom in shared accommodation with loud housemates; or it can be a great setup in a separate room in your own flat/house. Again, those are completely different experiences.

I suspect that a lot of people talk about how much they like remote because they happened to be on the bad end of the office-quality scale and the good end of the home-quality scale. And when your work circle is made up people who also worked in the same bad office environment, it's easy to say something like "no one I know wants to go back to the office".

Personally, I've had a great office with a short commute in the past, and my home office situation is quite poor right now. So I'm looking forward to working from an office in the future.
Could consider moving to a cheaper country for a few years if you're in the EU, 200k could buy you a very big house in eastern europe
I can relate to this. In hindsight the time apart was actually a net-positive for our relationship, even though we didn’t see it like that at the time.
First steps toward only including music where the copyright holder approves of streaming.
That requires an internet connection and opens a page in your browser.
If you're taking feature requests, I have one for you:

Let me filter the alerts. For example, I want an alert every time "foo" (a topic) comes up on social media. However, some fool just named their startup "foo", and now all searches for "foo" the topic are polluted with material about "foo" the startup.

So maybe let me set up alerts for "foo -finance -money -banks" because the topic is about gardening and the startup is in the financial services sector.
Were you work has tons of explosives currently on fire and... you call the fire brigade and film? I seriously doubt just how many if anyone actually at the port day to day knew it was there.
Did you just divide by zero?
Yes. This seems to be a very divisive issue, others prefer working from home, others prefer the office. Some are downright miserable in their home offices. I'm guessing some were also miserable at their work offices but didn't have a choice.

If this involuntary experiment has taught us anything, it's that people are very different in their preference. Hopefully people will be allowed a choice when the situation is over.

It's worth noting that a lot of people don't miss the office as much as they miss the social interaction with their co-workers. If a part of the people will return to the office and others prefer to stay home, the social interaction won't be there as it used to and there is a risk of splitting into two camps.

My company has said that WFH will be available to everyone once offices open again. I am very grateful for that.

I miss my coworkers too, but mostly the lunches and after work beers and coffee breaks. What I do not miss is the daily commute and actually trying to get work done in a distracting office environment.
I know two people who work or recently used to work at Suse and they liked it quite a bit.
Podman is really a nice piece of software, we are using it successfully on debinan 10.
It means that you don't have to use 'mb-1--success-large' and things like that, but if @chrismorgan's point is that they've just swapped that for meanings encoded in element names rather than class names (in many cases not the usual meaning) then I think I agree.
The more time they spend potentially unlocking the ability to write new code, though.

And faster code in existing places can unlock new business opportunities which can unlock more money.
Yeah that's my experience. We miss certain aspects of it like beer after work etc, but no way does that outweigh how bad the office was in other ways. The pointless commute, the constant distraction, the shared facilities etc. A win-win is rare in life; most things come with tradeoffs. This is no different.
It tends to also be in the opposite direction, big expensive enterprise software is supported on redhat forever and ever. And the issue isn’t just security updates, but full software and hardware support for the same stack for many years.

Lots of people don’t want to recreate their stack every few years for the latest cool thing.
did you notice the unique alphanumeric id on every piece of paper money?

the banks registers it and turns out the vast majority of money does only "one cycle" ie. from the bank to a (known) consumer/customer, to a shop/cashier and then back to the bank. so "they" already know were you spent it.
You can never be non-unique because of your actions.
To stay in the analogy of tracks: it really doesn't matter how your Tires look, the direction of the tracks make you unique.
That's the same reason why Tor is not secure.
But you can make it harder by cutting your tracks in smaller pieces.
Not to assume anything, but you might need to discuss this with your SO rather than HN. I’m not saying that to be snarky but really, without communication you’ll end up not understanding each other. She may be dealing with stresses of her own, triggering overly controlling behaviour.
Wow, this is so cool!

My girlfriend is a cardiac surgeon and tinkers with 3D models & printing. She has a baby project - a library of anatomical heart models, depicting various defects. https://3dhearter.com/
I never understand why browsers expose APIs to read the state of a canvas and WebGL results, or color depth of the screen. How often are they used for anything other than fingerprinting?

Note: at least for my profile, those are the only things that truly seem to give significant data. Everything else is in the 1 in 2-300 range, just by using FF on Android with uBlock.
You may have a boundary and respect problem there. Working from home just uncovered it and it may be a good idea to solve it.
Is there any vendor that sell pre-build arm neoverse right now? I only found thunderx2 arm servers, but can't seem to find any arm neoverse server sold anywhere. Thunderx3 is using neoverse architecture, but I can't find it sold anywhere right now.
Lots of folks recommending kaniko, which we use. But it seems quite slow compared to docker build. Is this not an issue for others?
They're not feral cats, they're stray cats.

I found them pretty cute when I watched the video. (Recommend it for those who haven't seen it: https://www.youtube.com/watch?v=PpG0z-npFIY)
Maybe because of tradition?
I agree that "No class names" may me interpreted as "you're not allowed to use classes" but the main idea is to have a CSS file that is very loosely coupled with your HTML that you can just drop in your project and style it quickly. You can add classes at any time. "No class names" may be correctly interpreted as "loosely coupled". I don't think it doesn't portray them in a good light.
Swiss phone numbers require ID/residency, including VoIP. Several VoIP sites state "The customer can either apply for a new number with the desired prefix or transfer an existing telephone number. Swiss telephone numbers are reserved exclusively for users with verifiable domicile in Switzerland."

It is extremely hostile, yes.