skysight-inc/HackerNews huggingface dataset:
> I don't think its a zero sum game, nuclear doesn't preclude solar or wind.

That's what I'd like to think, but it doesn't seem to be a good match.

Nuclear plants want constant power output, they are ideal for base load.
Solar and wind production vary during the day, and they don't always meet demand. That problem is called the "duck curve": too much is produced during the day and too little just after sunset.
That's the reason why the best plants to complement solar and wind are those that can vary their output on demand. And unfortunately, that's typically coal (see Germany).
Hydro would be ideal but its capacity depends is limited by the terrain.
I'll miss them. (If you're not aware, Pret permanently closed all its Chicago locations except UChicago last month: https://chicago.eater.com/2020/8/24/21396276/pret-a-manger-s...)

I just hope Chicgao's own euro-style sandwich chain Hannah's Bretzel survives.
First: Software got so abundant without proof. How much of an effort is a formal proof of a program? I suspect that it's at least as much effort as the total effort of writing the program, and maybe several times that. If I'm right, then formally proving all programs would result in more than twice as much effort, which would mean less than half as much software. So, think of all the programs that you interact with in a day. Now think of a world where half of those programs simply do not exist. Is that better than this world of buggy programs? Or worse?

Second: Programs got so reliable by killing the bugs that made them most unreliable. That is, if a program has two bugs, one of which 10% of people hit, and one of which 0.0001% of people hit, the 10% bug gets fixed. The program is still buggy, but it's buggy in a way that most people never encounter.

And third: For (many kinds of) formal proof, you need a formal specification. Much of software is somewhat discovered. (What's the right user interaction flow for this, anyway? Let's try some ideas out and see.) If you write the formal specification before you have really discovered what the software should be, then you can have formally-proven software that does less-than-optimal things.

And then you can have bugs in the specification. (Hello, MCAS!) Formally proving that you correctly implemented an incorrect spec does not make the software more correct.
Because the cars in front of it got out of the way for the police vehicle, the Tesla could accelerate to it's preset cruise speed.
I'm surprised. I'm a foreigner in Germany with a ton of CDU supporters in my SO's family, yet somehow it's pretty open knowledge that Ursula is a paragon of EU corruption and nepotism.
I've used namecheap for over a decade, very happy customer :)
> Because YouTube doesn't care what you want--YouTube cares what it can monetize.

> You are the product, not the customer.

> Once you internalize that, stuff that Google does makes sense.

They published their algorithm. They rank items according to predicted watch-time. The other poster is probably correct, in that many people use these long classical music videos as background music over and over (i.e. high watch time) and so they're highly ranked.
Video chat might be good for this?
That’s really good insight, thank you. I am curious why everything isn’t just tied into Whois since that is what I typically use to do quick lookups.

Also, will Namecheap ever add a second factor method that isn’t SMS? Security aside, logging in just feels clunky.
lol, tell that functional programming proponents.

They will tell you that current software is basically crap and they can't understand how the majority tolerates this state of affairs.
Gat Facts
Hubble’s replacement, James Webb, could offer us an opportunity to have a second space telescope.

We just need to figure out how to repair the Hubble.
The least you can say is that Sweden didn't manage to test as many as its neighbors did. It is claimed the influx of infected was greater etc, but lack of tests meant that it was hard to get it under control too.
God the Reddit comments on that post are absolute rubbish.

The most upvoted comments are along the lines of "you're using Windows 10, who cares if something else spies on you LUL" which is the dumbest argument I've ever heard, which makes me suspect they might be corporate puppets.

Or perhaps we've just been conditioned to ignore any privacy concerns as bullshit and just laugh and shrug whenever yet another company wants to make money off our data.
Love the copy on the landing page & the framework agnosticism. Definitely trying this soon.
I used to work at the Pret during my student years. All employees, we were very puzzled by why Pret is so popular and why are they willing to pay so much for the food.
Today with a better-paid job, when in the centre and need to get a quick snack, Pret is often my choice. End of the day they have good food and offer good service.
You hear many stories about people who used to work for McD and they say they will never eat there again. I can confidently say that at Pret, I did not see any red flags that would make me not eat there.

I wonder how the subscription idea will work for them. Pret is a sandwich shop, but most of the profit comes from coffee. When I used to work there, the price of a coffee was £2, and the cost was £0.20. I guess they expect most people to not max out on the offer, which is probably a reasonable assumption.

At the time, we were told the reason Pret does not offer free coffee after N transactions is because they want to make a customer feel special when they get free coffee. That's why all employees are allowed to give free coffee to anyone at their discretion, just not too many :) Sounds like it is about to change.
ISNIC doesn't require domestic NS providers. They do require the nameservers to register a contact though.
https://www.isnic.is/en/domain/req#req-hosts
It is, however, sealing one's self in a chamber of like-minded opinion.
The most likely version is that Rus was founded by Scandinavians who conquered local slavic tribes and were assimilated later.
If he were, then he wouldn't support government regulation to reduce CO2 production.

That is something to consider when judging his claim to be against authoritarian government. It seems he thinks government is only authoritarian when it does things he dislikes, but it's not authoritarian when it orders everybody to obey rules that he approves of.

We call this "hypocrisy".
Those are not USB HID usages, notice.
Thank you for posting this. At this level of organizations, it is enlightening to see how different countries handle similar situations.

Surprisingly, they also have lines that are 80-100 years old. I hadn't been following this story before, but upon first reading, I was shocked that infrastructure from 100 years ago was still in-place, original, and in operation. Now that seems normal.

My guess was that equipment would be replaced every 40-50 years, or at least renewed. The graph implies that the French policy is to replace after 45-70 years of service, but to allow older ones in limited cases. And they are saying the ones that are 70 years old need to be replaced in 5-10 years, so they allow up to 80 years.

I suppose that if the infrastructure is tested and maintained, and still cheap enough to maintain safely, there is no reason to replace it. As this story shows, you have to know your equipment and it's state of maintenance, and of course actively manage it safely and efficiently.
Interestingly there was a similar case in Saudi Arabia a few years back, where McKinsey hired the sons of bureaucrats in Aramco and other government departments in exchange for all the lucrative consulting contracts. Goldman Sachs did the same with 1MDB and Libya and were caught. It's an open secret now that giving the kids the jobs is a foolproof route to getting contracts.
Zinn's point was that no matter how truthful or factually correct something is, it would still be biased.

Consider an event that created some gain for a country at the expense of a specific group of people. A history book that claims "This event helped the country through so and so" would be biased because it chose to include some piece of history while excluding the other. Similarly, a textbook including the latter part but not the former would also be biased.

Now you may argue that including both consequences of the event would make the textbook unbiased but it actually suffers from the same problem. The very inclusion of any one piece of history is biased because you're making an explicit decision to include some event but not everything else.

I agree with you that we can and should strive to be more objective, while accepting that true objectivity is not possible. However, it's important to understand that at the time of Zinn's writings, history was heavily biased towards one end of the spectrum. The intention of his own biased history was not to balance the scale, but to introduce the overlooked and erased aspects of history into the conversation.

Zinn was basically saying "Look, we can't fit every little aspect of history into what we teach our kids. So if we're going to pick and choose the narratives and lessons that go in their books, we need to choose the ones that will help us avoid the mistakes of the past and shape a more just society. If history is going to influence the world, it should be for the better".
Right. So show me the balance sheet where building out reactors makes sense. Because as of right now it clearly doesn't, and the proof is that no one is building reactors but everyone is building windmills.
At compile-time manifold-js[1] parses JS and generates Java types (stubs), which forward execution to rhino at runtime. Basically, JS seamlessly mapped onto Java's type system.

[1] https://github.com/manifold-systems/manifold/tree/master/man...
Hello, sort of random, but hodder, if you read this, thanks for your tip on metallurgical coal back in this thread - https://news.ycombinator.com/item?id=22069310. I went long on HCC after the pandemic plunge in March and it is (knock on wood) turning out pretty nice!
Where is that happening? And are you sure we're not actually talking about people who misunderstand the purpose and legal requirements of diversity training programs?

As far as I can tell, this is the first comment in the thread to suggest we're talking about widespread mandatory "social justice" meetings that are political in nature and unrelated to the workplace's legal obligations. That's not what I got from @daok's comment or anything in between, and there are widespread mandatory diversity training programs in the U.S. that explain all the comments above, from my perspective.

I've never seen that (mandatory meetings unrelated to work) myself, across employment at 2 multinational corporations, several mid-sized companies, and a handful of startups. The mandatory diversity training programs in most companies are there to meet the legal obligations of discrimination law, whether they tell you that or not. Usually they tell you that.
While it’s possible that some people might be immune, your anecdata is certainly irrelevant to determining that.
alias rg="rg" might be more flexible as it allows you to specifify a root folder to search in as well as other options.

edit: The previous sentence is a joke. This should not take away the usefulness and polish of kb.
I worked with her (I was on the team she was initially hired onto at Heroku) and she is one of the best hires we ever made, hands down.
A Pret cheese and ham baguette has 31g of protein which is more than half of the daily needs of a 180lb man.
This criticism shouldn't apply anymore. They predict categories you like and you can select a category. The 'All' page should be a mix of all categories, not just cat videos. Amazon on the other hand...
> Safety is no longer the reason Nuclear is not worth it

Why "no longer"? I did some reading on Fukushima the other week (I think it was an anniversary of the accident?) and was surprised to learn that multiple studies predicted the disaster years before it happened, only to be ignored. Even as engineering advances, if people keep choosing to take shortcuts and ignore glaring concerns, does it really matter? Is there a reason to believe that nuclear (or the energy industry in general) is acting more prudently than in the past?
Its preset cruise speed is 150km/h?! Did it think it was on an autobahn?
Producing plutonium, I suppose.
Concerns are the best example of the flaws in Rails and Ruby. The fact that DHH came up with a mixin applied at runtime as the solution to organizing Rails apps is frustrating. Other programming ecosystems have rightly moved away from mixins and do-everything-dynamically, along with moving away from mixing data and methods that self-mutate that data.

Having worked on large real world Rails apps, concerns are indeed a poor pattern in practice. They introduce hidden, untraceable dependencies, can clobber each other silently, make it difficult or impossible to understand where methods come from, and bloat classes into super coordinators, when "models" should only be data. Combine that with Ruby's horrible preference for metaprogramming and you get unmanageable code.

PS: If you work at a company as big as Github that can afford to literally employ Ruby core maintainers, then you are welcome to reply with "but it works for Github!"
Princeton may respond that they admitted not to individual racism but to systemic racism. This either means that they have nobody to list on the demanded spreadsheet of victims, or that they must list almost every POC that applied for a job or admission, accepted or not. If they do believe that systemic racism is not enough to have violated their terms of federal of funding then they don't believe that such racism amounts to much and it discounts their confession.

Since the whole problem may go poof after the election I'd expect them to wait out the clock.

But that could put the Biden administration in a tight spot. Do they give Princeton a pass for admitted racism, of any sort? Their Princeton alumni donors have deep pockets but their anti-racist supporters have great numbers.

I wonder if justices and alumni Sotomayor and Kagan would feel the need to recuse themselves if this case reached them.
> this is the first I've heard of people with liberal views symbolically destroying something they disagree with

What makes them liberal? They're trying to conserve a state of the world where transpeople are respected and shunning Rowling for transgressing their norms. A very conservative thing to do.
Coming soon--All your favorite 3DS classics on the Nintendo Switch for $20 each!
The EU has never been "just a free trade zone", though.

It has always had a political element.

To quote a 1963 Court of Justice judgment:

"The Community constitutes a new legal order of international law for the benefit of which the states have limited their sovereign rights, albeit within limited fields and the subjects of which comprise not only member states but also their nationals. Independently of the legislation of member states, Community law therefore not only imposes obligations on individuals but is also intended to confer upon them rights which become part of their legal heritage. These rights arise not only where they are expressly granted by the treaty, but also by reason of obligations which the treaty imposes in a clearly defined way upon individuals as well as upon the member states and upon the institutions of the Community. "
Hey, maybe that's short for Bret Igswag (born April 20).

I used to work with a guy whose first + middle initials and last name resulted in an official corporate email of "xlwang", no lie.

Only you can save Corbin Untcrasher and Tyrone Ridel-Tafcups from crushing student loan debt.
Countries that go nuclear will have an advantage in the 21st century.
Hannah’s is even more expensive
> the equivalent generating capacity in renewables would cost

But most of the time, the “cost” of renewable is undefined, because you simply can't use it: you need the grid to compensate for the intermittent generation. No battery won't be enough unless you are in a really specific situation:

- hydroelectric source available, in which case, it's a no-brainer, but most of those sites are already exploited (hydroelectric power was historically the first to come).

- if tpu want to go for solar power, you need tropical or subtropical area, where you have the same amount of sun during the whole year. Otherwise you either need to have batteries able to sustain the whole winter, or dimension your system for winter (which dramatically increases the cost and you end up with a lot of unused power during summertimes).

- for wind power, you need a regularly windy area (the top of a hill, the middle of the sea) and batteries because the world best wind power sites still don't produce every days (storms means shutdown for instance).

If you don't have the perfect spot for one of those, the batteries aren't even a solution[1], because you'd need something like two to four weeks of power in terms of storage…

Or, you could go for a mix between fossil fuel and renewable, which is why the oil and gas industry is making a big push towards renewables …
So you're saying that if you're building a professional secure environment, you don't need forward secrecy and it's ok to leak metadata? This doesn't make sense to me. The US gov't kills people based on metadata: https://ssd.eff.org/en/module/why-metadata-matters

It's not possible to make email secure, the flaws are on the protocol level. To fix it, you would need to change it until it is no longer email.
Not affiliated with namecheap but I only use namecheap.
I have used namecheap as my first and only registrar since I made my first website in 2013. Those free .me domains in the GitHub student pack paid off for you guys in my case.

Always had great service, including quick resolution when I tried to register .id shortly after they allowed international registration (and encountered a few speedbumps).

Thanks for the good work!
Certainly, but such a system is not a monolith. A core trait of the monolith is that there are no network calls between components.
as a Nvidia shareholder I totally support this, you're free not to buy their hardware
I always misread it the same way and I'm Polish.

English misreads confuse everyone, not just Brits and Americans, because for better or worse, English is the international language. Lingua franca, to make an obvious pun.
Case Study: Morpheus.Network using IPFS for global customs/shipping logistics
US poverty numbers continue decline according to 2018 consumption poverty report
If that is true, does that mean that we/somebody can make them spend significant amount of money by searching for random domains?
A ubiquitous public domain library is a proprietary database now?
The better question that Sweden may help answer is whether shutting down the economy was worth it. Was the deaths of 5,500 people worth keeping the economy open, in other words, could you have saved more lives by pursuing other health priorities and let covid run it's courses as Sweden elected to do?
Have some fun and search for millions of domains per day!
That is the single most common misconception around PGP, and it comes up every time:

(Open)PGP is first and foremost a flexible packet format (and other specs), and GnuPG is more of a CLI "library" to interface with it -- all of it. You can build something that hides metadata, you can have forward secrecy, and encryption always-on by default with PGP (and GnuPG). You can use it for whatever trust model you want, neither OpenPGP (the specs) nor GnuPG prescribe a certain model. It provides building blocks. It just happens that no good client exists and no more high level specs were written that use it, which is highly unfortunate. The client in this case here used to be "Enigmail" (a wrapper around GnuPG), and now is built-in since plugins are not allowed to be as powerful with the new browser architecture that Thunderbird piggybacks on and this was the only way to bring PGP to Thunderbird users. Also, there are some more modern libraries nowadays for standard use cases around PGP.

Signal was able to move faster since it did not exist, did not try to build things in an open and collaborative fashion, still refuses to work in any open way. Its founder Moxie even openly argues against standards [x]. I am not saying he does not have "a point", but in the long run this will lead to just more silos and ultimately technical stagnation, and for me goes against the ethos of "a public and open inter-net." (and the learnings behind it. 'Those who cannot remember the past are condemned to repeat it.')

That said, I do agree with your comment on a pure end-user level. It still makes me sad to always see this confused and not acknowledged better in places like HN, where people "should know". Technologists can defend and strive for the most promising long-term solution and "proper way to do it", and at the same time recommend "the best of the bad that is currently available". Even if it is confusing sometimes.

Just to give an example, there are plenty of high security use cases that require using smartcards. I'm very grateful that the OpenPGP standard and GnuPG exist that (can be made to) work in such cases. Signal does nothing in that space, rightfully so. But you are comparing different fruit to each other, which is kind of unfair.

[x] and still calls himself an "anarchist". You would think those know better...
I’m saying people will use email in any decent sized group over any significant length of time and it is very good to encrypt that email by default.

If you’re saying Signal is strictly more secure I agee 100%. It’s just not suitable for using for large amounts of comms within a group. I wish they’d improve it and have even detailed features I think they should add (I made an HN thread when they got that donation from the whatsapp guy).

For now it’s not realistic to expect people to know how to put ALL sensitive comms in Signal. You need to build an environment where as many channels as possible are secure by default. Setting everyone up with GPG and using it by default actually works in group settings and is much better than not doing it. The “just use Signal” meme is wrong. Because you can’t. Not at high volumes.

(Also, metadata is a lot less important in the context of a group that openly associates with one another as a great many do. It does suck that subject lines leak. But better to encrypt the message body than throw up hands and give up because no perfect substitute exists. One learns not to put much info into subject lines. You can always just not use them. Signal does not have them.)
Everyone is building heavily subsidized windmill. And nobody is building reactors[1] mostly because it's really unpopular (which it pretty much deserves IMHO after decades of shady practices) but it's not a matter of technical merit (and it's never the case).

[1] except those who do, China leading the pack.
The GP is clearly using hyperbole, but there are much more calorific sandwiches at Subway.

From Subway's nutrition datasheet (PDF): http://www.subway.com/~/media/USA/Documents/Nutrition/US_Nut...

There are several standard menu items over 900 calories for a "footlong," with the Chicken & Bacon Ranch Melt coming in at 1,060 calories.
Choosing not to restrict what political things people can say (or to whom) is definitely a political choice. In many contexts today in 2020, choosing to allow others to speak about their opinions without restriction or opposition is seen as, not only a political choice, but an active attack.