skysight-inc/HackerNews huggingface dataset:
I agree completely.

We are all responsible as consumers, in every country.

People like to blame the western world or "corporations" - no, it is your (our) fault as individuals. Corporations only emit when consumers demand their product/service.

We are all humans: anyone who can help make the future better, should.
Imagine if this mindset was applied to every minute a developer wasn't actually writing code...
So what? TLA+ still achieved something that no other formal logic had before it (AFAIK). If you mean to say that Lean could do the same, I think spending a month with it will dissuade you of that notion, despite the fact that it is more similar to programming and despite it more programming-like tooling that programmers of certain backgrounds might appreciate.

Amazon may not have used TLA+ if not for TLC, but very good model checkers have existed for decades, have been used successfully in industry, and still have not made any inroads into mainstream software.

> If reaching the actual needs of the engineers was so important, why is the CLI tooling in such a bad state?

For one, resources are limited. For another, you assume that the best place to invest effort in order to help developers is in CLI tooling. I, for one, disagree. I think building a model-checker that works well is a higher priority; I also think that designing what is possibly the first "utilized" logic in the history of formal logic is also more important. Even with those two, there are other things that I think deserve more attention, because I think TLA+ has much bigger problems than how you launch some program.

I also think that some of the complaints about the tooling might be about something else altogether, but I'm not entirely sure what it is. Simply doing what beginners think they want is rarely a good strategy for product design. You get the feedback, but then you have to understand what the true issue is. Having said that, there can certainly be some reasonable disagreement over priorities.
Are ARGs typically present in natural populations of bacteria or do they only become abundant when humans treated with medication are around?
Computers that can make commitments
That analogy would work if I hadn't worked for companies who made $400m+ with code and processes that would be at home in a 14 year olds hobby project. Oh and 0 tests.

I find a lot of a certain kind of sw person who need analogies to make their mental model work. It never did for me
The people of Turkey have voted for him right? He improved their economic situation enormously, this is democracy, you get who you vote for.
Why haven’t I ever encountered this before? Seems cool and better than all the bespoke config files lying around on any given unix machine (passwd, hostnames, fstab, etc).
https://news.ycombinator.com/item?id=22141299
You've struck on something, here. For a lot of people, those two are tied up together, to the point that there are people more concerned with punishing oil companies than solving climate change.
Tensions don't change if you send the 2nd or 3rd in command instead of the foreign minister.
That’s the SQLite database file format. SQLite itself is a library that can deal with multiple files in different formats (transaction log and database file). It also reads .sqliterc and maybe others.
They named the competitor to Bytedance's TikTok..... Byte?
A repertoire of math books from general math, college math to pure/applied math
flutter.
I didn't enjoy Stellaris as much as I remember enjoying MOO. However, the latest version of MOO is just okay. MOO 2 and Ascendancy were by far my favorite. I say this, but that was decades ago. How about yourself?
Err... The FAA is replacing all their secondary Mode S radars with... secondary Mode S radars with ADS-B capability. That's probably gonna last at least 20 years, once installed.

Maybe you're thinking of old-school SSR radars ?
I used to use a hex editor to modify my XCom save files to max the stats of my soldiers and my money :)
Night train connecting Amsterdam to Scandinavian capitals under consideration
Opinion: Proof-of-Work Will Always Be Criticized for Inefficiency
Is already on my todo list:)
That’s true for the next year or so, but it only will push the clock back a few years. At that point, we run out of land.

I’m not arguing against it — every bit helps. However, something better needs to come along, and we need to invest in that thing.
i was not aware of such a concept; it is interesting.

i was thinking back in wwii, if they had a "hush puppies" campaign in lieu of loose lips etc. - it probably would have been mis-processed in my mind as well. puppies = yapping. any other message would be swamped by the puppy noise.

my mind goes to the tangible, physical and spatial first, and the abstract/symbolic second.
I did exactly that. And I'm really positively surprised about the build quality of Anker hub.

I bought some of the wireless chargers from Anker before and those feel quite plastic-y, so this was nice.
Assuming the “happy” song was 5 minutes long, 47M plays ~ 5400 months of playtime. At $10/month subscription revenue, that’s $54k. So, the artist is getting 5% of the gross revenue. Not sure how that compares with radio/ satellite royalty streams.

Edit: It was 43M plays, not 47. So, ~ 5.4% of gross revenue.
The thing is most applications don't really have data across regions that are related. So, there really is no need for distributed databases for most of the use cases which actually can be solved by sharding. Also, most of the applications already gracefully handle DB failures by failing over to stand-by replicas which PgSQL and MariaDB already provide.

However, I do think the key innovations are in building control planes around existing relational and NoSQL databses for scaling/sharding them across a set of resources to minimize cost while meeting performance and availability constraints.
Nice work. I miss the ability to filter by video support. I got this one [1] without reading the fine print, and it only supports 4K at 30Hz, not 60Hz.

I'm actually still looking for a hub that will do 4K/60Hz HDMI/DP and power delivery (and preferably 1-2 extra USB-C ports), so that I can power my MacBook Pro with it, and have it deliver video to my external display, all while only having one cable going into the MacBook. Not dual monitors, just a single display while the lid is closed.

From what I can tell, that's only possible with an expensive Thunderbolt dock.

[1] https://www.amazon.com/dp/B079GSMZ7G
How does iron ore help Nazis massacre your ancestors? Why didn't your ancestors pick up a stick and fight?
Yes, the have their blogging somehow spread across the sub projects.

But it seems it's catching up to TypeScript and left all its competitors behind. https://2019.stateofjs.com/javascript-flavors/
> Usually you do this via defer.

I agree this is usually done by defer, but you probably should not do it that way unless your code is very simple. Consider a function body which I've seen variants of many times:

ctx, cancel = context.WithTimeout(pctx, timeout)
defer cancel()
if resp, err := do(ctx, req); err == nil {
process(resp)
}
return err

Safe yes, but optimal? process doesn't use the context, and may take longer than the timeout. The context will continue running, with some associated resource cost (at the very least, the context's goroutine and timer). A minimal change is:

ctx, cancel = context.WithTimeout(pctx, timeout)
resp, err := do(ctx, req)
cancel()
if err == nil {
process(resp)
}
return err

Which disposes of those resources much earlier.

(Depending on your Go compiler version there is also a potential cost associated simply with using defer; this is independent of that.)
Local Overconfidence
If I understand correctly it’s basically a regular hub that has USB C outlets instead of USB A. Useful but won’t do stuff like monitors.
Cristos Goodrow: YouTube Algorithm – Artificial Intelligence (AI) Podcast
I blame multiplayer: now even games that don't have it are expected to be "balanced". Nothing you can do in a modern game is allowed to be really clever, or else it will be utterly trashed by opinion leaders.
They could, and probably will... for 3 years and then sunset the product.

I'd considering x86 in their environment but never anything I can't immediately port somewhere else.

Stock ARM maybe. Anything boutique? Nope.
> and also gives one an appreciation of just how powerful of a greenhouse gas CO2 is

It should also be noted that the total atmosphere (dry + water) is about 3% water vapor by weight and H2O makes up the majority of the greenhouse effect.

CO2 isn't a problem because it's the biggest greenhouse gas, it's a problem because it's the one (the biggest anthroprogenic one) pushing us over the equilibrium where net warming is zero.
x86-manpages(7): Man pages for x86-64 ISA
Ugh... Kalman filters...
Yeah, you generally shouldn't be inhaling dust but inert dust (silica -> silicosis) is better than reactive dust (asbestos -> cancer).

I'm not well versed enough on the specifics to tell you whether or not PM2.5 is a good measure of pollution. The experts in the subject of air pollution routinely use it so it can't be thaaaat bad.
This is an excellent article giving into the Initrd pattern.
I think you’re stuck in 90/10 rule territory here. But even so, SQLite was 220,000 lines the last time they measured, which was five years ago. You can do a lot of functionality in 22kloc, even ignoring the other 90%, which you shouldn’t

Lodash, for instance, is much smaller than 22k lines, and it “just” manipulates objects and lists.

If you downplay others like this, I wonder how you feel about your own work. Have you been working hard for years on something that “just” accomplishes a straightforward task? Are you happy? I know I wasn’t.
I've got to shill for yet another all you can eat Polish buffet in Chicagoland that has been open for 40+ years. Warsaw Inn. That buffet is really amazing. So good! Go there. Eat all the different kinds of pierogies.

But also, they mostly just serve polish food, and I don't remember much if any seafood around either. It seems like for different types of buffets you'd have different food costs. Like a sushi buffet probably takes more than a taco buffet.

But the article says they think delivery food options killed the buffet. I'm not so sure, I think fast casual chains were around a lot earlier and did a lot of damage. You had the same labor savings with not needing dedicated wait-staff, and you could get a lot of people through the doors. While you can't cook in huge quantities, I'm sure they do a huge amount of all the prep in batches, which is how they can get the food out relatively quickly.
> Decades of cheap energy could help lead to a rebirth of the American manfacutring sector.

Energy is cheap in the USA (and has been for decades). Let’s not kid ourselves, energy costs aren’t the reason the USA exported ~all its manufacturing jobs.

(Remember to exclude subsidies in your comparisons, as that’s a matter of policy and, for example, the USA could choose to implement them today if it wanted.)
Ask HN: How does services like Motley Fool's Stock advisor survives?
They solely based on information. What stops users from sharing that information for free of cost? Am I missing something completely here?
Guyana yes, Malvinas not. First, they are not a nation, they are a (disputed) British overseas territory (by own choice) and second, they are nowhere close to the Amazon.
Cool. It’s about time. After getting a MacBook Pro 2019 I was pretty surprised to find out there are no real USB hubs out there.
Should have gone 1920x1200. Many excellent refurbished (professional) ones on the market for cheap.
Hmm, good question. I think I work for such a company, I guess an easy tell would be during an interview coding exercise, if they explicitly invite you to use a search engine or API documentation etc.

In a company where people take excessive pride in their intellect, I find that it often manifests in the "What, you don't know this exact thing I don't know?!" attitude you can find in some interviewers (to quote the infamous tweet: "Google: 90% of our engineers use the software you wrote (Homebrew), but you can’t invert a binary tree on a whiteboard so fuck off.")

Likewise, if they want you to write actual code, their culture of intellectual humility will manifest in asking beforehand if you have a preferred tool and making it available, or inviting you to bring your laptop etc. instead of forcing you to write code on a whiteboard (bonus points if they point out every semi-colon you missed), or in their arbitrary editor of choice, complete with customised key-bindings that combine the "best" of Emacs AND Vim.
I have a method I have been using that works really well:

I read everything on the kindle, and use kindle highlights when I find a sentence with a word I dont know. Then, after Im done with the book, I download the highlights and create cards in Anki with the word in context and review every day.

I have expanded my vocabulary significantly using this method.
> One woman in Cape Breton was killed by Coywolves when she was out for a walk in a wooded area

Yes, this did occur and it was a tragedy. But worth keeping things in perspective:
https://en.wikipedia.org/wiki/Coyote_attack

Three fatal attacks recorded in the last 100 years. And so few non-fatal attacks that the wikipedia page can list nearly all of them. Even the attack you mention, Taylor Mitchell, it sounds as though this was one particular pair of animals that were far more aggressive than typical.

Coyotes are generally big cowards. They're successful in the anthropocene because they stay out of sight and mind.

Coywolves are more dangerous, perhaps, but we should keep things in perspective about how dangerous we're talking about. If they were ten times more deadly than coyotes, they'd still be a orders of magnitude less dangerous than sharks, bees, and lightning. (All of which are unfathomably less dangerous than drunk drivers).
The Politics of Images in Machine Learning Training Sets
Plato detested democracy, but characterized it as thus.

https://en.m.wikipedia.org/wiki/Plato%27s_five_regimes
Oh, a come along, makes sense. I thought you meant a dedicated 12V winch, ex. Warn.
Nice site! Would be nice to add cable length as well, finding hub for desktop PCs very hard.
Swift’s Closure Capturing Mechanics
I built a website to better compare renewable energy equipment found in Amazon
> No, SQLite provides no RDBMS functionality.

I think your comment would be more comprehensible if you gave some examples of the kind of functionality you think is missing.

I don't know what you mean by "RDBMS", but JSON and XML don't do joins, don't do views, don't do efficient query plans, and so on. It's either ignorance or obstinacy to say SQLite is just a file format.
That’s not how CCS or net carbon works. CO2 is basically fungible. You can release it today in Australia and capture it yesterday or tomorrow in Canada to offset, it basically makes no appreciable difference.
Can you provide an example involving "operations that relate efficiency and power factor by accident" or similar? I'd like to better understand your problem domain.
Agree. Boring Tech is Good. Postgre + Redis / Memcached is probably good enough for 99% of use case. ( I still wish Postgre made shading easier )

RethinkDB, CockroachDB and FoundationDB are worth keeping an eye on.
Isn't the idea to mix types and dimensionality analysis?

With mathematics libraries in a language like Ada your angles will usually be one type, your distances another, and the rate of change another, and so on.
I wonder what will happen (politically) in countries that engage in mass Internet censorship when SpaceX's Starlink constellation goes GA. I've always believed (perhaps naively) that the Internet is a great equalizer for information. Free (as in freedom) and unfettered Internet access seems like one of the few things that could make it incredible difficult for bad and oppressive regimes to operate anywhere in the world.

If I were a billionaire philanthropist I would try and find ways to get as much Internet connectivity into the hands of impoverished people.
Sarcastic comments boost creativity, a study finds (2015)
Just out of curiosity, do you have any statistics on how many people disable the affiliate links?

That's really clever by the way, placing that button so prominently. It both instills trust and serves as a gentle reminder of the amount of work that went into this (at least in my mind).
I like them, but they're really inconsistent. I bought a bedding set they recommended (from Brooklinen), and it felt so cheap and thin, I couldn't believe this was their top choice. Brooklinen is a new brand, so I suspect some back room shenanigans; they have since been passed over in newer reviews.
I wonder sometimes if, every 1-2 years, I should review the full catalog of well-maintained libraries and utilities available on Linux / GCC / LLVM / Python. I forget about many of them because they weren't relevant at the time I came across them.

Then I forget about that idea 10 minutes later when a new episode of my anime watchlist gets dubbed. I wonder how much that has cost me.
> I think it's a bit weak for "programming in the large"

Really have to disagree with this one, for programming in the large the best tool you have is modularization, and OCaml's module implementation is second to none.

> (cumbersome types,

This is usually an indication of trying to program OCaml 'like Haskell' or some other language, instead of learning the OCaml way.

> typeclasses,

Matter of opinion but I honestly think not having return-type polymorphism, and having a slightly more explicit model, actually works in OCaml's favour–faster compile times, more explicit type errors, less 'magical-looking' code that's easier to follow.

> lack of type annotations sometimes hurts)

Sometimes–but the idiom is very much to put type annotations in separate interface files, which I think is the best of both worlds–implementations look clutter-free and almost dynamic; and interfaces are explicitly typed and documented.

> Last I checked, the default lib was still very poor,

I encourage checking again, the default standard library has received a lot of updates. Of course there may be a difference of philosophy here, the OCaml standard library is not Go-style. In other words, it's not going to ship a JSON decoder and an HTTP server. But very high-quality packages are available on OPAM nowadays so IMHO this is not really a big deal.

> Multicore I guess I can forgive,

OK, great! ;-)

> What's an example of a recent codebase written in "modern" OCaml / Reason?

Well I'm working on an OCaml/Reason web framework written in a pretty modern OCaml style: https://github.com/yawaramin/re-web
That's a stretch. There's still pipelines, oil spills, chemical processing, etc to deal with even beyond the CO2 cost. Oil isn't going to be the least env destructive option for quite some time.

Plus there's the political cost. Oil is in the ground. So wars are fought over it and rich nations exploit poor nations to their own advantage without considering the human toll. If alt energy makes nations more self-sufficient then that can only be a good thing.
So it should be a common name, like "water" or "air" and that domain should not be on private hands. But if I had to choose between a beautiful river and its surrounding rainforest and a company which forces some of its contractors to pee in bottles I know who I will choose.
Yes, that was my point? Even if it was plausible to switch to XHTML, that’s a small and rather insignificant part of browser code bases.
2014 was before Pandora bought scraps of Rdio to build an on-demand platform from.

Royalties are complicated (and I'm only going to get the gist of it right), but Pandora uses DMCA rights to essentially act as a "radio station." That's why the interface is structured that way, and what artists holding out on Spotify can still be heard (when shuffled) on Pandora. Radio was always seen as promotional, and the royalties are really low, hence $2,700. On Spofity, this would be more like $160,000.
The danger for consumers is assuming this is a zero-sum and that the converse economic goal applies to you (i.e. assuming that the consumer benefits by eating a lot or focusing on meat). I conjecture that after factoring in the economics of health and quality of life, the economic optimum for a typical buffet consumer is the same as for any other eater: to eat sparingly and in a balanced manner.
Safari Runs Disabled Extensions
The regularity of Turkish elections is... disputed, to say the least. Before and after Erdogan.
You're right, I dropped the ball with the title, but unfortunately I can't edit it now.

Clarifying information for readers:

The original title of the article is: "Pharrell Made Only $2,700 In Songwriter Royalties From 43 Million Plays Of 'Happy' On Pandora"

Relevant quote describing the issue:

> Despite Pharrell's ubiquity, "Happy" made $2,700 in publisher and songwriter royalties from 43 million Pandora streams in the first quarter of 2014, according to an email from music publisher Sony/ATV CEO Marty Bandier obtained by Digital Music News.

Pandora's response (trimmed):

> ...However, we wish Mr. Bandier would provide the proper context and facts. Pandora is already the highest paying form of radio to both performers and songwriters. We have paid more than $1 billion to rights holders since our inception, which amounts to over half of all revenue we have generated. Regarding the specific songs he mentions in his letter, Pandora paid all rights holders more than $150,000 in just three months, substantially more than the $6,100 he suggests.

> The issue is not whether Pandora pays enough in royalties. The real issue is the financial dispute between labels and publishers about how to divide Pandora's industry-leading royalties. Mr. Bandier and his label peers (many of whom work within the same companies) are free to decide amongst themselves to change the split between songwriters and performing artists of the substantial royalty revenue already paid by Pandora. We'd also encourage that same group to provide transparency about how those dollars flow to the artists and songwriters.
I would use my Inreach only in a really dire situation but if that ever happens it’s great to have one. I once used it notify of a severely dehydrated hiker who got continually worse even after being given water and food. They first sent a ranger. I left once the ranger was there but an hour later I saw a helicopter going to that spot so I assume it was really bad and the Inreach may have saved a life.
Wow. You have essentially just asked me why the Polish didn't fight back.

This is the worst take I have seen on this website.
You would be incorrect. Languages with proper type systems tend to have a much simpler specification when compared to C.
This is an excellent idea. From unfortunate experience, I know this will struggle to be real in a hospital that's suffering with Epic. The company is strictly against open standards (https://www.cnbc.com/amp/2020/01/22/epic-ceo-sends-letter-ur...). The Epic scam continues unabated, but I wonder if there's a way to add more explicit rejections (or constraints) for Epic environments?
From 100 to 200 with Raku
I think the parent was being sarcastic, referring to the really poor quality of the report.
That group has been doing interesting and industry-relevant work for a long time. Not surprised they're trying to commercialize it as existing databases didn't really pick it up.
You’re missing a multiplier there, the average of every users playtime/realtime fraction. Let’s generously assume that to be 10% (meaning every user listens for 2.4 hours every single day on average) and then it comes to 0.5%