skysight-inc/HackerNews huggingface dataset:
>It is unfortunate coincidence, but Haskell sum types don't correspond to sums of spaces.

Since types on computers are discrete, it makes more sense to name them according to the fact that if |x| is the number of values that a variable of type x can take on, |x+y|=|x|+|y| and |x*y|=|x|*|y|.
> WFH seniors have reduced ability to mentor their juniors

Why is that?

I find screen-share mentoring on dev stuff that more fruitful I stuck to that even when forced back into office. Less covid, less other awkward closeness, better for ears and eyes :)
(Admitted, only non-computer-work mentoring is different).
>From talking to friends, I feel this is a very controversial opinion to have and I don't really get why.

For a lot of people, certainly in my case, the benefits of remote far outweigh the benefits of in person. At least in the US public transportation is either nonexistent or so bad it's not even worth using which means we have long commutes. Hours a day in some cases so moving to remote work immediately frees up dozens of hours of free time per month. Lots of folks in IT have ASD or something close to it and noisy chaotic offices make it impossible to do focused work.

In any case there are certainly plenty of Companies that are back to fully in person so why not just work for one of those? No one is forcing you to stay remote if you don't want it.
Those dates were typos and have been fixed. Discmaster launched on Oct 18th.
Pipe: Infix Syntax for Python
Ah ok, thanks. I didn’t think of “home” being a possible principle work location, but of course it is.
> remarkably condescending

I suspect there are two big difference between OP and many of the readers here.

At least for sure, Berlin vs most major US cities is night and day different in terms of commute and enjoyment opportunity. Berlin is a fun city full of things to do, places to eat, and clubs. Plus it's all accessible without a car.

Meanwhile, in the US, it's usually a very different story. Doing something after work often involves a much greater time cost, thereby reducing the likelihood that someone will partake of the opportunity. So office work is more likely just office work with no after-work fun.

Just like most people in the US have no clue what life is like in the big EU cities, most Europeans have no idea how different US life is. I've lived both, and I can say without question that it's easier to have a fun office+after-office experience in a city like Amsterdam or Berlin (or London probably) than Denver, Dallas, or most other big US cities.

OP likely doesn't factor this in and comes to the naive conclusion that it must mean we don't like talking to people.
That's because such tools do not exist. If they ever choose to make some, they would certainly be very public about it.
Which provide a meal in the midst of the day, while its custom to eat in the cooler evenings. Concept failed. Sorry, my uncle tried to convince people of that in africa. Also watched those funny conflicts between nomads and farmers..
This should be required reading for this article:

https://profmattstrassler.com/2022/09/09/protons-and-charm-q...

Virtual particles do not necessarily have an invariant mass. That's why you can find examples of typically huge particles inside protons. That's why a beta decay of a neutron can involve the production of a virtual W- boson that has an invariant mass that's 86 times more massive than the neutron.
You can always try 1) IUI (basically a series of options to help your wife getting pregnant with your sperm) and 2) adopt kid.

Please discuss with your wife and work out a solution. Does she want a kid?
As easy as pricing should be. Nailed it.

Best of luck!
For what it is worth, I agree with you. If I were younger and single, I would be dying right now. Begging to go back to the office, most likely. Switching jobs to Nike, if I could, since they are back in the office part time at least. I never could handle so much alone time in my own house, it drove me stir crazy. I need humans, I've always had coworkers I enjoyed being around, I loved going out for beers afterward with current & former coworkers & friends. The pandemic killed all of that, and (at least in my area) it probably isn't coming back, at least not soon.

The only way I survive remote work is because I now have a family. Wife, two kids, dog, couple cats. Plenty of stuff always needing to be done around the house, I can always find something to occupy me. There is always someone to talk to if I want to (the kids go to school, but my wife works from home too).

So I feel your pain. And I think there are more of us than you think, we are just not particularly outspoken. It's just not cool to have such thoughts these days, as you have noted.
Ask HN: What book should we read next for our DevSecOps book club?
I recently started running a DevSecOps book club. We're just finishing our first book (Alice and Bob Learn Application Security) and are looking for our next one.

Some background: pretty much everyone in the group is a software engineer that wants to get better at application security.

Have any good suggestions?
My biggest frustration with the WFH discussion has been that the vast majority of people say that the #1 (and sometimes only) reason they prefer WFH is to save time on the commute. But this has not led to any discussions on how we can actually improve the commute, improve housing policy so people can live closer to work, etc.

Instead, people have simply decided that theh will WFH instead, an option which isn’t available to the majority of workers, who are generally not as privileged as the people who can WFH.

The next step will be all the WFH people who are almost certainly significantly higher earners complaining about having to pay taxes towards improving commutes and public transit which they don’t even use, so gradually public transit will get worse and/or more expensive at the turnstile, making life even worse for the largely underprivileged who don’t have the option to WFH.

The push for WFH has been approached entirely from an individual perspective, which will result in further separation between the privileged and the rest, a further rise in inequality, a further increase in social disunity and a further destruction in community.

It didn’t have to be this way. We could have approached WFH in a much more community oriented way, having people WFH but simultaneously investing in making the lives of those who don’t/cannot WFH easier as well, through investing in better public transport, etc.
This isn't about just using cryptocurrency, there are absolutely uses of cryptocurrency which I wouldn't describe as a scam. Here's what's making me call Brave a scam: https://news.ycombinator.com/item?id=33262620
After Uvalde, Texas Public Schools Send Home DNA Kits for Kids
Your own cite is to a productivity report from a single quarter, when the WFH wave is in its 11th quarter now.

This feels like Wikipedia-lawyer disingenuous citation dueling. Nothing in this thread (or wider discussion writ large) is truly data driven in any scientific sense. Everyone is arguing their subjective view here, the only question is your self-awareness about it.
heh yeah the fear of not being able to provide for my kids and family keep me from getting "burned out".
The Telefunken RA 770 Analog Computer
Cookie banner compromise idea: This site is known to the state of California to cause cancer.
Taking care of a child takes up your time, it's a job.

Most babies spend a lot of time sleeping so you can probably get some work done, but if your child needs you you are going to have to drop what you're doing.

There is no problem if you are honest about this and your employer accepts it, but just as somebody can hold multiple jobs and not come clean about it, it seems like a parent could also dissemble about it.
they need to go the binja route and just give away a minimal version for free, stopped of the fancy features and scripting. we use binja at work, which means a dozen enterprise licenses, because binja was easily usable legally for free.
we all love ida, but licensing is a pita with them. so we never bothered.
Didn't that end up having the opposite effect where people were stuck with their partners all day and no longer wanted to have sex?
I'm a WFH guy. All the stuff you talked about for yourself is valuable, it's valuable for me too! It's just not worth the trade offs.

The stuff you said for WFH people is largely a bad take.

I'm doing some volunteer work at my kid's school which would be a major hassle if working at the office. Her teacher said most years she gets 3, maybe 4 volunteers signing up. This year she got 14.
Semiconductors alone aren't even remotely enough. We have enough supply to wait out and build out other semiconductor fabs, to go to WW3 just over TSMC.
I wonder what percentage was fueled by a dual income household being forced to single income and realizing that they could handle it well enough - and the non-working spouse deciding to not bother returning to the workforce?
And relevantly, people were clamoring for a non-LLVM AArch64 backend due to how slow LLVM is at codegen by comparison...
Smart Cards?

Full C is also not available everywhere, specially 8 bit and 16 bit computers where it is mostly a pseudo macro assembler.
Ask HN: Why not require apps using up a lot of CPU to provide a reason to user?
For example, if a podcasts app is using up a lot of CPU and it normally doesn't do so, should you quit it?

If apps are required to provide a reason for using high level of CPU for an extended period of time, then this would help the user decide whether to quit the app.
Libertarians were never pacifists as much as they were naively selfish, after all conservative economic policies were always about more for me, less for everyone else. This led to inequality and the rise of an oligarchy, the same one that's now beating the battle drums, destroying our democratic institutions, promoting political extremism and anti-intellectualism.

It's funny because totalitarianism will be the most probably outcome of this, and most libertarians still haven't realized that the authoritarians they keep electing will get them as well.
I had a professor that was fond of saying "the proton is a garbage can" when talking about its composition.
Look up various stages of 'worker' - "eager beaver" is the young one, and if you're older, you may be bit disillusioned and will not work 70hr week days any more but that is valuable to the company as you know which parts of the work are bs and which are important. So try to add value in a way that matched your current experience level,
Mandatory vaccination has been in place for a long time, and nobody complained - not least because they understood it was for their own benefit, if not for the greater good.

The question arises, why was Covid vaccination such a problem for a significant vocal minority? You mention 'do no harm', but I really don't think that is the root of it.
That sort of code is a bit tricky though.

Since the fault code paths (hopefully) are very rarely executed, the error messages are easy to overlook, and tend to rapidly become stale. This is to an extent always a problem with error messages, but it's an ever bigger problem when you have half a dozen error messages depending on various parameters, since they create more and even more rare code paths for staleness to hide in.
Besides all other replies, C++.
> It's fine if you like kids and didn't have actual plans to have fun in your 30s or 40s, but people with exciting lives will lose a lot if they suddenly have to dedicate almost all of their free time for 5 years to their offspring.

The audacity, unbelievable. So I guess I'll stop having fun now go back to my boring life?
I suggest removing the heart-rate functionality from your watch. It appears to be crystallizing your perception of your anxiety.

It sounds like a classic midlife crisis. The good news is, we don't have to do all those things our families and cultures conditioned us to strive for. We can be happy without all of that.
After 80 years, a Nazi shipwreck is causing environmental damage
I wasn’t sure how to do pdf annotations, so that’s pretty handy
So impossible that both I and my neighbour of similar age got pregnant within a couple of months of trying at 40...must be something in the water here.
Or maybe we are just healthy and have good hormonal status ;-)
That’s correct. The open issue is here: https://github.com/tailscale/tailscale/issues/1572
It's been said, "Use it, or lose it" [0]

It's also been said, "You have to know it to write it or teach it" [1]

If you're not staying in the material between classes, you'll have to "relearn" at least parts of it

I got great grades in financial accounting 2+ decades ago

Doesn't mean I can do financial accounting today (heck! Probably couldn't "do" it even a semester later)

I did fantastically in an intro to COBOL class in 2000. Haven't so much as glanced as COBOL since (to the best of my knowledge)

You'd got to keep using what you learn, or it goes stale/disappears

Your memory's a muscle [2] - you've got to give it a workout, or it will atrophy [3]

--------

[0] https://www.flintrehab.com/use-it-or-lose-it etc

[1] https://www.electronicdesign.com/technologies/dsps/article/2...

[2] https://www.dummies.com/article/body-mind-spirit/physical-he...

[3] http://www.ucanlearn.net/?page_id=129
Excellent take that isn’t being mentioned
Structure editor sometimes bugs out and removes all items from the view, together with comments that serve as help text. The window is completely empty.

Also this Python detection tool that needs to be executed prior the first run didn't support python 3.10 at some point -- they've did version detection based on the filename that detected 3.10 as 3.1 (windows9-style version detection). Not sure what's the case with recent IDA versions, because I'm using Ghidra since a long time now.

But overall I agree, I would never suggest IDA when being asked about an example of a buggy software.
Not the documentary but:

https://en.wikipedia.org/wiki/Star_shaft

And related: https://en.wikipedia.org/wiki/Orion_correlation_theory
> I always saw tech as the field where a disproportionally large amount of people truly love what they do

That used to be true, before smartphones arrived and before DevOps became a thing.

Now it is what it is - a lot of (mediocre or worse) people working on something they don't particularly like, in order to get by. And that's ok.

The romantic days of IT are over, there are no more heated discussions and geeky hobbies we all used to love.

I thought working from home would be great. But after I did it for 12 months, I became sick of it. What I think now is that hybrid model works for me - I can go to the office when I want to, but if it's raining outside or I feel really bad - I can stay and WFH.

For some people, full remote works. For some - full on premises works. For some - hybrid is good.

I guess this falls into de gustibus non disputandum est category, but my unpopular opinion is that IT is full of impostors and that a huge number of impostors uses work from home as incompetence disguise - because it's so easy to hide incompetence while you're away from anyone who can spot you.
This one is easy. No kids? Hey at least you won't have to watch them be vaporized in WW3.
Deploying Brave at a company?

That defaults to Crypto ads, Crypto "sponsored backrounds", Crypto wallet, Brave news

instead of Firefox (that many orgs already have in sccm/intune) + ublock origin ? bruh
Because you can't introduce new technology without testing. Most people just took the vaccine on faith. In fact I'd say the faith in the vaccine was higher than any faith I have seen in my life.
Wifi is improving now. Newer standards like Wifi 6 are doing that basically by taking the good ideas from LTE (4G) and applying them to Wifi. The cellular radio community has been much better about evolving standards, coming up with new technology and rolling it out. Maybe they have it easier because everyone gets a new phone every two years, but they've still had fairly good backwards compatibility support.

Multiple Access - this is the general term for 'multiple devices on the same spectrum'. Cellular divides up the spectrum into frequency bands (Frequency division multiplexing) and time slots in those bands (time division multiplexing). The base station then assigns each device a slot in a band (or potentially several), it also provides the time reference for this scheduling. This makes efficient use of your available spectrum and nothing interferes with or talks over anything else.

Wifi gets none of this. There's no base station planning so two access points can interfere with each other. There's no FDMA (access point runs on one channel of one band), and no TDMA. There's no uplink channel and downlink channel separation. Instead it's "Carrier sense with collision detection". Basically "try not to transmit at the same time as someone else, and if you do come back and try again later". This results in nodes competing, talking over each other, interfering (see "hidden node problem") etc. and makes inefficient use of the spectrum. The problem gets worse as the traffic gets busier. Wifi 6 is bringing in some actual scheduling.

Modulation schemes (the fundamental way that you transmit bits on a radio) - cellular modulation schemes are now incredibly efficient and robust. They use a variety of techniques that allow scaling based on channel conditions so that you can get as close as possible to whatever Shannon currently says you're allows. A lot of wifi uses old-school spread spectrum, and newer standards use OFDM which is a bit better. Wifi 6 is finally moving to the Quadrature Amplitude Modulation stuff that LTE uses.
So far doesn't look like it unless you go the MDM route, which I guess is aimed mainly at enterprise users.

https://github.com/tailscale/tailscale/issues/5431
What you described isn't "because of semiconductor industry". That's a wild oversimplification.

Taiwan is an American ally for reasons other than the semiconductor industry.
"Work to live." not "Live to work."
work trying to compensate life is insane. I don't want to spend all my time there and have dinner with you guys, no offense.

In the end, they will fire you if their numbers don't align in your favor, but hey, they fed you.
I think it's a good idea.

I'd really like to see applications have to provide a reason for any case where the UI freezes up, or when an application makes you wait. Sometimes you have no idea if you are waiting on a process that will complete or not complete and have no idea if you have to wait 5 sec or 5 hours.
Americans Are Drinking Less
As a big supporter of a WFH choice (and have myself for ~10 years):

> Mass WFH started in 2020 - I don't think you can link a Q2 2022 productivity decrease to WFH, considering the previous quarter will have had even more WFH. In fact, it's easier to link it to the return to the office.

I would honestly be impressed if a initial WFH productivity decline wasn't found. A lot of people were not prepared for WFH. They didn't have the home to accommodate it. I expect some decline for anyone who was not prepared.

I purposefully bought a home with 2 extra bedrooms just for offices because i've always enjoyed a dedicated office setup. So it's quite natural for me to WFH. However this is clearly a luxury and not what many people have. Closing the door to distractions is huge, to me at least.
Ironic as yesterday we had a screaming argument over mishbeaving kids, dividing up the care work, discipline and general stress/tiredness and unhappiness.
Very interesting! I had a look at your "RFC 001: Core Architecture" but one question remains. You mentioned "git as the backend". As far as I understand, you don't use the word "backend" in the classic frontend <=> backend sense. Instead, you mean that Git is being used as a software repository and as a content database. Is that correct or am I missing something?

I'm already sold on the idea of using Git as a database for content and localization. But I'm obviously biased as we are working on a similar solutation ;) It is called FrontAid and it is a CMS that stores your (localized) content in a JSON file within your own repo. More information can be found at https://frontaid.io/

Using Git for content has some great benefits. Like complete version history, easy reverts (for devs at least), (feature) branch support, Git hooks, ... And of course, you own your content at all times.

PS: Both the "Editor" and "VS-Code-Extension" links in your repo are broken.
ooof, ghidra is great because it is free and works, but I wouldn't call it better. I'd still choose ida or binja over ghidra for work. IDC about license cost, I care about ease of use, and binja wins on ease of use for me (and. alot of people I talk to)
The Office 365 backend uses git to store snapshots of documents. [1]

https://github.com/microsoft/FluidFramework/tree/main/server...
> my experiences (and accounts of friends as well) suggests that attachment to a child is less biological and more developed than you'd expect

We found this too, and my wife felt validated by this article she found recently:

https://www.theguardian.com/books/2022/oct/10/the-big-idea-w...
>Sometimes when I write notes, just the action of writing them helps burn it into my memory a little

I second this, but want to add that physically writing does more than digitally writing (typing, voice memos, etc)

I also have a personal digital archive that I maintain of most of my public interactions online so that I can rapidly find things I said/saw before when they become appropriate again
They do have a free version of IDA, the problem is most people who use it want the decompiler these days and that costs big.

Looks like they've actually added the "cloud-based x64 decompiler" to the free offering now, so maybe if you're not working with 32-bit code and not working with anything too sensitive that could be of use.
>but you can disable it and move on.

YOU and I can.

For an organization it has to be GPO mass disabled.

Does Brave support GPO in AD/Admin templates in intune?
Stumbling from one terrible solution to another. A few years later Brave will be the black sheep and shinynewvendor the benevolent knight...

There are other, much cleaner ways to ignore ads... that would satisfy both sides. Client doesn't have to see it, advertiser has the illusion that it was watched. Everyone profits, just like in the old days with TV ads. Yet people fight over this lame manifest fiasco :DDD.
This should be unsurprising in a well functioning (i.e. meritocratic) hierarchy. Power laws indicate that the differences in the top percentile can be huge, and as such one would expect these large differences in ability to be reasonably easy to recognise and promote.

If this does become surprising, then the social system has become dysfunctional and needs some serious adjustment, as it likely no longer serves its purpose.
I am not sure I would call an article that praises Facebook controlled media access woke. However every reminder that Mozilla considers Facebook a decent business partner is a reminder that they are still a corporation and where your privacy and rights end at the convenience of the CEOs paycheck.
Regular joe seems to be donating the typical residential units on residential plans. My understanding is that the military set up is different, especially in terms of support/priority.
"Being a CEO is a lot harder than I realized"

What's so hard about it?
I've used it mostly to measure events per second with something like:

tail -f /some/log | grep something | pv -lr > /dev/null
or
tcpdump expression | pv -lr > /dev/null