skysight-inc/HackerNews huggingface dataset:
What you're talking about can be formalized via https://en.wikipedia.org/wiki/Arithmetical_hierarchy#The_ari...
where your notion of "computable" likely corresponds to some set between (Sigma_1 intersect Pi_1) and (Sigma_1 union Pi_1) depending on some nuance. In any case, you can show by diagonalization that there are statements strictly outside these sets--that is, first order propositions that cannot be verified or refuted by computer.
Does anyone else find Hulu's new(ish) UI nearly impossible to navigate? Especially on smart TV apps, but also web and mobile.

Trying to replay the previous episode of a show is one of the most frustrating interactions I have with any piece of software. They fill the entire screen with pilot episodes for a half dozen other shows, but can't find anywhere to put a "back" button?
Can this be used to release/beam the heat energy that are trapped by greenhouse gases, and be a solution to the climate change?

(I don't have background in physics so apologize if this is a silly question)
A great read "Corps Business: The 30 Management Principles of the U.S. Marines" ( https://www.amazon.com/Corps-Business-Management-Principles-... ) and where it talks about communicating the "End State" of a mission instead of the steps required to reach that state. This encourages decentralised decision making, so that those "on the ground" - those actually building a product - are able to take the best decisions given the circumstances they encourage.

To me this is why OKRs work more effectively (so long as you take the metrics with a pinch of salt) than traditional roadmaps. You're focused on achieving a business state rather than chasing a set of arbitrary deadlines for "Feature X". Smart people suddenly have space to use their brains.

In fact typical product roadmaps end up a source of toxicity in most organisations I've worked in...

- Out-of-date the moment they are published.

- Tying down product managers with moving little boxes around PowerPoint; people who'd be better off getting out of the building and talking to customers or working with engineers

- Causing a blame culture around missed deadlines, sapping everyone's morale

- Needing multiple versions depending on the audience; low granularity for top level management, high granularity for engineers, carefully worded for customers and users e.g. "Add ad tracker" or "Fix bug causing data loss" may not be what you want sales people to present

- Always subject to (mis)interpretation

- Based on wild estimates of how long things will take 3 quarters ahead through the year

- Too focused on shiny deliverables and ignoring things like "We need to have to this quarter for re-writing a major component that blocks everything else"

- Often unread or poorly reviewed

- Bad at visualising dependencies between things being worked on

- A source of silliness like "Why are wasting time doing X when we know we need to be doing Y?" ... "Because it's on the roadmap"

... and probably loads more.
That was how it worked in the past, but it becomes frustrating because some changes result in many, many package rebuilds which hold up everyone else, or otherwise drains resources of the CI system, which would be better spent building existing packages. Staging is generally where changes that result in mass rebuilds go (or may introduce large instability) in order to keep the main branch "up to date".

Changes that are backwards incompatible (but do not result in mass rebuilds) can and will often just go to master directly. For example, NixOS module changes rarely result in mass rebuilds, even if it breaks an API -- but changing the default kernel version does. The latter would go to staging.

I exclusively use the unstable branch on all my Nix/NixOS machines. I rarely do rollbacks. But it's important to note that I'm a developer with commit access, so I can basically "just" fix things if they're problematic. Not everyone has that luxury. (Many Linux distro maintainers likely operate this way, I guess. :)

There have been events in the past where unstable has had changes that made rollback impossible. In particular, if the bootloader becomes unstable somehow, your rollback capabilities are toast (and you won't know until you reboot, when it's too late). But I don't think anything like that has happened in a long time...
Framing it in terms of moral leadership is silly when the US regularly doesn't give a shit about it.

See: Saudi Arabia and Israel
I made a new friend this year, but only because we both were on the verge of suicide.
(we're better now)
For some reason Valve seems to have a lot of very rabid fans on Reddit, from many many years. Valve gets a free pass for showing annoying ads on every Steam update while being a paid service and also for their forced 30% cut and essentially being a monopoly. All the while barely improving the product for years while making billions from the cash cow.

When I saw Epic was jumping into the fray I figured there'd be vicious backlash and handwringing from the community for minor things and wasn't surprised at all.
Do you believe HN and Weibo have the same level of censorship? You are talking about the reaction on Chinese social media platforms, which have a long and detailed history of censorship.
> but that's beyond the current level of technology

Is it? In Rust and other languages you would use trait bounds to restrict the input types to be comparable with each other, which would make this a compile time error.
Yes, yes, and no. Also the compilation toolchain depends on GCC. Open silicon designs aren't enough; you need to be able to verify that the design correctly describes the physical hardware you are actually using.
It's the "whatever you're running" that gets complicated if you're using the AGPL code in conjunction with a bunch of other code to deliver some service to customers. What are the rules around how that other code is allowed to interact with the AGPL code before it has to be made available as well?
The first priority for China is keeping unemployment low to avoid internal conflict.
direct link to map. Type in any California address or place and the map will zoom you there:
https://www.defensibleapp.com/
I didn't call you a psychopath, but seems like it's something on your mind. Lack of empathy is a defining trait.

If you find yourself on occasion wondering if you are, or other people pointing out that you might be, that certainly doesn't mean that you are. More likely you've post hoc created a narrative and justification of 'don't care'.

That doesn't make it better - arguably worse. The psychopath has an excuse.

'Bleeding heart' - yeah nice one. That must be it.
Almost 100% of an Idol's life is manufactured by the studios. What is presented to the public is barely even a person, more of a product hyper-tailored for a specific audience.

It's all of the downsides of a celebrity multiplied by 10 and no to much of the upside. The company controls how they look, what they say, who they associated with, their entire creative output, everything. They get treated more like breakfast cereal mascots than actual living human beings.
It's gotta be the casters trolling. "Hong Kong" as a phrase is regularly said on all Chinese media.
If that's what it takes to bring attention to all the issues, I'll take it!
they had perhaps the best teachers in how to do revolutions and propaganda in the world, so they're doing what works. the problem with what you say is that it is not backed up by sources and yeah i don't speak Cantonese nor Mandarin. the CCP doesn't care about their citizens enough to defend them in the way you do, i guess that's because they'd have to admit that there's anything worth talking about going on if they did.
If you're proficient with tmux I'm not exactly sure what iTerm brings to the table.
> The NBA is hugely popular there, don't they risk annoying huge chunks of their own population by taking it off the air?

Yes, by design. The Chinese government is signalling that the NBA is anti-China, just like they did with the iPhone (sales are down over 20% as a result of the government's marketing campaign and market pressure from Huawei.) Patriotic Chinese will get the message and stop watching the NBA.
Test automation. Edge/IE.
So I asked in the Ultralight Slack and they told me the JS performance is the same with WKWebView. The rendering perf is about the same but they expect it to be better in the future.
I wouldn't call that a caveat so much as SOP for Microsoft licensing. A Windows license does not entitle you to run unlimited Windows VMs on top unless you pay for the more expensive edition.

The "hack" of buying a small number of super beefy servers to save on licensing costs was plugged looooong ago.
The issue is less wages and more cots, especially of housing. http://eml.berkeley.edu//~moretti/growth.pdf
There was no reversal. It was new, and had never been approved.

It got through the approval process recently.
Cultural ambassadors such as sports figures or artists can help to defuse political animus between countries.
> Generation X (or Gen X) is the demographic cohort following the baby boomers and preceding the Millennials. Demographers and researchers typically use birth years ranging from the early-to-mid 1960s to the early 1980s, with 1965 to 1980 a widely accepted definition.
That's not too far off. But instead of having overly controlling parents the idols have overly controlling corporations running their lives and 24/7 scrutiny from an extremely fickle and difficult to please fanbase.
There are some differences.

Number one, the US has basically declared economic war on Venezuela. The government is preventing anyone from coming to the US to do anything to control Citgo. Notice that the Citgo situation still depended on them declaring bankruptcy and then some mix of legal and political maneuvering to get a new board installed. But Citgo is a huge important energy company, not a video game company, and our relationship with Venezuela is much worse than our relationship with China. Despite the trade war and tough talk I can't imagine that LoL is the hill that the Trump admin would use to escalate things. Matt Levine's point is that the people who control the company are the ones with the keys to the office and if you have the political will you can use law enforcement to give control to the people that you want. But from the perspective of Venezuela/China, it's tantamount to the US seizing control of a foreign corporation and would be a huge escalation.

Number two, Citgo does not care about ongoing access to Venezuela (plus due to sanctions it's not like they have an economic relationship with Venezuela at the moment anyway). Their customers are not in Venezuela, their customers are in America. And they don't need to source oil from Venezuela, oil is a global commodity. Finally, there is a chance of leadership change in Venezuela. So you have scenario one, Maduro keeps control of Venezuela and nothing changes for Citgo (Venezuela now hates them but it doesn't matter because that relationship was already severed) but now Citgo is officially independent. Or scenario two, Guaido gets control and Citgo is embraced by the new leadership that they supported from the beginning.

For Riot, things are totally different. They currently have access to the Chinese market and don't want to lose that access. Sure, maybe they could convince a judge to let them appoint an American board and remove Chinese control, but if that were to happen China would just sever access to the Chinese market.
Hey, but he's a painter too! And we all know that no world leader who paints can be truly evil.
It's more like the reverse. Tencent/CCTV is responding so that they don't get boycotted. The government probably desperately wants this to go away.
Some possibilities, banning NBA could be low cost oblique trade war retaliation. Chinese going to stream for free anyways.

Ramping up Chinese nationalism in response to HK forced the governments hand. This is why CPC tries to contain nationalism normally, it's hard to contain and limits maneuverability. Also CPC foreign propaganda organ is... very inept. NBA is very popular there might actually be backlash.

Punishing western companies for questioning Chinese sovereignty issues as been consistently happening for years. The Chinese response has been completely consistent with past behaviors. They've always been extremely heavy handed on this issue. It's only an issue in the west due to Sino-US tensions being escalated into culture clash / war territory.

Edit, to add on culture, in China, central government influence over companies is perceived as a sign of strength and not fragility. Which leads to naive hot takes here like the government is scared when the opposite is true. Yes, NBA has a huge market but not larger than Chinese sovereignty. Conceding on this point is an existential weakness.
Maybe, but dogs can also be incredibly loyal. They will stick by you when no one else will.
There are a lot of pandering people in the games industry. Take riot games for example with the recent fiasco they've been involved with.
Here we are, giving a shit about it.

Should we stop?
Tile38 – Realtime geofencing and geospatial index, v1.18
Why do you think Google renamed itself "Alphabet"?
Before anyone has their own opinions and conclusions over what may or may not happen over the next who-knows-how-many years, consider this:

We already have a planet with water, life, food, resources, ecosystems, and everything we need. Isn't it a hell of a lot easier to maintain and respect what we currently have than jump to "re-creating the Earth" somewhere else from scratch?
waves and roundabouts
Ask HN: Any front-end/UX roles that DON'T require React?
I am aware that React is the resident darling of web industry but boy is it frustrating applying for roles where you tick all the boxes save for "2 years experience with React" or a similar stipulation. I still apply for these roles, of course, but when the interviews go well I end up getting passed over for someone who does have extensive React experience.

At this point I feel it's too late for me to try and gain that experience because I'll still be lacking, compared to my peers.

I wonder, is anyone else here in the same situation? My experience with SPA frameworks is Mithril and Svelte but no one's asking for that quite yet.
Given Trump's antics with Syria and his unwillingness to listen to military experts, I absolutely do not want Trump involved in the decision making process if the situation deteriorates with China. Regardless of what you think of his policies on immigration, trade and regulation, there is no way to see Trump as a competent commander in chief.
This is exactly what I was trying to say without being that direct.. :-)
‘It can be demotivating’: Digital media’s all-stock deals are the new normal
Show HN: Best Tactical Flashlights
Your OS hasnt received a security patch in 3 years. Your iTerm hasn't been updated in 2 years.

I wouldn't worry so much about iTerm and would start working harder on those issues that are preventing you from updating.
>I suspect they could have simply rewritten with the same language, engineered it better and applied all the lessons learned

No, you can't do that. There are many benefits that come from underlying technology choices that you can't backport to old stack, and if you try, you'd create a monster nobody would like to touch. There might be fewer developers willing to work with Elm than something else, there are none willing to work with "we rewrote javascript standard libraries so that it kind of resembles Elm, but poorly".
But that wouldn’t be neutral either. It would clearly be favoring a side (and may have backfired when it came out).
Additional info:
For those wondering why Activision Blizzard kowtows to China while having a small revenue base there, tweets by Mark Kern (team lead of World of Warcraft and former Blizzard employee) may offer an answer.

https://twitter.com/Grummz/status/1181737774132518912

The whole thread is a gem. Boils down to bribes and subsidies. He's taking a huge risk by making it public.
It's actually quite impressive how they have managed to be on an even worse PR trajectory than the out-of-season april fool's joke of last blizzcon
0.5W/m² is amusing, as my rule of thumb for solar power is 10W/m² (24/7/365, all degradation considered).
While web forums and project management platforms come and go, mailing lists just refuse to die. It's the most pervasive chat protocol/format. I guess they will still be there when facebook already went the way of myspace.
I think he means warning users that a picture contains this information before uploading it somewhere.
Books contain thoughts encoded in words. And words can be ambiguous at times. Writing is a skill, and not everyone is good at it. It is a lossy process.
This is what the subject line is for. If you don’t read the existing subject line they write, which distinguishes the various messages from a single person, and gives some indication of the topic, why would you remember some random string of characters that is otherwise meaningless?
This whole issue, it hurts. Why do we need lynch mobs to bring justice? That is precisely what we need courts of law for. Yet those are overburdened because lawyers and judges are expensive because law is complex.

It just makes me so sad. I'd like to learn the truth about this whole issue, and see justice served, but without an official and thorough situation it all remains hearsay and such.
I am not particularly well versed on Sino-American politics but this seems like a provocation related to the escalating trade war with America. I get the impression from the events of recent weeks that shared commerce and culture are being divided. China seems to be taking its profits, while collecting and consolidating power it has achieved in past decades. It feels like they are getting ready to isolate themselves to a greater degree than ever.
Elm was chosen in 2017, and initial development was being done by 2-3 developers. Now, development is being done by 15-20 developers. Some of those developers came because of Elm (like me) and some came because our problem domain is interesting, and then learned Elm on the job.

Choosing Elm for a project in 2017 seems to have been a very good move.
Would you mind suggesting an introductory text for this stuff?
Lol. Bring it on.
String Theory Does Not Win a Nobel, and I Win a Long Bet
> I feel like the real problem is the technology not the law.

In the end you don't propose changing the tech at all only the procedure for getting the data (the law). It's not a bad idea to be honest.

In my opinion the problem is the mass surveillance of Americans in the first place. End that, and suddenly they can't look into their co-worker's lives or stalk women. They'd only have foreign intelligence information available. You'd also get the benefit of government upholding the people's constitutional rights for a change.
Show HN: uPlot.js – An exceptionally fast, tiny time series chart
Peroxide cow printer?
It seems like napkin math could have alerted them to the potential worst case scenario costs. EC2 instance + db instance per customer alone made my jaw drop. Multiply this by 1,000, 10,000, 50,000 and costs are really regrettable.

Edit: I know most database applications like Postgres can handle multiple databases. Does RDS let you have more than 1 database per instance?
It makes me happy to read this. I cracked the admin pass at my school for a really trivial reason, I think I wanted to adjust the audio panning. By default it was set 80% left to compensate for the school's cheap headsets.

Possibly, I also wanted to disable the spyware / remote access they had on all the computers. There no experience quite like having your control of the mouse cursor taken away by an invisible, omnipotent sysadmin. Hilariously, they wouldn't even run a logout command remotely, but actually go to the start menu to do it, I think to make a point.
"Our country" would be "我国". They used "国家", which is the term used for one or multiple countries in general. They could have meant just one country, but it's not what I believe to be the most likely interpretation.
Mutations in nature also aren't random and generally small. Different types occur with different probability, and nucleotides are replaced with other nucleotides and not some new life form. But just like startups, mutations are blind to whether they will be beneficial or not. Lamarck's idea of inheritance is not really related to this.
How am I to know it is accurate though? I can write up a "log" of all the porn you watched over the last year right now - the hard part is doing a little research to figure out where you live and get some idea of your likely travel.

The log will be all faked, but when it is my word against yours... I doubt you even have logs of your real activity to counter with and so my logs will be pretty damming evidence.
The short version is pretty simple. Epic has been paying developers a whole shit-ton of money for an exclusive release on their storefront and launcher, and a lot of PC gamers do not like exclusive releases or having additional launchers.

That's not such a big deal though, the real problem is that they did this with games that were in development for years with Kickstarter-style backing that had up until that point explicitly targeted other storefronts. To many this seems like a betrayal by the developer and Epic's behavior is making the market worse.
A password is supposed to be very hard to guess by others but not so hard for you to remember so it can be said to be PII! And no, it is not assumed that IT will crack your password. Because how do you know how far IT would go to crack your password and how do you know they are not looking at your data as well? Employee/company officers' email may contain data that could be highly sensitive and something IT should not be looking at.
Do you really believe China depends on US soy to feed their population? Where did you get that from?
> If Trump gave a shit about human rights, he wouldn't be best friends with the leaders of Russia, Israel, Brazil, Turkey, Saudi Arabia, etc.

Being friends with the leaders of Russia, Israel, Brazil, Turkey & Saudi Arabia is the status quo for US presidents given that those are our main regions of foreign economic influence. Okay, Russia & Brazil are a bit newer but that's just a shift in powers in the same regions.

Moreover, foreign diplomatic relations is literally the US President's most important job/power. The president has sole discretion over dealing with foreign powers. It's literally the thing that he is supposed to do.
I don't like your country's hypocrisy.

It didn't start with Trump and I have no reason to think it will end with Trump.

As for Saudi Arabia, I have little doubts Russia will gladly sell them any weapon they want provided it is for sale at all.
You can have a fun and cool similar effect if you get a $10 infrared thermometer (I would say one with a laser for helping to point it). Useful for cooking and food safety.

But then...go outside a night and point it first at the ground, then at any clouds, and then right up into darkness. You'll see a big drop in temperature, which is the absence of heat energy in the atmosphere itself...all the way out into space.

I believe that the sensor has some type of angle to what it can detect, so you're getting the average reading across a large cone of air/space at that point. Also, the radiated heat along the depth of the cone would be "stacked", so that you are viewing a 'cumulative' reading from the entire depths of that cone, like an integral going into space.
Spacecraft already need large radiators to keep from overheating, so you could theoretically use this to generate a bit of power in the process, especially if it means reducing the amount of battery you need for when you go into the shade of a planet/moon/etc...

In practical terms it probably isn't efficient enough to be worth the weight, but the idea is neat nonetheless.