skysight-inc/HackerNews huggingface dataset:
Performance is overrated? What?
I'm sorry but not all people are rich enough to own multiple threadrippers.

Performance is a skill, probably one of the most important skills.

Rust is a darn language, not a skill. You can have performant code in rust and in c++ and damnit even in brainfuck if you care enough.

But the reality is that there is more performance oriented code written in C++ than in rust, and that matters.
Looks like someone's summer internship project. A tasty, tasty project.
Celebrating 15 Years of Zorin OS
> But this does not depend in the unit.

It does!

e^z, defined as the series \sum_{n = 0}^\infty z^n/n!, can only be a function of a dimensionless number z.

sin(z) and cos(z), defined as power series, technically also work this way. And that's OK, because angles are dimensionless: a radian is just C/(2πr), where C is the circumference of a circle of radius r. But it is sometimes convenient to pick your favorite number of radians, like π/180 of them, and call that a degree, and then to say that sin(x degrees) is the same as sin(xπ/180 radians).

With this convention, where the left-hand side of e^(ix) = sin(x) + icos(x) is a function of a dimensionless variable, and the right-hand side can be viewed as a function of a dimensioned argument only in the sense written above, it really is the case that the equation written is true, but the equation e^(ix) = sin(x degrees) + icos(x degrees) is false.

(On the other hand, you could make the case that e^(ix) is really a function of an angle, where its value is the complex number that lies on the unit circle at that angle. Then you do recover a "dimensioned" version of e^(ix) = sin(x) + i*cos(x) that's valid even if you measure angles in degrees.)
In my mind, the justification for referring to RH as the “biggest” open problem in mathematics is its importance in numerous fields of mathematics. It’s hard to take three steps in analytic number theory without running into Riemann. Zeta functions — and with them RH — have transcended number theory and are fundamental objects of study in other mathematical fields, most prominently representation theory and the Langlands Program.
You can do it, but ... it probably scales poorly.

The thing about bulk cargoes is that they are bulk. A total of one third of all commercial ships are bulk liquid petroleum carriers, and those ships devote all their storage capacity to one cargo: crude oil (or in some cases, refined hydrocarbons).

Similarly dry bulk carriers (ore, woodchips, fertilizer, grain), which are shipload cargoes.

Liquified natural gas is also typically shipped in dedicated vessels.

There are some instances where a smaller cargo allotment might be made, but those are almost always on very minor shipping routes.

A key concept in cargo is to use the largest and most standardised box size possible. Hence the standard 40 foot shipping container (the term TFU, or twenty-foot equivalent unit, is actually one half the size ultimately dominating the industry). In the case of bulk cargoes, a shipping container is still too small for most routes.

So: yes, what you describe exists, but it's a very minor element of total cargo movements.
The problem isn’t that bureaucrats and lawyers are exercising their expertise. It’s that they’re elevating their personal values above their jobs and institutions. They need to shut up and dribble.
Well the Ai companies certainly believe data wants to be free. To them, at least. Probably not to anyone else
A fair point. This list has 468 above 1 million and I think that's the urban boundaries and not metro

I hadn't actually googled concepcion, 200,000 in the urban area is quite small. It would be interesting to somehow workout the percentile of population living in a larger/smaller place.

https://en.wikipedia.org/wiki/List_of_cities_with_over_one_m...
Also: https://news.ycombinator.com/item?id=40859599
Q: How many meanings does "weón" have?

A: Yes
Nonsense, this equation doesn't even make any sense without a well defined notion of the exponential function, and then a well defined extension of said function into the complex numbers. You will already have e by the time you reach this equation because defining what exp(z) even means requires you already know the properties of e^x over the reals you wish to preserve. And Euler's formula comes from finding such a function and then defining it to be exp(z). Multiplication in the complex plane by a unit vector is a rotation. Exponentials "repeated multiplication" by such a vector is spinning. And it turns out spinning at a constant rate satisfies the properties of the exponential function so it makes sense to say that's what exp(ix) means.

This is perhaps the most unnatural equation (well identity) in maths. It doesn't fall out anywhere, you would never write it down and solve for e, it's a special case of a more general result you would get first, and it's symbol soup for precisely the reason that the identity itself confers no understanding.

exp/log are natural because you almost can't help but discover them as they appear in so many different seemingly unrelated places.
Shocker, people who take advantage of other people aren’t usually trustworthy or particularly generous - now I realize the counter example here is going to be malware companies that allegedly release keys after receiving the bounty payment but this is hardly a counter example.
I’m sure you’re a great parent, but you’re not a convincing advocate for the time-saving power of LLMs.

Either way I was wrong — this project does look like a cool idea, and I’m sorry for dismissing it entirely.
Yes, forced to follow. Its a sign in retrospect that KDE should have used an even stronger license. I don't know if AGPL existed then, but if I start a browser today, I'd license it as AGPL. If you want to use the project, you have to release your changes to your users. If you don't want to do that, good luck, spend millions on developing an equivalent application in house. Thats the beauty of GPL like licenses.

With BSD companies are under no obligation to release their changes, and like any self interested party, most don't.
You think 2 minutes is bad, try using fortify. Scans can easily be hours.
The interesting conclusion is not the weight loss but that the higher carb cohort had better results in both mass and strength. And it seems like the experiment was done on trained individuals, but don’t have access to full paper to verify the details.

Interesting indeed…

Things I’d wanna inspect: starting measurements to understand absolute gains, level of lifetime training, amount of control on diet, specifics of diet including the amount of deficit, ages, specifics of training during study.
Knobs in cars are not a thing anymore... No need for 3D for that ;-)
Don’t give them any ideas! If I know humans, they’re the kind of species to figure out how to extract energy from the Earth’s rotation, overdo it way too much, and then deny that they’re the ones responsible.
I've seen this Doll House in person recently, it's on display at Windsor Castle. While it's extremely weird that it exists at all, if you get past that, it's an exceptional example of art and craft. So much incredible detail. It's unfortunate that it's behind glass and you can't really spend good time with it, because I could imagine being in there for hours and still not seeing all the nuances.

I suppose it's the same reason I love Miniland at Legoland. Huge miniature worlds so meticulously crafted. It boggles the mind.
There were riddles and brain teasers. Eventually people realized that people who were good at those weren’t necessarily good at the job. Eventually people will realize the same about leetcode.
No, the point is that the proof itself should be written in the Coq language. The original 4-color proof in 1976 was written in English. They used computer programs to do certain computations, but the proof that those programs were correct and that they were computing the right thing was written in English and checked by humans.
China doesn’t use forced labor for anything important. It’s mostly just a more extreme version of work in American prisons, although they focus more on the re-education than work aspect (it sounds like a good thing, but it isn’t). The people building bridges, viaducts, and tunnels, are not forced, are actually getting really skilled at it. China could stop all liaojiao and laogai tomorrow and virtually nothing would change about this.
Fn mutate_immutable_ref(R: &i32, val: i32)
Welding is an incredibly useful skill that can be easily learned and safely performed by anyone with reasonable hand-eye coordination.
How much of your sleep history could you possibly need?
Again, if you’re willing to risk a jail term
If we use a degrees version of sin and cos (call them sind and cosd), then we cannot have e on the left side without a conversion factor.

(iπx/180)
e = cosd x + i sind x

ix
π/180
-> e = cosd x + i sind x

π/180
-> let f = e

ix
f = cosd x + i sind x

Probem is, f doesn't have nice properties like:

d x x
- f /= f
dx

There is something uniquely special about the unit circle, and about using the unscaled distance around the unit circle as the measure of the angle.
Just accept that time will very slowly drift over the period of many centuries. It's really not a big deal. It's a complete non-problem that doesn't need any solving. Especially since coming up with a robust scheme that will work over the period of many centuries is quite hard (the current leap second system doesn't suffice).
I was in Santiago for a month last year. It's a beautiful city and people are very friendly. I could not visit the desert in the north, but have heard wonderful stories about it. I really wish I am able to go there again.

Also, I had no idea Chile is sooo long.
Lol, I feel that!

On my 2600 game Ooze! I would drop item Y values into the audio registers as a poor man's way of making some cool sounds of enemy advancing.

Same for the player missile. As it travels, some variation of its Y value becomes the sound.

Tossing bytes at ports does insure the user associates the noise with the right on screen action.

Anyhow, great art! You did a fine job making things stand out and that is not easy.
It's an odd example, to be sure, part of the reason I pulled that from the Guardian article.

It's really pitting two general knowledge AI DB's against each other on mining knowledge, it's unclear whether this is a smoking gun on censorship or incomplete data entry.

It does highlight a knowledge void though.
I think it's weird how people react with such horror to the idea that maybe, just maybe, it wouldn't represent any kind of problem to the people of the 23rd century if 12:00 didn't correspond to the instant the sun was directly overhead, but instead a minute past. Nor would it cause any issue for people thousands of years from now if 12:00 was in the evening or the morning or any other part of the day or night. For those future people it would simply be the way things are, and it would stay that way their whole lives.
Lol you're describing Microsoft's recall feature that everyone here is saying is the death of privacy
Well the Country of Origin labels are a requirement. I'd also argue that providing more information about the origin of food to consumers is always a good thing. Do I care that there's a little kangaroo on the label? No not really, but at least I know that my orange juice is juiced in Australia from foreign oranges.
Gymnastics is the Turing test of video generation models
Its a religious thing unfortunately for some developers. They don't seem to understand the concept of all entities esp large companies acting in their self interest unless forced to. They are building the noose by which themselves will be hanged, and I think it'd be hilarious to see once we finally see the current crop of MIT/BSD being used to completely lock down hardware and software. And these developers unable to use their own hobby oses anymore. I don't know if they will still see what their error was, they probably won't, as I said its a religious matter. And religious dogmatism is a strong bulwark against logic and sense.
Most welders get testicle cancer
This Ask HN is not about "the code that should logically be best" but "the best code". There is no need for likelihood, people who have worked on it can report whether it is the case.

And people here seem to praise the tooling exclusively...

I would also point out that good tooling makes for good code, but big scale makes for bad legacy code. It is not at all obvious to me which of those effects should prevail at Google.
A bit unrelated but you posted oeis so hoping you know.
In the article they mention there are 17 trillion possible 5-2 turing machines. I tried finding the sequence for this but couldn't.

I found this https://oeis.org/A141475, but it gives 27 trillion for 5.
I think the most similar word/phrase in English is "son of a bitch"

It can be an angry insult, a demeaning adjective, a term of endearment, an expression of surprise or bewilderment, ...
Your fear has a name: Perpetual Munich Syndrome

https://hitchensblog.mailonsunday.co.uk/2014/05/a-treatment-...
If Recall was open source and auditable, and didn't send any data at all about usage to the internet, I guess that would be fine.

Otherwise, no thanks.
There are very simple game theoretic-esque arguments that many fans of BSD/MIT dogmatically refuse to acknowledge, I've never gotten a straight answer from them, zero actual data when asked for any against my argument and just try to weasel out of the debate somehow.
Most amazingly difficult maze with future potential to boost carbon capture
Zune.. Kinnect... Spot watches...

MS kills as much interesting and useful stuff as google.

One would think that with all the B2B tooling (HR,Payroll) it would be easier to spin things off.
Look at any pure creatine monohydrate (not the ethyl ester or hydrochloride forms) from a reputable supplier. It can cause stomach upsets in some people, but 5 grams once/day is generally well-tolerated and a sufficient dose for almost everyone. Don't expect miracles, but there is good-quality evidence for a marginal increase in sports performance in many situations, for many participants.
It always looks stupid to me when I see those people typing their password and it has numbers in it.

Switching their hands between the alphabet and number keys, sometimes multiple times, with bonus points for not knowing the numlock status and having to do it all over again.

With the amount of time all of us spend on keyboards, it just seems lazy/inefficient to not learn to touchtype, including the numbers and at least the common symbols.
Can you share the story of how the funding/patronage materialized? Were you already connected or was a more formal introduction & pitch needed?
Noon already does not correspond to the sun overhead. Timezones, and IIRC the time of year and inclination relative to the equator matter too.

However, irrespectively, it's basically never solar noon at noon if someone is using time zones rather than local solar time, which of course would be a custom timezone for that exact location.
Something like stuxnet? ;)
Four things I hate about Google Analytics
The Seal Team 6 example was actually originated by another judge 5 months ago and even then Trump's lawyer did not dismiss the example as purely ridiculous. You can look it up.
Since LLMs necessarily generate mutations slower than traditional techniques and generally cost more, why doesn’t the paper compare against traditional mutation testing frameworks to demonstrate the bug / $ and bug / time spent testing? Seems like important criteria to justify that LLMs are worth it.

The abstract claims LLMs are 18% better than traditional approaches, but I can’t actually find that in the body of the paper (unless uBert is the “traditional way” but that’s an LLM approach too).
In 2013, I got asked this question at Yahoo for a Frontend job:

Explain as detailed as possible what happens when I click a button?

——

Around 2004, I recall college friends talking about an exam Google published. I think one question was: What is DEADBEEF?

——

In 2008, the “cracking the coding interview” book was published, and it is like leetcode but the problems are well formulated.
If you were losing hair, it probably wasn't the creatine causing it: https://www.strongerbyscience.com/creatine-hair-loss/
Still down. I have Zelles to send and receive (I moved over the last few days) and this going to be problematic for me soon.
A: "Hey the measures we took weren't enough to prevent the abuse?"

B: "Ah I see that means we should just give up all measures, instead of you know advocating for stronger measures or anything else obvious and logical like that."

This only means we must start any projects today with stronger GPL or similar variants such as AGPL.
So I know we can prove that we cannot solve the halting problem for all TM.

But for any given TM, can we decide whether it is provable or not? Or will we meet some that we will never know if we can solve or not?
Apology accepted. And I'm sorry for getting heated!
See also:

> Tidal Energy Is Not Renewable

> It is incorrect to consider tidal power as renewable energy. Harnessing tidal energy will pose more severe problems
than using fossil fuels. ... Tides are induced by the rotation of the Earth with respect to the gravity of
the Moon and Sun. The rotational energy of the Earth is naturally dissipated by tides slowly. Consuming tidal
energy further reduces the rotational energy, accelerates the energy loss rate, and decelerates the rotation of the
Earth.

https://cs.stanford.edu/people/zjl/pdf/tide.pdf

(I've not evaluated these claims in detail, I just thought you may be interested.)
There's a neurological argument that overgeneralizing cause from effect has survival benefits. There will be a high false alarm rate for tigers in moving grass, but that's a win if, sometimes, there really is a tiger. This leads to a tendency to assign causes for random events. That in turn leads to various belief systems not justified by the evidence.

Wikipedia has some notes in this area.[1]

[1] https://en.wikipedia.org/wiki/Neuroscience_of_religion
I mean I can factually portray a spiral into addiction pretty accurately but I would rather not do so in an asshole manner :)
Many parts of the world move forwards and back a full _hour_ every year. We complain about it but it’s mostly ignored. A gradual drift of a couple of minutes is fine.
Better analogy.

You had a security breach, despite using a better set of technologies and techniques.

During the postmortem, you suggest this means we should give up all security or just use the weaker solution, since its all the same, the server would have gotten breached in either case.

Instead of advocating for building a stronger security.
There should be a great diversity in user agents because there is great diversity in personal tastes.

One person's user agent might be another person's "software I would never use".

As a text-only web user I am continually amazed, thirty years in, that web developers and now their CDN service providers are _still_ making incorrect assumptions about what user agent I am using. They are wrong every single time. There is almost zero focus on rate limits but hyperfocus on user agent string or other headers. For most sites I send no user-agent header and this works fine. But when sites want certain headers this tells me the purpose is not "protecting" servers from being overloaded, it is "protecting" servers from web users who will not involuntarily provide commercially useful data/information so that access to them as ad targets can be sold for profit.

Choice of user agent should make no difference. The JSON I'm getting is the same regardless of what device or software I am using. I decide what I want to do with the JSON after I retrieve it.

Imagining how things could be different, there could be "commercial" user agents that people use for accessing their bank acconts online and for other commercial transactions. There could also be "non-commercial" user agents that people use to read HN. Unfortunately, the way things are now people are using commercial browsers for non-commercial web use and exposing themselves 24/7 to unecessary tracking and advertising.

Personally, I only use a commercial user agent infrequently. I'm not doing many commercial tranasctions over the web. Most times, I am using non-commercial user agents. I see no ads and can focus on the text.
I was scrolling down and encountered a grey block of links, and thought I hit a paywall. But I kept scrolling and the article continued below.
I was confused too, but I took it to be the that the average weight for an online order and an in store order were roughly the same
Problem being that the big cities house the majority of voters, so the situation is unlikely to change soon.
What is unacceptable for "some of us" is that rich corporations are parasites of the commons.

ANd give very little back.
Like Apple on top of BSD or AWS on top Riak.

For people like me that find that unacceptable exist the GPL licenses.
For some people it's important to establish facts, rather than just shaping an understanding of the world using vibes.
Both companies did the bare minimum demanded by the respective license, its just that one license forces a bit more as bare minimum. Think. What does this mean?
If you use a license that demands even more, you could have pressurized the companies to behave even nicer.
There are modern equivalents. Mulvany and Rogers have a reputation for working with the best, for example. https://mulvanyandrogers.com/gallery/
.1 pt? Did they allow a magnifying glass for the test?
A question to the author, about a choice in language design.

// Import some libraries.
bring s3;

If the keyword was the usual "import" there would be no need to explain what "bring" is. Or, if "bring" is so good, why not

// Bring some libraries.

?
It must have been some nft craze they tried to latch onto years ago and finally corporate fatassery moooooves slowly

But that can't really be it either because bitcoin is generally not NFT, that would be ethereum... maybe they somehow got a bunch of the mtgox pay out through many rootkit installations? "bad music consumer! we are taking your bitcoin as punishment!"
// It seems that this just happens a lot in the wild.

// We're seeing panics across various platforms where consecutive calls

// to `Instant::now`, such as via the `elapsed` function, are panicking

// as they're going backwards. Placed here is a last-ditch effort to try

// to fix things up. We keep a global "latest now" instance which is

// returned instead of what the OS says if the OS goes backwards.

//

// To hopefully mitigate the impact of this, a few platforms are

// excluded as "these at least haven't gone backwards yet".

Why exclude any platforms, just in case they start going backwards for whatever reason?
Am I the only reader who was initially confused by the use of HRT as an acronym for Heavy Resistance Training, when in the context of aging, it is typically used for Hormone Replacement Therapy? I wonder if they have evaluated HRT assisted HRT?
Interesting that Immich is funded by FUTO: https://futo.org/

They were mentioned here the other day in relation to the FUTO Keyboard: https://news.ycombinator.com/item?id=40831489 (285 comments)
I’ve been a couple of times. It’s geologically interesting, but there’s no sense of scale when you’re in it. It’s also hot, dry, lifeless and a long way to the nearest pub. But a cool place to visit, with the journey to get there in your own vehicle is the trip,of a lifetime. Mauritania is a special place with lovely people.
There's a disconnect between childrens' miniatures and adults' miniatures.

All those 1/6 scale vinyl collectibles that sit untouched on geeky bookshelves? Same deal.

Having said that, some people love the building, and lose interest once the project's done. I think model boat makers often fall into that camp.