skysight-inc/HackerNews huggingface dataset:
It's curious to me that so many companies have so many low value employees that if a ton of them quit then that is good for the company.

It's not unbelievable - I've worked at a few mediocre places before - but what a strange world we live in.
I see what you mean, but it’s not that simple. Sure, the government of a country issues a patent, but that patent is enforced by the WTO, not by the individual country.

Sure, an individual country can decide to break that patent, but if they do that they’re punished by the WTO. And large pharmaceutical companies have a large influence on the WTO through lobbying, and the revolving door from public and private executive positions in rich countries in Europe and the US.

So it’s not like these companies aren’t culpable either.

One more thing, you say that no one would develop drugs without some kind of very large incentive.

The incentive to governments is making sure their citizens don’t die. Even ignoring the ethical side of it, you can’t tax a dead person, so it’s in the governments best interest to develop drugs, and charge as little as possible for them for its own citizens.
How much do you love playing cup-and-ball?

I think that is your answer.
On Arch this stuff is easy. I use GDM as the login manager and launch pretty much whatever DE I like from there at login time. I use nix too, though rootlessly with nix-portable.
To be frank thus sounds like a replay of purity idealism about shielding kids from anything even remotely connected to sex. Not being capable of manipulation or exploitation or dealing with them would be rightfully classified as a severe social disability.
Same here. It's simple math for me, really - even if your pitch is compelling and well-targeted to me somehow, it is highly unlikely that your offer and commission overhead are going to be better than something I can seek out myself.
Sigh... No, Mozilla, this is not what we wanted. We already have 500 sidebar tab extensions. We wanted horizontal tab groupings. It's not that unreasonable. I've been following this issue for 3 years now and this is what they cough out? I'm over it. I'm moving on. So frustrating.
The title is a jab at and a response to "Linear Algebra Done Right" (https://linear.axler.net) by Sheldon Axler.

Sheldon's book is more suitable for a second course in linear algebra. It's an excellent book, that my more advanced students have enjoyed.

Sheldon, however, approaches the subject with some rigid dogma: Determinants are evil. His view is they're not practical to compute at scale. It can be good to learn theory with one's determinant hand tied behind one's back, just as it can be good to learn "constructive" mathematics, but this should not be one's only approach.

I used to attend an academic sponsor's day at the math institute MSRI (now SLMath). Afternoons reached to keep us busy. One year Sheldon's wife demonstrated some academic teaching software, and my group was tasked to solve a linear algebra problem that Sheldon had provided. Unaware that everyone was watching us on the big screen, I solved it instantly, using determinants. I still don't understand Sheldon's longer solution.
The thing is they types of physicians that become leaders at hospitals aren't the same ones who are in it "for the medicine". They're essentially MBA types with a medical degree. Many of them are largely removed from day-to-day medicine.

I don't really mean this as a dig at them either. It's just the way of business. High level leadership takes a certain type of person to survive and thrive. This tends to be people who want to optimize the value of every hour they spend working.
>One was a proprietary cable for a tv

My dad's tv is like that, the weird proprietary cable that connects the external control box to the actual screen, except the cable is literally not for sale and even the connectors aren't available if you wanted to try and make your own. They have to baby the existing one and hope it doesn't completely break.
True but if AWS knows your lock-in is less locked-in, I'd bet they'd more flexible when contracts are up for renewal. I mean it's possible the blog post's primary purpose was a shot across bow to their AWS account manager.
Sellafield apologises after guilty plea over string of cybersecurity failings
Quote:
"Apparently bribes. Yes, bribes! It turns out that early Wiz investor and current Wiz board member Gili Raanan, head of Israeli VC Cyberstarts, has been accused of paying bribes to major CISOs for buying software from their portfolio companies like Wiz. The bribes came in ..."
It can join this one: https://pubmed.ncbi.nlm.nih.gov/26439832/

The obvious major caveat is that mice are not people, and that mouse models of what someone thinks are Alzheimer’s-like diseases are not people with Alzheimer’s.
1) You could train a different language model to translate between Lean and English. Use AlphaProof to do the hard work of theorem proving; use the translation model for interpretability and as a user interface. In fact, such a system could be ideal for formalizing a hundred years of English-language proofs.

2) This model is already specialized for math; applying it to other domains is out of scope. And as you point out, speaking Lean (and thus being verifiable) gives you an RL reward signal that's way more precise and readily available than piddly RLHF from human reviewers. Gyms like this are where AGI will happen.

(P.S. if anyone wants to work with me on reproducing AlphaProof, hit me up on Discord.)
There is no entitlement in any country/state/province I've ever worked. You can quit at any time and your employer can fire you at any time - no reason needed either way

https://www.ncsl.org/labor-and-employment/at-will-employment...
In my circles it's Gen xer's coming into an unsettling acceptance of the type of conservative you become in your late 40's/early 50's where you've seen radicalism just not work like we were promised in our post-punk grunge teens.

We still want to promote a better world but we're a bit cynical that it's possible without completely destroying what we have and then leaving the pieces for the extreme left/right to conquer. What to do, says the slacker generation?
From TFA: The proposed class action suit lists Intel, CEO Pat Gelsinger, and CFO David Zinsner as the respondents.

The actual settlement is all but certainly covered under D&O liability coverage. That's directors and officers insurance, a major line of corporate insurance products.

<https://en.wikipedia.org/wiki/Directors_and_officers_liabili...>

<https://www.thehartford.com/management-liability-insurance/d...>

From the latter link:

Directors and officers are sued for a variety of reasons related to their company roles, including: Breach of fiduciary duty resulting in financial losses or bankruptcy, Misrepresentation of company assets, Misuse of company funds, Fraud, Failure to comply with workplace laws, Theft of intellectual property and poaching of competitor’s customers, [and] Lack of corporate governance.

Several of those conditions are directly applicable to this lawsuit.
Right in the middle of a retiring of a big external platform and moving it over, slice by slice into separate company owned products and APIs (and a few off the shelf things mixed in too!)

I think there’s plenty of sensible advice about getting a technical person with experience and expertise to help make the right decision. Between doing it yourself, building a platform with various tools stitched together to finding ways of getting what you need from existing suppliers and other tooling.

Something I would also suggest is to be really clear right now on how you currently work, how your existing platform works and the problems it’s causing or at least the opportunities you feel you’re missing out on.

To do this suggest getting a “discovery” team together and doing some service design and analysis to map out your user flows, business and tech. The as-is. and laying against that all the pain points and missed opportunities.

Then using the same team to help you craft how it should work. The to-be vision.

Then using that to-be vision and the insight and expertise you’ve developed to help you decide how best to get to that to-be vision. As cheaply and sustainably as possible.

Part of the organisation I’m helping out. There’s a vast difference between the parts where that discovery work was done (and done with clear purpose) and the bits that haven’t been done. And the endless delay and struggle they’ve had.
People at age 12, maybe even age 10, are ready to use the internet.

This might be an unpopular take, but I remember being that age and having to jump through so many hoops to access the sites I wanted to access, and I swore to myself I would defend children's right to exist online. I'm 35 now. My opinion hasn't changed.

The regulations ask websites not to target advertising to children. Websites don't like that because advertising is their main means of profiting or breaking even, so they try to pull their site offline for minors, and limit their ability to communicate with others. COPPA doesn't require that you limit the ability for minors to communicate with others, but websites err on the side of caution because of the very real threat of pedophiles.

Children age 12-ish are bored out of their minds, and a lot of them are really smart and would contribute to the internet in a positive way. See the story of Aaron Swartz. He contributed so much to open software before he was even 16.
Show HN: I Made a Dotted Maps Generator
> Different people have different needs, so it is useful to distinguish between the two.

I agree entirely. I don't use the bookmark facilities in the browser at all, because I prefer using separate a bookmark server that I run. That way my bookmarks are available from any machine using any browser that happens to be available.

But I do use tabs. Not to the extent that they need management, though -- I rarely have more than two or three going at a time[1]. Combining bookmarks and tabs implies the addition of complexity that wouldn't benefit me, so I'd prefer not to have it.

[1] If I'm doing something where I need to have many sites open at a time, meaning research, I prefer to have multiple browser instances to organize things, because then I can have multiple pages visible simultaneously and can use the DE to organize things at a higher level.
Kinda strange too as having senior folks in contact with non-seniors regularly I would think is sorta a positive of in office work.

This system kinda blows that apart.
Both of your claims are not true.

First, it's not true.that nutritional value is never optimized. See golden rice.

Second, it's not true that nutritional value is the only thing that matters. The most nutritious crop imagineable is useless if you cannot grow, store, or transport it.
Edit: See comment below; The RP2350 can be powered by a 5V supply.
This feels like a question that would really benefit from talking to some musicians, instead of basing your framing on biopics and data. Some musicians are in it to be rich and famous, and become computer programmers when riches and fame leave the picture, but most of them are musicians because they like writing and playing music more than anything else. I'd bet that Of Monsters and Men is perfectly happy to make an okay living off of their remaining fanbase, because they still get to tour and make new albums. They might be even happier about it if they could get a second hit, but there are so many musicians who have never had a breakthrough hit, who make a happy living opening for other bands, meager royalties, Patreons, etc. Basically, this post assumes a causal link between chart success and life satisfaction that probably doesn't exist.
The problem, in this case, is that there’s a group of people intentionally mispronouncing the second black (de facto) nominee’s name, and that this is precisely the same group that, again intentionally, mispronounced the only first black nominee’s name… in this case said group also backs the candidate that both intentionally mispronounced both names and also implied both nominees were illegitimate because of their “exotic” names.

The correct pronunciation of both names is, and always was, trivial to a native-English speaker. Both candidates repeat their names a lot and so everyone could eliminate whatever confusion they initially have by going, again trivially, to the primary source.

I’m happy for everyone to be interested in the ways that the written name could be pronounced, but the answer to the question “why [is it] so hard to pronounce Kamala” is “it isn’t, unless you want it to be”.

BTW, I never said you were a Trump supporter, I merely pointed out that Trump supporters are the main occupants of the Venn diagram overlap between native English speakers and people who continue to experience trouble pronouncing her name once they’ve heard it correctly pronounced once.
Big tech holds impersonal performance/promotion calibration meetings where written track records are debated, so this work goes unmeasured.
> If you can't do those things you will forever be dependent on others to take care of you

Well that is kind of my point. Society, including you and me, has failed these people on so many levels that they lack the most basic ability to function within said society.

We can ostracize these people, or we can sympathize with them, take care of them and dismantle this classist service-based economy in favor of one that is more humanistic and kind and provides for as many people as possible.

Of course, that isn't going to happen because people need their big macs and coffees.
Even if that is true, the actual you is just as assuredly dead.
Microsoft’s File Deduplication works really well. But I think they only enable it in Windows Server because it would truly cut PC profits in half if people didn’t run out of storage all the time.
I use this and love it. One of the most useful adons. Really helps me to differentiate work mode form non work mode. I do wish it was built in because it appears to do it a hacky way by using bookmarks. Which is fine, because you can think of these tabs like temporary bookmarks.

Usually how I do it is at my office desk I have a second monitor I hook my laptop up to. So I open a new window, let that be the group, and then I use my mac for the terminal and my ipad sits to the side with spotify and any chat apps, out of the way and easy to dismiss.

What's extra satisfying is I'm a tab hoarder. But you finish a project and get to see all those tabs go away.
The work they're talking about in that sentence[0] launched ~2 months before Let's Encrypt was publicly announced, and almost a year before Let's Encrypt signed their first certificate.

So no, this was a separate effort.

[0] https://blog.cloudflare.com/introducing-universal-ssl#:~:tex...
> It depends. In the end EDIFACT is just a protocol. If you go the Java route Smooks, for example, has pretty decent support to read/write EDIFACT messages.

You can also do shim servers to translate between protocols - a long time ago, I had to interface with a Rails app (by another team, so I couldn't modify it) with an Emerson (the industrial giant) SOAP API, and what turned out to be effective was a Sinatra shim server that only converted JSON to SOAP. Now I could plug the two together without worry.

So - I'm guessing you could have a Java Smooks applet that translates from a JSON API to the EDIFACT protocol, and then you can write your main app in anything you want.

PS - Seconding the "don't go microservices", even though I'm advocating for one here - IMO, you only want microservices if they can be fully defined, independent products; a JSON/EDIFACT translation service would probably qualify.
Thanks for having 'in model mice' in the header.

Unfortunately mice disease models have not been showing efficacy in humans.
> What does it look like to look through? Do objects appear brighter? I suppose they appear brighter but also smeared out?

Pretty much exactly so:
https://youtu.be/ugkjNPH1J-4
Yes, and also when you hire software developers you want someone who understands that they are running internal tools which is COMPLETELY different from building consumer apps. Simplicity is key. Keep the team small and lean.

Also the build vs buy decision has to be made with every feature. If its not your competitive advantage just buy it. Dont make a new database, just use postgres etc.

There are a different set of developers that can navigate through this than the ones who will reinvent the wheel if they can.
Link to the paper:

https://www.nature.com/articles/s44335-024-00003-3
USB-C doesn't require anything special USB wise as it's decoupled from the versioned standard. It just has more pins and works with all modern cables. Ideally the cables won't wear out like Mini and Micro and get loosey goosey in the ports.
Have you ever picked up a can of paint?
Ask HN: Help with NextJS deployment architecture on AWS
I use pm2, with nginx in front, on a lightsail instance (ubuntu base-image) and manually run commands (clone, migrate, and pm2 restart) every time we merge to a prod branch, with the idea that eventually those commands will run as part of github actions.

The postgres is also on the same instance.

Curious if anyone has any comments on this.

Also a side question if anyone has used coolify for production apps? How was the experience?

I don't want to spend more time than is required maintaining the infra for the webapp.

Can't go with vercel or a hosted PAAS, because we have AWS credits, and don't want to spend unnecessarily.

thanks in advance
I recently fixed a Firefox bug to allow easier tab management in FF extensions.
My hope is that extensions like Tree Style Tab or Sidebery benefit from my improvements. I love them!

Title: Updated openerTabId is not notified via tabs.onUpdated if it is changed by tabs.update()

https://bugzilla.mozilla.org/show_bug.cgi?id=1409262

https://phabricator.services.mozilla.com/D164982#7511767
I can't engage with this now. I'm a big GTD user because of my ADHD, I don't trust myself so I use the GTD system as a big crutch.

I pattern match "Quests" in TFA to "projects" in GTD, and "goals" in TFA to "3-5 horizon + someday/maybe list", I don't have time to give nuanced thought to this, but I'm posting my hot take that this looks like a useful tactical method to help oneself take projects off of your someday/maybe lists and work on them, but does not fully address how to make the time.

Wait, no, it probably does, but I'm already running over my break time so I'm leaving this comment here as an anchor to come back and review after work.
I don't understand this. Sideberry is literally 1:1 feature parity and had existed for 5 years. Whereas this is not the 'tab grouping' that they promised and have been talking about for 3 years. This is a massive disappointment.
Those for whom these odds increase faster are at huge disadvantage whereas those for whom it increases slower are at huge advantage. As you can imagine it is variative.

Of course I should have said "those who can bear healthy children late in their lives".
+1 to this take. I think hiring a CTO at the start might lead to its own distinct challenges, especially if that's not something familiar. Hiring a small excellent team of builders could be an effective solution, especially folks with sufficient experience and very strong communication skills.
In the US can place much of the blame on local governments in progressive cities who refuse to allow more housing to be built.
Your high school and work experience sounds completely different from mine. I grew up in a very rural area. My options outside of school and sports (both not accounting for the whole year for me) were to talk to my friends on the internet, talk to strangers on the internet, consume infinite media from the internet, or isolating myself. I spend a very large portion of my free time either talking to my friends, or talking to strangers and my friends at the same time. I don't think you'll be able to convince me that I would have been better off choosing any other options.

As for work, I have had a hard time leaving jobs, because to me that also means leaving the people I work with. I guess my office life is similar to my high school life in the sense that I actually like(d) the people around me.
>And this is not someone on Amazon gouging. Indeed Samsung themselves want $140.

It's almost understandable if it's a one off part that not many people will buy because it costs money to make extras and keep them stocked, but something like a pitcher, you could imagine that lots of people would like to have multiple of them.
Getting ahead of the "in mice" meme replies, it is nice to see further developments in the search for a cure.
Seems to me that Arc is inspired by Operating Systems in general.

- Workspaces/Desktops with mouse gestures
- Spotlight like Quick Launch
- Alt Tab like Tab switch
- Window management within the browser
- Dedicated area for Media control
- Widgets on mouse hover
Yeah, the latter one is more useful for effective lock-in breaking.
what i don't understand is why do they expect the dead weight to leave as opposed to the top talent leaving, since they have more options?
There are large swaths of the b2b space where (for whatever reason) being in the same cloud is a hard business requirement.
Well, how did it work out?
I'm not sure I buy into this super connected WFH and diversity argument.

Folks working to 8:30 are working to 8:30 from home or work, both are going to hit people of different backgrounds differently depending on their personal situation as much as anything else.
I have limited experience with CUDA but will this help solve the CUDA/CUDNN dependency version nightmare that comes with running various ML libraries like tensorflow or onnx?
Thanks for giving it a try! I just took a look at your prompt and it looks well defined. I'll investigate the generated code and reply back here.
The authors better start thinking about the trademark infringement notice coming their way
They aren’t new players with potential electoral influence, and the old media players are in decline.
In the US at least, young people are a lot more risk averse than previous generations.
The few latest generations of fitbits have a really low record of reliability I guess they still have a lot of things to learn.
Worst case is that you don't know how to run a software team and you end up spinning your wheels for ages and then have to onboard a Dev team and convince them they want to clean up someone elses tech debt. Thus making everything cost 10x what management initially thought.

This is probably the last thing I would suggest.
I was thinking of the original BPF. I didn't realize that eBPF added back branching.
One thing I did not see discussed here which in my experience as an outside consultant for significant bespoke software developments was important:

Yes, you can attract and retain a good core development team through extrinsic benefits like nice salaries, bonusses, company cars etc. even if your business is not considered intrinsically attractive. However, how will the rest of your employees, both workers but also management cope with people in essentially purely production roles potentially be significantly more compensated than your middle management?

I have seen more than one client that in theory could have benefitted from an inhouse team, but where that was the dealbreaking issue.
You’re misunderstanding. LE went GA in April 2016 and Cloudflare is talking about ~2 years prior to that (where they used GlobalSign and Comodo, not LE).
> I've seen verbal aggression

> a low injury rate

Maybe because verbal aggression isn't recorded as an injury?