skysight-inc/HackerNews huggingface dataset:
I always took it as: As the nuclear plants from the 70s and 80s are getting decommissioned because of age, there is no plan to replace them with new nuclear. So they should be replace them with wind and solar, because wind and solar is a cheaper, quicker, and more reliable alternative then new nuclear (as this tread demonstrates).

I don’t see the debate as existing nuclear vs. new wind and solar, but as new nuclear vs. new wind and solar.
Well, yeah, I would consider making the top mile or two of crust molten "close enough for government work". I didn't mean dispersing a cloud of debris to infinity.

After the collision that created the Moon, I believe some research suggests that the Earth was literally as hot as the surface of the Sun, deduced from evidence of the effect of "earthshine" on the Moon.

If the Chicxulub impactor resulted in a global rain of molten rock, I'd also consider that scale of explosion to be "enough" even though some living things survived.
NVIDIA should instead just require people to take an exam about either games or machine learning in order to be able to purchase a GPU. Problem solved.
Do you have any links for those? I can't imagine them being much cheaper than a free used smartphone that many people have lying around or the price of a used phone from a pawnshop or ebay -- $50.
Can't one always say that?
Wouldn't it be more fair to compare equal level of skill?

I mean, in most cases it doesn't really matter what tech you choose as 1. Most products don't really need "massive scale" 2. It's more important to be proficient in the tech you pick rather than it being the "best tech ever". I mean Facebook still uses PHP no?
It will join the Schengen area next. Also it plans to adopt the euro in 2023.
C Is Not a Low-Level Language (2018)
Was the laser root good? "Silphium (also known as silphion, laserwort, or laser) is an unidentified plant that was used in classical antiquity as a seasoning, perfume, aphrodisiac, and medicine."
> Simply try to do something about a problem, and many people will think you are responsible for the problem’s existence.

Depends on which side of the argument you're taking when attempting "to do something about" the problem. If you're adding to it or give the perception that you are then maybe you need to revise the way you're "helping".

> people who are drowning will attempt to climb on top of their rescuers, killing both

It's gaslighting to compare commenters to a live or die situation, most problems are not as extreme as the image you paint so perhaps you taking it there in the first place is the reason people react to your comments frantically and with more hostility.
Getting BTC into Coinbase is far easier than getting hundreds of millions of USD out.
Not testing asymptomatic people prevents the pandemic.
Any example of a setup?
yes. High income is more to do with where you are born, not how well you did in school. though there may be a gigantic gray area, this holds true in general. You will be throwing money where it's needed the least and will help the least.
What features would you say make this more compelling than ActivePresenter [0] (Mac/Win) or ScreenFlow [1] (Mac)

[0]: https://atomisystems.com/activepresenter/
[1]: https://www.telestream.net/screenflow/overview.htm

ActivePresenter, in particular, seems to feature a lot of the highlights you mention on your website. I’ve been very productive with it for both videos and simulators. (It reminds me of Adobe Captivate)
In our tech consulting onboarding guide it says (paraphrasing Jeff Patton's User Story Mapping), "Be doctors, not waiters.

Where does it hurt? is the only question you should need."
> Linus and many others, me included, disagree with your opinion that NVDA is helping gamers. NVDA does not care about gamers, they are a corporation, they care for their bottom line and their stock price.

This argument that Nvidia is a company is a straw man. Valve is as much a corporation that doesn't care about gamers as Nvidia. I guarantee that Nvidia cares about gamers, precisely because gamers have a huge influence on NVDA's stock price and bottom line.

I love Linux, but Linus has a vested interest in opposing Nvidia in public, and has a long history of making inflammatory remarks, even to people he works with. Using his opinion as support of your claims here undermines the credibility of the discussion, as far as I'm concerned.

To attempt to move the goalpost back to where you first placed them, the question here is whether reserving 3060 sales for gamers is good or bad for gamers. You claim it's bad for gamers vs the second hand market next year, and I claim it's good for gamers vs the first hand market today. We haven't actually disagreed about this yet, because you haven't addressed how your opinion affects gamers right now.

I agree that this might lead to a different second hand market next year. It is true that the second hand sales next year might not be as low without first having a big mining bubble that first prices gamers out and then crashes. I just don't believe that cheap cards later makes up for what miners have already done to you. If you do, it seems like you're ignoring some of the big downsides of what's happened before and what's happening now.

> I am affected by the demand and the scalpers. I was considering 3060

If you want to buy a 3060 now, I don't understand why you can't see the CMP announcement as a good thing for you and your own bottom line.

If you want to buy a used, mined 3060 later, and give your money to a miner and not Nvidia, then I do understand your points.
is this different/better/similar to swagger?
Is there any information on how well Pfizer / Moderna do against the South African strain?
It can get much creepier. It's possible to reverse image search a person's profile picture from one site to find out where else they have profiles - given that they reuse their profile picture - which many do.
I have some health issues that require expensive drugs, so the health benefits are really helpful, even here in Canada. Some close family members are in a precarious position (mental health issues), and I have some anxiety issues myself, so I really value the job security. Then again, everyone has issues, so perhaps I am just especially risk averse. Probably out of place on HN, but it's a great forum for learning.

I think work experience in place of a degree only works if you've been kind of grandfathered in unfortunately, so a related degree is usually a hard requirement.
I am beginning to wonder if energy is what will eventually doom Bitcoin. Currently, Bitcoin consumes more energy than Argentina [1].

Another article suggests the carbon footprint of Bitcoin is equivalent to New Zealand [2].

It's not just the cost of mining new coins (which will ultimately end) but the cost of maintaining the network. The more valuable the collective Bitcoins are, the more energy you need to spend defending it against 51% attacks.

To the apologists claiming there's no other good use for that energy, it's not simple. Using too much electricity can raise the price that everybody pays [3].

Miners will keep chasing cheap power but I expect, much like ArbBnB, municipalities, states and even countries will increasingly clamp down on it.

The thing is... Bitcoin solves a problem for almost nobody. It's almost entirely a speculative bubble. Citizens of stable countries are almost entirely better off with traditional currencies. Try and see ordinary people deal with a Bitcoin wallet and discover there's no recourse if a vulnerability in their computer means the contents are irreversibly stolen.

I realize there are corner cases (eg sending money to and from Venezuela). There's also a lot of illegal use cases.

Thing is, blockchains aren't really as immutable as pundits suggest. Bitcoin and Ethereum have had forks.

[1]: https://www.bbc.com/news/technology-56012952#:~:text=Cambrid....

[2]: https://www.cnbc.com/2021/02/05/bitcoin-btc-surge-renews-wor....

[3]: https://www.pbs.org/newshour/show/cheap-power-drew-bitcoin-m...
The Culture Stop
I don't know what your company is, but it may not have a reputation for paying well. I've worked both at well-paying FAANG companies and lots of BasicAverageTech companies, and the candidate flow is night and day different. There is no shortage of people that "know the basics." In fact, there is no shortage of really strong candidates. They are out there, looking around to job hop like everyone else. It's just that they are probably just not applying at your company. Not that you can personally do anything about your company's compensation, but that might explain it.
You seem to torrent a lot. Do you do it without seeding?
Ah, that clears it up for me. Thanks!
> The two ends of that scale are largely incomprehensible to each other.

Absolutely. Just to set the record straight, I am not anti-birth and I think I agree with GP more than I disagree. We must do everything we can to reduce the carbon footprint per person. I am just logically following what my parent post said.

I didn't even know the word anti-natalist. I want all children who are born to be healthy and reach their full potential as productive adults. One child is a blessing. Two is also fine (I have a sibling).

At least in a developed country, if someone has eight or more (not born at the same time) children, they are terrorizing the environment in my eyes. I don't see how you can justify that with access to decent healthcare and the infant mortality rate is under ten.

I mean if you live in a place where infant mortality rate is over a hundred (a quick web search shows that IMR in Afghanistan is over 110 which means a hundred and ten die before the age of one of every thousand infants born), I can't imagine the pain and suffering the parents must be going through.

We clearly can do better. The open question is how.
What I’ve always wondered is what the issue is with using essentially any gallery service (or even a cloud drive with semi-public links for this) and just send that link to those people via their email address. Why would I need to use a service like Facebook for that?

Additionally, I’ve never grasped what those Facebook features supposedly used for private communication elevate them over simple email use in general. I’ve found them more cumbersome to deal with than email, to be honest.
How Unmechanical of you.

Seriously though, wow that is unbelievable how it was written then.
Show HN: awsrm – A Unix-like rm to simplify deleting resources in AWS
A game to try this out (by Kevin Buzzard, who is participating in this thread and is also the author of this blog post).

https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam...

I loved it and have been trying to make some subsequent levels about divisibility.
It's still the country building the most new nuclear power, but it's also reducing ambitions from just a few years ago.

From your own link:

The 13th Five-Year Plan formalized in March 2016 included the following nuclear projects and aims: ... Reach target of 58 GWe nuclear operational by end of 2020, plus 30 GWe under construction then.

China actually has 47.5 GWe operational now. See table "Operable nuclear power reactors" in your link. They fell short of the 2020 target and with only 15 GWe under construction they're not catching up with their original goals either.
I don't buy this theory, because I don't think there are many investors that actually care about the tech stack. If they are, I'd say they're bad investors.

You could create a successful company on any tech stack. It's really like trying to invest in a company based on the way they decorate their HQ. Does it matter at all? Maybe only if it's ridiculously extravagant compared to their revenue.
Legendary 3dfx Voodoo 5 6000 Gets Modern Revamp in Reverse Engineering Effort
The reason that Facebook employees continue to leak like a sieve for Buzzfeed and the rest of the news media- and to spread embarrassing stories like this- is that clearly they don't feel like their work is valued by Zuck (and Kaplan, but he's definitely a Coassack who works for the Czar). The opening anecdote, where Zuckerberg forces the policy team to create a wholly new category for Infowars, is a textbook of case of this sort of thing.

So long as the employees don't feel respected, don't feel like they can influence things in any other ways, that Zuck will just Zuck no matter what, these sorts of stories are going to continue to flow. Don't like it? Listen to your employees. You hired them to be experts on this stuff, let them do their thing.
> This actually happened

Oh wow! Was it an interesting theorem that got proved this way? Did it get proved in another, less controversial manner as well? Could you provide a pointer to it?
Asking me to show you seems like a troll question
Would love to have a tool that monitors hashtags over 300+ SM sites.

Any recommendation?
Thank you for the references.

I don't think I can explain it more succinctly than this: I ship fully provisioned VMs which contain all of the application code (web frontend and backend) which accesses internal databases. My provisioning workflow is already automated.

It would be desirable for me to move from managing on-prem VMs to managing cloud instances with on-prem connectivity. I am just interested in reading about how others do it.
It's a nice interface for a media pc / diy dvr, and having searchable metadata is nice. I'd have it set up right now but they are terrible with plugin compatibility between versions, and the hacks various people have done to provide front-ends for legitimate streaming services are touch-and-go.

The blatant piracy angle does seem to be the bigger market at this point.
> I happened to use a quote that touched on Nixon in support of my claim.

A quote that claimed "what [the drug war] was really all about" was disrupting black communities and the anti-war left.

If Ehrlichman did say that (as you pointed out, even that is disputed) it's quite absurd. The prohibition of drugs started decades before the Vietnam War or the Civil Rights movement, and it was an international effort, in response to real dangers. It's not tenable to argue that it was all about control, nor that Nixon's motives (if those were his motives) were even relevant to the passage of the CSA with only 6 opposing votes in Congress.

That said, I agree that time has shown that prohibition has failed and can be as harmful as the drugs themselves. I just think the Ehrlichman quote adds far more heat than light to the discussion.
The link is down, here's an alternative:

https://queue.acm.org/detail.cfm?id=3212479#:~:text=Computer....
That assumption is the key issue: Binance doesn’t have USD banking, there is no way for them to accept USD for which to buy USDT.

Exchanges use Tether because they don’t have banking and can’t accept USD. So the USD has to find its way to Tether by some other mechanism. They claim it’s institutions, which is absurd. No institutional investor would ever give billions to an unaudited offshore entity when they can send fiat directly to legit exchanges. Michael Saylor himself says no institutions are using Tether.

So where do the Tethers come from? Maybe it’s not a fraud. But the answer should be very simple, and yet they cannot explain it.
The “pretends” comment is light hearted joke (or is it?) about keeping Redux UI library agnostic. When we all know React is the 8000 pound gorilla pulling on Redux.

The default assumption for any production React application is that it will need Redux at some point. It’s much more efficient to start the React project with Redux, than trying to bolt on Redux after React project is underway after a while. Redux Toolkit does make things bit easier.

It’s like how React pretends that JSX is optional, when we all know JSX is requirement in React projects.

Thanks for all the work on Redux and Redux Toolkit.
AFAIK the advantage of constructivism is algorithms.
Coq allows you to extract lisp/ML/Haskell programs.
Perhaps we will be seeing the next generation of fully homomorphic encryption programs, or topological data analysis programs, automatically generated by Coq.
There is something for Asterisk called chan_dongle.

Then you can use any SIP client on your iPhone to connect to that Asterisk and make/recieve calls.
There does not seem to be any reason for mathematicians to be turned about by these engines using constructive mathematics. One can use excluded middle as an axiom and do all the classical mathematics one likes. What becomes much easier if the engine is constructive is telling which theorems depend on excluded middle and which do not.
Ever look at satellite images of coastal cities, such as LA or the greater NYC region? Turn off all map and road labels so it’s just a view of land use and cities just look like a giant concrete mass sprawling hundreds of miles. Now view over Nevada or other major flatland, desolate regions. 2x2 miles of landfill wouldn’t even be visible from the same altitude view. I believe ground water and aquifers are near non-existent in many western areas too so we wouldn’t have to fret about ground water contamination.
I'd say it is still a pretty constructive answer, as you can run both codes, get two concrete answers, and one of them is guaranteed to be right.
I've built two commercially successful systems, NSElite that was used to develop the Solaris kernel and was productized as Avocet/CodeManager/TeamWare (don't blame me, I didn't name it), and BitKeeper which was, at one point, in use on every continent other than the Arctic. If you are running on a 5 year old Intel CPU, that was developed using BitKeeper.

The comment that RCS scales for binaries couldn't be more wrong, RCS hates binaries with a passion.

The fact that you didn't address any of the points I raised says you either don't understand what a weave file format is, or, you do, you recognize it is a much better format but don't want to talk about that.

This part of this thread reminds of something Ron Minnich once said: "Don't worry about people stealing your ideas, you are going to have to cram them down their throats".

I'll drop it, we can revisit when I write up how weaves work. I don't think any objective person would argue that a patch based system is as good, let alone better.
Thanks for the context, very interesting. When did you get those shots as a child (ie what year, if you don't mind), and do you have any sense of which ones might have been the cause?
...better use for electricity
You have access to an army of pedantic jerks. Treat it like a super power. Use it or don't use it.

Don't ever wish the pedantic jerks were better because that never happens. You just become a part of the other ever-present group that's complaining about the pedantic jerks.
I need to look into this more but unless you already know C/C++ really well then Rust may be a better choice.
I absolutely love everything about this. Specially how it can provide access to knowledge to people all around the world.

I'm currently thinking about getting a degree in Maths, and I find extremely appealing the notion of having a repo of knowledge from where to gather theorems, specially useful for newer developed areas.
I don't know what the author makes, but in his article he is commenting quite a lot....

Also it seems like he got into a position with responsibility and now kind of feels superior. (The article is pretty vague, but it's how I interpret it)

I get that it's frustrating when there are a lot of dumb comments in the internet, but this doesn't mean all commenting is bad.

Why is this on top of HN?
Random Musings on the Android 12 Developer Preview 1
Buzzard's post suggests to me that when he says "mainstream," he means what the community at large thinks of as important and field-defining (cf. the sentence with important in it). He is totally correct here; in this sense finite graph theory is not mainstream mathematics.

Further, I don't think it is "elite provincialism" to point out this readily verifiable fact. Besides looking at the big prizes, we can look at any of the top journals (Annals, IHES, Inventiones, Journal of the AMS, Acta, whatever). You're not going to find a lot of finite graph theory there.

Now, I think we should separate the question whether it is the case that he's right about what mathematicians value from the question of whether it ought to be the case that the world is this way. As I just said, the answer to the first question is yes. I'd argue that the answer to the second question is also yes, but that's a whole different discussion.
The name of this very old idea is Mr Gotcha - "We should improve society." "And yet you participate in society. Gotcha!"

https://thenib.com/mister-gotcha/

Needless to say, this "argument" is completely false.
Enabling JS worked for me
I wonder if the install base is is so high because 20 years ago some package maintainer decided to put XMMS in a gnome-apps (or whatever) metapackage, and no one removed it.

I don’t even know the last time I found a publicly accessible mp3 url stream, or listened to a local mp3 file. Local files had to be like 10 years ago.
Thanks Kevin. It seems like having both approaches is more flexible and thus more general (which can hopefully only be a good thing?). One could always replace a proof by contradiction later with a direct proof, but there's definitely value in using it in the meantime (at least in my uneducated view).

p.s. could you let me know your e-mail so I can keep for future reference, as I'm also working on a hobby project for automated theorem solving.
I read Stewart Brand's 'Whole Earth Discipline' about five years ago, and came away pretty convinced by his pro-nuclear arguments. The price situation has definitely changed dramatically in the last few years, with solar dropping remarkably. So some of it may be worth revisiting.

But that said, something else has happened in the last five years that has made me a bit ... cautious about being decisive on nuclear. And that is general global instability. E.g., things sure feel like they've come off the rails recently and things I used to take for granted: that competent people would generally be in charge, has been challenged.

So to me, the biggest risk with nuclear isn't the technology itself. In isolation I see it as a great solution to one of the key challenges of climate change. To me, the biggest risk is political stability. It's a technology that requires constant competence.

All that said – I aim to be open-minded. If the new breed of reactors can safely shutdown under neglect, if they can't be weaponized if society breaks down – awesome. I'd love to hear more about it.
With all those sims, you still have a RSSI from physical cell phone tower(s), so its still serving its purpose for fraud prevention
Pretty sure Tim doesn't care but I'll track him down and ask.

Edit: sent an email to him, we'll see.
Hum, it's not down for me. PiHole or ad blocker or something maybe?
QCObjects is top in the list of 25 Best Node.js routing Libraries
Most configuration problems reduce to graphs, e.g. Dockerfiles and Makefiles
Covid Housing Boom Is Even Bigger Than Imagined
I often wonder why investors love paying 5 figure aws bills; even worse, why they consider lower bills or not using 'the cloud' a sign of cto incompetence. Even if the company can run on $500 hosting instead. Must be because it is easy to do DD on: AWS, check, TS (JS is now a reason to not pass VC dd I heard from friends) check , React check, microservices, check, etc.
You need this extension if you are using social media on a desktop/laptop
Did your US company pay you as a contractor? Set up a foreign entity in your country to pay you? How did you get paid by American company, legally, while in a European country?
I tend to think of morality as an emergent property of successful social structures.

It's a necessary common value system that underlies peaceful cooperation. In this sense it's an evolutionary advantage to treat each other morally and have a shared ethic. That includes not exploiting others for personal gain.
So the only comment he's making is not to make a comment? Seems like an odd comment if it's your only one.
So what about an algorithm you verified in a non-constructive way?