skysight-inc/HackerNews huggingface dataset:
You're confusing docker with java.
I agree, which is why rosetta is irrelevant here.
Even more grim: a world where we lose touch with death and suffering and start treating them as grim and unnecessary.
> The propositions that are undecidable are NOT AT ALL connected to the propositions that are independent.

I'm not quite sure what you mean by undecidable propositions, but I assume it to mean something like the following?

Propositions which must be true or must be false (i.e. are satisfied/not satisfied respectively by all models which satisfy the overall theory), but for which there is no finite proof that they hold.

In contexts where Godel's Completeness theorem (not incompleteness theorem) holds undecidable propositions are exactly independent propositions. The two are one and the same. This is in fact an equivalent restatement of the Completeness theorem (which holds for contexts involving most common mathematical theories such as ZFC and Peano Arithmetic). In fact in such contexts, statements such as Con(PA) which is informally "the axioms of Peano Arithmetic are consistent" are in fact independent propositions and there are models of Peano Arithmetic that satisfy both Con(PA) and Not(Con(PA)).

What about contexts where the Completeness theorem fails (e.g. the second-order equivalents of those theories)? For example, what about CH in second-order ZFC (which is categorical under full semantics, i.e. has no independent statements and only undecidable ones?). In those contexts independence gets weird, especially in the way I think you're using it here. Usually we say that if a sentence s is independent of theory T then both s and Not(s) are consistent with T. However, consistency is phrased in terms of proofs. That is s is consistent with T if there is no finite proof in T of Not(s).

So if there are statements that are undecidable, but not independent (on the other hand all independent statements must be undecidable, although their independence may itself be decidable), we are effectively saying there exist consistent theories which have no mathematical model that satisfies them.

But this is a very weird way of doing mathematics (which is why most logicians are wary of using systems where the Completeness theorem fails to hold as foundations for mathematics). In particular it means that simply showing that a list of axioms is consistent is insufficient to allow its use. You must appeal to some other force to show that your mathematical theory is "valid" and allowed to be used.

But that's not a bar that modern mathematics tries to clear. Modern mathematicians do not try to justify the "validity" of mathematical theories beyond showing (or assuming) consistency.

For example, mathematicians generally don't hem and haw over whether the complex numbers "exist" in some real sense. They just show that they are a consistent extension of the real numbers and move on and use them.

To take a step back, the assertion that there are fundamentally undecidable mathematical propositions in the real sense you're laying out (as opposed to more formal treatments of truth in model theory) is a statement of the Platonist school of mathematical philosophy. Which is totally fine, but it is a statement of philosophy at the end of the day, rather than one of logic.
Hmm, I think it's the same still. Go doesn't have type heirchies, but you can "catch" (recover in Go parlance) any panicked value. It's exactly equivalent, no?
I don’t think regulation of drugs works.

If you want to post every detail of your personal life on social media and suffer the consequences , you have a right to .

Basically I don’t see anyway to stop people from hurting themselves via social media without violating their rights .

If I had a magic wand I’d essentially ban all social media/ dating apps. I personally see more downsides to these platforms than benefits. But I’m not a king . I can only control how I decide to spend my time
Better to meditate.
Checking the DKIM key doesn't prove anything with certainty - the keys could have been leaked or stolen, or the mail server hacked. Or, the operator of the mail server could even forge the message. Many possibilities.

The purpose of DKIM is to help prevent spam, not to verify the authenticity of the sender.
Only if you ignore that it is the language design that encouraged the choices in the offending codebase that the author laments having to change.
The phrase “otherwise objectionable” is so vague that courts have basically interpreted it to mean violations of community standards, or basically whatever. I’m no fan of any kind of political censorship, but they do own the servers. They’re under no obligation to host any content, and we’re all free to go elsewhere.

That said, I think most of their moderation is awful and their fact checking is ridiculous at best.
Ask HN: I trying to build a new social media
I have been jobless, courtesy of corona, for some months now. For the first, I actually went on my social media and “sanitized” it before I started my job hunt.

Since then I have been mentally snacking on this: This used to be fun but now it's all about policing and extortion, and thus I have been working on something. The idea is:
“I want the things I post to be safe from abuse, be ephemeral, be anonymous."

I cannot elaborate in 2000 word limit, but this observation, without letting it turn into a something-chan, leads to a set of rules:

• All users must be verified with a strict measures

• Users should be able to make any number of usernames

• Everything a user puts out must have an expiration date upon which the content will be deleted.

• The only data that the engine needs is that which verifies their identity — every other piece of data is at most ephemeral.

• Under no circumstances is a user allowed to take a screenshots

Rules like these and others, are what I am trying to build this engine around. I don't want privacy and anonymity to be an afterthought. I want to allow people, and myself, to be wrong and be forgotten and be forgiven.

There are a lot of dimensions to this and I am thinking of expanding this. I am gauging interest to see if people are willing to join the platform as users (or to join me in future development(non-binding of course)). If this sounds interesting to you and you would like to give it a spin when its out, please leave your email with me at this Google Form:

https://forms.gle/VrLCNzrikSdzGEYq7

Cheers!
They do, the owner or someone with “works here” goes down to the station to register them; if they are a hotel they’ll be able to fax/scan it to the PSB. It isn’t self service.
Additionally, this breaks completely if another authorizer than RBAC is involved.
I guess most people use it for getting access to content restricted for different region in video streaming services.

When you consider person that regularly watches Youtube they might be interested.
The percentage rising could be a big indicator of things starting to go bad. Here in Czech Republic the percentage was around 4 percent for a long time and things were looking good - tens maybe a hundred cases a day, couple hundred dead. Then in late summer/early autumn it started to rise, crossed 10, then 20 and went up to more tan 30. At that time there were 15000 next cases detected daily, hospitals under strain and daily deaths above hundred.

Preatty drastic measures have been implemented (non essential shops closed, nigtly curfew, restaurants takeout only, all schools closed, mandatory masks in all public spaces) and the numbers are going down to about 2000 per day most recently.

The measures seem to have been effective, but a a cost of about 6000 more dead - and more can be expected due to the inherent delay.

So for that reason, percentage of positive tests really should be watched carefully.
There's an impolite term for someone like them in politics. Ratfuckers. https://en.wikipedia.org/wiki/Ratfucking

Yelp is ratfucking the entire tech industry.

When the post dot-com wave of consumer companies arrived, they found a market that was more likely to trust them - the scrappy underdog - than the big, evil corporation. They were a breath of fresh air. A needed change in a stale ecosystem.

Jon Favreau said he based Iron Man off of Elon Musk. Tech was cool. And more importantly trusted.

And then Yelp & co arrived. Uber at least had the decency to start out by screwing over the competition. They did their best to avoid screwing over the customers. But Yelp? Yelp doesn't give a fuck.

They're ratfuckers to the core, and they'll torch everyone and everything if it helps them get a quarterly bonus.

Or, so I've heard.
I like psql, however DBeaver ( https://dbeaver.io/ ) offers a more direct way for me for various tasks.
That screenshot shows a full Linux VM running on the machine using Parallels. That VM then has Docker running inside it. Docker for Mac isn't involved at all.
Contract tracing is more likely to identify sources of infection when the people remember being in the same room with someone who had symptoms. This is also why public transport is virtually absent as a infection source in contact tracing data, but private parties are very prominent.

From what I've heard, virus concentration in the upper respiratory tract (i.e. where the aerosols come from) peaks two or three days before symptoms start.
See, the problem is that I don't know of a simple way to actively discourage those who spread lies and disinformation, without also actively discouraging those who spread truth that most people don't yet agree with. I'm not really OK with unpopular truths becoming collateral damage in the war against lies and disinformation.
This reminds me of my time at Virginia Tech (recent grad here). Those of us on upper quad never locked our doors. This had apparently been a thing on upper quad all the way back to the start of the university and that only changed when we moved to the new buildings with electronic locks. I'd say once we moved into the new dorms 75% or more of us were jamming the doors/locks so that they wouldn't lock. This only really started to change after "the adults" started reprimanding people for refusing to lock their doors (There were concerns about ability to compartmentalise/hide in an active shooter situation as well as potential fire safety issues).

It was a really unique and pleasant experience. So much less stressful being able to completely trust the people around you. It's a shame that the tradition has started to die out.
Too black and white. You need some measure of general population health, ICU capacity, access to affordable healthcare, etc to compare two populations' strategies and effects of covid. Any of these and more could easily be a confounding variable.

Covid may not have produced excess deaths so far in Sweden compared to US, but maybe they have better work from home and thus fewer car accidents compared to a larger portion of people driving to work in the US.
Don't forget the $4m exit package.
Coughing at 10,000 feet is completely harmless. That sort of turbulence/condition is an unviable transmission vector for a virus as it reduces the PPM beyond effectiveness.
What most tourists don't know is that the hotel has to be registered to accept foreigners. I don't know if it's an issue any longer, but some foreigners found out the hard way after booking accommodations through Ctrip.
These chip come in a ceramic package, so decapping is a simple matter of tapping along the seam with a chisel. If you want high-quality die photos, you'll need a metallurgical microscope, which shines the light down through the lens. I got my microscope on eBay. Once you have a bunch of die photos, you can stitch them together with a program such as Hugin.
Yeah but that suffers from the problems already mentioned - an employee doesn't fire themselves.
The point of docker is to bundle all the dependencies of a given application into a single place.

That way you don't have "works on my machine" problems, because both prod and dev are clean virtualized identical systems (containers)
This could be stored on a computer now, though. But numbers can be fudged.

Taiwan had an interesting way around this with a receipt lottery. Ask for a receipt, it has a number on it that enters you in a lottery. Presumably the generation of this number means the sale was reported.

https://guidetotaipei.com/article/taiwan-receipt-lottery-%E7...
Running the same image on dev machine and prod was an illusion brought by the fact the underlying architecture was the same. It’s not reasonable to expect images to magically be cross-architecture.
We are just going to have to disagree on the wide-spread viability of the storage mechanisms and political / market reaction-time here.

However I hope I at least demonstrated that it is not always a case of "So they're still trying to make that argument now despite there being better options because they feel wronged."
AFAIK most Italian milk is UHT treated, yes.
>growth of people and societies is proportional to the number of difficult conversations they've had, either with themselves, others, or as a society

So eloquently stated. Undeniably true for an entire society to grow emotionally, spiritual and mentally. We need to elevate the entire society thus education both academia and emotion IQ needs to rise. Just look at the current state of affairs in this country; USA. The division is so very sadly clear. Stating facts is like explaining quantum mechanics to a 1st grader.

Kool judo practice but little intimidating for lower belts or you all were equals? That makes more sense.
> It would be great if mods edit the title. There's no mention of "Wouldnt wish this on my enemies" in the post, yet @bheni has added this to the title while posting to HN.

Sensationalization has started slowly creeping into HN unfortunately.
I don’t think that definition is right. Nobody will argue that Apple isn’t a tech company, and the iPhone isn’t zero-marginal-cost.
I, for one, blame this on the popularity of disco in the 1980s. I blame a lot on the popularity of disco in the 1980s.

At the time, you would always notice the platypuses casting a jealous glance (with their beady little eyes) at their flat-footed friends with their “Disco Duck” t-shirts.

At least with their “platyglow”, as we called it, there was less of a chance of stepping on them while dancing under the UV concert lighting so common in the 70s and 80s...

And so why is this on HN?
cDc be takin over
Look again - Docker for Mac control panel is clearly visible and "running" behind the VM window.
> What would you consider a bad engineer? Are we talking about the utterly hopeless or those who might only have an attitude problem?

Those categories aren't necessarily disjoint. There can be many aspects, many of which are described in the paper. But in my experience, one of the more pernicious combinations is the sincere belief that one already knows nearly everything worth knowing, coupled with a complete lack of curiosity (or perhaps it was merely utter laziness).

When that happens, a person stagnates. In the case I saw, a person with decades of experience was effectively performing only marginally better than someone who had just begun their career. The major difference being that a person who has just started is often well aware that they have a lot to learn. Or even if they're not, if they're curious then there's at least a good chance that they will figure that out in time.
There are a few others beyond Microsoft and Apple.

Intel has made a huge amount of money from China.

Google's Android positioning in China has made it a lot of money as a defensive position for the rest of Asia. By conquering China with Android, it delayed the inevitability of China having their own domestic dominant mobile OS (which will push into other countries in Asia as well at least, harming Android elsewhere).

And while not in China, Facebook makes a lot of money from China.
Slightly pedantic point: In the case of C#, not observing an exception (i.e. catching or thrown by another thread could kill the whole program before .NET 4.5. But this was pretty easy to guard around in various, even easy (if sloppy) ways.
Even in the 80+ population most people are okay. A sample of four is not big enough to see the catastrophic effects even fairly small hospitalization numbers have when millions get infected.
> You're missing the point. Obviously, you can write your application in Cython and have decent performance.

"Decent" is a weasel word, which suggests that the performance hit of following this approach is tolerable or acceptable. Sometimes it is, sometimes it isn't. It really depends on where you place the glue code, and where you expect the hot path to be.

In the case of a self-described "Redis clone" which ends up being Redis itself glued back together with Python, I'm not sure you can make that case.

> The entire purpose is to demonstrate that you can build a reasonable performance application built on high performance libraries and stick with idiomatic Python code.

I'm sorry to say but that isn't much of a demonstration. I mean, Python is already widely used as glue code to hold together high performance libraries, and it's already widely known and understood that gluing together code with Python brings in a significant performance hit. And that's ok, because people do it as a tradeoff between performance and some other kind of value-added.

But in this case I fail to see what value-added is being proposed, other than the personal portfolio side of things.
In languages with pattern matching (which I assume Elm has, although I've never used it personally, it's very natural.

A portion of a binary tree walk in pseudo-code might look something like

match (s.left){ with
Some x -> recurse(s.left)
Nothing -> pass
}

Basically the difference is that it forces you to deal both branches (In a typical pattern match, you either need to explicitly handle all subtypes, or have some sort of catch-all/default case) and it makes sure you can't call the "do something" branch when you actually have nothing.
i couldn't find the exact chart i saw earlier today, but here is a weekly comparison against the past 5 years:

https://ourworldindata.org/grapher/excess-mortality-raw-deat...

without some context and understanding, it raises more questions than it answers. like why the spike in deaths every februrary?
Windows 10 is now nagging users with full screen Microsoft Edge ads
We run k3s in production. With spot instances and all that jazz.

I like the fact that I can run the same stack on my laptop and the cloud
I really hope progress can be made.

Economics, for instance, has been stuck since Marshall[1] in Newton's method of fluxions/ Liebnitz calculus. (Well, their elaborations perhaps. And leavened with a little game theory. Probability and statistics have contributed nothing significant to the core theory.)

Economics has been crying out for a better mathematical foundation since the 1960s at least.

1. https://en.wikipedia.org/wiki/Principles_of_Economics_(Marsh...
Another useful command that's missing is `\o filename.txt`. The next query's output will be written to the file instead of stdout. \o again with no arguments to turn it off.
haha yes. so true. common theme for sure. Humans.....suck.
Oh yeahh..my guess is that was fake. More so considering that the development kit released back in June didn't even support virtualization, making both Parallels and Docker impossible to run.
There is no way to allow the verification of a death threat message without also allowing the verification of political dissidents, for example.

Yes, it might make it harder to punish death threats, but privacy is too important to sacrifice.
Not when they are already in use and had all patents expired. Example, MPEG 2, MP3 and AAC-LC
> Take the theory of the natural numbers with the new symbol "Special" and the axiom "there exists a number n such that Special(n) holds." In every model of that theory there will be a concrete n that is Special (say 6). However, the theory will never be able to prove that a specific n is Special, precisely because it is under-specified which n it is.

Hmm. So which n is special in the model that you get from the model existence theorem? Doesn't it all get somehow equivalence-classed away?

> No in conjunction with Godel's completeness theorem, the incompleteness theorem would say rather that there is no theory that is strictly only the "full" version of arithmetic. Any theory will always be too broad and have too many models that satisfy it, only one of which is the "usual" model of arithmetic.

Sure. The point is that there's always a gap between the theory and the model, an "implementation-defined" part of the model.
DOSBox Is Getting a Fancier, More Modern Version
There were also some exemptions for the need for social security numbers so it's possible they could need one at some point.

(from memory this only applies to grandfather in groups like the Amish who are also required to provide their own form of 'definitely-not-social-security')
Same. Haven't heard anything bad about this in particular, though the scores seem quite inflated so you want to see at least a 4.x around here to bother reading the review text in most cases.
Most production code is application code that is just good enough to work in the one setting where it's deployed.
Does anyone else notice the free association going on here?

Trump people dispute election -> we're mad at disinformation -> we remember that time disinformation was blamed on Russians -> a pennsylvania judge issuing arrest warrants for foreign propagandists.. registering a domain name improperly

For god's sake, we have billion dollar presidential campaigns and 100M dollar senate campaigns. The disinformation is on us, and a couple mickey-mouse websites pale before the resources we have. If we don't take responsibility and learn to deal with it, we'll just keep getting owned.
The golden age of buffer overflows starts with Mudge.

L0pht also predicted the offensive potential of BGP black holes.
Dynamics. MIDI has volume, but that's not all there is.

Legato vs detache. Articulation.

All sorts of esoteric annotations, e.g. "Fire the cannon!", or "Release the penguins."
Wow -- I did not like reading this absolute mind cruncher after a long day.

I thought it was real. ;)
Ah fair enough. I meant it to be a reply to temper xyzzyz's praise of the article with what I perceived to be minor flaws in it, but such is as it is.
I think it's perfectly reasonable to take a non-absolute position here. You can want a somewhat functioning, somewhat effective police force, but not one that is more functioning or effective than the one we have in reality; or, in fact, you can want one that is less functioning and effective than the one we have now, without being completely dysfunctional and ineffective.

(One could imagine a police force that is effective enough to stop murderers, but not effective enough to stop dissidents. Such a police force would be more useful for a society that wants no murder than for one that wants no dissent.)
I use Docker for Mac every day and didn't even know there was a GUI.
To quote the PR from the time:

> Dave joins Airbnb from a 17-year career at Amazon, where he was most recently Vice President and CFO of their Worldwide Consumer Organization, which is responsible for all of Amazon’s global website sales including Amazon Prime and subsidiaries such as Whole Foods and Zappos.

For someone like that, you pay whatever you need to pay.
Sigh. It was the first thing that occurred to me.
Court of one country convicts citizens of second country for crimes in third country. A bit of a reach if you ask me, similar in ways to that biological WMDs threat from Iraq.
Most of the Raspberry Pi trials I see end in lots of $100/hr developer time spent waiting for a $10 device to finish being slow. Or, worse, inflicting that experience on customers at a demo booth. It's not an attractive look. A high quality ARM desktop experience could change that.