skysight-inc/HackerNews huggingface dataset:
I personally ran into this on a Sun workstation. The earlier versions of the "format" command didn't do the partitioning math for you. So you had to add cylinder numbers yourself. In calculating the start position of /usr, which came immediately after swap, someone had forgotten to carry a 1.

When displaying the partition table, if I remember right it only showed starting position and size. So to verify it was correct when looking at it, you had to do the math again, so it was difficult to spot the error.

But it had the exact symptoms you describe. The user complained that the system worked fine until they opened a lot of stuff, then it crashed.

The only reason I figured it out was that we had several identical machines (with identical disk drives), and I happened to run "df", and this machine had a suspiciously large amount of disk space. Space was always tight because disks were small (200-400MB), but none of the filesystems seemed close to filling up. I couldn't explain that, so I started scrutinizing very carefully, and then it hit me.
>I thought you were saying that “universal rules for nudity (subcontent: nipples)” are easier to write than “universal rules for fact-checking.“ If so, I disagree. They are either:

I think we still have a misunderstanding. I am saying that enforceable rules for nipples are easier to write, regardless of the cultural approval of those rules. A well written rule can be enforced by only looking at the content that is on the platform ( eg the image). That is not to say people might disagree (its Art!) or they might get it wrong (its a male nipple).

When it comes to statements of fact, this is not the case. The enforcers must draw conclusion based on off platform research, a presumed intent of the post, and/or a presumed interpretation.
Twitter should probably kick Spronson, Betts, and Hodgkinson off of their platform, then.
(BD -> Eng Stress) ^ pre PMF
Your example about Python 3 support reminded me of snowdrift:

https://snowdrift.coop/
> Questions, not takes. Borrowing a lens from @humsys, we prioritise being curious about what the book is saying, and about what our bodies and minds are saying in response, over judging the book or using the book to judge ourselves. Evaluation is not the answer.

This is so key. When I transitioned from great-books-liberal-arts to big-university-science-journal-clubs, the difference in approach was staggering. In the former, we read for understanding, to try to grok what the author was trying to say. In the latter, the culture was to crap on the authors and show how smart you are by criticizing experiments and methods and citing contradictory research. I understand that critique is important for progress, but as a new student just trying to figure out which way was up, I was just trying to understand, and the culture at my university certainly didn’t promote that. And honestly, there is more humility in the first approach, and I like that.
Best Open-Source Tools for Data Mining
last time I tried to use Rollup, I found that it was very focused on NodeJS libs rather than frontend projects where Webpack (or other tools that bill themselves as "bundlers") is used more often. After a few "oh, rollup doesn't do that by default, guess I need this plugin"-situations, I switched back to Parcel.

Has that changed? Was I just not using it right or didn't read the right rollup-for-the-web documentation?
> That's also something that Elo handles just fine? If every game is a coin flip then everyone will end up with the same Elo. If player A has x more Elo points than player B, then they win y% of their games. If your game has a skill ceiling where even a complete beginner always wins, say, 20% of their games, then that just means no-one will ever be able to rise above a corresponding Elo rating.

That's not how it works. The distribution you end up with will not be uniform, it will look like this (just ran Elo with a coinflip; 11 players, 1000 matches): https://imgur.com/9O82pRj

On the long term, I think this will tend to a geometric distribution with a low p value.
Rumor had it their enamaled iron cookware is la cruset. I have a Dutch oven that was 60 dollars vs the 200+.

I'm willing to bet it's true because I can't really name another french cookware company specializing in that sort of goods.
>> given enough players and enough matches, of course
I found https://imprint.to/ on product hunt the other day, seemed good enough for me
It may be helpful to integrate with charity evaluation services to help donors assess various opportunities to give.

Charity Navigator > Evaluation method
https://en.wikipedia.org/wiki/Charity_Navigator#Evaluation_m...
What do you even need a government (with a benevolent leader at the top) for, if you don't have any bad actors?
> BTW, user-agent is a hell anyway. Just looking at this user-agent that OP posted, macOS still identifies itself as "Mac OS X", still is based on Mozilla/5.0(!), still identifies itself as KHTML enginee (compatible with Gecko), and so on...

This is why we have some more developers spending time on creating FOSS libraries that parse user agent strings and tell you exactly what the browser claims to be, with attributes like browser name, OS, version, browser engine, etc. All these libraries need updates (or at least a cursory look) whenever a new browser version is released so that they can continue identifying browsers correctly. All those people, bless them for this work, could be doing something else in an alternate universe.

Notwithstanding feature detection and graceful downgrades, browser user agent strings seem to be very commonly used to decide the behavior of many websites.
This comment sounds good. I was objecting to approaches like Eq 10 of your paper and much of the Karniadakis approach.
Netlify Pro prices dropped to $19
Please, _please_ share that code.

The democratic web is dead, and navigating the silo'd web is dreadful without one of the three blessed browsers. It sounds like you've created a ray of hope.
Wow, I wrote this article ages ago, didn't expect to see it posted here today.

I just want to clarify the point of the article:

Why would you fit a curve to the data when you can just use the actual data?

That's the point of the article.

We're in the age of big data, we should use it to make better win rate predictions. Elo's exponential curve is fine, it's approximately right, it's just now we can have databases of millions of games and we can just do better. Elo was invented before the big data age and it is limited by that.

That's all I'm saying.

I shouldn't have included all the other stuff in the article, it just distracts from the point.
Depending on your search engine of choice, given just his first and last name, you will discover either his middle name or his blog on the first or second page of results. If a patient wanted to look him up online, it wouldn't take much, and if a person familiar with his blog wanted to find his real name, it also wouldn't take much. I did it just now in a few minutes of Googling.

Now, regardless of all that, it still seems like it would be a nice thing to do for news media to respect his wishes. But it also seems like a bit much to say that publishing his name would be all that significant of a change to his level of anonymity.
I'm not sure Saudi Arabia is willing to sit on theses low prices for decades.

Reg pressure on oil could hurt them too...

Generally speaking the oil available now will be in the future if prices rise again. The technology to access oil has made it easier to get to, not harder.
Everyone knows the name. It's [redacted]

And searching for it doesn't reveal the secret SSC blog.
Outstanding. CSV would be helpful for recognizing donors in e.g. annual and ESG/CSR reports.
Can't tell if your original comment is hilarious or stupid... I'm probably not smart enough to discern so I, probably like many others, defaulted to stupid.

Surprised you're the only comment on the whole thing though.
Ask HN: How much product knowledge is necessary for developers?
Huh, I thought that gamers also like high quality images.
but put it the other way: can you contrive some extremely bad notation to make it harder to understand Galois theory?
A company should be responding to new information as it comes in and immediately act. People should have been gradually been fired since the start of covid, not all at once months later.
A lot of people say this, but if I were to sit next to you and tell you what the notation means whenever you asked, would you instantly understand the concept? I don't think so. You still need to do work on your own with the concept before you can get to any understanding.

Say, you come across this symbol: ζ(s)

And you asked me, what does it mean?

Oh, that's probably the Riemann zeta function (it could be other things, but that's probably its most famous meaning).

Would you be like, ah, now I understand it all!

I sincerely doubt just knowing the English words for the symbols (and all mathematical notation is just shorthand for English, or whatever other natural language; it can all be read out loud) would get you that much further along. I could give you one of several possible equivalent definitions, but you still wouldn't really know much of anything. I could start explaining some things about primes and how they relate to the Riemann zeta function, and you'd still be in the dark. I'd have to talk about the prime number theorem and estimates and complex analysis and a whole bunch of other things before the Riemann hypothesis even started making sense. In fact, people have written entire books just trying to explain in the most accessible way possible what that one symbol is:

https://www.wstein.org/rh/

I believe what's going on is that a lot of people who find notation to be the first stumbling block are trying to learn mathematics in isolation, without the benefit of a mathematical community to be able to talk to. You pick up a book, see a bunch of weird symbols, blame the notation, you put it down. But people who train for mathematics specifically rarely learn that way. Mathematics is a social activity, you talk to other people, you read the symbols out loud to each other on chalkboards or side-by-side as you scribble notes on paper or on a napkin. You talk to each other a lot, pronouncing the symbols as much as you write them down.

The notation is a very superficial obstacle. Notation is very incidental, malleable, almost irrelevant (or as mathematicians might say, non-canonical or not natural). If notation is your biggest obstacle, there's a lot more underneath that you probably don't have enough experience with.
Your political beliefs aren’t a protected class wrt interactions with private entities under the Civil Rights Act, and there’s no other relevant right to not be blocked by a private individual or business if they don’t wish to hear or disseminate your speech, so yes, there’s nothing legally actionable there.
Thanks for mentioning Turing.

In comparison to other PPLs in Julia, Turing is less a single probabilistic programming library and more a framework for probabilistic programming by providing a large collection of exchangeable libraries.

AdvancedHMC, which you mentioned, is simply one of the many projects for probabilistic machine learning that we actively develop. AdvancedHMC specifically is meant as a research platform for HMC algorithms and implements state of the art algorithms for HMC based inference. Other Turing libraries focus more towards variational approximations of static models, Bayesian learning in neural networks, and universal probabilistic programming with support for dynamic models.
Other companies just do layoffs less obviously. For instance, PayPal has been laying people off in the Bay Area even though they are doing really well to shift those jobs to Austin or Omaha or Chandler. They just don't do it all at once and often give people anywhere from several weeks or months to start looking for a job before their actual termination date, depending on how long they've been with the company and pay grade. Companies are super sneaky.
They claimed it was misleading, no?
> These results may help identify target areas where geologic instruments should be placed on future missions to Venus, such as Europe's EnVision that is scheduled to launch in 2032.

Russia has also been talking about renewing their famous Venera program for some time, which was the first human-made probe to land on another planet:

https://en.wikipedia.org/wiki/Venera

>> Venera-D is a proposed mission to Venus that would include a highly capable orbiter and a lander. From the standpoint of total mass delivered to Venus, the best launch opportunities occur in 2026 and 2031 Venera-D could incorporate some NASA components, including balloons, a subsatellite for plasma measurements, or a long-lived (24 hours) surface station on the lander.
I have an entry in this space, that I wrote myself:

https://quanta.wiki

However it's not fully baked yet, and not on a server that will have huge bandwidth.
Web Scraping Tools
"but India’s path is perhaps a more populist and nationalistic one than many Americans would prefer."

Really?!?
I think Go's calling conventions also don't allow for tail call optimization?
Yeah, I thought Trader Joe's did this a lot also? I recall they're super secretive of what items they buy directly from name branded stores, and people have spent serious time trying to reverse engineer their supply chain.

https://www.eater.com/2017/8/9/16099028/trader-joes-products
What is the part of "calculates the value of all benefits to be paid out in the future, due to past and future service" that you don't understand? Congress required all possible benefits present and future be calculated (subtracting only future accruals, i.e., gains in investments) and then that money had to be raised over 10 years. That is never required from companies, which have to fund only the portion of pensions that they effectively supposed to pay based on current liabilities, not what they will be projected to owe in the future.

You can find the explanation in several articles, for example:

"[the law] requires the self-supporting U.S. Postal Service, which receives not one dime in taxpayer subsidies, to fully fund its retirees’ health benefits for 75 years into the future. It also requires that money be set aside over a 10-year period, at a rate of more than $5 billion per year.

That means the postal service is now paying for the future health care of retirees it has not yet hired, and who in some cases have not yet been born. No other public or private company in the nation bears any kind of financial burden like that.

Even worse, none of that money is truly being set aside. Instead, it is going directly into the U.S. government’s general fund, and it’s being spent on current government operations. The set-aside is a theoretical accounting gimmick. Those future retirement liabilities are actually being added to the national debt."

https://roanoke.com/news/local/casey-the-most-insane-law-by-...
The gas tax has been kept artificially low which is a big part of the problem. The last time the federal gas tax was increased was 1993, and it's not indexed for inflation which would have raised it 77% in the intervening 27 years. Similar stories apply for all the local gas taxes. Illinois had a bill to increase the gas tax in 2019 (I don't know what the fate of it was) but before that hadn't increased its gas tax since 1990 despite, Wikipedia's table of state tax rates noting that Illinois and only Illinois has a gas tax rate that can be adjusted for inflation.
Even commercial languages can have multiple competing compilers.
We need something better than the web.

Let’s start by making native apps as instantly accessible as websites — iOS App Clips are a step in that direction.

Next, let people share links into native apps.
Completely agree. I've become increasingly convinced that we'll need a fundamental restructuring of the academy if we want to fix any of these issues. The fact that places like MIT or Stanford will hire professors simply because they output Nature papers every year, regardless of the fact that they are totally abusive to their trainees, is a perfect demonstration of it.
> The Cadence is an operating philosophy that I first learned as COO of PayPal (during the so-called “PayPal Mafia” founding era) and then adapted for SaaS as founder/CEO of Yammer

And then what happened with Zenefits? Seems like the system isn't foolproof, even when being implemented by an expert veteran.

It's interesting how almost everyone that succeeds, looks back afterwards and comes up with some rational explanation of their success. However very few people aknowledge the outsized influence of just pure luck, being in the right place at the right time and knowing the right people to make it happen.

If the reasons that people come up as explanations for their success were true, then they would be able to repeat the same thing over and over at virtually zero risk, because they now have the formula for success. But it just doesn't happen (or just very very rarely).

David Sacks' cadence system looks cool, and by all means adopt it if it helps you run your company better, but don't dream about magically becoming a unicorn just because of it.
> Oh my god can we please kill the user agent string already?

Browser makers tried to do that by providing feature detection, but the weight of legacy code and developers already used to using the user agent strings has made killing it impossible.

Edit: As pointed out in another comment here, it seems like Google is killing it (or planning to). [1]

[1]: https://www.zdnet.com/article/google-to-phase-out-user-agent...
Too heavy for me, just curious.

Wittgenstein had read Godel, right?
looks gamma, but just like... slightly gamma. i guess my contention would be that it "probably" should be smushed/redistributed with even more mass on the right tail, but i couldn't tell you from personal experience whether that's true, as i'm pretty terrible at rocket league. i will say that the top Rocket League players (to my untrained eye, and jaw on the absolute floor) may have an even higher z-score than top players than any other game(s)... but rocket league is kind of unique in it's being a remake of a game that i guess a lot of (the same) people used to play.
election coming up boys, gotta get that annoying free speech under control. Also the 'article' is complete bs. The connection to wayfair is made up entirely.
oh man javascript devs are looking at what winform devs have been getting away with for years...

on top of the unimpressive feature set and price, they really dont have a good remote support... like Im just gonna send a json object with nearly 100 million rows.
It is possible it was a paid article. Jio's attraction is about its low price point, not quality (speed/latency). Again, that itself is not a problem per se, some people don't need the fastest and the lowest latency as long as they have affordable access.
There are PhD programs not attached to research labs. I would say the majority of doctoral students are not attached to one.
Experienced founders agree with the post... Look up ScottPorad.com, he has experience in tech and finance ranging from working with Paul Allen to founding Icanhazcheezburger and failblog.
> Jio also collects (or said it would collect) information about its users and their habits through traffic analysis and deep packet inspection

You have a source for this, especially regarding deep packet analysis? Just curious.
They actually list their margins in their normal SEC filings. For merchandise it's usually around 11% on average. Obviously it will be higher or lower than that for specific products. Costco is able to have margins way lower than retail average (Target runs around 28% for comparison) by having much lower per-revenue dollar operating costs and by doing an absolutely stupid amount of revenue per location (a single location will average close to $200M in sales per year).
On mobile it _looks_ like a spreadsheet but seems entirely unresponsive to, for example, selecting a cell.
One of the arguments for python is the exceptional support of automation differentiation and GPU computing through deep learning libraries. Most python based PPLs focus on static model with differentiable log joints, allowing the application of HMC or variational inference. Unfortunately, the support of efficient automatic differentiation libraries in Julia is still in its infancy. But I hope with some more work by the community and the Turing team, this will change sooner than later.
He rejected Gödel's arguments.
Did a vc get triggered by this and flagged it?
I wouldn't have spotted it without this comment, thanks. I'm mentoring at a hackathon this week and this sounds like a typical pitch.
That's not a lot for their target market.
The last time I tried to interact with Iowa State University ECprE, a professor who I won't name asked me for a $20,000 bribe to do research with their lab. Confirmed their culture is just as toxic as it was a decade ago.
Which is funny as it's much cheaper to provide higher speeds in high density areas.
That's exactly what's in progress, but this is all new territory and has developed incredibly quickly. Legislation hasn't kept up.

As far as scale, your comment already proves the point. A portal with a few millions users showing some brand pages is nowhere near the same as having a billion people constantly connected with every detail of their lives shared.

AOL was only dominant for a short while as an internet destination, but it wasn't dominant in people's lives and still competed with TV and print media in a mostly broadcast fashion. Modern social media is much more pervasive and powerful than AOL ever was.
The one thing about Costco that's annoying is how they double check your receipt on the way out and kind-of make you feel like a criminal that can't be trusted.
You can still gain efficiency by centralising services. If you have centralised services you need some mechanism to coordinate them and make decisions about how they should work, and those decisions should ideally take input from the people using the services. Even in a no-bad-actors world you still have many different competing interests to balance due to different people's needs and preferences, so you probably want some kind of polling/citizens forum/whatever to gather input for making decisions, and an organisation that looks at all the details and makes the decisions on behalf of the collective.

Or by example: You still want someone to organise weekly garbage collection efficiently and equitably. The government does that.
Yes, the best fit for the data is the data itself, it's a tautology. Nothing wrong with Elo's exponential curve, it just can't beat the actual data.

You raise a good point in that I could've created a training set and a test set, that probably would be a better validation. But I don't know, I'm not doing science, I'm making a game.

On the topic of whether the future matches the past, the predictions were based on a rolling database of the past 100000 matches, which is approximately the number of matches played per 7 days. So my theory is that the data is quite recent and up-to-date and so should match, in general.

Of course I never tested this. In the end, I'm not doing science, I'm making a game. If the retention goes up, complaints are down, then I can't keep working on the rating system, there are 1000 other things to do.