skysight-inc/HackerNews huggingface dataset:
Too much free time is infinitely worse than not enough free time.

Most people are not self starting, and self driven, without someone/something driving them most people flounder.
One party thinks minorities have magic powers, the other party thinks tax cuts have magic powers. Yang thinks giving people $1000 a month will magically solve many problems. It's just different versions of pure silliness.
I'm employed and constantly feel like this.
Yup, I missed that, thanks for the correction.
I'm all in favor of collecting taxes that are owed. It seems weird to be focusing on the top 1% of tax evaders though.

There's supposedly $211bn unpaid in P90 through P99; $155bn in P60 through P90.

Is tax evasion more OK for people with lower incomes?
He passed way too young. There aren't enough people out there defending people who need defending and aren't easily palatable.
Let's be honest. Without accountibility from co-workers/managers, there will be people that will spend more time doing other things other than work, like browsing HN and commeting on a post.
His monoid definition seems weird, doesn't include identity, and his endofunctor definition seems just wrong.
I think the poster is saying liberals won't support both. I think they're wrong, I support and see a future with both, but I think a future with both is a very careful series of choices we will have to make.
You hint in the docs that you make some efforts to render efficiently. Are there any write-ups on the optimizations or it is just as simple as updating only when needed?
Breaking Down the ‘Wellness-Industrial Complex,’ an Episode at a Time
The article is a little confusing in how it words it, but the actual "missing" tax revenue is $600B. The $160B figure is just for the top 1% of taxpayers. If $80B will bring in the rest of that $600B, it's more like $7.50 brought in for every $1 spent on enforcement. Still not $10:$1, but closer.
>All the Republican Party needs is for DJT to die of natural causes, so that candidates can quibble over who is the true inheritor of his mantle

I think Trump stopped being a viable figurehead for his own movement once the stop-the-steal movement and insurrection failed to prevent Biden's election, and date after date after date for Trump's triumphant return passed without incident. Republicans are going to have to move on from him either way.
They could've done that for many election cycles, but the GOP is ultimately in the hands of big business donors and isn't about to do that. Not that the Democrats aren't either, but they are at least offset by unions and similar groups.
> Mysterious blue flashes lit up the sky after Mexico earthquake

Are we all cavemen who've never seen a powerline go off before?

This shit just isn't real, just like 'swamp gas' lights from the X-Files, it's humans, it's always been humans. Lights in the distance at night are hard to locate.

Although this isn't hard, but I guess dumb people click and dumb people buy stuff and don't care about being lied to.

https://www.forbes.com/sites/davidbressan/2021/09/08/light-s...
> There is a fear that automation is becoming more affordable

From whom? Not from me… i welcome it and understand that the incentives are in place to drive this, just like it really always has (like you said: "It is not like technology is standing still here").

> and that eventually most jobs at the low end of the economy will be gone.

Probably true in general, eventually at least.

> (something like a UBI will really be needed.

With our current form of governance (centralized, easily corruptible, lack of provenance/accountability in the decision making chain of bureaucracy, tendency to be opaque from the public) and resource allocation, this is untenable.

> the problem is what will we do with our labor surplus after that happens

And this cannot be a top down thing, if it is, expect heavy resistance when things start to go sideways.

> or society is in deep trouble)

This likely true imo, I think things need to get worse before they get better.
This post is very wrong. Being a monoid in the category of endofunctors means something very different from being a monoid in the normal sense (they're related in a category-theoretic way, but the similarity is at a very abstract level). Simple sequences have a lot of structure which mean they are a lot of different things; it is true that sequences are all of monads, functors, and monoids, but the latter structure is unrelated to the former.

Contrary to this post, merely being a functor and a monoid does not make something a monad; for example any arbitrary monoid (say, the integers) could be considered an applicative via Const, but is not a monad. Or many other applicative-but-not-monads have monoidal structure, e.g. ZipList.
"carrier killer" with a 220 nm anti-ship missile. xD
Using “Frontend” or “Backend” to describe the Engineering you like (2020)
Maybe not a good enough job was done explaining and educating people on the reasons, risks, and odds. Both then and now.

It seems like it would be better to convince people than to try to force them. Many don't take kindly to being forced.

And if you can't convince them, perhaps there's not enough reason to force them.
Tesla was shit on for 'limp mode' with the original Model S but they have corrected this to a great extent. The Model 3 is already quite amazing and can do much more then most competitors.

I have not seen tests but I assume the Plaid Model S has this on lock even more and can do for quite a long time.
The fact that every single person in power got elected without ranked choice voting makes me think there is no chance of that ever getting passed. No politician wants to hurt their own job security.
A plugin for Neovim that uses OpenAI to generate/modify code. I'm really excited to see how the process of "writing" code will change as this sort of AI improves. Currently, my impression is it can do things like lengthening variable names or generating self-contained functions fairly reliably, given enough context.
The greater system Bitcoin would represent, assuming wide future adoption, would be a plutocracy, which I stated in the earlier post. If early adopters maintain the anything close proportion of BTC they currently hold, they'd form a small wealthy overclass; and if the lending and spending necessary for society to function is controlled by them, they'd effectively control society. It wouldn't resemble Switzerland at all.

I wouldn't expect those plutocrats to get along in perpetuity, and if there's no way to expropriate their inheritances, they'd form a permanent class of (potential) warlords.
Which means something completely different from the use of "monadic" here.
I've always wondered why the U.S. never had a decently-sized Pirate Party as a third party, unlike many European countries. A tech-focused, liberalish with some libertarian ideas, some outright radical ideas, would very much fit Yang's political aesthetics.

https://en.wikipedia.org/wiki/Pirate_Party
Ah right - I've never used COBOL but I thought IBM had a compiler and tools and I didn't think it would be free by any stretch.
If something is free, you are the product.
I've heard Italy used as such an example before, but wonder whether the problem could be mitigated by choosing a different proportional voting system. For example, elections for the Chamber of Deputies use closed party lists (whereas other countries manage with open lists, or no lists).

Which political problems in Italy do you think would go away if they switched to a less proportional system? Wouldn't the same divisions and deal-making just end up happening within parties rather than between parties?
https://www.asyncapi.com/docs/getting-started/coming-from-op...

https://www.asyncapi.com/docs/specifications/v2.1.0
> My argument is that mining is not meritocratic.

Mining wasn't even mentioned prior to this post.

>In the same way first ever land ownership is definitely not meritocratic

Seems like moving the goalposts? Obviously any sort of property rights isn't "meritocratic", but at the very least you can get your hands on fresh bitcoins without being friend with whoever staged a coup.
Sorry, my view is that if you are not very knowledgeable in a subject then you probably shouldn't be coming up with new theories.
Spent a lot acquiring it, used to run a job board but now it's just a parking page. Would love to partner/lease/sell/get it used again:

GameDevelopers.com
I like Yang. So much of politics feels like figuring out who to blame for all our problems - is it corporations / immigrants / the rich / the poor / other countries / the government etc.

Yang's message about blaming automation / technology might be still be wrong, or at least overly simplified. But it's at least laying the groundwork for taking a problem-solving approach instead of a fight to the death, since it suggests we should take a look at the economic forces that shape the job market instead of trying to punish whichever group is the bad one.

Obviously there's tactical issues trying to run as a third party candidate in the US. But Yang certainly is aware of that already, so he must have some angle. Maybe as another comment suggested his party could field candidates for local races that have ranked-choice voting (which includes mayoral races for major cities like NYC).

Or he could even participate in the debates and get his message out, but keeping an eye on his poll numbers, so that he could withdraw before the election if it looks like he's just going to spoil the race towards the candidate most-opposite his beliefs.
Exactly this. They wouldn't be unless Apple decides to do a 180 on booting them.
Ask them nicely?! Appeasement never work, did we forgot what we have learnt from WW2? The only way out is to start a cold/hot war until toppling the CCP.
Yep, and to add, we have proof there is no perfect system: http://tech.mit.edu/V123/N8/8voting.8n.html

(Not to suggest we shouldn't move on from the very flawed FPTP!)
With AFL++ you can even determine exactly where the fork happens:

https://github.com/AFLplusplus/AFLplusplus/blob/stable/instr...
One major drawback is the lack of Java native tooling vs e.g. Swagger/OpenAPI springdoc project. Document generation + API validation can be part of the same build, instead of having to have a separate Node toolchain and build.
The text next to the timestamp changes to unvote / undown depending on the direction of your vote
Why not build from source and link against libbfd?
I cannot come to that conclusion, because NFT came after the cryptocurrency upsurge. People saw the monetary value of crypto go up, and that same value has been associated with NFTs. To me, just because people are aiming for a second lucky ticket, doesn't mean the first was a fake.
Likely none of the economy would be destroyed by that. $600B is not that significant when we're talking about the total size of the economy.

And it's not like that $600B will be pulled out of circulation; it'll be used to fund things that generate economic activity, or even used to pay down debt, and those creditors can put that money back into the economy.
GC pauses?
It’s not just the media.
> Only a little over 1% the mass of a neutron is the three quarks normally listed.

Do you have a source for this?
Sure, but if I'm worried about a "corrupt Louisiana rural parish", it doesn't seem like an NFT shields me much. I can get relief by taking my case to a higher court, but that's the same thing I can do with a regular mortgage. That corrupt judge isn't going to be like "oh, you have an NFT, my hands are tied" - if he wants to mistreat you, an entry in a distributed ledger isn't going to stop him.
From Shader to Metaball
> Wait, a functor is just a pure unary function?

No.

> And an endofunctor is just one of those where the argument type and return type are the same?

Yes - "endo" means that in general. E.g. endomorphism.

> Sometimes it makes me mad that so much confusion (and as another commenter put it, gatekeeping) has been sown in FP circles through the invention of pointlessly-obfuscated terminology for everything (and through - among many in those circles - a lack of interest in connecting the very simple dots that would allow masses of people to understand these concepts). It's like when the medieval Catholic Church refused to print a bible in anything but Latin so that they'd remain the sole authority on its content.

> Kudos to the OP for cutting through some of that, but shame on those who maintain this status quo.

> Edit: assuming it really is that simple. Some in the comments have suggested parts of the OP were wrong, so I'm curious to see discussion.

The precise terminology is vital; it's how we avoid these errors when talking about this very abstract stuff. Given that the OP is very wrong, precisely because of the kind of attitude you've taken here, I hope you'll take this opportunity to reconsider your views.
Maybe that's because the little guy is so easily bought and will promote anything
This article is playing fast and loose and I think gives a false understanding of what functors and monads are.

In particular there is an unwarranted leap here. If `numToStr` is a functor, then `addOne` (the function that just adds one to an integer) should be an endofunctor. So what's the monad?

Yet all of a sudden the article jumps to talking about `Array` as an endofunctor! Which is most definitely not a function like `numToStr` or `addOne`.

So which is it?

In particular,

> Of course, as we saw above, Arrays support a map method which allow us to transform the values of the array but do so in a way that returns an Array (the same type as the starting type), making them endofunctors.

Makes no sense combined with `numToStr`. What exactly is the `map` function for `numToStr`?

It turns out you can unify both of these notions, but you need the language of category theory to do it. But that's overkill for FP. So generally in FP a functor is just a type constructor (a type that takes another type as an argument e.g. `List<A>` or `Option<A>` or `Future<A>`) with an associated `map` function that obeys the "law" that `map`ing the identity function does nothing.

The full category theory definition requires a bit more exposition than just thinking of things as sets and functions. In particular you need to talk about two levels of mappings: mappings between categories, which are functors, and mappings between functors themselves, which are natural transformations. A monad is then a functor from a category to itself with two associated natural transformations. If the functor and natural transformations are taken as objects and arrows/morphisms in a category itself, then it forms a monoid. This is why we can also think of a monad as a monoid.

This sort of "category-stacking" where mappings between categories are treated as categories themselves where we can then further discuss another level of mapping between them, is the core of category theory.
Something that most westerners, particularly my fellow Americans, are unaware of is that the Soviets already had over 100 nuclear warheads in Cuba, many of them having fully functional delivery systems capable of striking the US. Even if we got them there, it’s not the end of the story

For some reason the following simple truth is difficult for my countrymen to accept, but you have to know on some level that all of this matters more to China than it does to us, and unless we completly overmatch them in power (as we did in the past, and do not now) in the long term they will always win in the east.

We could not even keep Afghanistan before our commitment flagged - what makes you think we could outlast the efforts of the largest economy in the world to remove weapons of mass destruction from Taipei?
French here, I do the same, French translation are unbearable.

Not only will there be tons of small mistakes with nouns/verbs as you mentioned, but maybe worst, there is often "overtranslation".

Some words are well established as technical jargon in English, and should _not_ be translated.

- "cloud" -> "infonuagique"

- "email" -> "courriel"

- "freeware" -> "gatuiciel"

...
That claim is an article of faith in some circles but there is actually no reliable scientific evidence that even a high level of vaccination can drive R0 below 1. Transmission will slow down as more people gain some level of immunity one way or another but the virus is now endemic and all of us can expect to get exposed occasionally. Fortunately the vaccines are still very effective at preventing deaths.

https://www.businessinsider.com/delta-variant-made-herd-immu...
If you need sweeping mandates to force people to vaccinate in order to protect already-vaccinated people... does the vaccine actually work?
China has a total of 20,000 ships (about 300 military vessels and the rest commercial and fishing.)

They will use the non-military ships to mask the military ones.

The only things stopping them are the US carriers and missile destroyers, which China is still improving.

https://en.wikipedia.org/wiki/Arleigh_Burke-class_destroyer

Those destroyers carry 90+ missiles each.
> Most efficient allocation of resources happens in a free market, not in an overly regulated market.

No, in a free market, it's winner take all in the race to become too big to fail, regulate, or compete against, so the mega-corp(s) can sit back and collect rents. We don't want free markets, we want competitive markets.

Car dealerships aren't a good example because they're often franchises. That's like saying it's "competition" if McDonalds Corporate ship fries directly to consumers, bypassing its own (franchised) McDonalds locations. Competition is between McDonalds, Burger King, and your local hamburger stand.
Author is completely wrong, and as such is a perfect demonstration of why that "gatekeeping" (actually just being precise and correct) is necessary.
I agree that Taiwan wouldn't want to accept US nukes for the reason you state. However, what if they had domestically developed nukes instead?

I feel like that would be a much more tenable position that would largely address your concern, and also grant Taiwan the ability to forestall any invasion indefinitely.
> No, I saw your comment more than 3 minutes after posting and it had significant un-noted edits, and now you're just mocking me by flooding your comment with [edit].

My dude I took your feedback lmao, if you can't assume good faith here this conversations over.
Are virtual particles a real thing or just a description of the underlying system?
How does he spend all this time on talking about these things and never once mentioning the growth of the Fed's Balance Sheet.

https://www.federalreserve.gov/monetarypolicy/bst_recenttren...

The Fed can make the 10Y note yield 1% with 10% (or any rate) inflation if they a. wanted to and b. didn't care about foreign exchange rates.

Mohamed El-Erian must think Klein is a hack.

https://www.goodreads.com/book/show/27191691-the-only-game-i...
A Twitter user insulted a German politician, then police raided his house
Thank you for that! Are there any other resources for learning about SQL design patterns?
One Animator's Quest to Make a (Mostly) Solo Feature Film
It will start with Vietnam instead.
This was the highlight of my day because the article was written by the head editor-in-chief of my college newspaper. (I was the opinion section editor.) I haven't seen her in 25 years, but thanks to you guys, I get to read a great article and think about old friendships.
I've always wondered why there has to be a discrete number of elements, rather than it being a spectrum describing different types of materials.
According to wikipedia:

"Fusing two deuterium nuclei is the second easiest fusion reaction."

"The optimum energy to initiate this reaction is 15 keV, only slightly higher than that for the D-T reaction."

https://en.wikipedia.org/wiki/Fusion_power#Fuels
Thank you for that! How 'safe' is it to store notes data as JSON? So how can that be validated, compared to storing in table columns?
> Most people are law-abiding and happily comply with the law and government authority without any threat of violence.

Most poeple have never had a practical opportunity to decide whether or not they will choose to comply with the law or government authority without any threat of violence, because the threat of violence is always present if they fail to comply.

This obviously does not mean that people would never comply if the threat of violence were removed. Much of the time the law aligns with what people would choose to do anyway, so compliance comes naturally. The interesting case are those where natural inclination is at odds with the law (or with the orders of a government official), and in those cases I think you might be overestimating the average person's willingness to comply without being forced.
This should be Yang's strategy. He should encourage Democrat voters to lend their support to his party in states where Democrats control the legislature, and Republicans to vote for his party in Republican run states. The threat would be that those legislatures have to enact a spoiler-free voting system before the next state elections or they would lose their majority.
> There is a large population of Republican voters that is not really "conservative", but just anti-Democrat.

> And a lot of Democrat voters who don't like the Dems, just dislike the Reps more.

Yeah, we should unite forces and vote for someone who's sole campaign promise is to dismantle the two-party system.
Unlikely; the republicans worship Trump in a way wholly distinct from past presidents (except possibly Reagan) I'm not even certain his death would put a stop to the cult of personality that has arose around him.
Wikipedia claims: the official PRC position at the time was 300; many other estimates are in the thousands ranging up to 10,000. Of course now they are trying to erase it altogether.

https://en.wikipedia.org/wiki/1989_Tiananmen_Square_protests...
If you're looking for a not-quite-monad tutorial that answers real-world programming problems, blows the gates off monad-notation gatekeeping, and pokes good-natured fun at the OP title, I highly recommend Railway Oriented Programming:

https://www.slideshare.net/ScottWlaschin/railway-oriented-pr...

https://fsharpforfunandprofit.com/posts/recipe-part2/ for a text version

https://fsharpforfunandprofit.com/rop/ for the "hub" that discusses how this isn't really a monad tutorial but hints at how you can go deeper - and if you read this before you read the OP you can see how the meta-puzzle pieces fit together!

At the highest level, this helped me see that monads are really just Level 2 of "things that help you glue things together that weren't meant to be glued together (particularly if those things emit changes to some external state.)" And that's exactly what the railway/error-handling analogy brilliantly shows. You've probably written almost-monadic things yourself, you just don't know it!
I agree, why is this conspicuously missing in rhetoric from the US government? Other countries recognize that immunity acquired through previous infection is at least as protective as vaccination. This is well established in the scientific literature and should not be a controversial point.
AirPods 3: Here in Days with Upgrades, Report Claims
It certainly don't demonstrate that the value of bitcoin is similarly baseless, it just suggests that the contrapositive - the idea the high value of bitcoin shows that bitcoin is useful - is not a solid argument.