skysight-inc/HackerNews huggingface dataset:
Will that change? I thought the promise of graal is to massively speed up languages like Python and Ruby.
Good thing that’s not factored into CPI
Maybe this is the antitrust law we need for app stores: ban owners of app stores from distributing apps by any means if they wouldn't allow an app with the same functionality but written by an arbitrary third party to be distributed in their own store.
Can you share а link for this statement.
As far as I know IMAP works ok, you just need to use XOAUTH IMAP authentication.
Google is great at answering questions with an objective answer, like “# of billionaires in the world” or “What is the population of Iceland?” It’s pretty bad at answering questions that require judgment and context like “What do NFT collectors think about NFTs?”

The stated mission of a company worth almost two trillion dollars is to “organize the world’s information” and yet the Internet remains poorly organized.

The first examples are information. The last example is not really information.

I get that search is so convenient and good at the things it's good at that you want it to be good at other things, but you shouldn't expect a search engine to make judgements on your behalf or put things into your context. The searcher has to do some legwork of their own there. Maybe I'm a control freak in this regard, but I trust myself more than any website in this regard.

Wire cutter is one of the curators they bring up. I don't trust that wire cutter manually curates top products. I trust that it only curates products it can make affiliate links to. Maybe these products are good enough, but maybe not. For that reason, I don't know what the value really is, since their incentives don't necessarily line up with mine.
I got the wikihow as the second result. The top one was this:

https://www.outsideonline.com/outdoor-gear/cars-trucks/how-t...

Which is equally good.
A critical taxonomy of decentralization, beyond blockchains
I'm not astonished that most people don't agree; it's not easy standing up for what you believe is the truth when it's inconvenient or unpopular.

I think a lot of people would agree, though, if left alone with nothing to do except think about whether it's okay to kill a helpless person because we think they can't feel it, or are unaware of what's happening.

I looked at the language in the UDHR and right there in Article 1, "All human beings are born free and equal in dignity and rights." French naissant, Spanish nacen, Russian рождаются, etc. That's unfortunate.

The UDHR builds on such documents as the Convention on the Rights of the Child which reads "Parties shall respect and ensure the rights set forth in the present Convention to each child within their jurisdiction without discrimination of any kind, irrespective of the child’s [...] disability, birth or other status." [0] (emphasis added), and the Geneva Declaration of the Rights of the Child which reads "The child must be given the means requisite for its normal development" [1] (emphasis added).

The UDHR text should read "All human beings are conceived free and equal in dignity and rights."

[0] Article 2, https://www.unicef.org/child-rights-convention/convention-te...
[1] http://www.un-documents.net/gdrc1924.htm
How do you handle situations where the NFT is the image violating copyrights of another?
It’s not the greatest term even for graphics only.

People new to CG are likely to intuit “shaders” as something related to, well, shading, but vertex shaders et al have nothing to do with the color of a pixel or a polygon.
Or we could continue to expect big tech monopolies, which are extracting the most value out of Open Source, to also fund it.
In my case quotes still work but they aren't as good as they once were
Hmm, we never had the ability to search your search history as we do not keep track of searches. Consumption page merely showed search count per day.

If you want to save your search history perhaps you can open a suggestion on https://kagifeedback.org
Show HN: We created an Uber like sales training app Dialworks
Hello HN Community!

I’m Gaurav Sharma, founder, and CEO of SaaS Labs, a multi-product platform for sales and support reps.

You may recognize us from our flagship product JustCall, the modern cloud phone & workflow automation system for sales and support teams. Now after helping 6000+ businesses to handle tens of millions of calls using our tech, we’re onto the next big challenge. Reinventing how people look at Sales Training.

Let's face it; most sales training right now is pretty terrible. From mock pitches to roleplaying calls, it takes hours and hours from your sales leader’s time and there’s no way to judge whether your trainees are really ‘getting it’.

That’s why we created Dialworks, your go-to platform to help teams #GetSalesReady. Some early users are calling it “Uber of Sales Training”.

Ok, I know what you're thinking. "Another sales platform? Really?" I get it. Sales platforms are a dime a dozen nowadays. But hear me out.

We've been there: you have a new team of sales reps, and you have to get them trained and ready to go before the end of the month. That means training sessions for days on end. That means hours of reviewing their pitches, working through their objections, and figuring out how they can improve—all while still running your business! We don't think it should be so hard or expensive to train your sales team when it's crucial to your company's performance.

We created Dialworks because we believe that training should be fast, affordable and simulate real world selling as closely as possible.

With Dialworks, we can help get your team ‘Battle Tested’ with real-world practice.

Simply set up a training campaign and your team get’s to call and practice their pitching skills with real people in real world settings.
These calls are recorded and provided feedback upon to tell trainees which parts of the pitch work well and which parts don’t.
All of this on autopilot, without taking up hours of your senior sales team.
Get an insight into real world performance of your reps for training

It takes all the guesswork and hard work out of ramping up new sales reps.

Book your demo now and get $2000 credits: https://dialworks.io/demo
Maybe the_svd_doctor uses flop/s to describe hardware, like you said
While I applaud the use of novel techniques to approach problems that have a traditional solution, I am reluctant to believe that they can outperform the traditional approaches for a certain type of problem (e.g. state estimation for systems where the dynamics are well understood and can be derived from first principles, like cars).
If announced yesterday, it’s likely that deal was done months ago.
Amazon Redshift Reinvented [pdf]
What this trainer was apparently describing as "bottom-up OKRs" sounds like what you're describing as "Kabuki theater".

As for the top-bottom-top planning cycle, my experience has been that the "coordination and refinement" phase tends to mangle the OKRs beyond recognition. Management tends to "refine" what they were handed up by reframing it to sound like what their boss wants to hear. The concrete and achievable goals written by (or at least with the direct input of) the team get rewritten to sound more ambitious, but also more abstract, because management doesn't understand the goals as well as the team. The more layers of management you have, the more severe this effect, but it really only takes two or three to turn a solid list of team goals into a meaningless heap of synergy goo.
Not that I disagree, but the timing seems convenient to avoid TSLA’s imminent bear market slide.
gregkh has said this about binary modules

> It's just that I'm so damn tired of this whole thing. I'm tired of people thinking they have a right to violate my copyright all the time. I'm tired of people and companies somehow treating our license in ways that are blatantly wrong and feeling fine about it. Because we are a loose band of a lot of individuals, and not a company or legal entity, it seems to give companies the chutzpah to feel that they can get away with violating our license.

See also https://lwn.net/Articles/603131/ among others
Does that still exist? I havn't been since before I had kids and still physically went past a store's curbside in the early 2Ks.
Running an email service is just damn hard and it's hard to get people to pay for it. Even if you have the privacy angle.

There's just so much abuse going on, and when you are privacy first you limit your ability to fight abuse which makes things much worse. :(
Have you been a developer the whole time? ~16-18 YOE with no lead experience could be [incorrectly] taken as a red flag.

I will say we've been trying to hire two seniors for the better part of 6 months and most of the people we end up on the phone with either end up going somewhere (presumably for more $ but it's rare to get a reason), or they do so poorly on the technical screen it makes you wonder if they just used someone else's resume. Nothing in between the two - I've been in my current EM role for probably 3 months, have done maybe 20-25 interviews, and we've extended 4 offers. One accepted then took a different job two days before his start date, one accepted, two declined.
You don't want the whole office to be out of work for a day because the last Nvidia update broke some professional software your techs are using. This lets you test the patch on some machines before rolling it out to your whole org.
The Decade of Cheap Rides Is Over
I'm feeling π. A little irrational and also hungry
> the good ol' days of web rings

I honestly don't get your snark. Those were the good old days of the Internet, when SEO spam and PageRank wasn't a thing. Then Google came and made the Internet even better, then it turned to shit, and here we are. And web rings were great, you take that back.

So yes, there was a period of time when the Internet was in some ways better than nowadays. Now I'm not saying that everything that happened since is bad, but Internet search and signal-to-noise ratio has definitely fallen off a cliff.

Let's enjoy the good days of siloes and SEO optimization. I doubt it'll get better.
Troof on Nootropics
Render has automatic Postgres backups, and you can also click a button to create new backup. We're working on HA (ETA late summer/early fall).
> Since Peano arithmetic cannot prove its own consistency by Gödel's second incompleteness theorem, this shows that Peano arithmetic cannot prove the strengthened finite Ramsey theorem.

This seems quite circular, where the (claims mine) contrived statements enabling godel 2 incompletude theorem, make it unable to prove a non-contrived statement?

Thanks for the reference though, I'll admit that is a topic I'm not familiar enough with to fully challenge it.

> I must say, be careful with "reasoning". For example, once a philosophy PhD minimized mathematics eloquently by saying all mathematical results are "tautological", hence uninteresting. Hence, why bother studying it, and in your case, why bother thinking Gödel did anything special.

Yeah that's a classic, it's a good thought experiment but that only prove that one must not be careful with the pruning that can enable high level reasoning but more with being careful of fallacious or misleading reasonings.
Yes in theory, mathematical chain proofs are only tautologies derived from ZFC/higher order logic, so yes mathematics doesn't say anything new.
However in practice, the task of unfolding reasoning chains and being able to refer to past lemnas as abtractions/objects, enable the reader to optimize for cognition, and hence the more proofs advances, the more we can discover, retain, understand and refer, useful tautological yet transitive knowledge.
Reading the headers and prototypes in the man pages doesn't require "knowing" C. You just need to know the very simple subset of C's syntactical rules and the calling conventions. Anyway, reading C is far easier than writing C, most popular languages use the same syntax and operators.
History of Web Applications
https://archive.ph/pgtxA
That was Stylish.

https://en.wikipedia.org/wiki/Stylish
> * Currently, the Upper Basin uses only about 4.5 million acre-feet of water every year, leaving roughly 2 million acre-feet that the four states are theoretically entitled to as they keep adding population

> * While the explosive population growth of Arizona and Nevada originally put pressure on California to draw down its use in the 1990s, now the Upper Basin states of Utah and Colorado — each of which added over a half-million residents in the past decade — are adding strain to the system

> * John Fleck has authored several books on the Colorado and serves as a writer-in-residence at the University of New Mexico; he says the tension between the two basins was palpable at the Stegner conference, with many Lower Basin negotiators expressing their frustration with those from the Upper Basin seeming to cast the current crisis as one that California, Arizona, and Nevada have created and are responsible for solving

The Upper Basin states have been using less than their allotment for decades, and allowing the Lower Basin states to use more than their allotment. If the Upper Basin states want to use more (up to their actual allotment), and that creates a crisis because the Lower Basin states have grown used to using more than their allotment, it seems fair to me to claim that the crisis is in fact the fault of the Lower Basin states. If the one giving charity doesn't keep doing so forever and a crisis results, that's not the fault of the one who stops giving charity...
Show HN: GitPiper – Worlds biggest repository of programming and technology
Bing may be that good for some, but every time I use it it stinks and I end up back on Google. Same for DDG.
Then again, my queries tend to be pretty specific and are probably not a typical use case.
Thanks for that nuanced insight.

I'm currently trying out whether frontend development could be for me in my mid thirties. I knew that bootcamp marketing and YouTubers were exaggerating when it came to the jobs and their requirements. But I didn't think there would be so much 'noise' indeed.

I guess that means to only go through with it if you are really, really good and actually enjoy doing it. Not because it promises money and job stability.
How come nobody is doing social search yet? Why can't I up and down vote results and maybe even comment on them or something? I don't want to ever see some of these recipe sites that show up again... I can't imagine I would if people were helping curate. Seems like an "easy" solution to SEO crapola?
I fail to see how it's anything other than a logical consequence -- much less radical.

I know from first-hand experience that if a team don't believe they have a particular person as their manager, that person is, in fact, not their manager. It's impossible for that person to be their manager.

I also know from first-hand experience that once a group of people no longer believe themselves to be a soccer team, they stop being a soccer team. (Well, actually, this is not about a soccer team but the real example is too fresh and personal to be detailed about so let's pretend it's about a soccer team.)

Similarly, I know from second hand experience that once people don't believe a person is part of a family, that person is, in effect, not part of that family anymore.

I have third hand experience of people not believing a grocery store to be such, and indeed it ceased to be such very quickly and tragically to its former owner.

And so on. I can't think of any social construct that does not require buy-in from the affected parties.
> then I'd enter them into some HR system and never saw or heard from them again

My favorite version of this is when it's personal goals attached to some kind of performance review framework, but the company keeps on changing its performance review system every 6 months so you literally never can see them again.
The increase did disproportionately hit Black people but people who study these things think the main factors were the economic impact of the pandemic and underinvestment in infrastructure for minority communities [1].

For the several years before the pandemic traffic fatalities also disproportionately affected Black and some other minority communities.

[1] https://abcnews.go.com/Politics/traffic-deaths-increased-bla...
Thank you for centralizing and summarizing all that knowledge. The material is very useful.

You would put it into a github repository so people can help you to improve it.
We had one the other day because of a girl kidnapped an hour's drive away. Fortunately the kidnapper was quickly apprehended and the girl found safe. I don't hardly see them ever. So, I'm not sure how often they are used.

What's crazy to me is how a device that claims to be 110DB at max volume could tear apart someones ear drum and damage their cochlea. I've been around many race cars on Dyno's literally right next to them at times with or without earplugs and I don't think this has ever happened to me. I'm curious of the medical science behind this.
yes. sprint points do not translate outside team scope
No immediate native PHP plans, but we're actively hiring to move faster on all axes.
Because the author’s name is “Jason Tu”. That’s what they said “no relation”.
Development Container CLI
Elsa – Emacs Lisp Static Analyser
With GPL the user is entitled to access the source code of the software and any modifications which allows them to hire another developer if they aren't satisfied.

With BSD (and other attribution licenses) it depends on the developer's goodwill whether the user can get the source code or not.

GPL allows nearly frictionless transition
> Sadly I too have not found an employer that is willing to let me use any kind of theorem-proving software in production. Back when I was at Jet doing F#, I almost got permission to use F-Star [1], but that project never got to that point.

As someone who doesn't code for a living, I am certain that this is a naïve question, but, if you want to use theorem-proving software for verification of existing code, does that require employer permission? Is the issue something like, e.g., you need the theorem-proving software and the code to be verified on the same machine, and you're not allowed to install the theorem-proving software on a work machine or to move the code to a non-work machine?
It's another corporate flavor of the "month" trying to solve a realistic problem developed by corporates themselves, in Corporatese.

In theory the idea of OKRs is fine. They are "supposed" to give individuals a form of autonomous growth which can be related to the company and has a way to be measured and traced back. It gives them the "personal responsibility", "growth" and "autonomy" which tickles a particular type of people.

In practice, there are too many conflicting viewpoints, agendas, power hierarchies, goals and more, to make them work out. That's assuming everyone works in good faith with one another, too. As others point out, nothing's keeping a manager from using OKRs against you.

Stay tuned when in 10-20 years it will silently die off to be replaced by another flavor, and reinvent the square wheel once more.
While there is a glaring lack of references in journalism compared to what is considered normal (or even the bare minimum) in research (academic or otherwise), and that problem is cultural, you don’t have to assume malice to explain it. Like every cultural problem, it is self-perpetuating; but even aside from that, carefully collecting references is simply not the human default.

I once tried to exhaustively document and cross-reference a pretty ordinary coding session of several hours, and took a surprising amount of effort, something like an hour of writing and pasting links from browsing history per two or three hours coding, and you need to do it every two or three hours or else you forget half of what you were thinking. Similar experience with writing down the results of what seemed to be a perfectly harmless week-long dive into mathematical literature.

Annotated bibliographies (let alone anything more detailed) take time and work, which for standard newspaper journalism does not pay off.
I think I disagree, though the only person who should be messing with it is the maintainer. One of the easiest ways to ensure that everyone follows the same coding standard for a project (particularly for open source projects).

I usually add something like specified in:

https://editorconfig.org/
Likely this one which I am aware of: https://github.com/Captain-P-Goldfish/scim-for-keycloak

An wonderful piece of work. Note, however, that the most recent supported Keycloak version is 16.1.x. Whereas Keycloak has recently been reworked (beginning with 17.x, now at 18.x) around Quarkus. This is awkward to explain to stakeholders that understand the implications of having their authentication system held back due to dependencies.

SCIM is a well designed and standards based (RFCs even!) expression of identity management in REST. Expecting identity platforms to support it as a first class capability is reasonable.
Inference is often done fixed point, whereas training is (usually) floating point.

Inference also prefers different IO patterns, because you don't need to keep the activations for every layer ready for backpropogation.
The way auth tokens are setup for Mopidy-Spotify you hold the encryption key for the blob with the OAuth data, and the intermediate server just has an id and the encrypted data. Note that the id is not a Spotify OAuth client-id but an internal one. This is done so we don't have to ship Mopidy-Spotify with the client-secret for the App registration (this was pre PKCE auth).

I.e. I would be highly surprised if our OAuth integration was the source for this issue, but I'm obviously biased as the author of https://github.com/adamcik/oauthclientbridge

As for libspotify, there you had to put in a (device) password and username, so if something scraped that config I guess all bets are off...
What's worse is when that team gets around to it next quarter, and then in their research process they realize another team needs to be involved, etc. Eventually you have a two-week project that doesn't get delivered for a year.
I do. Works great.
Google is a great search engine! However, from time to time I am still enjoying other search engines when I am getting good search results for some queries, just as someone who has been in prison for 20 years enjoys the fresh air once released.
We've been waiting so long for proper software RAID support that ZFS got RAID-Z expansion before it happened. I no longer have any reason to use btrfs.
You can wrap a single request (containing multiple SQL statements) in a transaction, and either all the statements will be successful, or none will. That's what rqlite currently supports.
Notably, around `08 or `09, these cycles stopped. From the outside, it looks like Google stopped trying to fight spam and just gave a bunch of huge sites a permanent boost in rankings instead, so at least some of your results might not be spammy garbage.
The part about "just don't worry about it" is not really great advice, IMO. I think the rest is good, particularly the part about using tax software and/or doing a Schedule C. Just do what it says - it's pretty simple for small businesses - the amount in taxes paid will be fairly minimal. If you use tax software, use the business version and answer the questions and it'll figure it all out for you basically (might even find some deductions if you had expenses, like domain names, hosting, etc.).

While the IRS likely won't audit you for a few hundred dollars (US), there are laws about what you have to do. You don't need to become a tax expert, but knowing the very basics so you don't run afoul of any laws and end up owing some $$ or penalties is probably worth taking a bit of time to do at the end of the year.