skysight-inc/HackerNews huggingface dataset:
What about his comment implies that? I don't get that at all
I googled homeschooling and reading level; I found no discussion or documentation of the reading capabilities of homeschooled children. I don't believe it's possible to get an accurate indication of the reading level of homeschoolers. The dominant thought seems to be that "grade level doesn't matter" and that parents refuse to evaluate their children using the same tests as public and private school children. This refusal to participate in society and work by the same rules is part of why I think homeschooling is a considerable disadvantage for most kids.

If a process or organization is ineffective at solving a problem, it's usually because it solves the wrong problem. Understanding why the problem occurs is part of finding the right solution.
Holidays are special because they’re special, both the winter solstice festival (rebranded for christianity) and the spring equinox one (same deal) can be treated differently for cultural variety by the non-observant.

I’m a militant proselytizing atheist raised by a jew and I still have a tree with pretty lights, give presents, and drink and eat some things I only drink/eat once per year (never make homemade eggnog if you ever want to enjoy it guilt free again, you’re basically drinking a megacalorie of heavy cream, yum). It’s fun to celebrate the generic concept of “holiday” - a time that is different from other times.

You’re allowed to feel nice about peppermint candy (and/or chocolate gelt, I go for both) at the end of December without bringing the supernatural into the equation. :)

\m/
Mathematical Proof Between Generations [pdf]
They already charge less for those -- 10–15% rather than 30%:

https://play.google.com/console/about/programs/mediaprogram/

But the excuse is that it's their platform and they set the rules. If you don't like it, you don't have to build a business selling there.
> Many of us willingly pay a premium for that

Cool, stay in the walled garden if you want to. That doesn't mean other users need to be forced within in it with you, too.
Ok...

Genuinely, if you have a point to make i am happy to hear it and discuss it.
Yes, watercooled variants are better for dual setup (at least one, better two).
That seems like a pretty obvious control to me, seems odd that they didn't use it. Or perhaps "any tears" vs saline.
Does their behaviour with beeper mini instill great confidence? Will you trust them with your credentials to all your chat apps?
> One thing that isn’t part of the [RCS standard ratified by GSMA] is the encryption standard Google is adopting. It’s building it on top of RCS right into the Android Messages client.

> If you are texting with somebody who isn’t using Android Messages (say, somebody using Samsung Messages or an iPhone), the fallback to either less-encrypted RCS chat or SMS will still work just fine.

Sounds like Samsung users need to separately download Android Messages to get E2EE.

Quotes from https://www.theverge.com/2020/11/19/21574451/android-rcs-enc... which is cited by Wikpedia on RCS.
Exactly this.

Waste incineration to create electricity, and also (according to those companies) to reduce emissions from landfills, and the need for land for waste.

Even if you think it's going to landfill, a lot is not.

And when it's burned, plastics are released into the environment, if not immediately then over shorter time than if they were left intact and buried.
I'm not sure how it works at the protocol level, but I've been using contactless payments at gas stations here in the US for years now. You just tap to pay before you start pumping, then after you're finished you get charged for the amount of fuel dispensed.
took one AG to try to cancel their subscription :D
This is exactly what I was using HN for. But, yeah, in kinda sucked compared to yours. Another thing I was trying to create was some sort of NN model that could use the semanticscholar h-index of authors along with the abstract text and T5 to estimate the one-year out citations. Just for personal use, though. That whole thing fell apart because semanticscholar is kinda crap for associating author links to the same author. I frequently ended up with the wrong professors, which I'd think would be easily fixable for them.
Abstract: A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e., precision and intuition, through the advent of computer proof assistants. This used to be a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the different definitions of a proof, the gap between them, and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.
he's an 18 year old autistic kid - you've never made mistakes in your younger years? why are we so quick to dismiss an entire human life as worthless? people only learn when others are strong enough to teach them.
> It’s apple’s own private system and infrastructure and they’re within their rights to control content delivered using that system.

I dunno: to me, Apple's "rights" stop at their doorstep, and if they don't want their service to be accessible to third-party clients, they are more than welcome to just not build such a service (as we honestly don't have any reason to provide legal defense for this one specific business model).

We don't merely generally avoid extending rights over other people... usually we protect people from incursions into their rights by companies, whether by contractual or even by technological means: we have many laws and legal precedents designed to ensure interoperability, fair markets, and basic things such as "legal ownership" (see the right of first sale doctrine, for example).

When Beeper sues Apple (which I do hope is their next step), it is not at all obvious that Apple will get to keep doing what they are doing here... and, even without Beeper's involvement, we're already seeing government regulators and politicians rightfully poking around at the situation, ready to provide some clarification to the rules in order to prevent this kind of thing.
I think it makes no sense that one would need to time protein intake. After all the way muscle grows is in response to damage after use. We don’t worry about a “calcium window” when we break a bone.
This makes no sense. Waymo is not saying their cars outperform human drivers in all situations. They are saying they outperform human drivers in the location where they've been deployed. It's exactly an apples-to-apples comparison.

> You can say the drivers are worse only on the segments where Waymo was willing to test it, and that is worthless.

That's not worthless at all. There are tons of places in the US, maybe even a majority, that are quite similar to something between SF and Phoenix. Yes, absolutely, there are tons of places it's not. Again, so what? I just don't understand why anyone would expect that Waymo would not start with a progressive rollout.
Being able to get your book published and having the publisher spend enough on marketing to get you on the NYT Bestseller list means something.
> I just drop it off and other people do the delivery for me.

That's what I said. You have to create a physical letter and drop it off. Not everyone can just walk over to their mailbox and stick an outgoing letter in there for the delivery truck to pick up; I have the privilege, but it absolutely hasn't been common everywhere I've lived.

You don't have to drop anything off in order to make a phone call, you don't even have to get up if you already have your phone.
How Do Video Game Graphics Work?
Indeed. Milk has 3.4g protein per 100g. In the study they fed 100g of protein, which was "the largest amount of protein that we consider feasible to consume in a single meal (100 g)". It is the equivalent of drinking 3 liters of milk.
Nature finds a wqy.
Links between mutations, intellectual disability
book link?
> I've heard they're not that healthy. Gorillas on the other hand are.

Are they? Gorillas live to 35-40. Humans live to 80+.
Physics Girl (Dianna Cowern) Health Update
I think there are two things that you can’t do on iOS:

- have “Hey Siri” send audio to your code

- have your code reliably listen in to the microphone so that your code can listen for its own trigger phrase (AFAIK you can start an audio recording session, and have that continue while your app is in the background, but that requires users to open your app first. I also am not sure that recording will reliably survive device sleep and automatic app shutdown because of memory pressure)

I think #1 is fine. It doesn’t seem fair to me that Apple should be forced to allow other developers link “Hey Siri” to their voice assistant because that assistant may be detrimental to the value of the “Hey Siri” mark or Apple’s values, for example because it is racist, sexist, homophobic, etc.

The second IMO isn’t fine, but I can see Apple argue they are in their rights to have some control over how that rigger phrase gets detected. “Hey Siri” uses a small on-device network specifically trained for that, in order to conserve battery life (https://machinelearning.apple.com/research/hey-siri), and they may argue having good battery life is essential to their brand.
Perhaps because they just made it public?
Most consumer microwaves have a turntable in them, which eliminates that problem. That's one of the reasons why most consumer microwaves have a turntable.
> We’re headed towards a paywalled Internet,

If that's the intersection of need/demand, okay so be it.

Like, I have preferences but I understand they might not be others'.
Yes, there is only the official app to send sms. Do you think anyone cares? Have you ever heard anyone yearn for a third party app to send texts?
My next step at least is various models running at home that i can talk to remotely with my phone. Join a discord channel and talk to my bots. My bots respond or do things back in the channel or with whatever else they have access to.
To be fair, that was JUST added in the most recent change. It has _not_ been like that the whole time, and it's a bit disingenuous to imply that it has.

I doubt it'll have an impact though, and this will likely get shut down just as other methods have been.
bros were right.
or 4 scoops of whey protein isolate
Wow. I’ve got probably 20, all on my mom’s side because she’s one of 13. My dad’s parents weren’t keeping up lol.
> We've adapted to sacrifice mass and strength at times.

Can we please find a way to un-sacrifice mass, un-fit to survive in less abundant conditions? Right now, the food is so abundant it is actively killing us. But we are fat and not muscular.

Are we sentient species, after all?

I do not joke when I say it would be multiple Nobel prizes. Everybody will get around five quality-adjusted life years on average if you do it correctly.
> Maybe I've been drinking too much internet capitalism koolaid, but a completely ad-free internet would not have had the commercial lift we've enjoyed these past 20-plus years.

I completely agree that an ad-free internet would not have seen numbers get big as quickly as what we've experienced, but it doesn't necessarily follow that an internet that makes numbers get big quickly is also the internet offering the best user experience.

Usually, user experience gets sacrificed to make the numbers get bigger, faster.
> I don’t think it assumes that the candidate is in any way not as qualified. It assumes the candidate is not as likely to get hired because of bias in the hiring process.

That's the sneaky part. There's an assumed "bias," but it's rarely rooted in fact or backed by statistical evidence and more of a religious statement. At best, it's admission of a guilty conscience [1].

[1] https://www.youtube.com/watch?v=XASNM1XEQPs
> It's crazy to say Apple is late to AI or missing the boat.

Apple is always "late to X". Their approach to all things ML so far has always been "can we run this on device". And very few, if any, of the latest LLMs can be run on the device reliaby, and without sacrificing device resources.

> OpenAI has been talking about AGI

Of course they have. Precisely because they "line up commercial partners"

---

Edit: previous version said, confusingly, "AI is always late to X". Also fixed typos and cleaned up sentences
The culture I grew up in is one where this happened about once a month. Well, before Sudafed became hard to get. Then the rate of it occuring dropped precipitously.

It's almost like people in fact do base their choices on what's easily available.
AGI safety from first principles: Superintelligence
Yeah my custom has been a 25g protein drink immediately after a workout I might try bumping that up.
Not a biologist, but - put that gorilla on a squat program with a couple gallons of milk a day and he'll be even more muscular.
Appropriate incineration should have exhaust controls that minimize the amount of particulate emissions, including residual plastics.
Maybe ask gorillas how they trigger that without exercise if they're so cool

/s before anyone intervenes
It could be because of other lifestyle choices or predispositions which correlate with drinking sugary drinks. It could also be because those drinks don't have potassium or other nutrients which are present in fruits.
In fact even worse, I believe, was that the person being chased was LE-affiliated and was under the influence.
This is an unfair comparison imo. Just because Dewalt (or similar) sell a comprehensive toolbox does not mean people won't pay for a standalone screwdriver. It all depends on what people feel they need.
Yes. This is how VanJS works. Code with VanJS is often more concise compared to equivalent code with React.
Wait, how do they conclude "no upper limit" from 100g? The conclusion seems to say rather that we can do at least 100g. Did I miss something?
> By this process we should just drop hiring bars altogether.

I don't think the parent comment is negating the need to hiring bars. IMO two important points :

1 - DEI and hiring bars are not opposed to one another. Actually well designed DEI program are meant to make sure the hiring bar are free of un neccesasary blockers.

2 - I think that mostly what the parent comment was trying to say, "hiring bars" is a nebulous term thrown around. Every team "saying/thinking" they have ha hiring bar doesn't mean that there actually have one. Just rejecting 99% percent of the candidate doesn't imply a good hiring bar... since you might selecting the bottom 1%...
Maybe they should give him something to do and hire him themselves.
I believe JS workers are actually implemented as threads, so the performance overhead might not be as bad as you'd expect.
If the pool of candidates doesn't itself have the race or sex proportions that you're hoping to hire, then you intrinsically have to lower your standards at least for the underrepresented group.

Then you end up with a wider range of quality levels among the underrepresented group (because you had to scrape deeper in the barrel to fill your quota, and the overrepresented group ends up being in the higher quality band (because scooping the cream off the top filled the quota).

This has the really perverse effect of creating a true observation (in the context of your organization) that the average quality of the underrepresented group is lower than the average quality of the overrepresented group. e.g. the asian men you hired are all the cream of the crop and the black women you hired are everything from the cream to the dregs.

I suppose you could artificially hire lower quality overrepresented groups to correct for this, but then you're really setting yourself up to be outcompeted by companies that only hire the highest quality employees they can.
For federated systems like this why are there clients and servers... shouldn't they all be using a single system that stores all that user content locally and uses federation to communicate to others? I don't get why you'd want an account on someone else's server when you can be running your own.
Why are gorillas healthy? They aren't getting diabetes, sure, but most wild animals teeter on the edge of survival all the time - not a state of vibrant health.
This will come in handy in CTF competitions and studies. I often find it difficult to keep track of my work.
I think this is an argument in favor of doing automatic PDF -> HTML conversion for the authors that don't want to touch it, but I don't think it's an argument against letting those who are fine with HTML provide their own.
At last, a counterexample to Betteridge's law of headlines!
Can you summarize what does this mean for an average gym goer? Should I take protein immediately after workout?
Really surprising stuff (to me). I'm coming from the prior that large amounts of protein ingestion in one sitting are "wasted" and do not contribute much above a certain moderate amount. This is obviously only a single study, but it at least opened me up more to the possibility that this is wrong.

Some important limitations as listed in the paper:

- Study only assessed a short-term assessment window (~12 hr), and the researchers speculate that metabolic changes over time might skew these results:

"it is possible that the metabolic response to protein ingestion is modified
over time. For example, it could be speculated that amino acid
oxidation may increase in response to frequent, prolonged epi-
sodes of hyperaminoacidemia or that large postprandial protein
gains are compensated for by upregulation of amino acid oxida-
tion in a subsequent fasted state"

- Study was with healthy young men after a bout of whole-body resistance exercise. May not extrapolate to other populations or conditions (i.e. at rest).

- Other study "limitations" point out that they were conservative in their conclusions, and the results of eating large amounts of protein at one time may be even stronger than stated in the paper.

Still, very interesting stuff.
Just to be clear, 100g is a large dose, but far from being able to assert there's "no upper limit"
25 grams? Those are rookie numbers!
Retail prices of both electricity and mineral gas are highly regulated. They aren't market outcomes in any sense.
Without exception, my male friends with kids have significantly reduced their time and energy spent on their jobs to focus more on their small children. They all say that their kids are the most rewarding part of their lives. Most have highly-paid professional jobs. I expect to do the same, at least for the early years, when I eventually have children.

This seems to be a huge shift from the previous generation. My father and most of his peers worked long hours and contributed little to childrearing.
Keep in mind that Beeper is a company (backed by some people wealthy enough to open themselves up to litigation against Apple) and most/all of the CFAA horror stories have been against defenseless individuals, so it might play out very differently as corporations are given much more leniency.

Beeper has managed to get enough media coverage on this issue that any litigants will need to consider before bringing any suits, including attention from legislators themselves who are calling for antitrust investigation. That's no small feat and suggests Apple may not be on as solid footing as you think.
Much the same way you have cherry-picked examples of Waymo doing well and FSD not doing well, I too can cherry-pick examples of FSD doing well and Waymo not doing well.

I would encourage you to review the actual data. FSD is currently the industry leader in numbers of miles driven per incident. https://x.com/TashaARK/status/1727463951254863949

I expect this to improve even more with FSD 12.
That is almost literaly how they have been advertising themselves for the past almost 10 years.
My go-to analogy:

I subscribe to a magazine. It has ads. I pay my butler to cut out the ads. Is that illegal? Now I have a robot butler doing the exact same thing. Is that illegal?

The web server is serving you content. Your ad blocker is a robot butler cutting the ads out of the documents you're receiving.
That's your choice! But suggesting everyone operate on a substantially less convenient basis due to your specific desires for privacy seems... selfish.
Yeah, apparently well enough to run a web service off of iPhone image recognition!

https://findthatmeme.com/blog/2023/01/08/image-stacks-and-ip...
And, yet, if Firefox decided to ship an ad blocker on by default they would lose their primary source of funding.
I can't agree. This guidance just pushes responsibility down onto application developers and I would expect most of them to either do nothing or implement guidance inconsistently.

The right thing here is to offer APIs that fit the needs of the applications that will use them with as little extra responsibility as possible.

In this case, I'd have hoped that Google would set email_verified to false so that applications (or downstream IDPs) would know that they had to do extra verification.
Again... more data of 1... At my company DEI was very VERY much targeted by the layoff...
Do you really need referential integrity?

Do you really need consistent data?

Do you really need test coverage?

I mean, you can make do without it. But it’s generally better to have it than not.
This only changes today. Until now they have used various workarounds to avoid this.
Because intel messes up everything with their bureaucracy. Look at the NUC, they made it extremely hard to get because of their convoluted distribution strategy. They could have easily done direct to consumer and made it easy to get.

Till they fix their culture problem, they should be unloading these business units and profit by holding majority stakes in them.
The no foreign keys advice tastes of 2005/2010 when the lack of support in some frameworks (Rails included) prompted developers to dismiss them as unnecessary. This piece of advice at least quantifies the terms of the tradeoff.

Regarding the correct "saving snapshots to a data warehouse", if there are one million web apps in the world, how many of them have the scale to noticeably benefit from either doing without foreign keys or from a data warehouse? I've been using many of them like everybody else but they are totally irrelevant to the long tail of apps and developers.

By the way, a good DBA can make miracles for the performances of most databases in that long tail. A few days of work are worth the cost especially if the team pays attention and learn the lesson. The best remark I got about a DB of mine was a "not bad for being only a developer". The DBA version was better.
>>All technological discoveries and developments are owed to the historical work of all mankind

Yup, which is where they go when the copyright expires. And, I am definitely on board with shorter expiration terms, and entirely against these endless extensions won by lobbying of corps like Disney.

While you've said you are "not OK with capitalism", you haven't said that you are OK with my proposal. Why?

And yes, I am familiar with the original phrasing "to promote the progress of science and useful arts". That does not mean that there is no possible moral ground behind the law. It only means that the authors of the law found it sufficient to mention the utilitarian grounds, and indeed that founding group tended to look first for utilitarian basis for the rights they wrote down.