skysight-inc/HackerNews huggingface dataset:
Other utilities being terrified is a feature, if it prevents the reckless disregard for public good we've seen at PG&E. Private utilities live by the grace of the public, for the service of the public. Fail the public, get replaced.

The state is blessed with the ability to push water uphill via the taxbase coffers, if no reasonable rate is viable.
Could this be the weaponization of the Bullshit Asymmetry Principle [1]?

"The amount of energy needed to refute bullshit is an order of magnitude bigger than to produce it."

It costs you nothing to put out some vague non-sense out there, but you force your adversaries to spend a disproportionate amount of intelligence resources to refute that.

[1] https://en.wikipedia.org/wiki/Bullshit#Bullshit_asymmetry_pr...
Show HN: Notify you those who you're following come in your city
My east european country has been governed by authoritarian rule which was 95% dependent on a totalitarian foreign nation state. You either don't understand what this means or are actively protecting a totalitarian dictatorship.
Cameras Could Replace Car Mirrors?
Oh boy, they would have lynched Tim Cook for loosing China market access over some freedom bullshit in Hong Kong.

No seriously, anybody surprised with Apple's reaction? Next time you see Apple's privacy marketing keep this in mind. They will sell your privacy as soon as their profits depend on it.
I'd say companies usually have a budget for a given position. If you ask for a salary way higher than the budget they can't match it. If it's a bit higher than the budget and they need your skills I suppose there can be some negotiation from both sides, not necessarily on the salary. If it's way below their budget they would probably think you don't have the experience or are not confident in your abilities. If it's within the budget, there can be a negotiation, but usually you're good. Some companies like to hire as low as possible within the budget. Some companies want the best talent and will pay whatever as long as it ia within the budget.

So in short, you can try anchoring high if you know that will be at least in the ballpark of the budget for that position even if it's at the higher end.
Hundreds of thousands. The 200k mark only in US was achieved more than 1 year ago, and it triggered the phase out of the incentives.
For the last couple of quarters Tesla has been delivering almost 100k vehicles so it won’t be that long to reach the 1 million mark globally.
I have seen this posted before. Can you link me to the proof? Genuinely curious.
DatHuis | Backend / Fullstack Engineer | Amsterdam, Netherlands | Serverless | AWS

Say woooot ? at https://angel.co/company/dathuis/jobs/625988-backend-enginee...
This is inbuilt in fish-shell, which I highly recommend.
(I understand the functionality is inbuilt in readline, what I mean is fish exposes it in this manner by default)
And "Shades of ${thing}" is shorthand for something like "This reminds one of ${thing}" or "There are similarities to ${thing}"

So GP's last sentence can be interpreted as: "There are similarities to the radio game Mornington Crescent".

I often forget how British phrases, cultural references and idioms can be completely inscrutable.
I like my papers to be readable and used to put a lot of effort into making then flow nicely.

Then I got reviews saying I have to cite x, caveat y, relate to z and discuss special cases a,b,c... By the time you've done that there is no way it's going to read nicely any more.

But to play devil's advocate, the reviewers are right. The permanent scientific record does need all the nitpicking details. Papers are not supposed to read like news articles. Now I try to get a good abstract, intro and confusion and accept that the rest will be nit picking.
If you selfhost, you'll definitely find out if you get a NSL. That's the advantage.
Wonder how the replacement is going.
“Parent or guardian consent forms had a tea bag stapled to the top of the form to enhance uptake.”

I couldn’t help but smile.
Could I ask you what do you mean by that?
> good luck hosting a serious tournament

And there have been many issues with this over the lifespan of SC2. In the early days it was insanely common to see semi finals or grand finals with dropped games to the point the screen that appears when a connection issue would occur became a meme.

After around 2014 all the major tournaments had "partnered" with Blizzard in one way or another and an on-premise server is now used with a whole cloak-and-dagger system of ensuring the software on it never makes it out to the public. You have to pay Blizzard to operate the server on premise by their staff, essentially the same people who already have access to the Battle.net servers themselves.

And then in the end the game became free to play in 2017 anyhow.
Definitely agree. Privacy is protected by this app. By knowing the physical locations of the police, protesters can evade these anti-privacy forces.
Hi, I'm curious what you think of the five demands
Boiling Poison Dice Set
Wasn’t Ad Astra the antithesis of Interstellar though? Ad Astra seemed to argue against horrors committed for the sake of achieving greatness, eventually destroying us when we lose sight for what it is all for—people. Interstellar seemed to argue for the necessity of losing this humanity on the chance that it will work out anyway (an optimistic take on Murphy’s Law)—Cooper abandoning his daughter; Brand pushing the artifice of Plan A; Mann sanctifying his survival instinct; all to “rage against the dying of the light”.

For example, look at Clifford McBride of Ad Astra. He’s the “best of us” succumbing to the same tests of character as Dr. Mann of Interstellar—even repeating his same poignant line “yes…yes…yes” to affirm absolute commitment to the mission: the fall of the brightest angels to evil committed for an ostensible good. The difference of messaging is in the outcome of their missions: the failure in Ad Astra to find intelligent life, versus the success in Interstellar to save the species.

Also fun mentioning that Ad Astra ends like Blade Runner 2049, where the cold protagonist, employed as the system’s greatest weapon, regains a sense of humanity after subverting the system’s mission. Though Roy actually completes it for them, still pedaling the propaganda that you should ultimately still serve the oppressive system.
How do those batteries fare in terms of capacity loss over time ? My li-ion rechargeable sanyo eneloops AAA batteries seem useless after a couple of years.
yeah, someone preferred ranges and formatting over networking.

I would really appreciate a standardized selection of networking facilities, such as a http(2/3) server and client, a websocket implementation, unified tcp/udp socket management.

I know there are libraries, but every of them come with some pros and contra on each OS platform and a clunky API.
A bit terse perhaps, but only thing that is a bit more than a simple tokenization/parsing and direct output is the precedence climbing part for parsing expressions. That may cause some headscratching for some if they haven't implemented it in the past. But it's easy to read up on that algorithm on wikipedia. Anyway, even using that ultimately makes code more readable than trying to implement the same with recursive descent.
The fact that you need to learn so many lessons while using docker shows how complex it is.
It's driven by liability concerns. Somebody falls down the stairs because the lights were off and sues the University.
Brain Games and Speed Reading Platform
I greatly appreciate the amount of thought that goes into HN moderation. This is one of the very few places where popularity doesn't equal lowest common denominator content.
> JsonPath has some drawbacks, such as a lack of operators for reaching parent or sibling nodes, -- https://www.baeldung.com/guide-to-jayway-jsonpath

Unfortunately, ".." just doesn't fit nicely with the "." operator of C-style languages.

I'm almost inclined to go full-XPath, and use "/", so I can use "..".
Torchlight, another popular alternative ARPG, is also owned by Runic Games which was purchased by Perfect World, which is owned and operated out of China.
Storing JSON in Postgres Using Node.js
https://uk.reuters.com/article/us-china-apple-icloud-insight...

Fundamentally they moved their kit into a state owned data centre.
I don't know about this. I use Ctrl+R a lot, and I sometimes like to be able to go up the history, then down to the command line I was writing. I probably need to try this (or a variant) out, thougt, as it boils down to muscle memory.

zsh: https://unix.stackexchange.com/questions/16101/zsh-search-hi...
I don't think anyone is arguing that if PG&E needs more funding to actually fix the problem, they shouldn't get it. I think it's fair to be skeptical, though. PG&E had $1.66B in profit in 2017. Why was that money not put toward paying down maintenance debt throughout the year?

I fully expect PG&E to be bailed out yet again. At the end of the day, repairs need to be made, and it's hard to do that when you're bankrupt. But there need to be consequences. I worry about CA's ability to manage PG&E directly, but maybe it's time. At the very least, a power company should not be a profit-seeking corporation. It should not be paying out dividends. Every penny (minus some cash set aside for a rainy-day fund) it brings in should be reinvested in the grid, immediately.

I see other utilities being freaked out by this to be a good thing. Act in the public interest, or we will take over your operations. You serve at the pleasure of the public, not your shareholders.
I guess one thing that is obvious, is that an oppressive country like China can never win the race to attract the brightest, most creative minds.

They have over a billion people have have made significant investments over decades to indoctrinate nationalistic fervour. They have zero need to attract anyone. By statistics alone they have more “bright, creative” people than US+UK+EU combined, and far greater willingness to employ those people for national goals. The same people we have working on adtech and similar nonsense.
c4 is very cool, but it's not a compiler in the usual sense of the term. It compiles to a kind of bytecode which it then interprets (like Python, for example), but it doesn't generate assembly or machine code (like GCC or JIT compilers, for example).

But there's a more realistic compiler inside swieros: https://github.com/rswier/swieros/blob/master/root/bin/c.c that emits actual "binaries" for the emulated toy CPU. It's hard to tell what exactly is going on though, as this is not "very readable and simple code".
Germany's big manufacturing sector is vulnerable to disruption
LCOE is a poor measure of whether something can deliver baseload power cost effectively because it assumes all MWh are created equal.

What would make it clear whether solar + battery at this proportion is a viable source of baseload power is output volatility figures for a few years of operation (though one year would probably give a reasonable indication).

Tangent: The industry has a metric, availability factor, to describe what proportion of the time a plant can supply energy - but conventionally it only considers maintenance-related downtime and ignores periods where no energy is produced because of lack of 'fuel', giving figures of 99 and 100% availability for wind and solar respectively. That needs to change if we're going to measure whether renewables can provide suitable baseload power. The alternative, capacity factor, doesn't ignore periods of no generation in the same way, but it penalises dispatchable sources for having excess capacity so it's not great either.
I don't know, normalizing at least seems reasonable constructively, sorry about the handwavyness in my reply as well!

In lean specifically there is a bit more information here:
https://leanprover.github.io/theorem_proving_in_lean/axioms_...

"and quotient construction which in turn implies the principle of function extensionality"

There is also, Michael Beeson's "Extensionality and choice in constructive mathematics"
https://projecteuclid.org/euclid.pjm/1102779710

So it seems at least that the definition of quotients in lean is classical, and justified by axioms, NuPRL at least seems constructive, this at least leads me to believe quotients as defined in lean aren't constructive. But i'm not sure we can take the step to "quotients aren't constructive".

Anyhow it's an interesting question, and one which I too wish I had more clarity on.
Its not just plastic bags and fringe error cases. As a driver you know that you sometimes have to break the rules. Say an empty truck is parking on one side of the road, blocking the lane entirely, to overtake him you need to make an illegal maneuver overtaking him or stand there holding up traffic for everyone. Or one step further, you have to make room for an ambulance,. I dont think there is a realistic scenario were all rules to drive in normal traffic can be sufficiently covered.
> Maybe the ongoing collapse of American cities as places that are unaffordable for anyone other that the ultra-wealthy

A large percentage of Americans live in cities. Are they all ultra-wealthy?
Ask HN: What’s Your Backups System?
And how reliable has it been when you really needed it?
Wat? In USSR a middle school was 7 years in 1922-1958 and 8 years since 1958 and that was called an incomplete middle grade. It was mandatory in towns and working camps. The complete grade was always 10 years.

Gymnasiums and lyceums differed from usual schools by having a altered program in some way. There always were schools which provided a complete middle grade.

There was also a specialized middle grade after completing both middle and vocational school and it covered the entrance barrier as well as a free pass of 1-2 years in higher education if it was on the same course.
What about mandating a 1km fire safety zones?

The few states in US that have a recommendation on that put safety zones of just 150m or less
There is a good reason to believe that Alcubierre drive does not exist. It's allowed by Eninsteins equations if you have negative energy but quantum gravity would invalidate it.

Einstein's equations allow all kinds of weird solutions that physicists don't believe can really exist. Discovering them is just a way to study the equations theoretically. Alcubierre Warp Drive Metric or Gödel metric (rotating universe) are just two of them.
Top Live Streaming Software for HLS
The referenced compilers are a different level of tiny, like 500 lines of tiny. :)
Didn't we already do that, a year ago?
> They should not be paying out dividends to investors

But... but... the power of free markets! The pension funds need safe investments!

Sarcasm aside: you are completely correct, but the US infrastructure needs so massive investments that there is no alternative to the private investment market given that many states have problems adequately funding basic cheap stuff such as schools.
the reason this lib is both small and fast is because it does not use svg.

if you need svg, there are plenty of great charting libs that have svg backends.

don't get me wrong, i love svg, but the performance is much worse.
Nature lets you put as many details as you like into supplementary material.

That said, the one nature paper I've properly studied was to me so obviously making unwarranted claims that I'd never have let it through review. (And I'm usually a very supportive reviewer! ) One of the authors admitted as much in another paper a year later. But hey, it had all the wow factor that nature selects for.
Welcome AI: 7 Ways How Chatbots Make Your FinTech App Better
On the topic there are plenty of materials and videos online on the Beijing-Lhasa Railway, especially the Qinghai-Tibet part [1].

Quite an achievement. Built on permafrost, pressurised trains, highest stretches at 5,000+m altitude.

With this extension, one day we maybe able to do Beijing-Kathmandu by train, straight through the Himalayas. And on to India? Mumbai-Beijing via Lhasa sounds like a hell of a train journey.

[1] https://en.wikipedia.org/wiki/Qinghai%E2%80%93Tibet_railway
> After all, middle schoolers are “kind of the best people on Earth,” says Mayra Cruz, the principal of Oyster-Adams Bilingual School, a public middle school in Washington, D.C.

She appears to be at a very different middle school than I went to. Or is painfully oblivious as to how cruel children of that age can be to each other.
This was also my immediate thought - how lovely would it be to have synchronised charts built based on this to view system perf stats. Looking forward to the day this library gains that ability! Cheers on this project!!
Rome conquered all its neighbours

This is not entirely true; Rome sent in the legions only when it had to. It “conquered” most of Britain via soft power, coopting local elites, introducing hypocausts, aqueducts and so on. Where it had to use hard power, it failed hence Hadrian’s Wall.
I think people forget how prevalent IPX/SPX and Netware was back in the late 80s-early 90s.

Fun anecdote: I used to work on a large MoD site as PC support during that era, and one call I got was to visit a bunch of porta-cabins to fix their Netware network because they wanted to play network DOOM and for some reason it wasn't working.
Ah, I see. tcc is still tiny compared to clang and gcc though :-)
I fear you're getting the wrong message. The protesters will be crushed just like the yellow umbrellas were.

HK, China is declaring that it will flex its muscle.

There's nothing clumsy about it.
Yes, generally this is true, but for the special case in Switzerland is it not, because the cracks are so deep underground (several hundred feets).
# Capitalism isn't even a philosophy, it's a side effect of freedom.

Is it? In the country where capitalism came from "in 1831 a mere 4,500 men, out of a population of more than 2.6 million people, were entitled to vote in parliamentary elections" http://www.nationalarchives.gov.uk/pathways/citizenship/stru...
> then gymnasium for another 3 years that in theory voluntary but everyone does as it's also necessary for university etc.

Doubtful that "everyone does" as not "everyone" in USSR went to university (nor anywhere else in the world, for that matter).
Isn't it possible that searching your phone at the border is security theater? I think it's likely that the US already has permanent, remote access to most phones.
I use a combination of:

• Automatic Time Machine to a single external USB-C disk: Cumbersome to selectively restore from, the UI can be clunky, but it has saved my ass in some tight situations.

• All files stored on iCloud Drive: No history. Files may be lost during buggy betas like Catalina’s. Deleted files can usually be restored from the web UI.

• Private GitHub repositories for anything that involves text (code, notes): May get unexpectedly removed by Microsoft at their whim, e.g. for making statements against China.

• Manual copies of entire user home folders to different external disks: Hard to do incremental backups.
Most stores near me make the lettering very small... if you don't have near perfect vision good luck reading the price per ounce.
I think when the story is a suppression campaign, where you see the world's most powerful company do an about-face twice in three days because of political pressure, you should think carefully about the implications of your own decision to suppress coverage and discussion of the event (which I understand is done from unrelated motives).

By your own logic, if China (god forbid) invades Hong Kong, there would be even more China/tech coverage, and therefore Hacker News will be even less likely to cover it, in favor of stories about ancient Albanian cartography or whatever else is novel and not divisive.

I urge you to reflect more on the way your "downvote stuff we talked about already" interacts with escalating crises, particularly around the topic of online censorship. I know you already reflect a lot!
The scientist who find the point where super position stops will get the Nobel price for sure, I could give you a hint, it is less than my cat, I'm sure it never been in two places at once (Schrödinger is right about his cat too)
Apple Removed Hong Kong Protests Map from App Store, Again
Hundreds of millions of people migrating from areas that become uninhabitable from sea level rise and increased temperatures, trying to get into any country that's less affected. Europe just almost tore itself apart over few million war refugees, imagine 100 times more people, with nothing to lose and a valid argument that it's all our fault they don't have a home now.

Food pressure, as arable land is lost to the sea and temperatures[0], plus collapsing ecosystems as insects and plants with high vulnerability to temperatures die off. Food prices increase, risk of food shortage increases too, and so does social unrest.

As some land is lost, other land becomes available, "defrosted" by the changing climate. With reduced agricultural capability and migratory pressures, nations will want to compete for both that new land and resources available on it. This could lead to war.

I could elaborate, but let me instead tell you to look at the problem in reverse: think of how little it takes to cause "mass horrible deaths". Most people live in cities now, and most cities are fed "just-in-time", which means there's 3-5 days worth of food in them. Imagine what happens if you break that supply chain for more than a week. Imagine this happening to multiple cities in a country simultaneously.

--

[0] - You can't e.g. think that a +4°C Poland can just switch from wheat to bananas. Bananas may like the new summers, but won't survive the winters.
> Or look at the video preceding this incident, and you'll see that the officers ran ahead of their group, and the kids confronting them were not looking at their phones because they were busy trying not to get shot.

Are you saying this video is taken out of context? Please do share any available video evidence. I assure you I tried quite hard to try to find more and this all I came up with! This is the thing that most confuses me about these protests. They are, by far, the most widely recorded protests in a developed nation - yet lengthy in context footage of the critical events events is surprisingly difficult to come by. Instead we just get snippets taken out of context that can be framed to show anything you want to show.

For instance this [1] is Reuters reporting of this video entitled "Dramatic footage captures moment when Hong Kong protester was shot." It strips out absolutely all context and splices the video together in a way that even makes it seem like it's an officer charging a protester who is simply trying to defend himself from an officer drawing a gun. It then includes clips from a police statement which, without the context of what that conflict was about, paired with the selected footage they provided sounds comically absurd.

This is absolutely propaganda, and quite ham handed propaganda at that. But of course there is also extensive propaganda coming from the Chinese side as well. It makes it all extremely difficult to have any clue of what is really happening. If you have any recommendations whatsoever on lengthy uninterrupted film footage on these events, I am absolutely all ears.

[1] - https://www.reuters.com/article/us-china-anniversary-hongkon...
Yep, every item I see is price per kg. I can't think of exceptions.
Digital archaeology has always been an interest of mine. Must be fascinating to investigate such antique artifacts.