skysight-inc/HackerNews huggingface dataset:
Hug of Death

https://i.ytimg.com/vi/dqwXjP5Qk6E/hqdefault.jpg
Anything by Dacia. You don't even get a radio as standard equipment. I imagine a 20-year-old Mercedes has more lines of code than a Dacia.
"just [bad] for the economy as a whole"

This seems to assume thay buying wastefull shit you don't need is good for economy? That efficiency and individuals saving money is bad for economy?
Is that really true? If we manage to get a spacecraft get captured by the dwarf planet's gravity and orbit it, would that not be a lot less delta-V compared to if we made the spacecraft achieve the dwarf planet's orbit around the sun just by itself?
I think Prisma requires you to use their client to get the typing benefits, while this package just generates typings.
> I feel this is a statement they would be unlikely to make if they felt the SEC’s investigation was likely to result in retail sell-offs.

I think that's a major misunderstanding of how the statement works. Gamestop think the SEC inquiry won't affect their business - they aren't making any claims about its effect on their stock price. In a normal world, these would be close to equivalent, and you could interpret the statement as "this will not impact us to an extent that is material to our stock price", but that's not OK to do here.
The fix doesn't negate the performance boost. It decreases it. But it's still nonzero boost.
I wonder what CERN going to do next. Which distro will they choose after CentOS 7? Rocky linux, Ubuntu, or go back to Scientific Linux. Lots of HEP softwares have pre-compiled packages for CentOS and Ubuntu. CERN has been pretty quiet in past several months.
I have felt that way before, but it’s better just to quit ASAP. It’s the company that’s making your teammates suffer and their also better off just quitting.
The answer is 1) many people at Amazon like me have inferior intellects and everyone knows it, so it’s harder to get a better job and 2) there are many services that don’t have dozens of sev2s per day because ultimately you do own what you build. It’s a big reason why Lambda is used to heavily internally now - we cut out a class of operational scaling issues out by design.
> I couldn't care less about rest of people. When it comes to either me or them*.

Small fix to clarify. I'm not some cynical edgelord, don't misunderstand, I probably care a fair bit more about other people than your average person. But when it comes to situation where I have to give up something that I don't consider morally absurd, well then we have a problem.

> Overconsumption isn't having toilet paper or a shower, those are necessities. Drilling in the Arctic for more oil, shark finning, the strive for constant economic growth are examples of overconsumption

Sure. But we're discussing food here. I don't see why me, an average Joe, has to discard of the only joys of my life because someone thinks that it is morally correctly to switch to artificial meat.
Nixos-unstable’s ISO_minimal.x86_64-Linux is 100% reproducible
How are those mutually exclusive?

Enterprise software ends up as something invariably so specific to the company using it that it doesn’t matter if it’s open-source or not - absolutely no-one could extract any value from it than the original company and whatever kafkaesque internal processes lead to its development.

Anything more general-purpose is already commodity - ERP being the prime example.
No, you’re getting confused. An email list management system has far different data than the system that dispatched the fucked up template to it. Additionally, whether or not someone is an active subscriber no impact on them being in the mail system in general.

The whole point is that the piece that screwed up and pushed this template would have no PII access itself.

Beyond it being PII, it’s just how you sanely design these types of mass email/sms/push notification distribution system.
I have been working from home for more than a decade now. Both my cars are around 11 years old with about 60k miles on them. They are still in amazing shape. I’m hoping they last for at least another 11 years.

Cars are a money sink. They depreciate majorly in value really fast. There is no way I’m going to invest in a good/luxury car unless I have a very specific reason to do so.
The latter. I remember those three usernames.
Before I read that it is actually orbiting our star I briefly thought "maybe they had an accident with a nuclear waste dump on the far side of their planet"
There's no such thing as a free ride. If you can soft land on it you're already going to the Oort cloud.

You could get a free ride by having it crash into you, but that's going to be like catching a bus by letting it hit you, at ten thousand miles an hour.
You're all individuals https://www.youtube.com/watch?v=QereR0CViMY
Current AWS engineer here. I've been working here for ~2 years in a pretty critical service, in the Dublin office

Back when I joined the company, you could already find dozens of online reviews talking about a toxic culture and awful management practices. I was about to turn down the offer because of that. 2 years later, I have to admit there have been good and bad moments, but if I had to make the decision again today, knowing everything that I know after all this time, I would 100% still accept the offer.

Amazon improved my life and my career in ways I would have never expected. When I look back, it really seems unbelievable to think that I've improved so much as a software engineer in that period of time. And not only on the technical side, but also on aspects like writing, caring about customers or thinking about operations: you realize that work is much more than coding or shipping new features. Besides, from its culture I've learned processes or ways of thinking that have incredibly helped me even on my personal life, like "one/two way doors", "working backwards" or "mechanisms over good intentions"

I'm not going to pretend that all the other comments are lies and that all of that did not happen. Obviously there's a lot of people with really bad experiences at the company. But what I'm trying to say is that Amazon is a huge company, and you can find both great and awful experiences. If you're considering applying here, or even accepting an offer, don't get discouraged just because here you find mostly bad opinions.

In case it helps, something that convinced me to join when I already had the offer and had to make the decision was talking with my future manager. I directly mentioned that I found reviews about a toxic culture and wanted to know his feeling about it. His answer was simply "Look, I cannot talk about other orgs, or even other teams. What I can say is that in my team we really try to create an inclusive and healthy environment, and that we really care for each other". He could have just lied and said that all the reviews were fake, that the culture was great and that all those problems did not exist, but he was honest and admitted that he could only talk about the areas that he knew about.

To me that was a good reminder that even companies like Amazon are formed by normal people, and that while there will be people that only care about themselves and getting promotions, there are also some that really care about making the company a great place to work
the uninsured in my city tend to be illegal immigrants or poor. government is never going to recover from them so it just ends up being an insurance you pay for with your taxes doesn't it..?
There are tons of VFX houses that have been the receipent or the giver of Trump-esque renegotiations. At the beginning, everyone agrees to terms. At the end, something somewhere happens which means no more money (if the money actually existed to begin with), and people get screwed. Most VFX houses I've been in/around have paid on hourly rates, so the artists get paid. If the producer bringing the work to the VFX reneges, then the VFX house eats it (or sues, or something). However, if your a contract artist and did the work expecting to be paid at end of project, you tend to be left hold the bag since the VFX studio didn't get paid then the contractors don't get paid.
Virtual Streaming with Hand, Face, Body Tracking AI
The service is apparently overloaded. I'm falling into a connection timeout with every browser and it takes ages to even proceed to this.
There are several reasons big company experience doesn't translate.

1. Legacy tech, "cool" big companies have the latest stacks but over time these stacks become old and the dev practices atrophy. The biggest cases of this I've seen are engineers unable/unwilling to do their own QA as its "not their job". Or unwilling to adapt to new technology the startup may be using.

2. Politics: Big tech companies have major politics leading to pathological "not our problem" conditions. Efficient and successful startups/scale-ups need to minimize politics, and some employees from big tech companies will have found this to be one of their primary skills.

3. Ambiguity/Timeline constraints/dealing with crap: At a big tech company everyone is expected to be at the top of their game and the company rarely faces deadlines that are not self-imposed. An engineer may expect 100% test coverage, crystal clear product requirements, and no risk of failure. Dealing with sub-optimal conditions is common in startups/high growth companies.

4. Definition of success: A big company may strongly value marginal contributions as prized wins. Shaving ms off of a frequent call can drive real monetary improvements when the company has hundreds of millions of customers. Making engineers marginally more productive has huge benefits when you have 50k+ engineers. Startups often just don't care about these things and simply won't value the skills necessary for this work in most cases.

On the flip side there are great engineers/managers who learned what made the big company successful and how to navigate internal obstacles. These employees are likely to be gold to a startup, but they are also gold to a well capitalized company with vastly more data on just how effective they are than a startup has. Odds are, startups are interviewing/hiring the employees the big companies don't care about - something the hiring firm often implicitly knows.
How do you keep deployed code up to date when Figma designs are always changing?
The problem we're facing is that many of the deployed TailwindCSS components in our Nuxt.js web application continuously need updating because of numerous design changes in Figma. How do you manage this on an ongoing basis? We've looked into tools for Component Driven design such as Bit.dev (seems pricey for startups) and the Nuxt-Storybook plugin using Tailwind is failing within the docs itself (not the best sign). Would love to hear any suggestions!
> Not everyone deserves empathy, either.

Could you expand on that? I’m always curious to understand how other people think about these issues.

If I see people that are with causing folks around them pain, of whatever type, my usual suspicion is that they suffered some sort of massive pain or trauma themselves that they never
found a healthy way to deal with.
This conflates at least three different issues. To me, it is irrelevant how intelligent a creature is or whether it can react to pain. The fundamental issue is whether or not it experiences suffering.

We are very close to having synthetic intelligences. That doesn’t mean we should care about shutting them off or damaging them, as long as they cannot suffer.
> but when writing code that is meant to be maintained and read over and over agains it makes a difference if that µ looks too much like a u sometimes.

So, if you are maintaining code where that is the idiom, use a font where that isn’t an issue.
This reminds me of Valve’s GCF (grid cache file, officially, or game cache file, commonly). The benefits must have purely occurred on consoles for the reasons you outlined, because cracked Valve games that had GCF files extracted ran faster than the official retail releases on PCs!
"Hacker news commenters hate him!"
It depends on your perspective. The act of speculation is zero sum, but holding onto the stock and letting it appreciate isn't zero sum. Seeing how "speculative traders" are in it to make more than the 8% average (or whatever), we're probably talking about the former and not the latter.
How Taiwan’s struggle for Covid vaccines is inflaming tensions with China
get enough accounts and you're scaling being wrong :P
Taking a look at that, I think shapes would still work; [1] has some background material on them, but dynamically changing data is what shapes are for; you check if you should update an object's shape when assigning to it, and can JIT based on the type (you ought to be able to handle getattr and setattr with this too, JITting to a direct call to that method when it's necessary). Where this completely falls down in optimizing Python is that it changes the object layout, so you can't pass these to CPython without making them generic and converting them back after. Converting the layout to be generic would be a deep copy (which of course is semantics-breaking), converting it back wouldn't even be possible if the C code kept a reference to it around.

[1]: https://mathiasbynens.be/notes/shapes-ics
Cars with a standard size din connected radio can have Bluetooth without any of the other stuff - far better than a c90 adapter, and usually with have 3.5mm and usb power as well.
I’m not the only one who’s seen Demolition Man, right?
https://m.youtube.com/watch?v=RnyhkBU1yaw
For the most part, conservation of energy dictates that bodies in orbit will stay in orbit, and bodies transiting the system will exit it. Think of it like a ball rolling down a hill, then back up a hill of equal height. By rolling downhill, it gains enough velocity to make it back up the hill.

There are exceptions, of course. An asteroid passing through an atmosphere may be slowed down by friction (aerobraking), and be captured in orbit. Passing near another orbiting body, the interloper can be sped up or slowed down (gravity assist). But both of those require getting pretty close to a planet, and space is really big (citation needed), so it's unlikely that it would be captured.

Edit: Looks like I had the same misinterpretation, that it was a rogue planet rather than an Oort/Kuiper belt object.
I think the biggest drawback is a cultural one: The Python developers and the wider python community do not value backwards compatibility.

This has the consequence that it is easy to write new code, or to maintain short-lived code, like what is typical for a SAAS company or a start-up, but it will become almost impossible to maintain legacy code. And as Python becomes older, more and more of the total of Python code will become legacy code. The focus on writing new code rather than reading and maintaining old code is also very obvious by the befuddling added complexity of the language. Nobody knows all of C++, but I am not sure whether many Python developers know all of Python syntax and PEPs.

And what makes it even worse is that a lot of development in Python initially came from academic science and universities, like Numpy, but actually most scientific code is legacy code, because researchers and most research institutes operate differently from start-ups.
> That's clearly using the language of set theory to talk about groups.

If you like the language of set theory, what's wrong with replacing "A ⊆ X" with "A : SubsetOf X" where SubsetOf X = X → Prop? This is what Lean does: https://leanprover-community.github.io/mathlib_docs/group_th...

> there were multiple equivalent ways of e.g. defining what is a group and/or subgroup

Don't you have that problem in any foundation?

> Moreover, the fact that Coq includes several different types of "truth"

You probably know this already, but you can collapse Prop to Bool by adding some classical axioms.

> My sole argument was that you can't currently take any mathematician not particularly interested in logic or proof theory, especially not an undergraduate student, and expect them to encode simple proofs that they understand in Coq without a lot of assistance.

True, but I don't think that's a goal of the Coq developers right now. I feel like Lean is the only project trying to make formal proofs of classical mathematics accessible to an undergraduate student.
Consoles also do this with HDDs. That's been one of the talking points around the PS5 from the beginning, with Sony saying that games would get more storage space efficient because they don't need redundancy for faster loading anymore.
Isn’t it funny that an extremely underpowered, poorly-equipped car is slow? Hilarious.
"driving a dangerous contraption" may or may not be reasonable, but it is not really a right in the same way as freedom of speech and right to a fair trial
Shade tree mechanic here,most my cars are 20 YO old. I just got a "new" car a 12 yo Twin turbo AWD BMW. I have to say the amount of "lifetime fluid" stickers on it is way to damn high. it needed all these lifetime fluids changed at 40k intervals but BMW made it that way so they wouldn't have to maintain all the fluids. NOW ME AND THE MAD SCIENTIST GOT TO PULL APART TORQUE CONVERTER BECAUSE IT WAS THE FIRST ONE EVER IN HISTORY TO INCLUDE A CLUTCH PACK.
Per that link, pedestrian fatalities had a sudden break in trend and skyrocketed right when motorcyclist deaths stopped climbing and flattened.

Wouldn't you expect the hypothesis of new vehicles increasing ped deaths show up in motorcycle fatalities too? It seems much more plausible from this baseline data that the introduction of the smartphone is more relevant: the skyrocketing happened at the precise time the smartphone took off, and smartphone ubiquity naturally wouldn't affect motorcyclist fatality (while new vehicle shapes would).

Of course, there are myriad other potential explanations, including the trend towards urbanization and walkable cities over the last decade and a half, but I don't see how you can conclude that the pedestrian fatality graph is useful evidence of the greater dangers of newer vehicle designs.
I think the point is that in order to follow it, you need to (at some point in time) be at the same place and with the same velocity. Then you'll follow it.

But the energy required to do that is almost the same as what it would be if the dwarf planet wasn't there. You could get onto exactly the same orbit for roughly the same amount of energy, and if you relax the requirement that there be a dwarf planet nearby, you can choose superior orbits.
I think this would be quite nice is firmware is small enough, or you have already extracted the necessary parts to be examined. Though having a editor with graph view and then just printing out few parts seems good enough to me
What is 360 peer review?
Serverless Static Wordpress on AWS for $0.01 a day
who wouldn't do random?

But either way it would be insecure if you did sequential... even if you had 2000 characters for your password.
> Besides the good points about the difficulty typing characters, not all fonts have good glyphs for non-alphanumeric (by that I mean low ASCII) characters

Not all fonts are good fonts for an
evey use use; heck, not all fonts make 0 and O or 1 and l and I clearly distinguishable.

> The solutions to those problems is to use better fonts, terminals, and editors

Exactly.
No, it's great for the economy if asset prices go down and consumers get more bang for their buck.

We want fewer people producing things that last more.
Interestingly, the voyager missions were also timed-events -- they were launched when they were because JPL realized it was a 1-in-175-year alignment of the outer planets that made it feasible to launch just a few crafts to visit the outer planets all in one go: https://en.wikipedia.org/wiki/Grand_Tour_program
I get a blank screen with a link to the hosting website on the bottom right. Chrome on Android mobile.
Why burn the NFT? Wouldn't it be better to transfer the ownership of the NFT along with the physical item?
You can kill a chicken by thrusting a knife into its open beak to pierce its brain (chickens actually have brains). You hold the bird by the feet, upside down and thrust. The bird will squawk once and go limp. Then you can cut its throat and let the blood out. The problem is that people don't know this and (even professional poultry growers) think that the only sensible way to kill a bird is to cut its throat.

Same for crabs. So far in the last two years I've seen crabs cooked alive twice right before my eyes, once roasted and the other boiled. I tried to intervene but was laughed away or told there was no time. In the second case, the lady who boiled the crabs alive didn't want to hear about their agony while eating them later (of course I had to twist the knife in).

I thought all this is just stupidity and ignorance. All it takes is five minutes to think, five minutes to go online and ask a question of a dumb search engine, and another five seconds for the chicken and a bit longer for the crabs. How hard is it? I mean, come on.

Btw, I eat meat and I'll be vegetarian when hell freezes over but you kill an animal to eat it, at least don't torture the poor beast. Just get it over with quickly.
Haha nice. Still caused quite a bit of damage to the surrounding area though. My inspiration was more Neal Stephenson I think.
I used to frame pictures in a former life. It’s a very delicate and meticulous craft. While it’s not the same as a cabinet maker, I can tell you some insights related to something with tangible, finished objects.

There are days when you do negative work in framing. The most obvious is when you damage artwork. The less obvious is when you mismeasure something. That one act can destroy not just work time, but also calendar time since you may need to wait a week to get replacment materials. Same problem if you mar the product something very easy to do with delicate finishes. And then there’s injuries, cutting oneself can not only end the day, but may also end up with lifelong reduction in capabilities. Oh, and blood can ruin material.

So, it’s very important to have a good frame of mind when doing certain kinds of physical tasks. There were some days I worked, where the first sign I was mentally impaired I backed off and stopped making things. Those days you do the low risk things like cleaning and taking stock. But at some point you’ve done all the things of value and working more hours when you can’t do the thing that pays the bills doesn’t make sense. I can tell you from personal experience that you can easily hit a wall long before 40 hours and the odds of negative work go up quickly when tired or overworked.

Now, if your cabinetmaker is essentially a factory worker, then some of my advice is not as applicable, you can build processes and tooling to minimize mistakes and also to help preserve mental energy, which makes it much easier to work longer hours. But never underestimate the cost of stupid, and stupid goes up quickly as hours worked increases.