skysight-inc/HackerNews huggingface dataset:
Doesn't requiring operators of coal plants to produce less electricity have the effect of reducing emissions from power plants a task that was given to the EPA.

> Imagine if the FDA showed up at your favorite restaurant and told them that they were only allowed to serve 70% of their current customers, unless they served Hungarian borsht to the other 30%.

I do not get the borsht part. If the FDA had the task to reduce diabetics and science shows it needs stop the creation of new diabetics by 20xx. If we knew that a certain food chains menu causes diabetics at disproportionate rate (and there is no way to reduce that that restaurant can stay up after 20xx because thermodynamics) so that those goals would be reachable only by reducing that share in the market why can't the FDA enforce a diabetics creation rate limit by limiting the amount of diabetes causing food at worst diabetes creators under the mandate educe diabetics? I think that's what they do. That they have an additional incentive that selling low diabetic food increases the quota for selling high diabetics food, doesn't change that they are still reducing total diabetics creation rate.
In the grand scheme, HIV/Aids has not had a large effect on population growth in Africa (and unlikely to have for the future as it is a mostly localised to southern parts of Africa and has been coming down rapidly).

Most forecast say population will peak at 10bn to 11bn - https://ourworldindata.org/future-population-growth

- A big part of this increase in indeed from Africa which is expected to increase by 3bn - from 1.3bn in 2020 to 4.3bn in 2100

- The largest uncertainty is also about Africa where faster economic growth is expected to bring down population growth (counter-intuitively).
> poverty has decreased even as population increased. Innovation is amazing

That's because humans exploited all natural recourses to the max and it created climate change and extinction of many species, exploited so many animals too, just look at Earthling the documentary. But whenever people talk about progress they don't care about this and turn a blind eye.
Huh. I use Feedly but access it through Reeder and don’t seem to have many troubles.

Every once in a while I think of unsubscribing to a feed and it is a bit of an adventure, but that is my only complaint.
There's a child comment that is in disagreement with the margins you mentioned. I've seen the financials of a lot of practices and hundreds of contracts between payors and providers. The child comment by kstrauser is much more in alignment with my experience, and they also did a good job of noting all the various expenses that are overlooked.

Sometimes there are services that do have 90% margin like you mention, but there are also sometimes services that have a negative (-90%) margin. I want to emphasize I'm talking about specific services/procedures, not the overall margin for the whole practice. A profit margin of 90% is unheard of. Perhaps you're thinking of hospital systems for example which will have certain departments that are operating at a loss and then other departments that are profitable. Then they offset each other.
So was Google Reader, and it worked fine. That's the whole point.
Our World In Data has a plot of conditional life expectancy throughout recent history. It's one of my favourite plots of all time not because it's important, but informative and intuitive.

https://ourworldindata.org/uploads/2013/05/Life-expectancy-b...
Feedly has put a lot more effort into being a research tool, probably mostly for marketing in the past, well, years.

Of course it clashes with being a simple RSS reader for the author. This is just mismatched expectations, not Feedly getting worse.
What makes it the best? It doesn't sound any different from what we use around here. Now if I can travel to India and use it as a tourist, that would be something.
So "I make my wife do it" is the loophole. Classy.
This is a problem of supply chain quality control. Someone decides to save $1 a liter on potting compound and buys cheapest bathroom grade acetoxy stuff, or worse uses random glue from cheapest supplier available.

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

https://www.farnell.com/datasheets/1974040.pdf
> switching visual attention from the road

Not really. If its a rental and your first BMW sure, get familiar with the system. But once you are familiar you can use most of it blind - without taking your eyes of the road. Just turn the wheel 3 steps to the right, press, two steps left etc.pp. Its way more intuitive and safer than a touchscreen.
How do you handle function-like macros and concatenation? Also, both D and Zig seem to have switched to including a full C compiler instead due to issues with translating C source wise, is that a possible direction for this in V or is the source translation good enough?
Thing is, as a startup, there might be better solutions to your problem than Kubernetes, but investors specifically look to check the „use K8s“ checkbox on their rating sheet. It’s just as stupid as it sounds, and there’s nothing you can do if you need venture money.
It still goes through the network stack, just not the network hardware.

Unix sockets are faster, but they still require some system calls that an in-process database can do without.
The commenter wrote that Tailscale is easier to use than AWS anything, but it can't even stand near in terms of scope. It's like saying that my calculator is easier to use than Apple anything; useless astroturfing that adds nothing to the discussion.
Ask HN: Do computer programmers play Minecraft?
Programming languages are much easier to program in than Minecraft, so why would a computer programmer play Minecraft?
You are missing a very importand third point:

Situation 3: we have understood the value of the proposed style of concurrency and think it is the right one for most situations, consequentely an according API has been created and it is strongly recommended for all usages of concurrency that fall into the pattern. This doesn't require the removal of the primitives used to build this API from the language. No linters needed, just a bit of common sense not to use the low-level API unnneeded.
'noticing something' is neutral. 'bothered' is indeed not the way.
> More people means less energy and resources per person though, and people with little resources wont be using their brains to solve problems.

I mean .... why? Why are we assuming that more people aren't working to create more energy, more resources? The Earth can feed, and provide far more energy than we currently are using. Pump out nuclear reactors for every town and we will have enough energy for 10 times the people. Granted, it's not as easy as saying that but my point is that energy is not finite, and resources are far more that we are currently not utilizing.

I don't imagine more people will be living with the same resources. After all, the growth to nearly 8 billion resulted in most people's quality of life rising and poverty decreasing. This is a fact. A cold hard fact, that nearly everyone on an absolute level has gotten better lives.

If we can do that for 8 billion, why can't we for another 8?

More so, increased population results in different, new problems and solving those problems results in us further progressing, not regressing.

I guess, I just don't like thinking of this as the end of history. We can grow and grow, and grow. I don't wish for humanity to simply fizzle out. We've done pretty well till now, let's keep going. We can do better.

As far as we know, we're the only species in the universe, in the whole wide universe that can truly appreciate the beauty of the universe. That can observe. Catalogue. Create Art. Sing songs and so on.

The vast wide massive universe. It deserves to be seen. It deserves to be documented. To be explored. We need to live, and grow far more than now to do that.
Fair enough, I needed to improve the answer

The main claim is that crafting > functions because crafting does not have the single entry/exit drawback that functions have
I feel we’re very much all in for a rude awakening, and must all reckon with corrupt politicians, and the immediate outcome will probably not be a good one.
Lets not forgot, its bad news for the Card Manuafacturers if consumers decide to buy the flood of used cards on the market and not new ones. Its really not in their interest for us to be buying them at all.
> If you have an application using a pad, and it's flat enough to replace with (good) paste, you will always see a performance improvement.

if the tolerances are tight enough, if the heatsink doesn't even touch the VRM thermal paste won't do nothing.
I think the idea is that while any person could probably connect the dots, in a courtroom the fact that they were around the clinic is purely circumstantial and therefore insufficient to prove someone got an abortion.
Just looked up the Teutonic Order (from Wikipedia [0]):

> Before and during World War II, Nazi propaganda and ideology made frequent use of the Teutonic Knights' imagery, as the Nazis sought to depict the Knights' actions as a forerunner of the Nazi conquests for Lebensraum. Heinrich Himmler tried to idealise the SS as a 20th-century reincarnation of the medieval Order. Yet, despite these references to the Teutonic Order's history in Nazi propaganda, the Order itself was abolished in 1938 and its members were persecuted by the German authorities. This occurred mostly due to Hitler's and Himmler's belief that, throughout history, Roman Catholic military-religious orders had been tools of the Holy See and as such constituted a threat to the Nazi regime. Hitler based his German Order on the Teutonic Order, especially the Hochmeister's ceremonial regalia itself even though they abolished the said order.

Linking to this "theme song" and your (not yours, usrn's) xeonophic comments have no place on Hacker News.

0: https://en.wikipedia.org/wiki/Teutonic_Order#Modern_organiza...
> Someone translating from a proven TLA+ spec to code (C, Java, etc.) can easily introduce a typo/bug.

Having only done the basic tla+ tutorials (not the OP's site yet), this is still my biggest roadblock with even trying to use a formal system. The "impedance mismatch", if you see what I mean.
Comparing to automated tests, it seems less likely to get both code and tests wrong in concert, than to get a tla+ spec right, and then botch the translation to code.

I'm sure it's a faq, and the answer probably boils down to "just try it, and you'll see" ?
It is correct because a TUN interface is not the same as a TAP interface. The latter is layer 2.
That's a very selfish view. More people also means more energy need, more recourses use, more garbage too. There is not unlimited recourses to exploits. Watch Earthling to see only one part of human needs.

All the advances are due to exploitation all natural recourses to the max and it created climate change and extinction of many species. But whenever people talk about progress they don't care about this and turn a blind eye.
I see where you come from but I didn't read it that way. They point out why the product no longer fits their needs, and why the paid version is not appealing . The conclusion is the opposite of entitled: I'll use something else.
I've sometimes had items of clothing I disliked for a decade, then suddenly found extremely great.

But I do agree with the practice for short-sleeved shirts (not t-shirts), except the time for culling is not late fall, but rather, if applicable, early afternoon. Somehow it's an item strictly reserved for middle-aged overweight bus drivers in my neck of the woods.
Sorry but there are no extra duties implied by open source other than what's in the licence. Licences usually explicitly say that there is no support and no implied duties other than those guaranteed by law.

Open source/free software existed long before nebulous[1] terms like "influencer" came into fashion.

All it means is that you get the source code and some limited rights to modify, distribute and run the code. The rest is on you.

If you don't like the licence, don't use the software.
If you don't trust the author or group behind it, don't use the software.
If you don't think the project is well run or not, don't use the software.
If you don't like the politics of the people involved, don't use the software.
If the website "smells funny", don't use the software.

If you can't tell if the software is safe or not... you guessed it, don't use the software.

If you drink from puddles then it's up to you to decide if the water is clean or not.

1. i.e. there is no definition in law to what this means.
Notice that if you look at the all-time stats, the decline in the summer happens every year, so it probably doesn't have anything to do with covid.
IMHO 8 billion is too many for the size of the earth. With a total of 150 million km2 in land, each person corresponds to 0.018 km2 or 18000m2 which is equivalent to a 130x130 meter space. That includes sleeping, eating and "food growing" spaces. And the 150 million also includes inhospitable places.

I think that no matter how efficient our food generation processes get, this is very little space per person. That's why people live in the air and on top of each other.
Is it known why Google killed reader? Certainly it wasn't lack of traction.
Where does this kind of thinking lead us? Should we not be even more proactive, then, and start reducing our population as fast as possible to avert the catastrophe that you predict? If less is more, and time is running out, will you live by your own belief, and volunteer for euthanasia? To save the planet, for our children, and our children's children?

Every generation has it's soothsayers that are absolutely certain we are near the population limit and heading for certain doom. And every one of them was wrong. Our population soared past those limits, no problem.

I share the opinion that earth can sustain about 100B of us, with a bit of planning and thoughtful engineering. So long as most people don't mind living in sky scrapers. More people = more brains to solve the type of problems that I assume you are worried about.

I don't actually believe we will continue growing like we have, as nothing in human affairs follows a strait line for long. Every great kingdom has fallen, every empire divided. It is ebb and flow, tidal gravity. We don't need to try and control it, but only observe and adapt to it.
It’s always backwards, unless in your culture schematics are written right to left - no idea if rtl folks also write schematics right to left, but I suspect they might.
A lot of the service they provide is figuring out how to load out of spec or outright broken feeds. They had some blog posts on this back in the early post-Google Reader days. A self-hosted option will eventually fail to load a feed, and there's not much you can do unless you're a developer.
> But on that time two things happens: - Windows 3.11 was released and spread like wildfire. No more limitations.

That is not what I recall.

First, given that pre-95 Windows ran on top of (MS-)DOS, it had no better capabilities, except that now a bunch of resources (e.g., RAM) was used to run a GUI. And it wasn't really "multi-tasking", again because it ran on DOS, and was more (co-operative) task-switching (like MacOS 9).

Further, Windows 3.11 was garbage with regards multitasking / task-switching compared to DESQview. I knew plenty of running multi-line BBSes with DESQview, but it would have been laughable to try that with Windows. I remember (perhaps incorrectly) running Windows under DESQview just fine.

Perhaps for 'normies' Windows 3.11 was good enough, and the GUI was helpful, but from a technical point of view saying "no more limitations" did not reflect reality.
(repost from similar question above)

Categories are about composition. Crafting is also about composition - using inference rules. https://en.wikipedia.org/wiki/Category_theory

The classic schematic representation of X Y Z shown on the above wiki page is basically a crafting rule to create Z. That is, if the AI knows about a "path" (think back to your homotopy training) from X and Y to Z then it can craft a Z from X,Y if it needs to

Yes this is exactly reverse to how we normally think about the caller/callee relationship
You're right that the "long" type in Java is signed. The JVM uses two's complement representation, so for many operations, unsigned arithmetic is bit-equivalent to signed arithmetic. For the remaining ones, like less-than, divide, shift, etc, Virgil generates more complicated code to do unsigned arithmetic or comparison manually, e.g. by first checking if an input is negative.

> One more question I have is about FFI - I didn't find a mention of it after a quick skim; can I call functions from some thirdparty JARs or JS/WebAPI?

For the Wasm target, Virgil allows you to write an imported component, so the module that gets generated has the imports with the signatures that you want. You can then load the module in JS and supply Web bindings and such. That latter process is quite clunky, but in theory gives you access to any API that can be expressed in terms of wasm (before externref).
The author complains he couldn't add a Reddit RSS feed. I once looked into this. It was already a few years ago, but I guess it hasn't changed. The problem is that updating all Reddit feeds of all Feedly users goes way above Reddit's API call rate limits. So, it's probably simply not possible in a centralized free service. The problem isn't so much Feedly, but the various sites' (not only Reddit) ignorance or hostility towards RSS that results in these kinds of implementations.
Apparently they were using an excel sheet for account balances and transfers.
Wow, that's a lot of clothes!

Funny, I looked at his $3,907.65 total estimate and though that it's quite low for an adult.

Consider though that OP used retail prices, not thrift shop.
PyCharm made my Python projects more fun to work on.

Just recently, I started learning Ruby and also love RubyMine. I guess all JetBrains IDEs are like that.
John Urschel: NFL Player, Mathematician
> That's because humans exploited all natural recourses to the max and it created climate change and extinction of many species, exploited so many animals too, just look at Earthling the documentary. But whenever people talk about progress they don't care about this and turn a blind eye.

the max? I don't know about max. However, yeah, you're right. That does not mean we cannot continue in the future and do it better. Lab Grown meat is nearly a thing, and reducing the price of that will drop global emissions. EVs are becoming far more common and will be replacing ICE vehicles come the turn of the decade, we're building more and more solar and renewable energy resources.

We can fix these problems. Yes, the problems are created by us. That does not mean we cannot fix them while continuing to progress and reduce poverty. More people, more brains only benefits that effort. Not reduces it.

The system of our society needs tweaks. Our incentives are sometimes wrong. But again, reducing people doesn't fix that. More people aids us to build better systems.
The article uses as its first example one of my most-hated fashions as a user of a website--the modal dialog entry form in html. Makes it hard for me to stay interested. Honestly, this is one thing I like about the multi-page app flow over single-page apps.
> If we had 10x fewer people and kept 10x fewer cattle (and more generally, consumed 10x fewer resources), the environment would be doing just fine.

why? and why would it not be worse? just because of the number of people?
The real find here is that the listing on GoG (https://www.gog.com/game/broken_sword_directors_cut) includes the original game as well as the one-finger's-width inferior directors cut.
Every missile can, but it won’t help much if you don’t have working guidance, like in this case.

Of course you’re also assuming that a country that can’t even manufacture a car is somehow able to maintain nukes.
In Denmark we have wireless cards as “the normal way” to pay, but also mobile pay that works with QR codes and also allows person to person transfers, which is how you normally settle things with friends.

Won’t claim it’s the best in the world, but no one ever carry’s cash.
>Just 500 grams of platelets [from discarded carrots] can reduce the amount of cement needed to make a cubic metre of concrete by about 40kg—a saving of 10%. Dr Saafi and his team have now embarked on a two-year study to investigate the process in more detail and to perfect the best mix for use by the construction industry.

This is really interesting and fascinating. This seems almost too good to be true. Perhaps we are moving slowly to a return of natural components in our materials. Im thinking of a term of like "nature-punk" :)
> Take it easy; it's a proof that you're only human :-)

No, it's not proving anything. Github Copilot could have definitely made the same mistake.
> no matter how you measure it, the absolute number of people living in poverty has decreased even as population increased

Surely not based on any way of measuring it, since in some reasonable definitions you could say there's 1.5bn people living in poverty right now and only 1bn total humans existing two centuries ago.
I seriously doubt they would care.
Also same as miners, and censorship resistance is one of Ethereum's explicit design goals.

Some other PoS systems use delegated proof of stake, where most people just delegate their stake to one of a small number of validating nodes, which could easily cooperate to censor transactions. Ethereum supports a very large number of nodes, due to signature aggregation. Right now there are about 400K individual nodes. Entities of course can have more than one node, but the last estimate I saw of the number of individual entities put it at around 5000. (That was at least six months ago.)
There's been quite a resurgence, and they keep coming. Search on steam!
That's actually a nice idea. I guess we will see more software in the source code dependencies analysis space. There's so much code and often it's nice to have some kind of metrics (LOC, PageRank, ...) to get a grasp of what's important in a codebase.
Just started a new job and having a filetype agnostic version of this would be immensely helpful for learning the codebase.
What’s would be the defensive purpose of a nuclear aircraft carrier? The offensive part is obvious - makes a whole lot of difference when you are invading someplace on the other side of the world, which is what US Navy is optimized for.
Hey, this is wild. Ignore the hater/ad hominem in the sibling comment. This is really cool stuff. Love the design and aesthetic.
And you'd be wrong: that may be an issue, but it just doesn't relate to OP's idea of some regulation prohibiting health care providers or insurers from publishing prices.
I have looked into category theory a bit and admit I have a lot to learn. Nothing in this article made sense to me.

I'm not sure if that reflects the article or my own intelligence. In either case these ideas need better explanation if they want average developers like me onboard.

What I like about FP is that I can reason about the program in my head. Especially with F#'s strong type system. Often I can sit down and plan a simple system just by writing down the types I need to represent my domain. Then I can write down the function signatures/types for the actions I need to get my program working. Then it's like painting by numbers to fill out the function bodies.

This crafting thing sounds like copilot on steroids. Copilot is amazing but is also unreliable. I'm not sure how on earth this is all going to be reliable. It also sounds like it would be harder for me to understand what is going on. To me that's a step backwards.

My brain is fried trying to understand that article. I'm seriously confused.
In the same vein:

$ git grep Congrats -i
fatal: option '-i' must come before non-option arguments

Frustrating.