skysight-inc/HackerNews huggingface dataset:
Show HN: Find and Patch Security Vulnerabilities
The source research paper is pretty interesting but the article is not well written and conflates reputable sources with personal opinions while not shying from making big conclusive statements. Several problems;

> The researchers also examined the importance of personality factors. They found that biases may be involved in the acceptance or rejection of open source work. That’s true despite the apparent advantage of open source whereby you can contribute with a level of anonymity; your persona shows in your code and comments. Someone reviews and comments on your work based on what they see in front of them, and not how they know you as a person.

There is absolutely no mention of bias in the paper nor the study design can really account for this.

> “While the research phrases it academically as ‘personality,’ what they mean is someone’s ability to interact with others: the application of social interaction skills as well as technical skills.”

This is false for big-five personality traits. The most explicitly social trait is extraoversion-intraversion scale. Rest of the traits e.g neuroticism or conscientiousness has aspects that has nothing to do with social interactions but interacting with self or the environment (e.g orderliness).

> He considers himself to be open and conscientious ... Foster describes herself as “primarily conscientious with a bit of agreeableness,”

That is not how big-five works. The factor analysis that result in traits are only statistically significant when the big-five inventory is taken (and only once). Self-ascribing these traits have no value in the context of big-five.

> “Developers are very much like artists, in that they can be very sensitive to criticism and place a very high value not only on their work, but on the acceptance of both their work and who they are.”

Contradictingly, study finds high neuroticism translate into higher acceptance of pull requests.
He does certainly have an axe to grind. But that doesn't make most of the points he raises false. Many of his observations are completely correct.
Free File Act the article talks about was not passed and did not make it out of the Committee.

A similar bill was passed in 2019: https://www.propublica.org/article/congress-is-about-to-ban-...
I'm glad the PSL exists, but it's a really ugly hack. The public-ness of a domain should be a queryable DNS record. We shouldn't make tons of programs bundle what's essentially an out of band zone file when we could just use DNS as intended.

Yes, I know about the PSL DNS query service. That's only marginally better. The public suffix flag should be a record on the domain itself.
Proof verification is traditionally considered an automated theorem proving task. In short, being able to automatically decide the validity of a proof is almost as useful as being able to generate a valid proof automatically.

A lot of work has gone into automated theorem proving since the early 20th century. The wikipedia page is a place to start if you are interested in more details:

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

This work includes proof checkers, for which wikipedia also has a page, though it doesn't have a lot of meat on its bones and you'll have to follow the links to the systems listed yourself:

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

I'm not an expert on proof checkers, but I hear a lot about Coq and Lean, lately, so you might want to start there.

Traditional approaches to automated theorem proving, in the sense of generating new proofs (rather than checking the validity of proofs) include, for example, Robinson's resolution algorithm that is at the heart of the logic programming language Prolog. Such traditional approaches are "better than DL" in the sense that they are provably sound (they only return correct results) and complete (they return all correct results) under certain assumptions.

Given the impossibility of empirically checking the proof of every possible theorem, e.g. in first order logic, given finite resources, such system are typically evaluated theoretically, i.e. by proofs of their properties. So for instance, there are proofs of the soundness and completeness of resolution for the purpose of deciding entailment between FOL theories given as sets of Horn clauses. I keep returning to resolution because I happen to be familiar with it, but there are other approaches, of course, though I believe many use some kind of inference rule (e.g. Modus Ponens) and a search procedure usually assisted by some heuristics to find the best next step in a proof.
Idk, not learning compiler theory is one of my regrets from school and this does seem like rocket science to me.
The 1999 and 2003 messages explained [pdf]
The site is down _and_ IA is down (for me at least) at the moment as well. I feel like I hit a jackpot.
ironically I get a "The Internet Archive's sites are temporarily offline." message here
Take a look on Yamaha R-MAX
FYI please spell check!

Poor spelling makes things look less credible ("tedius", etc.)
While civil law operates in a different manner than common law systems, the premise of the GP post still holds: Laws are not black and white and courts/judges have to interpret how the law applies to the case at hand.

A similar process to the case that the GP laid out has been happening in Germany: Same-sex couples have sued under the non-discrimination clauses of the constitution for equal treatment when it comes to marriage, adoption rights, tax treatment etc. When the constitution was written, gay sex was explicitly outlawed, so it’s pretty clear that the authors of the constitution did not want to protect same-sex marriage. But societies opinion on what constitutes “normal” marriages has changed, and so have the courts decisions.

Sometimes these decisions then require a new law to be passed, unlike British Law systems where AFAIK, the high court decisions more or less become law.

I’d be surprised if that was fundamentally different in any other country.
You have to find your own internal motivation. Ultimately, it does not matter who you are. Even if you think of yourself as a good person, it is not worth anything unless you let your actions define you. It is up to you to decide if you want to be that selfish person, with all the benefits you mention that come with that. Or you can decide to do what you know is right and really be the person you want to be. Think "do I really want to be the person that..." before you act.
I believe the prescribed punishment for parricide was not the bizarre menagerie suggested by the author but simply a cat, a cock, and the convicted. And the purpose of the animals Was no mystery: in their panic at confinement and then inundation they would flail about with their claws or spurs shredding the murderer and making the punishment more agonizing.
If you managed to finish the app, you weren't very depressed.

Depression acts primarily on willpower. The bad feelings come as a consequence of not being able to get anything done.
The creator of Dropzone.js also is a musician
It works well for documentation and general reading, especially if you press `R` to engage readability mode, that attemps to strip out all but the main body of text.
To be fair Loveland is by no means deserted.
Well, with psycical formats dwindling to little as a total of sales, it makes sense that the more collectible/nostalgic/hip(ster) one will win over the other that mainly had covenience on its side (and which is now better served by streaming)
From what I have seen, the least technically resourced journals often use hosted platforms or free software like OJS (basically wordpress for journals), which comes with features like HTML meta tags and OAI-PMH by default.

The trickier cases are when folks write their own platforms, or even write their own raw HTML with no templating, in which case adding tags to all landing pages or supporting an API would be a relatively large amount of work.
I think this is really interesting information. As Vinyl has less quality than CDs, uses more space and its way more expensive. But I guess some people like to get the immersion of buying a piece of music and enjoying it in a more vintage way, of course there is nothing wrong with it.

On the other hand i find also interesting the discussion between streaming vs physical and what motivates people to go physical when there are less and less motivation to keep people buying physical. I speak even for myself where i hate the idea of paying 10 Euros a month to have all "borrowed" music i want as long as i keep paying it. On the other hand buying 1-2 CDs per month exceeds the 10 Euros budget but at least i own the media, after one year would be more expensive than Apple Music 1y subscription.
Difficult to decide which one is more reasonable.
Yup. I was pretty sad when I found out he was a right winger.
Aren't neuralink and boring private corporations? Aren't billionaires allowed to throw money at whatever they fancy, and these kind questions specific to only public corporations?
Some musicians also refine their style and grow with age.

David Bowie's got great music lineup spanning every decade of his career from the 1960s to the day he died. I think people who enjoy his music can easily pick out a definite classic from every decade and everyone has their own favorite period.

Tom Waits started out as an okay musician, and he grew into his own sort of music with age. He's known for his grit and grime, and it's much more profound in his later work than his earliest stuff. A song about being a worn out old drunk on the side of the road hits harder when you hear it from a rugged middle-aged man than a young 20-something.

With these two, Bowie constantly updated his image and tried new things. Tom Waits simply advanced the atmosphere he built up in his earlier work. I think a lot of other popular musicians put more energy and liveliness into their earlier works and can't keep up with it as they get older, or they end up following some music trend that they think will get them pop success instead of just doing their own music.

Virtually every indie band does the latter as they start to get fame, and it often turns off their old fans immensely when they see them become just another soulless pop band.
Yes, the Internet Archive already used those URLs, or tried to. Bryan was so kind as to share some statistics about it:
https://groups.google.com/g/unpaywall/c/AbNwXdyWZfE/m/OVoVmx...

Having an URL to something that is supposed to serve a PDF doesn't mean that you actually get it. Publishers like Elsevier or Wiley require a cookie/JavaScript dance and/or place heavy rate limits; whatever PDF hosted by them is never really accessible, even if it's ostensibly open access.

The "youtube-dl for papers" would do what youtube-dl does, i.e. take the URL and execute whatever JavaScript or other trickery the target page/website requires before it serves the content.
I have a handful of records in a sturdy box for collection purposes, probably nothing fancy and it's all on Spotify and co as well, but I like having physical copies, and if you get physical copies because of collecting, vinyl is really good.

Should get a player sometime, maybe.

Anyway all of my vinyl is fairly modern (>2000's). I do scour the secondhand shops sometimes but all the good stuff will have been sniped by the staff (they'll just pay a token amount or just squirrel it away) for their own collection or to be sold on ebay.
Wow this app is quite neat. Basically it's like a catalogue of different emotions and mental states and it's got prompts that take you through them and help you to identify and focus on them and help you work through them in a very low-pressure way. Very nice!
LOL, I waited since yesterday and ended up writing 5 min after you. :)
Having just discovered Arduino and messing about with ESP32 and ESP8266 chips on it, it’s so impressive.
My abilities are pretty basic, but the amount that can be achieved and the low barrier to entry (a computer, a USB cable and a $5 ESP) make for a great combination.
They are retro tech, just not cool retro tech (yet?).
>I cant recall anyone selling releases on vinyl around then.

I know that at least garage/psychedelic bands released on vinyl all the time then (and now and always).
Could this be due to the earlier albums being made without big record companies pushing into a certain direction "for marketing purposes"?

The most prominent example in the metal world of this is Volbeat and to a lesser extent Metallica. The first few albums were generally well received by music fans, while both bands slowly changed their style over the years to accommodate more mainstream audiences, leading to a drop in quality.

Counter-examples are bands like Trivium and Tool, which also have evolved musically over the years but not specifically in a direction to please a larger audience, they just kept making music they like for the sake of music.
That’s rather presumptive.
Fun, but this is most likely fake. I.e. this card has not been laying at the postoffice for 100 years.

In this case it seems particularly clear: look at the glue markings in the middle of the card. This indicates this postcard probably has been sitting in a collectors' album for quite some time, before someone thought of removing it and pulling a joke.

This sort of thing happens all the time by people who post the card after it has been sitting in a collection for some time. Since it is a valid card, the post office will deliver it nonetheless. That's what they do! (Here's a Dutch example: https://www.ad.nl/binnenland/kerstkaart-na-ruim-halve-eeuw-a...)

Disclaimer: I checked this with an acclaimed philatelic collector.
You can use Zenodo (hosted at CERN with some EU funding).
https://zenodo.org/
Right on. I rarely use the command line for git any more, which was a surprise to me.
Did you achieve all of what you hoped you'd do?
I've used Daylio. For me, the problem with using it long-term is that the different moods are contextual to the overall stat you are in. Meaning, I could have a "rad" day when in a depressive state which simply meant I wasn't overburdened with depression. Meanwhile, when not in a depressed place an "okay" day might still be leaps and bounds better than any days that were lived through duringthe depression(s)
Lets use :: nowadays ;-)

After all we got ~16 % IPv6 traffic hitting our repository CDN. (seems to match with an observation of LWN https://lwn.net/Articles/808896/ )
Love the blog website. Clean, legible text. No fluff.
Indeed. One part of the problem might be addressed in EU in the coming years if art. 8 of the 2019 copyright directive gets implemented well.
https://www.communia-association.org/2019/12/10/implementing...
Well, it was only a "signifier of having absolutely no taste in music has become so popular with music connoisseurs" only to snobs.

Similar to how disco and electronic music was supposed to be for people with no taste, and then all those e.g. post-punk groups admitted 15 and 20 years later to liking it all along...
Society has functioned for thousands of years not brushing their teeth doesn't mean we have to keep doing that.
Yep. The custom TLD thing is an abomination. Many of us said at the time that we'd get the proliferation of stupid that you highlight. ICANN said it wouldn't happen, because economics or good faith or something. Who was right?
What's Next for Bitcoin Price?
Edison did come up with a number of things that were intended to stand the test of time.

I can imagine guitar connoisseurs find out about Dire Straits after seeing Knopfler on YouTube.

He's old enough to be a grandpa now but that's not your grandpa's MTV.
I think the criticism is not about the paper, only about the article describing it.
What is the market seeing as Peleton's future that it values Peleton at $25B?

The valuation is based on the idea that they'll become the Apple of the home exercise market - aspirational, affordable-luxury products with additional services for monthly fees.
I think the end game will be that the domain part of a URL will become optional so that it is valid to enter just a TLD in the browser and the company that owns that TLD can redirect.

So http://google would be a valid URL that redirects to http://www.google.com (for example).

Essentially TLDs will become the new domains and only companies will be able to afford to buy one, but they will do it for the prestige (like the equivalent of owning your .com today).
>but I'm not going to call the people who say they can tell the difference liars.

They're not liars, there are just 2 cases:

(a) They confuse harmonic and other types of distortion (e.g. from tube amps) or the extra compression applied to vynil as better than cleaner signal. Which, subjectively, might be.

(b) They are delluded (as opposed to liars), and wouldn't be able to perform their "tell the difference" in a blind A/B test.
Commercial publishing giants with subscription journals are ad-supported too, nowadays. You find ads in the weirdest places.
https://mamot.fr/@nemobis/104755721369049700
Betting is contrary to investing but anyway, going along on your argument :
Betting on a company failure on long term is called "Insurance". Insurance companies bet that your house will burn for example. Do you think it's viable on long term for individuals (a.k.a, lambda people) to bet ( "invest" ) this way ?
DiskStation DS1621xs+ On-premises cloud solution built for performance
As a user why would the lack of proprietary loadable modules for Emacs possibly bother you?

There is an extremely active addon ecosystem as it stands.
It's not technical breakage that's the problem: it's the mental breakage. This proliferation of TLDs confuses users and makes domain names less recognizable, all for no benefit to anyone but ICANN.
It was successful at the time. Remember Python is nearly 30 years old now, and has always had the worst dependency management of any major language.
See https://news.ycombinator.com/item?id=24425734
Anecdote: I acquired a crowdfunded, limited run LP earlier this year, and it's one of the two audio recordings I've ever bought in physical format during the fifteen years I've managed my personal finance. I already owned the same album in FLAC and only wanted to support the artist.

The other one was a CD album that I also owned in a digital format, but which had to exist as a physical copy in order to be eligible for radio playback under the bulk license at that time.
yeah that's why I was looking for a lazy / stream variant in case it wasn't already possible

/me goes to prolog
Why assume it was USPS? It would have been handled by a number of agencies on its journey. The customs one mentioned by another person seems to be another plausible reason.
> If you managed to finish the app, you weren't very depressed.

I disagree, as someone with experience in the matter. I think is fine to question whether OP's depression was a real major depressive episode or to what extent they were really depressed. However, the succinctness of your comment leads me to believe that it's more simplistic than anything and thus counterproductive while discussing depression. It's not always a matter of "but was it real depression, though?"

> Depression acts primarily on willpower.

Depression acts on everything and shouldn't be characterized so easily. That's exactly what happens in real life, where a statement like yours can instantly nullify the efforts of someone trying to tell you that, yes, they look normal, but something is wrong. To that, you'd likely reply, "but Jane, you don't look that depressed!"

Some people are able to keep operating on certain realms, which IMHO is the key to getting out of the rut; grasping whatever still motivates you, even if just a bit, to operate at 1% of your normal capacity and "power" on.

> The bad feelings come as a consequence of not being able to get anything done.

I repeat, not always and not for everyone as the causes for circumstantial and clinical depression are too many to count and so are the symptoms and the way they are externalized.
You don't. shhhh
English documentation is here: https://gitee.com/openharmony/docs/tree/master/docs-en
As someone who's been building websites for 15 years, I can't say enough good things about this trend. I work primarily with early stage startups, often pre-product, building prototypes and V1s. The primary objective of the teams I work on is to validate product strategy, which requires moving quickly to de-risk initial development and iterate.

The past few years has completely changed the way I execute this strategy. Leaning heavily on products like these that allow us to develop software with very little or sometimes no code at all. It's nuts what you can build in a few days.

Discovering Rails in 2009 was the last big shift for me in this way, with tools like scaffolding to build out the skeleton of any dynamic CRUD section in a few seconds. Still, it wasn't uncommon to subsequently spend days or weeks getting specific sections of the site to reach parity with designs.

Some people talk about how this trend is a threat to web developers like me. While it's true that it's never been easier for anyone to build high-quality dynamic websites, that position completely overlooks the benefits for traditional web developers. This new toolchain is like having superpowers for a very specific type of development. Pairing that with solid knowledge of web fundamentals and the ability to "grow up" beyond the limitations of the system is a recipe for delivering work faster than ever before. For most early-stage startups, fast & cheap is #1, but if you can deliver quality on top of that, you're golden.
I didn't think someone could apply 'no true scotsman' to something so broad as depression.
> Nuclear startup NuScale’s modular reactor uses low-enriched uranium, for example, but couldn’t meet the requirements for the moon without some modification and further development.

The NuScale reactor has a shipping weight of 700 tons and requires an on-site concrete pool of cooling water. Sounds like a lot of modification to me.
How long was the trip?
That's pretty common either way. See Rekdal (2014), "Academic urban legends".
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4232290
Previous prediction was by the end of 2019, off by a few months

Discussion: https://news.ycombinator.com/item?id=20908197
This is parody, tho I had to double check.
.market .markets
Can’t speak for the OP, but I have quite a few albums released in the ‘00 in my shelf. A limited edition pressing of portisheads “Third” (which came with a p-shaped USB-Stick with digital copies), Nine Inch Nails, Queens of the Stone Age, quite a bunch of electronic titles, some jazz. Vinyl hasn’t really gone away, but a lot of the pressings were not intended for the mass market. It was often for enthusiasts, heavy presssings, often with gorgeous full-size booklets that rivaled an art book. Colored vinyl or even prints. The Portishead Album comes with three disks in a box that’s about 5cm thick. I have prints from a small hamburg label that are wrapped in linen cloth and tied with a tarred rope (impractical as hell and smelled like harbor the first few years)

So you’d not find LPs in the large chains back then, but it was always available in small record stores or on order.