skysight-inc/HackerNews huggingface dataset:
Can you explain the navier stokes equation using a simple analogy?
I will tip $20 for a good answer
I would not usually customize too much my UIs and just try to get used to stuff instead. It's just less friction, and it's nice to be able to install something and be used to the defaults.

Your Firefox UI customization are so good and easy to setup that this is an exception. Thanks for making them. And they feel maintained, which is an important point.

I didn't know you wrote extensively on this, it looks interesting and it looks like it is well documented, I'll be sure to read this. Thanks again!
And that’s a problem, now you have to round-off defensively which complexifies the code and you have to decide how often and how defensively you round things.

Plus you’ve got the added fun that fp rounding routines don’t necessarily take a rounding mode.
Jellyfin + torrents
I think the key is making it feel exactly like writing plain text though with cut/copy/paste and the rest of it...which is kind of hard.
the original saying about bad apples is that one spoils the barrel, which applies in some organizational cases.

Sure you can't blame a million middle managers, because they are all in different barrels, but congress people are in the same barrel, and if one is corrupt we might assume that non-corrupt ones will be corrupted over time by exposure.

Many systems can be set up to ease spoiling, thus creating a two-tiered problem, when the teachers are all bad because the system promotes bad teachers you can't fix it just by fixing the system because you have a crop of teachers in their barrels waiting to rot any newcomer and also rising to positions where they can put regulations in place to ease rottenness in the future.
This is the same problem that modern Windows has: these systems are designed by 20-something year old designers who wear specs with thick coloured frames and who only use Mac and Safari. They don't give a shit because they don't have to use these systems ever; for them these systems are something they screenshot and put in their portfolios.
> A site is spam-proof if it makes it hard enough to get an invitation.

Yeah, but then it's also invisible to search engine users, in which case no one will want to spam the site for SEO anyway.
> Another related bit of dogma is _static scoping_. Why does a function have to explicitly state all its arguments? Why aren't we allowed to access variables from anywhere higher up in a call stack?

E.g. dynamic vs lexical scoping. Dynamic scoping used to be more popular and you can still use it in some languages like elisp. In some situations it's a natural fit for the problem, but I think in most cases lexical scoping is simply easier to use.
Sure did

https://www.salon.com/2000/06/14/love_7/

So their profit is $6.6 million; the band may as well be working at a 7-Eleven.
I didn't have much trouble writing tree-sitter parsers after taking a look to examples but I also resigned to writing my own parsers instead of using it.

There were two concerns I couldn't shake from using it.

1. In C-like languages you usually can do forward declarations, so you can opaquely define something, use it and have it properly defined later, usually due to how things need to use other things in their declaration. You can't cleanly do this in tree-sitter, you will need to handwrite some C code for this on top.

2. Even though the resulting parser is a single C-file, it still depends on some tree-sitter library and building it requires nodejs and npm packages. This means that anyone updating my C/C++ codebase has to also understand JS tooling. I would rather not have such dependency. If tree-sitter could have standalone tools that could be built only using either a C or C++ compiler, I would not have such a problem.
> the DNSSEC root keys could land on Pastebin tonight and nobody would need to be paged.

I disagree with this ludicrous assertion, but you are answering a different question, so I will not pursue this question at this time, in favor of the issue at hand:

Upthread, you wrote that with “DNS providers managing DNSSEC”, “none of this counts as "adoption”. Why not? You also wrote that “providers managing and custodying keys for their customers […] is security theater”. How is this different from HTTPS keys? Why are HTTPS keys not “security theater”, but DNSSEC keys are?
This is why I was impressed that Tucker Carlson was impressed about the coin in the shopping cart. I've been to the US a bunch of times (a decade ago), and if memory serves well Walmart didn't have coins on their carts. In Europe though this mechanism exists in majority of the super markets (so I'm not surprised Russian super markets are also doing the same).
How I find Lepton? In the addons store there's nothing listed under themes for that name.

Or is Lepton a previous generation UI for Firefox that no longer exists except on old releases?

Sorry if these are stupid questions, I did read the article but I may have missed some things.
This assumes you know what you need to build. 90% of the challenge in large scale development is nailing down requirements, especially when the problem space is too big for any individual to fully understand.
I tried this several years ago on ebay, selling an hn account with down vote. It did not sell or get any bids at all.
Spotify was always a fools errand.

You pay $12/month for an ever-worsening, always degrading, profit-funnel and expect to have new visibility of stuff and a happy environment?

Just like the RIAA members before, they figured out that controlling the music AND how people consume it - they could steer music and profitability as they see fit. This is now just Spotify doing the same.

What can you do instead? AirSonic is a great server platform that you can throw all your music in, be they ripped from CD's you own, or bulk piracy. And use MusicBrainz Picard to properly identify your music.

Also finding torrents is super easy with Yandex. Stay away from Google.

Yeah, it's harder initially, but you own your own path if you do this. Else, you're gonna be jerked around by what choice today scrapes more profit for Spotify. It's all 'fuck you, user'.

(And also piracy and Spotify pay pretty much the same. If you feel bad, go buy their MP3s or albums, and then pirate.)
As far as I can tell SAF is basically used cooking oil and waste fats.

I would be amazed if there was enough SAF available to reliably supply 1% of the world’s AirBus A320 fleet.
All of this is *possible* because of the technology. The existence of the technology doesn't mean the software exists, or that the software is any of good/useful/cheap.
Several reasons to use "primary" class for buttons – `button` is just one of the elements that gets used with button styling, but there might also be `a`, `div` or `input` tags that look like buttons, depending on the use (or source).
Or maybe U and W.
You were supporting Sony, EMI, Universal, Warner, or some other record label.

The best way to support a band, as far as I know, is to turn up to their shows and/or buy their merch. Royalties were always a dicey revenue stream.
Semantic diffs.
If only it were the ads... I accidentally let my subscription lapse and the experience was so bad that it convinced me not to renew and leave the service altogether.

I mean yes, you get ads, but also your playlists get added random songs (which are pretty bad for my music), they play in shuffle only, and you can only skip a small number of songs per hour, turning the service into a radio you can sometimes fast-forward. I also had to reinstall the app because downgrading to free got it stuck - it wouldn't let me play my offline songs but it also wouldn't show me anything else. And for well over a year the only way to pay with a gift card on Android was exploiting a mild privilege escalation bug.

I imagine that there's someone at Spotify whose job is to identify how annoying your product can be before the number of lost ad plays surpasses the income from paid users, and I imagine their free tier is as close to that as possible. But that's a risky play considering they are not the only game in town.
Same, also show the menu bar. And use a custom userChrome.css that makes the UI a bit more to my liking[0] (after an update the tab shading got a bit wrong and that red line showed up - i'm certain that one comes from the theme because this red color also appears in Thunderbird and i haven't customized that - but it hasn't bothered me enough yet to track it down).

I might dislike how Firefox looks out of the box but at the same time i think it is the most customizable browser, so i stick with it.

Also, not shown in the shot, but my userChrome.css puts the search bar (Ctrl+F) at the top of the viewport instead of at the bottom.

[0] https://i.imgur.com/VNghjFA.png
How do you deal with availability overload?

First half of my story feels surprisingly similar, despite being born much earlier and in a very developed country. Piracy only through tapes, later writable CDs and eventually also mp3 on writable CDs. When the Napster wave hit, I had my first "real" money beyond kids affordance and started buying a little more. Napster and its successors just felt too easy, that music did not feel sufficiently "mine", like a handmade copy on physical media did, despite being just as unlicensed. Very often, the records I did buy were quite a disappointment at first, before they started growing on me, and some of what I consider the best today would have never made it past that threshold if they happened in the abundance of Spotify or the heyday of unbounded internet piracy.

It's actually quite ironic: all my friends who indulged in Napster et al now have spotify accounts, whereas I have just stopped extending my repository of CD rips.
I knew it! This is what they were after from the start. Milk a US company for that fine cash! And make it look like they were looking out for consumers who have no shortage of options in any product vertical apple operates in.

If there weren't much more important global issues happening, why this isn't resulting in a tradewar with EU should be a news headline.

I hope Apple realizes that they need to curate inferior products for EU users so they can keep the market. But I gotta say, apple is bending backwards, even getting rid of the objectively superior lightning for USB-C (consumers get inferior features) and they still managed to fine them.

The spotify is superior and more popular than apple music, so apple is already losing. If you look hard enough and long enough at someone's activity you will find a reason to fine them. Equal before the law means equal scrutiny as well.
I agree.
Also Laravel is one of the best web frameworks for rapid prototyping :)
> Better to KISS and leave abstraction for the future when it actually becomes necessary.

I love this statement and for me personally is also perfectly encompassed in YAGNI. You ain't gonna need it.

Until it's proven you need that piece of code, don't write it.
Do you have any evidence to support your claim?
AI Oversight and Human Mistakes: Evidence from Centre Court
I may be in the minority, but I just don't really find the "support the artist" argument that compelling. I have artists I like and I grew up with. If I saw them in public I'd get giggly and maybe try to say an awkward hello. But I am under no impressions that I have some kind of personal relationship with this artist.

I assume the artists are reasonable rational adults. If they're on the platform, its economically advantageous to them. If they sold their rights at some point in time for money, or pay their tax debts, or whatever, I assume they did so knowing full well what that means. If Spotify is no longer advantageous to them, they would pull their music off and I may search other ways to listen to it.

We have a system to deal with these sorts of things, it's called voluntary exchange and it's the only way things change. If artists pulled their music, Spotify would have to adjust. In the meantime I just don't have the time or energy to track every individual employee grievance
Ever heard of Poe's law?

If you've been long enough on internet forums, you'll see every inanity you can think of as "of course it's sarcasm" being presented sincerely.

Also, I've read too many posts/comments of the "the world has never been better" variety (usually citing Hans Rosling or some tech-bro favorite like Pinker), that sincerely push similar ideas of the state of the world in 2024.
I'm working on a new cross platform desktop music app with a clean modern interface. It should be ready for beta testing soon. Message me if you're interested in trying it.
The Author doesn't understand how the streaming business works, and as far as I can tell, no one in the comments here has shone a better light on it.

There is and there isn't just a pool of money that goes to beyonce, the weeknd and taylor swift... i say there is because what actually happens is, the collecting societies will collect the money, then distribute it based on streams correctly to the artists/writers/producers etc that are registered. now if it so happens that a collecting society can't find the correct person to distribute to, the money might sit for a while before it is divvied up between the biggest players, so that would mean taylor swift, elton john etc might get a share of any unclaimed royalties.

When i worked in the business, we would often have many a drunken night talking about how we should just record the rain on the roof, upload it and use the "royalties" as beer money.

for the most part, being on spotify does pay, but i think people don't really understand how the pie is cut and when the artist actually gets a slice. there are many routes to being on spotify (or any streaming service), the router for taylor swift will be different to the route for your dad's garage band, as will the payout.
Could you kindly rehost those on imgur for people that don't want to play in walled gardens?
This is a bit too much of an apples vs oranges. Use cases for PHP (easy to develop, maintain websites) are different from those for Go and Rust.

Obviously, PHP came from a place of great inconsistency, and the remains are still there, including the popularity to rant on it. PHP is getting significantly better though, and while a long one, I hugely prefer this route over something more abrupt like python 2-3. The first 3 or so points are valid, but annoyances at best. For the points about closures, statements, inline classes etc., they are just features from other languages that aren't in PHP.
Is anyone else not at all bothered by the tabs "being buttons"? I feel like I'm the only one sometimes. Are they really that jarring for first-time users?
Try Chromium instead of Chrome.
Possibly. But I think, in general - Pharma companies are not very profitable because of the amount of research required to come out with a drug. And the success rate of research is not very high. On average, it takes over 4 billion dollars to get a drug out in the market. And not all drugs earn billion dollars in their life time
> If there are 10 factories making nails, I'd rather have them be run by 10 different companies than one. And you might be able to convince me that 9 or 8 or even 5 companies is reasonable, but not one or two.

Well, a nail is fungible, as are many other products. So what you'll end up with instead is a bad situation on its own.

The 10 nail factories win sales contracts by competing on price (obviously), so there is a massive incentive for the companies to undercut each other by going offshore, exploiting their staff (which usually leads to an enshittification across the industry), exploiting the environment (by "saving" on emission mitigation or outright handing waste over to the mafia instead of recycling) or by cutting corners in the process (water down the material composition with cheaper raw materials or be less strict in outgoing QA and hope the customer doesn't notice). In the end you have 10 companies shipping crap nails but since they were so much cheaper than what was there before, there are no high quality nails on the market, and no bank will give anyone a loan to try and start up a company selling high quality nails.

We've seen that happening quite often over the last decades... UK and German public transport where the "private" competitors have reduced staff and maintenance to the utter bare minimum, "chinesium" being so widespread it's a legitimate meme, or by Europe being completely dependent on India and China for basic pharmaceutical compounds.

In contrast, a government controlled (or outright owned!) monopolist has entirely different priorities, and the customers/citizens will get high quality products again.
Ever since Firefox borked their tabs I've given up on it as my default browser. Every now and then I open it up for testing and when I still see buttons instead of tabs I make a mental note of trying again in half a year or so.
Light theme is especially insulting with white buttons on light-light gray.
It even doesn't repsect Windows' system theme settings, because in Windows you can have apps keep light theme but apply colors to taskbar, Start menu and title bars. Edge gets it, Chrome doesn't, but at least there's enough contrast, Firefox completely misses the mark.
It's such a perfect match for the HTTP protocol. You drop a file on a server and you're good to go. My toy VPS is full of useful scripts that I use on a daily basis. Most of them are literally one big file with all of the code, no external dependencies. Caddy proxy the request into PHP-FPM and send back the response, no bullshit.

Of course this is not what we see at production-grade software, but I really enjoy the fact that the language was designed with the HTTP protocol in mind. It's really unique in this sense.
They have a podcast that talks about a lot of different parts of their product. Lots of part of their product are 'common place' that doesn't mean that talking about the specific approach they took can't be interesting. Just because other things have root-of-trust, doesn't mean they can't be improved. And of course having a fully open source root of trust isn't common, specially not servers.

Of all the things, they have actually not talked about the hardware root of trust itself that much. There is no full podcast on only the root of trust. Compared to things like boot fireware, VM migration, network design and so on and so on.

What they have talked more about is system firmware in general, including their embedded OS. Partly why the chip they used for root-of-trust came up is because they found multiple bugs in that chip. Turns out secure silicon is really hard, and if you don't have secure silicon you don't have a great hardware root-of-trust.

Pretty much everything with Oxide is, generally do what the industry has done before and uses, they just want to do it better and more open. And root-of-trust is one example of that.

I actually wish they would talk about it more, as they have not shared much. I think they have mentioned it will be part of some podcast episode sometimes.
Since Mozilla does not allow it as an add-on, you must download and install it yourself.

Yes. I know it's really uncomfortable. Nevertheless, the fact that it was this popular is also proof that the existing UI was inconvenient.

https://github.com/black7375/Firefox-UI-Fix/wiki/Installatio...
>What tennis reveals about AI’s impact on human behaviour

https://www.economist.com/science-and-technology/2024/02/15/...

https://archive.ph/GfwtF
You didn't mention a reason, but why wouldn't you just switch to Firefox? It will give you back control of your own web experience and allow you to fiddle with everything you can imagine in the settings and/or about:config.

Or maybe try one of the any Chrome derivatives that may have less dark patterns like De-googled Chromium or even Brave?
> Japan to launch first wooden satellite to combat space pollution

Is it April 1st already ?
They use wood becsuse it is "renewable" ? Or is it because burns better than other materials ?
Hugo Awards: A Report on Censorship and Exclusion
Go language hits top in the Tiobe index
> I still dont understand why Russia started all of this, why drag Europe into another world war scenario for a few villages?

Russia's capture of the Crimea ~10 years ago went exceptionally well for them.

Russian special forces struck an essentially unprepared country, got control of a number of cities and key chokepoints, and forced the parliament at gunpoint to vote in favour of annexation, and ran a sketchy referendum with 97% support for annexation - all essentially before organisations like the EU even realised what was going on.

Then, presented with a fait accompli, other european nations could either start a war with Russia or not, and they chose not to.

Presumably Putin thought capturing the rest of Ukraine would go just as easily.
Is this comment auto-generated?
> See above, rounding off and collecting error after every arithmetic operation is not the expected norm and what developers are taught.

Question is, is that a problem with developers or floats? :)

Ecosystem and tooling might help here, iirc that is something Kahan himself has been complaining about a lot. For example hypothetically you could have something like FP contexts or specialized high-level types where you can easily express how many digits are you expecting and the runtime/compiler would manage rounding etc so that you'd get more often correct results. Tbh that's just top of my head, and I didn't think too much about it.

But I think the question remains, how much of the problems are actually intrinsic to FP, and if you did actually cross t's and dot i's then would there still be some intractable problems in using FP with money? So is the problem "just" that FP can easily be misused, or that its impossible to use correctly?

I want to emphasize that I do not recommend anyone go using FP for money now. I'm just curious because its something I don't fully understand and well, HN has smart people that can hopefully help me there.
Oh, it looks pretty neat.
I don't really see how this is a solution if 28k signups takes down your DB. Say you're targeting a hash difficulty that adds around 1 full second to the signup process for real customers on lower end devices running your in-browser hashing code. The CPU on whatever machine your spammers are already sending the spam requests from (which was likely mostly idle while running a script bound on network IO) can probably run a native version of the hashing code at speeds that get ~100 hashes per second or so. So it would take them what, 5 minutes to send enough signups to take down your database again? Numbers might be off since I'm just ballparking, but even if it takes them an hour, is that acceptable?
> "Drogeriemarkt", which could be translated as "drug market".

One has to distinguish between "[die] Drogerie" (more explizit term: "[das] Drogeriefachgeschäft") und "[der] Drogeriemarkt" (in particular in Austria and Switzerland this is strongly distinguished).

Drogerien are specialized shops with well-trained salespeople (Drogist: https://de.wikipedia.org/wiki/Drogist). Drogeriemärkte, on the other hand, are convenience stores that sell cleaning agents, cosmetics, nutritional supplements, ... Because in the latter, prizes are typically much cheaper, they replaced Drogerien in many cases.
>And the copyright owner is under no obligation to let the past infraction slip just because the violating party decides to suddenly follow the GPL terms.

The owner might not, the court might. Proving damages from tardy publishing of source code would be tedious (at least in the EU). In this case they used their proprietary license option to justify the damages, which doesn't exist for a lot of software.
It is powerful indeed. But PHP syntax feels unelegant and making me write unnecessary ceremony. It feels different when I write typescript code, every character I type fits like lego.

Especially when my codebase grows so much. Navigating PHP project is like thrown in forest without a map, you can always look up the sun to find your way.