skysight-inc/HackerNews huggingface dataset:
On your list are one group of government employees, three licensed industries and one of the last industries to still be dominated by a tightly knit cartel (the big Hollywood movie studios).

Public sector unions are negotiating with a monopoly. In that sense they actually do something. The problem is that the monopoly is the government and then the union is a labor monopoly acting in opposition to the public rather than a capitalist private business. This is great for teachers but terrible for students and parents and taxpayers.

The unions in licensed industries are unions because the law privileges unions, but in practice they're lobbying organizations. Your local electrician doesn't need a union to negotiate with you when you want a generator panel installed in your house. Their actual purpose is regulatory capture, and then you have the same problem as the teachers unions, e.g. the union lobbies to make it harder for people to become electricians to reduce competition to the detriment of prospective electricians and the general public who then has to pay more for the services of the people already in the club.

And then Hollywood is a cartel in need of some antitrust enforcement, which is the one place where unions actually do something useful (but the better solution is still busting the trust).
This is the one bit where I felt he was under-recognised. LSTMs for example are 100% his team’s work and that’s been a major thread in ANNs. Plus all the other bits...
Funnily enough I just read some more of the context around that comment and have to agree that it wasn't that bad. I think people, including myself, mostly remember the "For a Linux user, you can already build such a system yourself quite trivially by[...]" part. Personally I always find that hilarious because e.g. my mother can trivially use Linux and Dropbox, but I would have an awful time trying to walk her through BrandonM's proposed setup.
Some can be easily spotted by visual inspection for being bulged just like the one in the linked article photo, others will need to be measured.

Leakage (ie, when a capacitor exhibits resistive properties by conducting current also when fully charged) can be measured easily by using an analog tester or a digital one plus a few parts, while the ESR (equivalent series resistance) measurement would need a proper instrument called ESR meter. The ESR is an unwanted static series resistance the capacitor would exhibit no matter the frequency it works at, it increases with aging and it's independent from the capacitive reactance which it's related to the frequency. Therefore, the lower the ESR, the better quality or condition is the capacitor.

However, you can just ignore the 2nd sentence if repairing a device would require just a bunch of capacitors; quality ones aren't that pricey, and if you find a bulged one, it is often advised to replace all capacitors employed in the same stage anyway. Some in fact can degrade without showing any visible hints of their condition.
Now that you bring it up, the residential schools were pretty progressive too: https://www.nytimes.com/2021/06/24/world/canada/indigenous-c...

Last one closed in 1996.
While I appreciate the time invested in researching all this, I feel this is "reinventing the wheel". Native GUIs almost always offer superior performance and already offer everything that the developer(s) of a new framework would have to reinvent. Thus, a wrapper around native GUIs makes the most sense. (GUI frameworks on Linux though does need an improvement or a complete revamp. )
That said, if you don't care about seeing it in real time you can use a MUCH smaller lens and stack exposures. You'll likely want a star tracker (MASSIVE decrease in effort) to go with your camera, lens, tripod, intervalometer, and Bahtinov mask (cheap, makes focusing MUCH easier). https://www.youtube.com/watch?v=iuMZG-SyDCU is an excellent tutorial on how to do this without the tracker.
thanks for the insight; I didn't think my comment would be interpreted that way but I can see how it might've been so I appreciate you shedding some light on that.

My intent was to call into question how Amazon would benefit from building an on-prem EKS solution. I had questioned whether or not they hoped it would lead to more cloud hardware sales, or whether or not selling support for this (which they clearly call out as an offering) would be the primary benefit for them.

I didn't think it was unfair or conspiratorial to question this, but I can see now maybe people interpreted that as "zomg amazon is trying to kill on-prem!!" FUD when, really, I was just genuinely asking because it seemed out of character for them to me.
So to be clear, there were two separate sets of slaves involved:

1) The ones owned by George Washington himself. He did not free these while alive; he did have a will that said that once Martha died they were free. That is, he did not free them until he (1) made use of their labor himself and (2) ensured that what he viewed as his financial obligations to Martha upon his death were satisfied. Obviously this is not a hard-line abolitionist stance, and I do wonder what he would have done if he had living children when he died. As it was, he just had living step-grandchildren (kids of Martha's son from her previous marriage; the son had died earlier and George and Martha had raised his kids).

2) The ones owned by the Custis estate. Those could not be freed unilaterally by either George or Martha. They were inherited by the above-mentioned step-grandchildren when Martha died.

What would happen for people in set 2 if they were in Philadelphia for more than a year is a legal question I don't have an answer for... The most plausible way to reconcile the various legal bits I can think of is that they would be free but then Martha (or George? family property law in 1700s Virginia is not my strong suit) would owe restitution to the Custis estate for the lost value or something like that?
Except it is made from fossil fuels in the first place, so it is at best carbon neutral--but isn't, because making plastic takes energy. There's nothing green about burying plastics.
I figured it would be about neural network shenanigans but NFTs makes sense too.
A related pet peeve of mine: if you want us to volunteer time and energy correcting or adding translations for you ("Help with the translation!"), then please make it as low friction as possible. Just linking to some third party website and expecting me to make an account, email-verify, figure out how it works, all to add a couple phrases of translation, is a good way to demotivate people trying to do free work for you.
I bet Dang's public note of thanks is worth so much more than the subscription revenue that it barely matters if they pay or not.
Yeah, this whole thing is absurd. Using your millions to start a new business? meh
No, you're not understanding it. Perf is a profiling tool. It's slow on Debian because reasons.
I met him, he’s very nice in person (at least over the course of a day, say). Kind, patient and genuinely interested in other people.

So I doubt it is as simple as he’s a horrible person. But clearly he’s an outlier in terms of demanding recognition.
The lost generation of ancient trees
Not even this. The problem is that hardware manufacturers have what amounts to technological supremacy over the rest of the society. If you buy an iPhone, it's not illegal to jailbreak it in most countries. The problem is that you lack the technology to do so reliably (i.e. change the fuses in the SoC to flip it into a less restricted mode of operation) so you have to resort to vulnerabilities to untether it from Apple's servers which you never wanted in the first place. Android is marginally better because of the officially unlockable bootloader, but there still are various encryption keys within your device that you aren't allowed to see and/or overwrite.
I don't disagree with you, but Occam's razor is a principle; a guideline. Not a hard law. From the panpsychic perspective all matter is conscious making everything a "subjective observer," which solves the same problem of humans being arbitrary special observers. Unprovable philosophical dead-end? Sure. Woo? Nah.
As someone who believes Electron is genuinely the best existing option for cross-platform desktop apps (and possibly desktop apps in general), I'm excited to see someone trying to make something better by incorporating that context and that progress instead of ignoring it. The goals and the ideas here sound well-thought-out, and not tone-deaf, and I really hope this goes somewhere.
Would it though? Are proof checkers much more complicated than LaTeX?

If mathematicians are in certain ways similar to developers, I'd expect them to hate fighting with the layout of their papers, and love fighting with a proof checker for the formulas.
You can't climb the pole. Tsiolkovsky's rocket equation rules, you can't bring enough food to climb the pole. (Yes, I know, it's not a rocket. It really should be called Tsiolkovsky's logistics equation--it applies to any situation where you have to bring along your power source, whether it's a rocket or not.)
Those are cosmetic plastic caps.

And even if they weren't they wouldn't be much more damaging to anything than normal semi truck lug nuts.
The positive is that the hardware is being developed, and the knowledge spreads.

For instance, the purism and pine phones are using chips that are a byproduct of tech developed for android phones (which constantly send data to google)
>In a fractionalized NFT you have a slightly richer context:

> Owner/securitizer: I bought this unique pointer to an image of a dog for $4 million.

> The public: Ahahaha good one, congrats, money well spent.

> Owner/securitizer: Also I will sell fractional ownership interests in it for like $225 million.

> The public: Ahahaha another good one, that joke is worth $225 million to us, here you go.

>It’s two jokes so it’s worth 55 times as much. I don’t know!

>Also it doubled the next day?

Can someone give me the scenario that this ISN'T some derivation or form of money laundering? Honestly asking, because I just don't see it. It's too ridiculous.

Could it really be "just" out of control speculation and "jokes"? It seems to me the money behind these things isn't as "funny" as it would have to be for speculation. These are pretty serious amounts.
Ignoring the ongoing court cases around that it's very different when you have huge barriers to entry and thus only a few companies especially when they just have to follow the existing norms vs imposing a new norm. Like starting up a video sharing site is hard, but we've seen a number of examples over the past 5 years who have gained traction where we've seen no examples of new successful app stores in that time
iSight has a nice ring to it
This article fails to persuade readers that women play catch-up at work. It provides nothing to support that viewpoint. Young cohorts of workers simply do not face a “gender gap”.
My guess, it will be as popular as Snap's Spectacles after the hype died down. Not at all basically.
The same is true for Bond Girls and for the Batman's romantic interests.
There's a theory the Spanish flu started in the French lines from poor conditions of Chinese workers shipped by rail. It only spread to America from servicemen coming home. The truth is we don't know fully.

That being said, it's leaning pretty heavily it was a lab leak. There has been no animal sample close. The sample RATg13 is the closest DNA match and the gain of function applied to it probably produced Covid-19.
The GPL requires that software linking to GPL projects are also licensed in GPL. This issue could be solved easily by releasing GPL software, that respects users' freedom.
> how can you tell the difference between my verbose and well-thought-out positive review of a product I really liked, compared to someone paid to come up with their own positive review?

Maybe I'm misunderstanding, but isn't this the problem of enforcement period? How can you tell I didn't just buy this garage full of Playstations and throw away the receipt? How can you tell he was pushed over that cliff, and he didn't just trip? In the case of paid advertisements, at least you've got a paper trail connecting the advertiser and the, ugh, influencer.
In what sense is that connected to the above?
Sorry why would they not hire a guy like that? They hire like crazy and when a very good dev comes around they do stuff like that? Companies should fire guys like these senior devs asking asshole questions. This is some sort of ego bullshit I do not understand.
Maybe this stems from newbie developers thinking that authentication == authorization
Looking forward to it. Getting an rk3399 device ryf-certified would be great. They have accelerated 3d graphics and video codecs that are (AFAIK) fully supported by fully free software. It would be, although not very powerful, the most modern affordable ryf-certified device available. I really hope you do it.

Also in your list of tasks you list ROCKPro64. Although I really like pine64 steps, I think the best rk3399 device for such a task is the Rock Pi 4 Model A Plus, it's got a faster processor, no wifi and the usb-c port is used for power only: no need to care about blobs for eDP! So, if you are thinking about a board to support, I'd suggest you to think about the Rock Pi 4 Model A Plus.
Think of those like the rumble strips on the side of the road: they're loud and flashy but wont do real harm, and may give you the fraction of a second warning that enables avoiding more serious contact.
With the "viral" name-calling you have already demonstrated that you don't want a rational discussion.
doesn't amazon exceed minimum wage for almost all employees?
> A good proof convinces someone that it's true; convincing a computer that it's true is probably tangentially useful, but not very interesting to most mathematicians. They mostly want to be expanding the frontiers of mathematical knowledge, not painstakingly encoding proofs that they already believe into a computer system.

I guess the question is which of "convincing a human" or "convincing a computer" is considered the higher bar.

In any case, uncovering "what you believe that isn't so" is pretty important.
It happens A LOT, it's mostly because domains, SSLs and other 'tedious' things like that tend to get lost in the business of 'building something billable' and it's easy to thank that a different department owns that bit.
My point is that being a cog in the larger machine may be the most productive thing for a person. Even if it means doing a boring, repetitive job. For example someone shuffling boxes in Amazon may be way more productive than an office worker in some small company.
This sounds like a very dangerous attitude, considering that making any tiny mistake will cause you to be able to prove any statement. Of all people mathematicians should understand that.
A share is a fractional ownership of a company. So what. Fractional ownership of planes and houses already exists.
And let's not forget that people with natural antibodies are being fired from their private sector jobs too.

We seem to be focused on measuring output rather than outcomes. Other countries are giving recovered people the same status as the vaccinated since they have the antibodies. But I guess that makes too much sense...
I would assume(/hope) IMAP would be TLS protected, these days. And since Bill doesn't seem to be inside Microsoft, he'd have to MITM the TLS sessions?

To me, it sounds more like Bill broke into (some of) the "proxy network" (likely bots on home computers?) used by the attackers, and is spying on them.
Yeah I was just thinking about this episode last night. One of the few good and memorable Voyager episodes.
Do you have a scraper that looks for mentions of Cloudflare or did you just happen upon this?
Peer-to-Peer Social Networks: One Solution to the Social Dilemma
I already feel pretty creeped out when I go up to a door that has a RING doorbell. Behind-the-scenes algorithms are furiously recording my face, and trying to figure out exactly who I am all night long, it's CREEPY.
Render Blender Scenes on AWS Lambda
http://web.archive.org/web/20210908231536/https://klarasyste...
There are a few Grimm's Fairy Tales involving the Lord taking human form and asking a (real) human to host him. He might be accompanied by St. Peter.

The stories are obvious, direct correspondences to Greek stories about Zeus, perhaps accompanied by Hermes, doing the same thing.

However, since the Brothers Grimm collected their stories from aristocrats, it isn't clear whether the Greek stories passed down naturally through time (while mutating into a slightly more Christian theme), or whether the narrators learned the stories in their original Greek as part of a classical education and then rethemed them as "native German" stories for the benefit of the Grimms.
Yep it happens a lot.. Thanks for linking these, I'll be writing a few of these down for a future blog post ;)
Steganography for the Computer Forensics Examiner (2015)
> Even moderately successful YouTubers rely on sponsorship and because there's competition for creators between platforms

The fact that you call them "Youtubers", identifying them using the trademark of one particular platform rather than a generic descriptor like "video content creator", suggests that there is not quite as much healthy competition as you claim. Most video companies other than youtube only compete with youtube in a narrow sense; a great deal of the content on youtube does not fit on tiktok's platform, which is only good for short-form content. Netflix only hosts movies or TV shows. Twitch is for livestreaming; other kinds of content don't fit into the paradigm of twitch. Vimeo has never been a good place for off-the-cuff home movies, they too try to compete with youtube only in a narrow domain, not across the board. The few generalist video hosting companies other than youtube are all jokes that are faaar behind youtube in viewer counts.
Some schools have tried adding more sports teams, assuming that it will attract more male students. Because student loan money can be used to pay for non-academic fees, these new sports programs are usually financed by increasing the mandatory athletics fees all students have to pay. The net result is that everyone ends up graduating with more debt.

A few smaller schools have taken it a step further to having pretty much open membership sports teams (intercollegiate not just intermural). They play off the egos and hopes of those who couldn't get on a team at higher division schools that offer scholarships for athletes. If you dream of playing college football but no one recruited you, there are Division III schools you can go to and get on the team as long as your tuition check clears. And if football isn't your thing, there's a dozen or so other sports you can play. As long as you pay tuition, the quality of your play doesn't matter.
Nasdaq Joins Blockchain-Based Tokenized Stock-Trading Venture
That's the zeitgeist.
Its called early investors having tons of cash to burn
There's a reason Google Glass failed.
You can rent cars for a period of time to get familiar with their offering. Owning another mfg. car that you use, signals to most that your own offering is subpar compared to another's in some way. In some things like fast food execs eating at Michelin star restaurants, that's ok. Consumers acknowledge there is a price discrepancy.
The Roomba j7 has poop-detecting artificial intelligence onboard
I do not agree with you. PaaS abstraction becomes super leaky on top kubernetes as you start solving real world problems.

That is one the first mistakes newly formed platform teams in a company makes, abstracting infrastructure. Happy flow of PaaS on kubernetes is great. It is magical to certain extent. But negative flows is a really mess. The customer no clue why certain things do not work and you as a engineer had no clue that this would have happened.

Secondly, the amount breaking changes you have deal with as a result of abstraction is crazy. People pushing code does not care. It is basically moving complexity from one place to another.
Fascinating, thank you for sharing. I can relate.

> It won't do anything for you if you just take it in your bedroom with no other changes happening in your life

Interestingly, that's the way many people have reported having their lives changed by it. And that's roughly how it's being used in the latest breakthrough clinical trials (for MDMA and psilocybin). There is a therapy component, but it seems to be play a relatively minor role. https://maps.org/news/multimedia-library/2379-can-a-single-p...
I say it's still too early, for "DATA CAPTURE EVERYWHERE" by the creepiest org on the planet.
If you live in a drought region even if everyone in the entire region rinsed their refried bean cans that probably wouldn't push the needle on water use on a statistically significant level. Industry is who is causing the drought, not your lawns and swimming pools and long showers, despite what the narrative in the industry funded press might say. When you look at the actual water use data from state agencies devoid of editorial bias, this conclusion is obvious.
Natural antibodies + vaccination is basically a win-win for everyone, especially noting that the US is wasting vaccines rather than using them. You don't lose anything by getting the vaccine and there's a strong upside in resistance (around 10x more resistant than people who are simply vaccinated).

Like, between a 100-200$ blood test to prove natural immunity* vs. a free vaccine, it should make sense to get the vaccine.

* IMO, honor system should be de-emphasized for people claiming natural immunity. If they want to fight on this hill, they should be able to prove they have that immunity in the first place, otherwise it's simply inconsiderate.
You should take a closer look at Nim. I suspect it probably has all that you want, but said features may not be "by default/well advertised" (yet). Alternatively, you should be more specific about what you think it lacks.
Be careful, you're about to be berated for using "Crypto" in reference to Cryptocurrency instead of Cryptography :)
It is indeed strange, the technology hasn't progressed much, especially compared to 3D modeling/animation! I hypothesize that the stagnation is because researchers in computer science are more naturally drawn to 3D since the problems seem more fun and challenging, and they may not realize there are still things to improve in the 2D world.
It was slightly before my time so I'm not really sure why it suddenly died. I can say the author's correct that a declarative style has proven to be more productive in the time since, but there was a big gap there between the declarative shift and when swing died off.
Why is the formal spec better than prose? Tooling. Now I can flag discrepancies between the spec and the actual API automatically
Sure, Apple makes great hardware and software. But services? I don't want any. I trust myself more than I trust Apple, and I have a server I pay for anyway. It's about choice. Apple would have to compete with others and actually earn its reputation as an online services company instead of just abusing its existing market power.
I understand that you might need a code review for the proof to look nice, but the point of a checked proof is that you don't need a separate code review for correctness. If it checks (sans internal checker issues) - it is correct.
Hmm - ok, I've squeezed a 'some' up there to make it less misleading. Thanks!
The Ikigai Diagram
Maybe half (?) of the basic undergraduate math curriculum has been formally verified, after decades of effort by large numbers of researchers. The proof under discussion here is significantly more complicated than anything that has ever been formally verified, as far as I understand. Disclaimer: I don’t know much about formal verification of mathematics, only what I have read from time to time on the internet.