skysight-inc/HackerNews huggingface dataset:
I did not read netcan's statement as the thesis that there is no legislation regarding "big corps" in the EU. I read it as a statement about speed and willingness regarding the establishment of new laws or law changes.

Whether the statement i interpreted is true i cannot tell, but it would be interesting to have data points on it.
> There's still no mobile friendly stylesheet. I wouldn't hold your breath.

Beyond code blocks having line wrap, the HN mobile stylesheet seems fine to me. What issue do you take with it?
Gödel's Incompleteness Theorem and the undecidability of the halting problem can in fact be proved using each other, so there is good reason to think that there is a deeper connection.

What you suggest isn't actually possible, and to explain why, it's worth stepping back a little bit. Originally, there was a program to formalize mathematics that came to be known as naïve set theory. This theory ran into a major roadblock when Russell proposed a paradox: does the set of all sets that do not contain themselves contain itself? The solution to this, as found in modern set theory, is to very carefully construct sets in such a way that no set can contain itself in the first place, and so the very question isn't expressible in the logic of modern set theory.

The underlying point of both Gödel and Turing is, as you say, constructing a similar statement akin to "this statement is false." But more specifically, what they actually did was to show that, once you meet some relatively low barriers, it is impossible to make a system that omits that construct. In effect, what is done is to encode (respectively) proofs and programs into integers, and then using this encoding, shows that you can always create a self-reference that blows up. Yes, if you change the encoding, it requires a potentially different number to create the self-reference, but the point is that so long as there is a bijection to the natural numbers, then the problematic self-reference must exist.

And, as you may be able to reflect upon, everything we as humans can write or speak can be reduced to a finite-length string of a finite-symbol alphabet, so everything we create must be bijectable with the natural numbers if infinite.
> The halting problem means that you cannot make a program (a static piece of code) that can determine in a finite amount of time if another program halts operating on some input.

Interesting. My first thought was, couldn't we just create programs that are designed to keep growing? Isn't that both completely possible and more powerful than the model of computing where programs are static?

I realized it may not be entirely possible to build an actual machine which hosts endlessly growing code. There are probably laws of physics which put some type of limit on how big things we build can get.
Believe it or not, Beijing propped up the global financial system in the immediate wake of 2008 by pledging to spend trillions on infrastructure, including $568B in the short term [1]. Beijing also accelerated purchases of US treasuries during this crisis, with their holdings reaching a peak (over $1T total) in 2013. These surges of spending from China aligned with the burst of asset purchases (~$1T) by the US Fed.

Needless to say, this is not going to happen again. China is no longer interested in propping up the USD. Instead, it is rapidly insulating its economy from toxic USD financialization, from its "dual circulation" domestic policy to its successful launching of the largest "USD-free" trade agreement ever in Nov 2020 [2].

2008 was already a crisis that could not be managed without global cooperation. By the numbers, 2020-2021 is far worse. The $3T surge of Fed asset purchases in 2020 has been extended by ~$1.5T in regular QE policy, with no end in sight. And there is no mega economy across the ocean that is going to sacrifice itself for the USD. There's a reason George Soros, champion of neoliberalism, is having an op-ed driven public meltdown this week.

Best case scenario, the global elite are conspiring to let the global USD have a nice gentle death and we won't even notice. Otherwise, we are looking at a massive crash and inflation.

Do you really think this monstrosity (https://fred.stlouisfed.org/graph/?g=GFV3) can continue forever?

[1] - https://www.nytimes.com/2008/11/10/world/asia/10iht-10china....

[2] - https://en.wikipedia.org/wiki/Regional_Comprehensive_Economi...

[3] - https://fred.stlouisfed.org/graph/?g=GFV3
> ...At least since the Roman empire, there has been no form of slavery in the Western world anywhere near as brutal as American slavery. (not to exclude the East or the Arab world, I just don't know enough to comment on them)

So, you launch a massive generalization, and attempt to walk it back by opting out most of the world (Asia, the middle east/Arab World, but making no mention of Africa, or Oceania). While we broadly view slavery as a despicable practice, please don't practice selective historical revisionism to minimize the barbaric suffering experienced to this day in some countries, and the astronomical death rates in the sugar plantations.

Examples from Historical Context: American Slavery in Comparative Perspective [1]

"Death rates among slaves in the Caribbean were one-third higher than in the South, and suicide appears to have been much more common. Unlike slaves in the South, West Indian slaves were expected to produce their own food in their "free time," and care for the elderly and the infirm."(

"The largest difference between slavery in the South and in Latin America was demographic. The slave population in Brazil and the West Indies had a lower proportion of female slaves, a much lower birthrate, and a higher proportion of recent arrivals from Africa. In striking contrast, southern slaves had an equal sex ratio, a high birthrate, and a predominantly American-born population".

"Slavery in the United States was especially distinctive in the ability of the slave population to increase its numbers by natural reproduction. In the Caribbean, Dutch Guiana, and Brazil, the slave death rate was so high and the birthrate so low that slaves could not sustain their population without imports from Africa. The average number of children born to an early nineteenth-century southern slave woman was 9.2—twice as many as in the West Indies."

Additionally, you have ignored that slavery is still active in a number of countries [2], [3], [4], [5]

Slavery is a practice worthy of contempt, still practiced, and modern.

[1] Historical Context: American Slavery in Comparative Perspective https://www.gilderlehrman.org/history-resources/teaching-res...

[2] https://www.mic.com/articles/82347/the-world-s-worst-countri...

[3] https://face2faceafrica.com/article/slavery-africa-today/3

[4] https://www.theclever.com/15-countries-where-slavery-is-stil...

[5] https://www.latimes.com/world/la-xpm-2013-oct-17-la-fg-wn-sl...
Give it a few months. First they will pass the costs onto the employee, then they will take away the option altogether. Mark my words.
The China of the opium wars was a completely different entity than Communist China. I don't see that there is any obligation whatsoever to deal with the ccp as if they are the legitimate successors of all things formerly China.

They're lying, cheating, and stealing from every entity they deal with on the world stage, blatantly holding themselves above any law, even internally. This doesn't end well unless there's some sort of overwhelming grassroots revolution from the inside. Thanks to Western panopticon tech, that can't happen now, so China's merry band of pirates is headed for Taiwan and global conflict.

Thanks, boomers, ya done good.
The amount of effort China is putting to sabotage Taiwan independence is astonishing. I have Taiwanese relatives and I'm very worried for them.
I wouldn't know. The post was "flagged". Which is apparently newspeak for "censored".

This 1984 shit is getting so casual.
I love that our mental model of reality is built on virtual particles. Metaphysics rocks!
If you really need to minimize that risk then you coordinate the exchange on SMS or something. Intra-exchange transfers are instant. The risk is really low almost all of the time.
>[1] Mostly excluding the big ones (MS, Apple, etc), but quite often they fail too

MS docs

I mean they're good when displayed in English, but defaulting to "native_language" is annoying.
back in the days, I had this infatuations with the idea of having everything checked at compile time by using type system. and I see many people following this kind of path with type system of Haskell, rust, and maybe typescript. granted, it feels good, at first.

I don't do that any more. simply because I'm very lazy and also in a lot of cases, those types that I wrote will be replaced by more dynamic representation (e.g. strings) at some point.
The words "perfect" and "revolution" do not appear anywhere in my comment.
> ...the last cold war kept the third world in a constant state of proxy war between the major powers, costing millions of lives in the short-term and delaying development in the long term.

And the alternative might have been "let the Soviets win." That choice would have definitely been a way to avoid war and achieve a kind of "peace."
Indeed, and in addition, their research programs focus on improving the science and technology behind making measurements. So they have the best metrologists around too.
Big Tech Has Made Billions Off the 20-Year War on Terror
>It's do-nothing bullshit.

Thank you for your opinion on the life and work of Dr. King.
The reveal trailer is so dishonest, it shows environment-mapping AR features, while the glasses don't even have a display. Please calm down the creative department.
In practice can this tech even do that? according the article this is just a 5mp camera on a set of frames meant for taking pictures and stories. To do some of the stuff you mentioned (like measuring distance) you'd need lidar, since construction workers currently are starting to use lidar and this is the new standard. What something like the iphone can do today in terms of measuring is not that accurate in my experience, certainly no good for commercial construction where lasers have been a thing for decades. Smart helmet seems like a better bet since you can shove a ton of sensors in there and have the lidar spinning on top of your head.
An open ticket, in English, means a flexible transport ticket rather than one with fixed departure times.
Technology Solutions – Managed IT Services
Yes, there is definitely a trade–off between speed of development and speed of the resulting program. Rust isn’t right for everyone, especially when speed of development is the prime consideration. Even a mediocre server can handle many thousands of requests per second if the software is efficient, but there are plenty of worthwhile projects out there that don’t see that level of usage. For them, garbage –collected languages are perfect.
I work with a lot of Chinese nationals and they know far more about tiananmen than westerners. Look up operation yellowbird.
Many animal charities are trolls though. You can start a charity and your 'independent' board can just pay you and your brother who runs the advertising all the money. Send a few bucks to your cousin the lobbyist, some more to your other cousin who owns the office complex, and then leave 1% as grants for animal shelters. This is not far from what some PETA like charities do.
If you go to something like the For You screen, you will see a pause while the content is loaded remotely. And if you hit Command-R, it will reload, like a web page.

I think the other commenters are right that Music.app is written as a native macOS app, but it definitely leans heavily on web views for content, especially in the streaming parts of the app.
> Blocking within one, with those locks acquired, and thunking back down to userspace, would mean that 1. a CPU core, and 2. the filesystem itself, would both be tied up indefinitely until that callback thunk returns. If it ever does!

In this theoretical design, you could just block all other administrative modifications. I don't think you need to tie up an entire CPU core, and I'm fairly sure that these zfs operations don't block regular reads and writes.

I think you had it right in your initial comment. There's no good way express branching with an implementation which incrementally submits operations to be committed as a batch. You'd have to take an admin lock on an entire zpool.

EDIT: talked to a zfs dev, said this would take the txg sync lock.
previous discussion https://news.ycombinator.com/item?id=28469968
I really think nobody cares. Even if China were to military invade Taiwan tonight, I'm not sure there would be any form of retaliation from western countries.
Genes Believe in You
AI Experts Discuss the Possibility of Another AI Winter (2020)
“Time is the thing that can be measured with more precision than any other quantity.”

This is a matter of perspective - the agreeability of this statement an artifact of the fact that we are much longer in the time direction than in any other direction.
Given how long it took them to begin the process of creating an Android app one has to wonder whether they were after some sort of exclusivity.
What happened when we finally left Vietnam? Absolutely nothing, that's what. Lot fewer people dying from napalm.

We had to support one-way helicopter rides under Pinochet and contras gunning down nuns? Or else the soviets win?

If it's about national pride and staying on top, fine, but don't tell me it's human rights with that record. The Chinese haven't acted with force outside of what they consider their soil/sea in like 40 years. Xi is pretty worrying but until he starts doing that, let's not agitate for killing a bunch of people just in case.
Why Resist Blank Slate Thinking? For One, Look to No Child Left Behind
>US has sophisticated missile defense systems and enough nukes to send the entire continent of asia back to the stone age

So does China with the US.
Thanks for mentioning the film. Never heard of it. Looks like a winner.
That may be the greatest thing I've ever read.
I call this the No Caucus vs the Yes Caucus. Unlike sportsball and war, defending the political status quo is always easier.

Building consensus in the Yes Caucus is very hard. Agree that something must be done. Then herd the kittens. Then buy off all the hostage takers and defectors. Then the caucus dissolves for every little victory (little potential for building momentum). Etc.

Whereas the members of the No Caucus only need to agree on "No."

It's unfortunate, or least weird, that "right" and "left" have been associated with establishment and reform. What ever one's opinion of movement Conservatives, 60 years ago they were the reformers, challenging the status quo.

They succeeded. And now they're playing defense, with all the inherit advantages.
The USA has been losing all war games where it defends Tawain against China.

https://nypost.com/2021/03/11/us-war-games-over-china-threat...

It is not okay to assume USA supremacy against adversaries anymore.

Why Americans still do business with China is astounding to me.
Interesting podcast covering the influence of these computational propaganda campaigns and their effect on the human mind https://soundcloud.com/inpatientradio/neural-narratives-comp...
> symptoms of infection, which would otherwise signal the infected person to quarantine

I'm not sure that people who have chosen not to get vaccinated by this point are going to be the people who follow self-quarantine rules well.
Well it started working even better when i separated streams and compressed separately pmc and Intel-PT, and syscalls/dynamic probes.

But yes, in a pinch piping to zstd has far less overhead than writing directly to disk.
Andrew Yang to launch a third party
> I don't do that any more. simply because I'm very lazy

I'm lazy too, but that's exactly why I use static types. So that when I refactor code, I can let the type checker tell me all the places that need to be updated instead of trying to piece that together from test failures (and praying that the tests didn't miss anything).
"International organizations like the U.N. pose high-value targets for cyberespionage and draw the interest of many foreign state actors,"

Also, domestic state actors. Weird framing by the WaPo there -- how do you even qualify "foreign" in this context, the UN isn't a part of the USA?

https://en.wikipedia.org/wiki/Spying_on_the_United_Nations

>"In one notable incident, the US and other Western countries were found to be spying on the UN in March 2003, in the run-up to the Iraq War,[2] and actual bugging devices were found inside the UN.[3][4][5] In 2010, WikiLeaks revealed that US diplomats had been spying on UN leaders. On 25 August 2013, Der Spiegel revealed US National Security Agency secretly monitored the U.N.'s internal video conferencing system by decrypting during 2012.[6]"

previously:

https://news.ycombinator.com/item?id=6271259 ("NSA hacked into encrypted UN communications, leaked documents show")
It's the correct side of the road to drive on, in the northern hemisphere! Roundabouts should be the same direction as sundials.
More like value was created in the system when the coffee machine was made. A better example is the queen of England sold a lock of her hair for 1 million, you can call this money creation if the value holds and someone is willing to buy it
Because you will harm not only Apple, but also their users, who Apple has misled into thinking they are the secure choice.
Skilled Workers Are Scarce, Posing a Challenge for Bidens Infrastructure Plan
Having dealt with Agora's RN SDK, honestly looking back I think it would've been easier to just write two completely separate native apps.
Is it really "free time", if you've committed to an ambitious professional (he's a carpenter) project to fill the time? "Treat your hobby as a job" seems compatible with the OP thesis.
States already have robust vaccine requirements for public education. As a society we have decided we can do this for a slew of childhood diseases, but we've for some reason drawn the line on things like the flu vaccine. Basically the only reason we don't have these for adults is because you had requirements as a child to be vaccinated.
US’s wealthiest 1% are failing to pay $160bn a year in taxes, report finds
> reducing healthcare system load

Un-scientific mandates affect the supply of healthcare workers, https://tamicam.substack.com/p/are-government-vaccine-mandat...

> It's ironic that the same camp currently blaming persons with acquired (Gold standard) immunity from prior infection of Covid ... for overwhelming medical systems, when by ignoring the actual immunity status of a person, they are undermining the entire medical system? The crisis they are creating goes against every basic principle of Immunology.

> Essential frontline medical workers last year are highly likely to have already been exposed to Covid at one point, so why does no one simply ask for their immune status, instead of “ Vaccine - or no job”? The vaccine does not stop transmission of the virus, as we know. Why are we instead firing all the workers who may not even have any need for the Jab at all, and aren’t willing to jeopardize their own health by taking it?
If a new version of the GPL adds restrictions, that still can be undesirable for the writer if the original software.

If a third party forks a GPLv2+ project, adding features that are GPLv3+ licensed, the result is GPLv3+ licensed.

That means those wanting the GPLv2 licensed project won’t be able to use those new features.
With a $14k fine per violation, I doubt most employers will give employees the option to test weekly. That's too much of a liability.
> They can get away with almost anything.

Not if factories move to Vietnam, Thailand, Laos, Bangladesh, India, etc., as the current trend continues.
If GPLv4 were more restrictive, people would still be able to use the software under the terms of gplv2 or gplv3.

The scenario where FSF goes "rogue" would be if gplv4 became more permissive, e.g. if it stopped being a copyleft licence.
It usually a game of chicken to see which party can spin near default misses and shutdowns into more damage to the other party. But it would be an extra dangerous game to play right now during a public health crisis. Wouldn't be surprised if both parties gleefully jumped into the breach anyway, thinking they could use it to annihilate the other.
I don't know if we could measure the difference, but since gravity's force decreases with distance, I bet there is a difference between the gravity on the top of your head vs the bottom of your feet.

It's probably small enough to be negligible, but it should be there.
KYC is only done once, at account creation.
Apart from the translation itself being bad (plenty of comments here already), this is another thing that also bugs me with apps/software in Brazilian Portuguese:

> Words may have radically different lengths in other languages

Sometimes the UI gets completely screwed, and I know it'll just look better in English, if the design was originally done with English text
> ...but if we were serious about completely removing the possibility of a Chinese mainland invasion of Taiwan, we could just publicly give Taiwan some nukes.

IIRC, that's one of the PRC's red lines to trigger an invasion.

Also, I'm not sure if Taiwan could get to the point of having a survivable nuclear arsenal that's large enough to guarantee MAD.
This seems entirely reasonable to me. Take, for example, Youtube channels getting shut down for no apparent reason. It seems very sensible for there to be a low cost and binding tribunal independent of Google to appeal to.
Facebook has been helping to make being a creep seem normal and acceptable for a long time.
GEB is a book about intelligence/consciousness. The incompleteness theorem is incidental — it’s only there to illustrate the notion of self-referentiality, and I’m not sure it does a particularly good job at it.
> Taxation is an explicit act that is visible on your paycheck.

You don't have to tax in a hard money environment, you can borrow. That's how wars have been funded in the past. You sell bonds. There's no reason to think a bond market would disappear under a hard money environment is there? You a can borrow against Bitcoin today lol. With 125X leverage!

> Note: personally I do not agree with your hypothesis that we should restrict the monetary tools of criminals. I think instead we should focus on the underlying crime itself

Por que no los dos?

Restricting guns leads to less gun crime. Restricting financial tools leads to less financial crime. Restricting access to bomb-making equipment makes it harder to create bombs. I'm fine with all that.
I feel like a shill by saying this, but I get mine at zennioptical.com
What is the market for less-useful knives that can't stab? I don't understand why this product exists or who the customer is...

It's still dangerous via slashing if it's at all useful for food prep
The article explained most of it.

1) Author wants to use Clojure and is funded by a Clojure organization.

2) Author wants write-once/run-anywhere, which the JVM provides.

3) Author wants live interactive development which Clojure can provide.

4) Author wants multi-core support, and fast runtime, which JVM provides.

5) Author wants a declarative data oriented approach, which Clojure is good at.

Finally, the author acknowledges they are concerned about startup time, but believe their is hope either with GraalVM native compilation support, or a custom Clojure runtime.