skysight-inc/HackerNews huggingface dataset:
> As evidence look at all of the quickly disproven posts on a wide range of topics that Elon has posted. He did no research at all before posting those things (despite a large following, and thus large responsibility). He "felt" that the post was good/right, so he went with it.

Or, more likely, he knows exactly what he is doing.
Apple is also capitalized, so it's still fewer. Unless you hit "Shift" separately for each character in AAPL?
What's is the play by the spammers here? Is it a direct attack on your website, perhaps because they were competitors? Or are they hoping that 1% of spammed email addresses will accidentally verify their email?
I'd guess it has something to do with its unusual drivetrain. It can operate: 1) fully electric, 2) fully electric but with gas used in generator-mode to supply power to the electric drive train, 3) gas engine mechanically powering the wheels (like a normal ICE car).

I'd expect it operates in mode 2 a lot when at highway speeds, but not accelerating.
Just like the evolution of sim swapping and how it went from hijacking celebrity accounts for a day to stealing millions from crypto investors, cybercriminals slowly realized that it's far more easier to get personal data through bribing/hacking companies (telecoms, amazon) or even by directly sending emergency data requests from stolen law enforcement email addresses.

No amount of opsec can save you from corrupt employees making below minimum wage.
I do not know what context this happened to you in, but in the context of building something quickly, learning, while not being an expert in an area, best practice are a common crutch.

In many work places either they do not have time or at least think they do have time to think things through 100% for themselves from first principles so they depend on best practices instead.

That makes sense to me and I would expect better results on average with using best practices than rejection of best practices in the above context.

That said I try to work on things where I am not always in the above context, where thinking things through end to end provides a competitive advantage.
Lasts 5 seconds on iPhone 16 pro max
Weird to me that off-shoring is back in vogue.
Aaron Rodgers moment perfectly sums up how fake information spreads [video]
I considered a used i3 when I last shopped but got spooked by how some models used plastic parts that can break easily and have cooling systems which can fail spectacularly, both of which are costly to fix. If it weren’t for that there’d probably be one in my garage now.
It's too bad that the only people benefiting from all green power subsidies are the people that least need them.

We should be investing solar in lower income communities, as those people could really use cheaper utilities, and any saving they get would immediately go back into their communities.
Not mentioned is what to do with the smoke from the locomotive. I expect all the passengers would asphyxiate before they emerged from the other end.
Yeah,if you look at the tariffs not as a fixed thing that applies to everyone, but a way to favor select companies and hurt others, I think they make more sense.
Minetest breaks the chains of being a Minecraft clone with a new name – Luanti
Google Gemini surges to #1 be but benchmarks don't tell the whole story
Thanks for the question!

> How do you handle the cache server crashing before syncing to S3? Do the cache servers have local disk as well?

Our caching layer is highly durable, which is (in my opinion) the key for doing this kind of staging. This means that once a write is complete to Regatta, we guarantee that it will eventually complete on S3.

For this reason, server crashes and intermittent S3 availability issues are not a problem because we have the writes stored safely.

> What are the fsync guarantees for file append operations and directories?

We have strong, read-after-write consistency for all connected file system clients -- including for operations which aren't possible to perform on S3 efficiently (such as renames, appends, etc). We asynchronously push those writes to S3, so there may be a few minutes before you can access them directly from the bucket. But, during this time, the file system interface will always reflect the up-to-date view.
Blame the pesky labor and safety laws.
The media here in the UK told us that intel was saying Russia had gathered troops and equipment near the border of Ukraine, preparing for an invasion. Putin said they were lying.

Then Putin invaded Ukraine, but called it a special military operation.

Now our news tries to keep us updated about which territory is controlled by Russia or Ukraine, what the rough estimated casualties are, and so on.

Which part do you think they're misinforming us about?
> “Don’t use globals” is obviously good, but “never use globals under any circumstances” is just silly

I'm actually not even convinced that this is a good rule. When it's explained it makes sense on the surface. I also think that since beginners to programming use global variables, they come to the conclusion that it must be universally bad since that's what their beginner self did.

Having work on codebases with most state being being stored as global variables (in a single namespace at that) is manageable at worst and easy to develop on at best, assuming certain conventions are followed.
A web app for free custom Bluesky vanity handles
People have been throwing out "POSIX" distributed file systems for a long time but this claim usually raises more questions than it answers. Especially since clients access it via NFSv3, which has extremely weak semantics and leaves most POSIX filesystem features unimplemented.
Why choose PHP in 2024? There is no concurrency, no unicode support and no generics. What does PHP give that i cant find in any other mainstream language?
> You could argue that consistency and having a common operating model with accountability is a good thing.

Why would that require that a "captain" has several subordinates ranked "Lieutenant" and "Sergeant"? Why do the highest ranked police have caps with brocade, and gold braid on their shoulders? Is that part of the consistency? Why does the NYPD have dress uniforms? Why do they give military style funerals for those who die, or x-gun salutes? We're often told they're out there fighting "wars", though everyone is always vague about who the other side is.

I'm not making the claim that they've been militarized recently. It seems to have been the case no matter how far you go back.

> I think everyone would agree that adequate training is essential but we would disagree on what type of training is appropriate.

I don't think this is a training problem. When they shoot some grandma or shake down travelers for the cash in their wallets, I don't think this could ever be corrected no matter how much or what sort of training they are required to undergo. This is some baseline ethics problem, that could only be corrected with initial selection, and then only if the selection process itself were relatively uncorrupted (and it's not).

Your comment doesn't just suggest you are mistaken about this or that, but that you aren't in a frame of mind where you could recognize or appreciate that there is a problem.

> The true conservative would say that we can't do it right so we shouldn't attempt because

What if the task were something absolutely morally abhorrent? What if the task was to efficiently and artfully carve the hearts out of newborn babies and toddlers, and to terrorize the parents with the mutilated remains of their children? But you've been doing this task for so long, that you and everyone else just assumes that it's something that needs to be done. You're sitting around arguing "ok, maybe we need to do only have as many satanic baby sacrifices, and I won't listen to the people who say we need to have more not less". And there's another guy sitting next to you saying "I don't know why we need the terror... we could kill just as many babies without being cruel, they could get anesthesia, and we could do grief counseling for the mom and dad".

And you endlessly yammer about this stuff, for decades, never noticing that you're all lunatics. The concept that this just shouldn't be done at all, in any manner, it's something you can't possibly hear. Even those who can understand this like to whine that they're powerless to stop it, that they don't have the tools to put a stop to it, etc. The truth is we all have the power to stop, none of you want to.
Acquisition has already happened 3 years ago. Data selling has also happened this year (to make some cool LLM answers).

I guess the only thing remaining for them is to wait till entropy gets them, and then slowly erode.

I, for one, won't shed a single tear.
It’s strategically important to have essential industries at home.
Thanks for the question! Mountpoint for Amazon S3 is a FUSE layer that doesn't support full POSIX semantics. For example, you can't use Mountpoint for Amazon S3 for random writes to existing files, appends, or renames. This means that you have to carefully instrument your application to understand whether or not it's compatible with Mountpoint, which can be error-prone. Regatta, on the other hand, provides full POSIX compatibility for the file interface, which means that it works out-of-the-box with all file based applications.
There are while loops, though, so actors can still livelock.
IME "best practices" is a demand problem, not a supply problem. IE far more people want best practices than there are actual best practices.

Prospects and customers desperately want to know our "best practices" and then complain when we say "it depends" or something experimentation is required, as if we are hiding secret teachings from them.

For me this is more a personality test: people who just want solutions on a silver platter vs DIYers who want to tinker and distrust black boxes.
The issue is not really in the IPA but how to use it. If you stay at the phonemic level, it's makes more words comparable but hides distinctions that occurs only in dialects. Also for a lot of language, there's multiple modelization in terms of the set of phonemes involved. If you go down the phonetic rabbit hole the notation quickly become read heard to read. If you have to handle multiples variations, there's also diaphonemes but then it's even less standardized.
The books that encode some standardized Xbok are always named "The guide to the Xbok".

The actual BOK isn't supposed to have a concrete representation. It's not supposed to be standardized either, but standard organizations always ignore that part.
I was thinking the same and thinking that’s a super weird edge case to happen. I’m obviously tired.
The real problem is dogma and cargo culting.
> when you start a project you know how you're going to do it

In my experience that has only been true for the simplest tasks I've been assigned to do. The only examples that come to mind are stuff I did as a junior developer. YMMV, of course.

As my career progressed more towards the R part of R&D, uncertainty skyrocketed.
Maybe. I don't know. I'd point out that tritium is a gas, so it may be hard to contain for long periods of time especially in space.
Does this compete with Minio?
> They also make the bar for a productive junior engineer much higher

This is the paradox that I'm seeing everywhere. While LLMs ostensibly make it easier for inexperienced engineers to get started, in practice it makes juniors irrelevant in the market. A senior with an LLM is more productive than a senior with a team of juniors. So while LLMs may make programming accessible to more people, it simultaneously kills their chances of employment.

I predict the software market is going to shift away from entry jobs entirely. They can be replaced with LLMs under an experienced hand. Which makes senior engineers more valuable. How are we going to train seniors if we're not hiring juniors? ¯\_(ツ)_/¯
ha, got one. Yes it is pretty fun if you're in the right mental state for it, I've just seen so many EA-type rationalists out on the internet proliferating this worldview, and often pushing it on people who a) don't enjoy it, b) are threatened by it, c) are underequipped to defend themselves rationally against it, that I find myself jumping to defend against it. EA-type utilitarianism, I think, proliferates widely on the internet specifically by "survival bias"—it is easily-argued in text; it looks good on paper. Whereas the "innate" morality of most humans is more based on ground-truth emotional reality; see my other comment for the character of that https://news.ycombinator.com/item?id=42174022
As somebody who wants less cars and more public transportation, I think your messaging is way off.

This is an all-hands-on-deck situation where we need to pursue all options simultaneously. And there are huge swathes of our country that we will not be able to transition out of suburban sprawl into transit-friendly planning in the necessary amount of time.

So in 2050, there will still be cars, and we can not build enough public transportation in time to solve climate change (and in fact we won't transition to EVs fast enough to solve climate change, if we rely on EVs alone either...)
I don't think so... I vividly remember Nissan running commercials for the Versa in late 2008 during the darkest depths of the recession because it was one of the last models selling in the US for under $10k (like $9,990 if you got the manual transmission, etc.). There was also the Smart Fortwo, but it was a two-seater.

This page from KBB says that the 2008 Chevy Aveo "had a starting MSRP of $10,610 when new." https://www.kbb.com/chevrolet/aveo/2008/

However, KBB's page for the 2008 Versa also says that it "had a starting MSRP of $14,025 when new" so maybe you're right? Maybe they're adjusting for inflation? It was a crazy time, obviously, with deflation so maybe there were huge discounts.
Critical Vulnerabilities Found in Shimano Di2 Wireless (Bicycle Gear Shifting) [video]
This is a thing I'm working on, so I have some potentially useful thoughts. tl;dr, it doesn't have to be about encoding arbitrary real life statements to be super duper useful today.

> how might an arbitrary statement like "Scholars believe that professional competence of a teacher is a prerequisite for improving the quality of the educational process in preschools" be put in a lean-like language?

Totally out of scope in the any near future for me at least. But that doesn't prevent it from being super useful for a narrower scope. For example:

- How might we take a statement like "(x + 1) (x - 5) = 0" and encode it formally?

- Or "(X X^T)^-1 X Y = B"?

- Or "6 Fe_2 + 3 H_2 O -> ?"?

We can't really do this for a huge swath of pretty narrow applied problems. In the first, what kind of thing is X? Is it an element of an algebraically closed field? In the second, are those matrices of real numbers? In the third, is that 6 times F times e_2 or 6 2-element iron molecules?

We can't formally interpret those as written, but you and I can easily tell what's meant. Meanwhile, current ways of formally writing those things up is a massive pain in the ass. Anything with a decent amount of common sense can tell you what is probably meant formally. We know that we can't have an algorithm that's right 100% of the time for a lot of relevant things, but 99.99% is pretty useful. If clippy says 'these look like matrices, right?' and is almost always right, then it's almost always saving you lots of time and letting lots more people benefit from formal methods with a much lower barrier to entry.

From there, it's easy to imagine coverage and accuracy of formalizable statements going up and up and up until so much is automated that it looks kinda like 'chatting about real-life statements' again. I doubt that's the path, but from a 'make existing useful formal methods super accessible' lens it doesn't have to be.
Maybe if domestic automakers fall to Chinese competition, the US will start properly investing in public transportation like it did a century ago.
The biggest reason that works is that most states dropped per-axle weight taxes for trucks (which would much more directly pay for road wear-and-tear than gas taxes, and which is why such taxes existed in the first place) and the ones that didn't carved out too many "personal vehicle" loopholes for trucks. It's a curious lack of disincentives (and enforcement of such) for larger vehicles more than "small cars are illegal". Things like CAFE standards could have been met in smarter ways if they were properly incentivized. (Plus CAFE standards were in part set with an expectation of not "double dipping" versus vehicle weight taxes. That the vehicle weight taxes disappeared is the smoking gun, in some ways.) Small cars aren't incentivized enough, larger vehicles aren't disincentivized enough. Especially with today's wear and tear on roads, the states complaining that EVs are dropping gas taxes too fast, it's a wild shame that we aren't seeing a faster return to per-axle vehicle taxes.
Upon reflection, what we're doing with LLMs is filling a new void. Once upon a time most machines and devices, and software, had to come with really good documentation. Digital Equipment Corporation used to turn out huge quantities of really good stuff.

Now we have LLMs that have been fed vast quantities of code based on the collective hunches of humanity. Due to the nature of this source, the result is simultaneously more productive, yet lower quality.
There's also a much larger one,

https://news.ycombinator.com/item?id=37461695 ("UK air traffic control meltdown (jameshaydon.github.io)", 446 comments)
I think this is a great call out, and you're correct. One example that comes to mind is that NFSv3 doesn't support flags on the rename() operation (such as RENAME_WHITEOUT), which means that you can't use them as an overlay upperdir (which is desirable for building container runtimes). To solve this, we're working on a custom protocol that we intend to place in the Linux kernel which will expose a broader set of features than we can get in NFS. As I tell people, this is the worst version of Regatta that will ever exist -- we're going to make it better every day.
I haven’t seen one that is cost competitive with its model’s regular hybrid version. The EV adds thousands of dollars, but only saves you about $3 per day in gas.
For example, The Kia niro is $9k more for phev and saves you 0.6 gallons of gas per day so it would take over 10 years for the cost to balance out. The funny thing is, the more efficient the gas engine is, the less gas the phev can save you.
Lack of demand is the conventional explanation. But I think it is a bit of lazy and misleading one. I think there's plenty of demand for cheap EVs. But there's a problem with US manufacturing not being able to deliver those. Supply chains aren't there. Manufacturing capability and capacity isn't there. Etc.

And of course the EV market is still actually growing in the US. It's just that companies like Tesla, Kia/Hyundai, and other foreign companies with factories in the US are picking up the slack left by the likes of GM, Ford, Stellantis, etc.

Protectionism in the form of tariffs and incentives is making things worse. It's temporarily succeeding at keeping competition out of the door but it's failing at making local industry more competitive. Especially in the international market where US companies enjoy neither the benefits of import tariffs nor incentives. They have to compete on merit with the likes of BYD there. And that's obviously going to cause some issues.

Dropping incentives and tariffs would obviously be short term disruptive but I don't think it changes the outcome long term. Which is that GM either catches up or falls over (wouldn't be the first time). Either way, them delaying investments in EVs is not a sign of them adapting. Same for Ford, which has the same problem and is doing the same. Same for Stellantis. They are favoring short term profits over a long term plan. That's because protectionism is temporarily excusing them from having to compete.

That's not something they can dodge long term. Somebody will step up if it is not them.
Mistral-Large-Instruct-2411 – advanced dense Large Language Model (LLM) 123B
>We should be investing solar in lower income communities, as those people could really use cheaper utilities, and any saving they get would immediately go back into their communities.

Good news, these are called "community solar gardens" and they exist all around the USA, here's a large one based in Minneapolis: https://www.cooperativeenergyfutures.com/
I totally agree that you can’t just do a 1:1 comparison. My point is not to say that a shrimp suffers .05% as much as a chicken, but to use a chicken as a point of reference to illustrate just how simple the nervous system of a shrimp is.

We’re talking about a scale here where we have to question whether the notion of suffering is applicable at all before we try to put it on any kind of spectrum.
Sure, but that's not unique to open source software. it is a form of soft vendor lock in.
I bet not everybody on here does, so picking the unambiguous unit sign would definitely avoid some double-takes.
I agree with the sentiment of the article, but Postel law is a good idea that has very little to do with the context. Of course the real problem is that it's a very small advice that needs to be put into context each time, and here is the failure of all the types of advices: they are not substitutes for intelligence and good design tastes.
It's not an observation because it's not something that you've observed.

Here's the truth based on an observation: Tesla's battery capacity degrades 12% after 200k miles. Source: https://insideevs.com/news/664106/tesla-battery-capacity-deg...

200k miles is effectively the lifetime of a car. Average US person drives 10k miles so that's 20 years of driving.

Tesla's warranty "guarantee at least 70 percent retention of battery capacity over 8 years and 100,000 miles or more". Source: https://www.motortrend.com/features/tesla-battery-warranty/

And latest chemistries are even better. In 2020 Jeff Dahn (who leads battery research group in Canada funded by Tesla) published a paper about million mile battery. Source: https://www.electrochem.org/dahn-unveils-million-mile-batter...

Since Tesla funds Dahn's research, they get the IP. This is just in the lab but those advancements are trickling, over time, to Tesla's battery making (and not just Tesla: every battery maker does research to make batteries cheaper and last longer).
For those who don’t recognize it, this is a take on “All animals are equal, but some animals are more equal than others” from Animal Farm by George Orwell. Essential reading for every human (imho).
When DOGE hunts 'silly' studies, humanity might loses big wins
It's actually growing at around 20% year on year, this year. World wide. The EU is the exception. Mostly because Germany is struggling. Everywhere else, EVs are growing pretty nicely.
You puff up the local market when you're giving a speech in that market.
Here's that, though this is dnvted to -1? https://github.com/oracle/bpftune/issues/99#issuecomment-248...

Ideally this tool could passively monitor and recommend instead of changing settings in production which could lead to loss of availability by feedback failure; -R / --rollback actively changes settings, which could be queued or logged as idk json or json-ld messages.
It is, because cops never shoot someone just for being armed. They just don't. It's a combination of being armed plus (believed) criminal status, or behavior during the encounter.

(And it's exceedingly rare that cops will believe an upstanding citizen who's legally armed and behaving civilly is a criminal. It happens, for instance in the two cases I cited, but it's rare. They're a rounding error in the police killing stats.)
There are various shader exploration tools for iPad and Vision Pro.

Here’s one that might catch your fancy https://youtu.be/4TiBP0loC7s?si=HUNUSg0KMwRbdcK3