skysight-inc/HackerNews huggingface dataset:
This is how typical courses in eg physics are supposed to work. You read the material before a lecture, the lecture gets everyone on the same page and hopefully answers some or all of your questions, then you solidify by a) doing all the exercises and b) attending the tutorial and/or office hours to resolve questions you still have.
Sun vs. Moon
That, yes, but a surprisingly-large-to-rational-bubbled-HNers set of Americans actually worry that any kind of national ID program is part of the rise of the Antichrist to power and that having one puts them under, or will in the future put them under, the Antichrist’s power. Seriously.
I'm so glad the industry starts adopting formal proofs more and more... After 20 years in the industry i still feel like a caveman, coding as best as i can, hoping nothing bad will happen (and then sighing at the sight of the 100ks line counts of my project).

Maybe having more powerful code generators like LLMs will shift us toward spending more time on specification and modelling ? Let's hope so.
I've heard that Premium viewers account for a better income for content creators in comparison to ad-supported viewers. That's enough for me to be happy to pay.
My take is a combination of factors

- Decreased fertility ( Obesity maybe? )

- Cost of housing.

- Children in the west are now overprotected little dictators and parents are no longer allowed to be humans with their own needs.

Side rant:

I just saw a linkedin post with a woman being flamed for choosing not not attend childs first day of school because she had an important work event to attend to.

Father attended, not mother. Mother thus declared incompetent child abuser.

I would never choose to have a child today.
Mine are born just two seconds before the western world turned insane on parental demands. And kids are assholes.
I love mine, but small children are generally selfish, oppurtunistic douchebags.

Seing what my poor younger collegues go through today I would absolutely abstain from having any.

Living on the edge of financial ruin and sleep depravation to pay half my income for a child that can threaten to call the social sevices on you for forcing them to bicycle to school instead of being driven by car is an easy choice not to make.

Oddly specific story is a danish one from a collegue.
They have a kids emergency phone or something in Denmark that is supposed to be used for abused children to alarm authorities of violence etc. Said collegue was reported, by their 11 year old, for failing to drive the kid to school and giving them bicycles instead.
To add insult to injury, its an expensive private school they attend and denmark is a bicycle country.

The authorities of course just dismissed the complaint and nothing ever happened.
Kid had to bicycle.

They have to investigate according to law though. And file a report.

Sorry long rant. I feel genuinly sorry for young people trying to start a family.

Bringing a child to the western world demands double phds in child psychiatry and Kardashian money.
What is the mandate of ARPA-H as compared to NIH? NIH already hands out $30 billion a year for research. Is the structure of the ARPA-H research different in an appreciable way?
And they were caught and received 30 year prison sentences.

https://www.fox32chicago.com/news/2-sentenced-to-prison-for-...
All the sibling comments snarkily asking why you don’t invest your money is mind blowing to me. Are we all so conditioned that we can’t see the insanity behind being forced to invest the results of your labor or you’re poor? It is a tax on living that does not need to exist, and the end result is it disproportionately benefits the capital class.

Incredible how the elites have conditioned us to encourage systems that impoverish us.
I think for me it was r/videos on Reddit.
We could always take a firsthand look.

Does anybody do that anymore or are we all ok with this consensual dream?
It can also be evidence that HN posters have a poor understanding of GPL licenses. Pretty much all these questions are answered in the FAQ [0]. Your guess is as good as mine as to why people continually post random, uninformed, needlessly conservative takes on them instead of just doing a small amount of reading.

[0]: https://www.gnu.org/licenses/gpl-faq.html
It does separate liquid fresh water from surface lakes and rivers which makes me believe the middle ball includes reasonably accessible ground water.
24 ms is massive. 0.1 bps makes it tricky to make use of.
For personal use, why bother with this instead of something like Strongbox syncing to a cloud drive?
The kind with no agenda
You've probably heard of NREL? They're the national government funded lab for renewables research, and they produce a lot of analysis and reporting. It's usually annual or so though, not live news coverage, but they're generally thorough, we'll-researched, and readable.

Greentech Media used to be really good but they got bought out by some market intel firm and now everything is hidden behind a consultancy. Sad.

I mostly just have a bunch of a keywords on Google News, and look up papers on Scholar if they're mentioned.

Would also be interested in more "push" based sources like newsletters if there are any out there.

(Worked in solar on and off for a decade+, but mostly doing web dev. Don't keep up with the research much.)
> My own pet theory

As pet theories go - this seems like a pretty good one!

Very interesting.

> Which is why, so often, the structure of a cult is one NPD leader and a coterie of BPD followers.

I've definitely observed this in a business setting and can think of some well-known (tech company) examples too.
The Techno-Humanist Manifesto: The Surrender of the Gods, Part 1
The first video I saw was the tape measure trick shot debunk. I immediately subbed when I noticed he was inserting himself *into the footage he was debunking* to prove his point. I don't follow another YouTuber that has such dedication to their craft, though I'm sure they exist.
wHaT's uP With the cApiTaLizAtioN iN this TitLe?

I've spent, like, several minutes of my life trying to figure this out, and... came up blank?

The title is not copied from the PDF, where such issues would be rare but not unimaginable. I also couldn't find any articles linking to this PDF with this particular title.

So... a misfiring accessibility solution? Solar rays directly going for the Shift key?

(P.S. Yeah, I know "Please don't complain about tangential annoyances—e.g. article or website formats, name collisions, or back-button breakage. They're too common to be interesting." -- but this seems sort-of uncommon?)
This is the dream of multi-messenger astronomy:

Simulations show that next generation gravitational wave detectors will be able to detect the initial part of the wave before the actual merger of objects (or collision?). If you can identify this signal in time, you could make the 'regular' telescopes look into that particular direction and look for a signal in light, and you could use a neutrino detector at the same time (think IceCube, KM3NeT, Baikal and others that look at large parts of the sky) to look in the neutrino channel.

This way you would have gravitational wave-, light- and neutrino-channels from a single object. This is still many years (decades?) away, but would be incredible for studying exotic objects.

If you mean, measuring the neutrino baseline difference when a GW passes through the Earth, perhaps. I never thought about it, but its definitely intriguing.
Sure, but you're managing the property. And that's great! Many get into RE thinking it's a set it and forget it type thing. That's not the case. But the work is pretty well understood and it can be done as a side gig, making it great for someone who wants to add to their income.

I know a number of people who have done very well with RE, but they all actively manage their properties.
A few weeks ago I started receiving notices that my SSN was detected online by the identity monitoring company I use. I guess this is the source of that.

Around a year ago my identity was stolen (new CCs opened in my name). At that time I froze my credit on all 3 of the agencies. It's easy to turn it off/on with a switch so I have left it frozen. Its a good feeling knowing that no one can open a new CC in my name.
Technically, there is legal precedent in Canada that concluded unsolicited credit services are not legally binding. i.e. unless you personally asked/signed a request for some service, it is illegal to issue a bill for that service. These laws were a consequence of early credit-cards mass-mailing campaigns that just issued debt products to random people. Today, many legal cons still issue bogus invoices to companies everyday for things no one asked for... and sometimes you have to be careful how you handle the response (ahem, Google appliances... cough cough...)

Accordingly, up North an individual is only responsible for a few hundred dollar fee under fraudulent use of a credit card situation. i.e. even if you don't catch the billing errors fast enough to lock your card, you are generally not responsible for a criminals use of credit services without your knowledge.

When we were starting out, I made the mistake of paying for our IP lawyers dubious Lexis Nexsus subscription for a year, and then was hit 4 years later with a collection agents bill (initially we thought it was a scam)... because the former employee just kept using the service. Note, because I had initially agreed to pay for the journal subscription, my lawyer said it was cheaper to just pay them the $14k to get the matter settled (we were displeased as you could imagine.)

The lesson here, is be very careful about saying "yes" to things when you don't fully understand the consequences. There are unethical people that make their income from legal shenanigans pulled on new businesses.

Have a great day, =3
I've noticed that Confluence, Reddit, and a good number of news sites do the same thing. Usually the title segment is entirely ignored, meaning you can prank someone by changing the title part to something shocking, and it just redirects to the usual page, because the server only cared about the ID bit

The fact that so many sites do this (including "normie" news sites) shows that site designers clearly believe users want and expect "informational"/"denormalized" URLs, rather than /?id=123
Back in the 80s, University of Illinois at Chicago used SSNs as student ID numbers. Until you memorized your five-digit userid (I was U10754) you could login with your social security number, so I would type [just kidding].
> When someone uses my SSN to set up a loan, I'm not the victim, the bank is

If someone steals your car and uses it to run over a pedestrian, both you and the pedestrian are victims. They're far more damaged. And you aren't at any fault, even if you e.g. didn't lock it or even left it with the keys in. It's still going to create a mess for you.

Fraud involving a stolen identity is similar. The defrauded is most damaged. But the person whose identity was used is also in a mess. Obviously, if a bank has a loan in your name it's going to need to talk to you to straighten things out. And the way it would prefer things be straightened out is also, obviously, that the loan be paid versus poofed. (And on the other side, there are also going to be people who borrowed money who claim they never did.)
Alternate title:

Apple Doesn’t Need More Money
This was exactly what I was thinking. This may be a useful tool for human researchers to drive if it turns out it can generate anything valuable. I can't understand the papers it wrote, much less determine if they make any contributions. I don't think the self-evaluation is going to be too fruitful. Thanks for sharing
And why is one magic number so critical?

No one checks who uses that number? How is that even a thing?
> when the DSV format gains popularity

CSV is equivalent to Voyager I, the chances of catching up with that kind of head start are extremely low.
Co-founder of Zuplo here - we actually created the service to help people get their docs into better shape (we use your OpenAPI to power the dev portal in Zuplo). We find that if folks have a high ratemyopenapi score their docs tend to be pretty good. We have no plans to charge for this service.

Thanks for the feedback, appreciate you taking the time to try it out and comment.
There was a very interesting article in the New Yorker about the issue with the DSM. Turns out we now have research which shows that people get very attached to the little box they are put in by the DSM and that influences how their symptoms evolve. [0] Meanwhile, evidence seems to point out that "disorders" exist on mostly continuous scales with multifaceted issues and the relevance of having boxes is far from obvious.

[0] https://www.newyorker.com/magazine/2024/05/13/why-were-turni...
Can you say some about how Rate My OpenAPI compares to Spectral?

Spectral is a JSON/YAML linter with custom rulesets, with out of the box support of OpenAPI and AsyncAPI.

I use it Spectral for OpenAPI feature analysis, much as described here: https://github.com/stoplightio/spectral-documentation
Don't forget about psi abilities. They're well established, and interestingly, people labelled autists (or possible mislabeled) often have some overlap in capacity with those with psi-enhanced skills.

For an overview of this idea and research into it, see the "New Thinking Allowed" video: Psychic Abilities of Autistic Savants with Diane Hennacy Powell[1]

[1]: https://www.youtube.com/watch?v=MIYk0ZGcVnE
I was reading about VHS captures and the argument on whether to deinterlace, and realized I could explain how interlacing works from a signal-on-the-wire perspective but not how it actually affects the picture.

I went searching for videos that explained it, and found Captain D's video which was so much better than everything else, like just breathtakingly done, and funny, and I watched it like 3 times to let everything sink in.

I probably watched a few other videos on the topic from other creators, but they weren't remarkable enough to hook me and make me gorge myself on their other stuff.
https://archive.ph/Wkbvr
Aye, this has worked very well for me. Keepass file stored on google drive. Can open on PC, iOS, Android, etc.
This isn't racism
It is sad. Early YT was for hobbyists and those that loved to share.
I dislike the term because it is, in fact, not that common.

I am diagnosed ADHD but I don't have any symptom of autism (sensory overload, difficulty reading social cues, gender dysphoria, repetitive behaviour etc.) and I wish they were studied separately as the physiology, pharmacology and the effect on quality of life is completely different between ADHD and autism.

Without mentioning the effect on focus and executive function, which is basically all ADHD is, and presents the complete opposite in autism: repetitive behaviour and long-lasting focus in niche interests vs squirrel brain with flashes of hyperfocus.

If they seem comorbid on social media profiles, it might be because everybody and their dog seems to have ADHD today, so is pretty much meaningless. You could attach it to any personality disorder you wish.
“ trips to places like disney world with the kids while staying in a nice hotel vs biking and camping”

Woahhh there, thinking camping is an inferior trip is wrong. Being cheaper isn’t inferior.
Nowhere in this post or in any Rust community post I'm aware of does anybody claim that sum types (or product types, or affine/linear types, etc.) are a Rust novelty.

As a stretch, I've seen Rust content where people claim that Rust has successfully popularized a handful of relatively obscure PLT concepts. But this is a much, much weaker claim than Rust innovating or inventing them outright, and it's one that's largely supported by the size of the Rust community versus the size of Haskell or even the largest ML variant communities.

(I say this as someone who wrote OCaml for a handful of years before I touched Rust.)
This dynamic is not impossible to overcome. It's often as simple as reminding students that we are responsible for one another's success by shifting the goal from "finish the exercise" to "ensure we've both learned how to finish the exercise".

"Lone wolves" and "lazy" students, I've found, often warm up when given 1:1 attention of peers.
RE is one of the only ways the 'average' person can get that sort of leverage and favorable tax treatment.
Did they leave and go to CrowdStrike?
A good website on this:

https://wtfhappenedin1971.com/
MetaMask and Mastercard Launch Debit Card Spends from Your Ethereum Wallet
Ask HN: How do you monitor your side projects?
Hi, I'm a developer in college who has built a side project which generates around $2k ARR in revenue. I'm looking to build a second product which helps users monitor their applications in production, and I wanted to ask a few questions.

- Which product do you run?

- Which tools do you use to monitor it in production?

- What's the biggest annoyance you have with current tools?

I'd be happy to help anyone improve their application monitoring setup, I'm mainly just trying to learn now.
Chronos-T5 (Tiny) – pretrained time series forecasting models
> Likewise in ADHD, you tend to find a lot of social rejection due to impulsive behaviours that alienate people.. so you get a comorbid BPD-ish quality where you're aware of the social validation available, but are constantly fighting your own impulsive undermining of receiving it.

ADHD (or maybe autism?) isn't about social rejection, it's about the opposite. Sometimes people will try to reject you/put you down ("haha, you wear glasses, four-eyes"), but you don't understand the intention ("yes, this is accurate") and are just puzzled that someone would say a fact out of the blue.

Correspondingly, you might mention a fact "these jeans make your ass look fat" without meaning any judgement, and the person will take it as a rejection. That's why this is hard to navigate, not because people reject you initially.
I remember seeing my first of these in a small beachside hotel (pousada) in Brasil.

In this case the wiring was over-stripped and copper was exposed at the shower head. I used it but I was very, very careful not to splash…
New Default Security Policies
Does it affect windows 7 and XP systems?
> the intended usage

IMHO, as the name suggests, the intended usage is for social security. We're not supposed to have Citizen ID numbers which is why the number has been shoe-horned into this role.
They can sometimes become less busy in the face of a sufficiently lucrative offer.
The phones we use at {JOB} can be programmatically controlled by using their proprietary command language, which is just CSV and each command is ended with a new line (Because how else would you do it, packet boundary pfft?).

It's something I've never understood why, why not use something more standard like SIP, or even a more structured message format. Having to parse CSV across N different packet boundaries is a royal PITA
Somebody seems to be killing your replies.
TSMC, not Nvidia. Nvidia doesn't have factories, since they rely on external manufacturers.
It's because Americans have a libertarian streak and instinctively mistrust the government, so we've historically resisted any sort of federal ID program. Because the federal government has to keep track of you somehow, and every American (more or less) already had a unique identifying number, the government started using those unique identifying numbers to identify us for tax purposes. This started being a convenient way for private corporations to ask the government "Wait, who's supposed to be identified by this number?" for employment and loans, and then people decided that it would be better to use this instead of any sort of, you know, online ID, to identify people for credit card applications.
>The state of Vermont is 2,615,376 acres

I'm not sure I understand the argument. But going with Vermont, the population is 647,000. THat's over 4 acres per person. That's quite a bit. Zoning, restricted access, hoarding, and inefficient markets contribute largely to land having inflated prices. A slightly more progressive government could absolutely change the entire outlook of the land market.
Formally verifying security properties of CHERI processors
We'll update the docs to make our dependency on vacuum / spectral clearer - fair feedback. We do more than this though, we also use LLMs to help us identify other issues and recommend fixes.

RateMyOpenAPI is really designed as a quick litmus test to help people get their OpenAPI doc (and thus their documentation) in a good shape quickly, vs the hassle of setting up of individual rules.

People find it quite helpful to quickly build a todolist of things to do with their OpenAPI doc to get it into a much better state.
Super interesting, my first thought before I read the article was why not a bloom filter but didn’t expect it to be “physical” collision
It's the placebo effect. That's also why they only link to generic studies on opendyslexic.org

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5629233/
It's a tragedy in slow motion. Symptom or cause, this will make the next decades very bleak.
Unless you specifically care about app experience, you can also use Sponsorblock, ublock and many other extensions in plain Firefox on Android
I spent a few minutes looking at it and came up blank as well :/
Is Open-Source Software More Secured?
To a certain extent I agree - I've worked on projects where a resource amounts to a rounding error in the overall cloud bill; for many organizations, cost is an important NFR for a project.

Going off the other threads of this post, how much engineers should know or care about billing seems to be open for debate; I think an engineer needs to appreciate that often cost is one of the many trade-offs that need to be accounted for
>The real problem with SSN is the prevalence of unintended usage.

There is nothing more permanent than a temporary solution, and nothing more temporary than a permanent solution.
> For example here's how weird Friends is in German: https://www.youtube.com/watch?v=nCoNSZV--z0 . Or Italian: https://www.youtube.com/watch?v=wO5qTzvyQ1s

Can't talk for the German dubbing, but the Italian version sounds natural to us Italians while the original, English version, is hard to relate to and create a bond with. The dubbing makes it "close" to home if that makes sense. You might feel it's weird because you've grown accustomed to watching the original version while also immersed in everything that sitcom portrays.
Never heard of it but I will have to check it out! Thanks for nothing, now I won’t get anything done.
Please, help me understand something!

Private, remote communication was not a thing until a couple of decades ago: how can we consider it a basic human right?
I had mine frozen and after a few years they seemed to forget my keys to unfreeze it. I use a password manager so maybe I messed it up, but it is very fragile.

Another credit bureau says I don’t exist despite dozens of credit cards, 4 mortgages, and student debt. They need me to fax a copy of my license to prove I’m a real person.
For me it is the exact other way around. If you don't have any other sign up system, I will bail immediately. I have a Google account, but it is "empty" and only used for settings and Android phones.

I don't want Google to know which services I am using and I had accounts shut down by big tech for non-specified reasons, probably because I didn't want to share my phone number.

Same issues could materialize that we have with Chrome now. I don't want to watch an ad when I log in to something.
It does not seem to bother Dumbo: https://youtu.be/vIlb4-NqlG4?t=11
I think Amazon prefers "Subscribe and Save" over Dash. (I agree with you that AI for ordering is not a killer-app.)