skysight-inc/HackerNews huggingface dataset:
The Minkowski Norm is, in fact, a norm: https://en.wikipedia.org/wiki/Minkowski_norm

// It also has nothing to do with the complex numbers //

The author of the linked article said that what he was describing was a norm because it satisfied the triangle inequality (among other things). I'm just pointing out that the (among other things) was enough for it to be a norm.

I certainly wished somebody had pointed out to me that not all norms need to satisfy the triangle property. There have been spaces where I wasted months of effort trying to find a norm which satisfied the triangle inequality, when a more minkowski-like norm would have been perfectly adequate.
im not the person you responded to, but i think this worry is mostly just overblown. i dont think most people have this concern. i think some do, but not most.

if its something you're super worried about, you could always do what ive seen some folks do and just like docs, photos, etc..., make a backup. just create a mirror federated account with same follows etc...

its not really something i personally have a need for. to me, the worst that happens is i lose some conversations i had with some friends. i cant remember the last time i looked back at some random tweet i made 3 years ago or whatever...
It's more like the whole upgrade is either successful, or it is not, and you are not left in an indeterminate state.

E.g. A depends on B. In a large update, B updates, something unrelated fails to install and the update fails, and now A doesn't run because it wasn't upgraded and the still installed old version of A depends on the no longer available previous version of B.

In NixOS, you either enter the new environment with all packages updated, or you don't. In the situation where you discover run-time - not install-time - errors, you can simply roll back to the previous set of packages. If the new packages cause a system crash, you can enter previous states from the bootloader.

Now none of this magically solves the software defects themselves. But it gives you a consistent system state that can be transactionally upgraded, or reentered at any time. And then you can raise the appropriate bug tickets.

Your system configuration is in a single file and the need to reconfigure different services in a particular order is gone.

Also your dependencies are all nicely pinned with Flakes. This makes importing arbitrary dependencies - open-source or proprietary - a breeze. This has removed any previous appetite we had for a monorepo, which was primarily to ease access to our other libraries.

It's all very nice, once you are over the not insubstantial learning curve that is.
> It was unscientific to impose any mandates for COVID vaccines whatsoever.

Not only was it unscientific, to the point that they had to censor their opponents and coordinate the institutions to shun any dissenting scientists and experts, the mandate was found to be blatantly unconstitutional.
> and not for the sake of using it as they do.

You're creating your own ideas of why people do things and presenting them as facts. Please don't, it's neither useful in the discussion nor nice.
There has been a little bit of furor in some circles in Japan, regarding the status of Yasuke, who was a favorite of Oda Nobunaga, whether he was a samurai or not. Around September of 2015, a user by the name tottoritom made numerous edits to the Yasuke article, citing to yet-to-be-published papers by Thomas Lockley. Coincidentally, tottoritom's user page introduces himself as Thomas Lockley too, and Lockley happened to also have lived in Tottori. After some time, the citations were changed to refer to a book that Lockley published in Japan (in Japanese). (Now, if the two are indeed one and same person, he has broken a Wikipedia rule on not publishing original research.)

The book become a basis for a romanticized novel he published for western audiences, which I believe inspired the production of Netflix animation for the same character. From then on, the view that Yasuke was a samurai gained foothold, which caught some Japanese historians off-guard.

He's also had his hand on the Britannica article of the same title, and now Wikipedia cites the Britannica article too, thus completing the cycle.
https://www.pbs.org/newshour/amp/politics/trump-said-hitler-...

maybe take a look in the fucking mirror if you want to stop being called hitler LMFAO
A modern GPT of any serious size outputs logits from a big-ass classifier over token vocabulary. These exist in a space, one can not only posit but empirically calculate a manifold with some nontrivial convexity properties, it’s a well-posed if not outright solved problem which LLM wrote something (up to telling it to use a certain manner).

This was a problem not only studied but in which fast and impressive progress was happening until they just turned it off.

It’s a fucking gigantic business to be the best at this. And it’s exactly what a startup should be: unlikely to have a well-heeled incumbent competitor not because no well-heeled firms ignore the market, but because they actively don’t want it to exist.
If I’m not mistaken, one encoder measures the position and force applied by the motor, while the other encoder measure the position of the slack of the business end of the robot.
There's a difference between the opinion staff and the news staff.

>The Post’s decision has roiled many on the paper’s opinions staff, which operates independently from The Post’s news staff, a long-standing tradition of American journalism designed to separate opinion writing from day-to-day news coverage.

https://www.washingtonpost.com/style/media/2024/10/25/washin...
why don’t you take a look at the republican party’s policies and think about why that is?
I went to a high school that hard very hard time offering advanced level courses. But they argued, successfully, that gifted students were just the other side of the 'special needs' spectrum and had the same right to resources as students who needed extra help. They got the funding and the advanced courses were a success and continue to this day. They also managed to keep the bar high - i.e. they kept it hard and many students who initially signed up would drop down to regular levels after a few weeks.
If the objective is to make a better poet or a better story book writer than this flawed metric is the only form of measure.

It’s the same measure we judge human writers on so it’s not necessarily the worst.
> If MCAS incorrectly asseses a nose down is required and the pilot follows their 737 training they are having their last day. That plane is going down.

Boeing’s argument is that an MCAS trim runaway is able to be addressed by the (memory item) Trim Runaway checklist and the crew of ET302 correctly used the STAB TRIM CUTOUT on that checklist during their attempt to save the flight. They then undid that action, in order to manually command nose-up trim (also reasonable under the circumstances, though contrary to the checklist), then stopped commanding nose-up trim while leaving the trim runaway checklist item reverted, allowing MCAS to continue the trim runaway that they’d previously correctly stopped by following basic 737 training. Then the flight was lost.

Boeing did wrong here, but their argument was that if a 737 pilot correctly executed the emergency checklist that is drilled into them during initial type training and in recurrent training, they’d be able to overcome that emergency. That falls into at least the probably technically correct category to me.

(The yoke displacement method to disconnect the autopilot was not part of the emergency checklist for stab trim runaway.)
with regard to our local much smaller propaganda machines, I think (by the fact that I can't reply there) you implicitly received an answer on https://news.ycombinator.com/item?id=41953841
Fediverse observer: Lemmy daily stats
> wall off tiny gardens where nothing is happening

This is actually reason why I like Mastodon. There is barely anything happening. I get content from few niches - but I do not need it to be generating something every minute. I have no time for that.

But for people who prefer old Twitter experience, BlueSky is pretty good.
This isn't a normal election, or anything remotely close to it. It'd be lovely if we had TWO relatively normal candidates and could vote for them in our normal partisan ways.

You may have noticed that basically everyone in Trump's first term cabinet has come out and called him things ranging from "moron" to "fascist" to a "danger to the country". This is not normal. It's extremely abnormal. It's a warning to the country.

It's at extraordinary times like these when the country needs some leadership, from the media as well as those in power, to highlight the danger. Many senior republicans have stepped up and announced they are going to vote for Harris. It's a very poor look for a newspaper, faced with a once in a lifetime election like this, to effectively say "we're gonna sit this out out - we have no editorial opinion on who is better for the country". Very sad.
Python 0.9.1
> If AI really is as productive as this valuation

The modern ai flavor has been there for almost two years now yet nothing hints to a productivity boost, nothing even remotely close to a scale that would be relevant.
Cool, at last we can now `curl | mdx` Github readmes instead of copy pasting `curl | bash` from them!
It generally refers to a group of “normal” people. E.g in some context they are an “out” group that does not have some specialized knowledge or understanding that the “in” group would have. So it can be negative, but it generally just means someone inexperienced with the given topic area. There is an implication of otherness to using the term “normie” for the group using it but it is generally a pretty common term now. For example, imagine a bunch of policy wonks debating something in highly specific language and then someone asks “how would the normies react?” They mean, “how would people unfamiliar with the inner workings of political policy react?” Stuff like that.

It does have a negative connotation for that group in some contexts, but the usage is pretty common and softened now.
I always found these kinds of hit pieces interesting. Because Spotify does not exactly take a lot of money to the bank, around $200M a quarter.

Spotify pays around 70% of its revenue to their artists. This means if they just fired everyone and only paid for bandwidth it would barely move the needle.

Artists need to remember the alternative isn't 2-4x higher payouts - it's piracy.
Then he should send that info and he will be reinstated :shrug:
It's already been a decade. Maybe someday it will happen but no sense in holding your breath. From an intellectual curiosity standpoint I don't think it actually helps to discuss Jai because it's not something we can form falsifiable theories about. For anyone not already bought in, not already in Jon's ingroup, it may as well not exist.
> if you had a half a million dollars in freely available non-borrowed assets and you couldn't think of your own business model to try

the problem isn't a lack of thinking-up something new. It's a matter of risk management. Any new business idea has a significant risk of ruin. Compared to owning a chain restaurant, especially mcd's.
Well, the election is the thing that is going to resolve the question.

Polls don't really trend though, they tend to settle. Of course significant news can cause people to reevaluate things, but it's probably the case in this election that most people have already made a pretty conclusive decision.
If only we had a mechanism for demonstrating correct and incorrect ways to use a particular software.

We could expect failure conditions or assert correct outcomes.

It could become a little library of examples that change over time, as the software changes, granting us peace of mind that everything still works.
Lippmann photographs are like holograms, specifically reflection holograms. The image is exposed using self-interference, which works in what we would typically consider incoherent light due to a very short distance between the light and its reflection.

Development of the plate produces a superposition of many different volume diffraction gratings mostly parallel to the surface of the plate. If the plate is bleached, these diffraction gratings become high efficiency phase gratings.

For playback/viewing, light from the illumination source is both diffracted and filtered in wavelength by the volume diffraction gratings. In a hologram, the diffraction gives the multiple perspectives that make the medium so cool. For Lippmann photographs, the camera has removed most of the perspective information and the dichroic or interference filtering of the gratings is the primary effect.

In either case, the final image is a layer free image bearing volume in the emulsion.

That's why it can't be effectively copied using 2D techniques. Since the image is 2D (maybe slightly 3D? I'd have to think about that), it can be copied using a standard photographic technique. But the interference gratings in the emulsion have some angular dependence on the light source and viewer's angle that wouldn't be present in a 2D copy. In this way they also look a bit like a reflection hologram.
> FTR, it solves quite a few of my daily issues, especially in DevOps contexts where brew is unusable.

Perhaps there needs to be more explicit scope communicated. Right now the nix(os) website advertises several use cases that it just doesn’t seem ready for (but this has been the case for ~5 years now, so I don’t expect it will ever be ready).

When I’ve tried asking eg “is this ready for flutter development”, I was told yes, then immediately ran into brick walls when I started trying to develop with it.

And when it comes to filing a bug report, then I feel (or the maintainers will feel) that I’m obligated to grab logs, put in a certain amount of effort, format everything accordingly etc etc.

It’s just an exhausting amount of mental complexity to deal with right now, to the point it’s hard not to say “just use docker” is the right answer. However brute force and wasteful that may be in comparison.
> so-called "independent" news outlet which has clear conflict of interest

If a majority of staff at a news outlet are liberal/progressive isn't that clearly a bias and hard to call independent?

I just notice that people tend to only call out institutional bias in one direction
This seems to have an obvious counterexample?

The name of the Streisand effect is from exactly the situation of a photo nobody cared about of Streisand's house from decades ago. The fact that it can be superficially referenced is evidence of its longevity.
You appear to be referencing Jeff Yass and Susquehanna International Group. Why are you being cagey about saying so? Their hedge fund has had losing years, whereas, as far as I recall, Madoff never reported a loss. On what information are you basing your claims?
Check if your domain is on any DNS Blacklist
Meritocracy is great and all, but there's a gap between having merit and others seeing the merit.

I don't believe that human society can, practically, get particularly close to the ideal. I question the choice of fatty meat as a substrate for minds.

For my money, I'd suggest that merit will get you further today than in the days of letters of recommendation, but that failures of meritocracy are more visible.
> MBA lore

What exactly do you mean by this?

> Not only the free reach but also tons of people discussing the "problems" with a big co and how to "fix" them as they are an essential part of society, and this case ice-creams.

It is an example of a general problem. I very much doubt the number of people discussing this are a significant proportion of McDonald's market.

The actual ruling was an exemption for "commercial food preparation equipment", so it applies to all machines in all restaurants in the US.

> If there is criminal activity let who gets paid deal with it, otherwise just move on and stop "fixing" problems that are not of your concern,

This is not about criminal activity, it is about not making criminals out of people who fix their own property.

Fixing the public interest is everyone's concern. This ruling would not have happened if people hd not campaigned for it.
Factorio has Silicon Valley tycoons like Elon Musk under its spell
> I admit, however, complete ignorance on how I’m supposed to install, say, Windows, on an M* Mac. As far as I knew, the T2 security chip or whatever is the decider of that, and I wasn’t aware that Apple made any promises that they’d allow such a thing as an OS that isn’t signed with Apple’s certificates. What you’re saying is news to me so I’ll have to look it up.

The problem with Windows is that Microsoft doesn’t sell an ARM installer directly to you. Here’s what the Linux situation looks like with a single command to install it:

https://asahilinux.org/fedora/

The process is described in detail here:

https://github.com/AsahiLinux/docs/wiki/Open-OS-Ecosystem-on...

The part you’re probably most interested in is here, where they describe how the different volumes use encryption so you can boot an unsigned OS which doesn’t have access to your primary macOS storage but can use a shared volume to exchange data intentionally, and some discussion about how Apple has made this easier over time:

https://jamesb192.github.io/asahi-wiki-build/Apple-Platform-...
Ok, so if there were time to go through appropriate channels, would you agree that it’s extremely inappropriate for Musk to be making these decisions on behalf of humanity?
One metric of how bonds are susceptible to interest rate changes is duration [1].

My calculations show that for a 4 week to maturity T-bill, the duration is approximately 0.077, meaning that if interest rates go up by 1%, it loses 0.07%. So even if rates go up by 5% in a week, they only lose 0.35%.

The problem with SVB is they weren’t holding very short dated bonds. Pretty much every large company has to deal with interest rate risk but as long as they keep the average duration low it doesn’t tend to be an issue.

[1] https://en.m.wikipedia.org/wiki/Duration_(finance)
1. When you're looking at a screen, sometimes it's difficult to image that on the other side of the screen there is another real person.

2. There are some cultures where cheating and bullying aren't considered bad things per se, but rather as demonstration of cleverness and power.

3. Some people develop proper sense of empathy later in their lives, later than when learn how to interact with the world, which is one of the reasons why teenagers in general are such pain in the ass. Some people never actually feel empathy, and simply don't care about other people.

BTW in real, physical sports, there's little room for "sportsmanship". It's all about winning, it doesn't matter how, and people with most medals are people who understand this the best. You can especially see this in sports where raw muscle power is more important than skill and technique, for example cycling. What makes you think that gaming would be any different?
>If Visual Studio has better support for C# than Rider, why does Resharper exist?

Back in the days there werent free extensions like Roslynator
By "it has been tried" you mean that they sold some crappy phone for almost the same price as a way better one?
I expect the parent meant to write R instead of O. It is misleading as nobody ever maps relational databases. As the parent points out, usually they reach for tablational databases. This project also supports a key/value database. But it does not even support relational databases.

Further, the project is focused on implementing the active record pattern, so it would be more appropriately called an async active record than an "async ORM".
iphones are extremely expensive
The IP packets are divided into many kinds, based on the higher-level protocol that they carry, i.e. based on the type of the header that follows the IP header.

Thus there are ICMP packets, UDP packets, TCP packets, IPsec packets and so on.

Everybody who has anything to do with network management understands that when it is said "ICMP packet", "IPsec packet", "TCP packet" and so on, what is meant is "IP packet carrying the ICMP/IPsec/TCP protocol".

When you manage or monitor network traffic, you see and examine IP packets of various kinds. Nobody cares about how a TCP stream happened to be partitioned in TCP segments. That may be interesting only for those who look on the other side of a TCP socket, its internal side, i.e. those who debug some program that communicates through TCP and which may have some throughput or latency problems.

The Ethernet frames are also divided into many kinds based on the protocol that they carry, which may be ARP, IP, IPX and so on. For more consistency, those could have been called ARP, IP, IPX etc. frames, but they are also usually called ARP, IP, IPX etc. packets. The reason is that frame and packet are almost synonymous terms. One or the other has been preferred depending on the organization that has prepared a standard.
The primary goal of WG21 is and always has been compatibility, and particularly compatibility with existing C++ (though compatibility with C is important too).

That's why C++ 11 move is not very good. The safe "destructive" move you see in Rust wasn't some novelty that had never been imagined previously, it isn't slower, or more complicated, it's exactly what programmers wanted at the time, however C++ could not deliver it compatibly so they got the C++ 11 move (which is more expensive and leaves a trail of empty husk objects behind) instead.

You're correct that the big issue is culture. Rust's safety culture is why Rust is safe, Rust's safety technology merely† enables that culture to thrive and produce software with excellent performance. The "Safe C++" proposal would grant C++ the same technology but cannot gift it the same culture.

However, I think in many and perhaps even most cases you're wrong to think C++ is preferring better performance over safety, instead, the committee has learned to associate unsafe outcomes with performance and has falsely concluded that unsafe outcomes somehow enable or engender performance when that's often not so. The ISO documents do not specify a faster language, they specify a less safe language and they just hope that's faster.

In practice this has a perverse effect. Knowing the language is so unsafe, programmers write paranoid software in an attempt to handle the many risks haunting them. So you will find some Rust code which has six run-time checks to deliver safety - from safe library code, and then the comparable C++ code has fourteen run-time checks written by the coder, but they missed two, so it's still unsafe but it's also slower.

I read a piece of Rust documentation for an unsafe method defined on the integers the other day which stuck with me for these conversations. The documentation points out that instead of laboriously checking if you're in a case where the unsafe code would be correct but faster, and if so calling the unsafe function, you can just call the safe function - which already does that for you.

† It's very impressive technology, but I say "merely" here only to emphasise that the technology is worth nothing without the culture. The technology has no problem with me labelling unsafe things (functions, traits, attributes now) as safe, it's just a label, the choice to ensure they're labelled unsafe is cultural.
Boeing 787s must be reset every 51 days or 'misleading data' is shown (2020)

https://news.ycombinator.com/item?id=41939318
Might want to send that feedback to https://investigatemidwest.org/contact-us/

Especially not nice if it happens on mobile connections.
So is it a form of property checking? That is, your model defines certain properties which your program is checked against.

Or is it some form of symbolic execution? This I doubt because I believe the performance is not there yet.

I will read up a bit more on CBMC.