skysight-inc/HackerNews huggingface dataset:
> Other examples would be checking liveness properties in the unbounded case, and possibly full Linear Temporal Logic, e.g., <>[]p ("eventually, property p is always satisfied").
I realize this is a tall order, but I think nuXmv [1] already implements some kind of SMT-based LTL model checking, so it should be possible to achieve something similar for TLA+ (or at least a subset).

There are several issues regarding liveness:

1. Afaik, NuSMV implements the standard propositional encoding of lasso detection with SAT [1], which should also work SMT (when we can guarantee that the transition system is finite). While I am sure this is the case for NuSMV, it is a bit of guessing in case of nuXmv as it is available in binaries, and its default license prohibits industrial use. Although the encoding [1] is linear in the formula size, it is still producing a lot of constraints. Unfortunately, practical TLA+ specifications are very heavy on fairness constraints (WF and SF), which are actually expressed as formulas over []<>p and <>[]q. So we first have to make Apalache scale to bounded model checking of safety, before trying it in a much harder setting.

2. Apalache also supports integer constants (under some syntactic assumptions), e.g., one can write \E x \in Int: P. While this makes Apalache quite useful in reasoning about timestamps, such specifications are infinite-state. That requires generalized liveness-to-safety reductions, such as the one implemented in Ivy.

3. Finally, distributed systems quite often require non-standard liveness. For instance, it is often the case that messages should be delivered within a predefined time interval. While we can model these systems by writing LTL formulas, this usually leads to huge LTL formulas, so see point 1. Moreover, some distributed systems have only probabilistic liveness guarantees. In this setting, the benefit of LTL is less obvious than the benefit of safety checking. It may be easier and more efficient to write a liveness monitor by hand, rather than rely on an automatically generated one, which will for sure explode.

[1] Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan:
Linear Encodings of Bounded LTL Model Checking. Log. Methods Comput. Sci. 2(5) (2006)
Yes. My mistake.
note the law doesn't specify if this is by necessity/on purpose - but designing a system which doesn't do that is usually setting yourself up for failure.
I just stopped using it after this shit not Worth the hassle
interesting! Is there any way to embed this anywhere? Once refined it could be used also for support chats (eg you talked with an agent you liked, the way to write him/her again is having the link)
I agree with you, and so it seems that actually allowing completely free speech is not that great of an idea in the end - as if it is banned from a major platform they will form their micro-platforms where they will think they are more numerous, and that their ideas are accepted. So I do believe that Europe see it well, there should be a certain border of free speech
Financial sanctions (mostly just the threat of them) are usually enough to coerce any country that’s integrated in the global market to do the bidding of US lawmakers.
How to be 10x as productive for 1.5x the salary.
>by deceiving unsophisticated members of the public

I don't think they've deceived anyone. It takes <2 minutes of research to figure out that it's a network of financial institutions approved by Ripple controlling their network, as well as their supply schedule details/distribution. Anyone who buys XRP should be expected to figure this out for themselves. The government shouldn't waste tax dollars and resources babying irresponsible people who don't take the time to figure it out before buying.

I can't believe I'm defending Ripple. I think anyone who buys XRP is making a very unwise decision, precisely because the government does ridiculous things like this all the time.

I wish the government wouldn't do things like this and Bitcoin had no use case. But alas, governments will continue to suck.
How does printing money benefit the wealthy? It should devalue the money that they already have, benefitting the poor
The idea won't stop so long as its a useful scapegoat to distract from the exact mechanism you described that creates the real inequality.

Though its worth adding that in a stateless system capital would concentrate and accumulate because ownership is an inherent advantage in every transaction. So its not like having a government makes inequality, inequality is inherent to capitalism and its up to your society how much it wants to mitigate that effect, if at all, or to just make it worse the way the US regularly does via its monetary policy.
China had much more experience with SARS and could understand the risk it poses to their economy and population. With strict government control they can exert and massive resources, they could curb the spread. It's almost comical to look at their total number of cases (80 000) compared to new daily cases today (in USA alone 200 000).
There’s a really easy answer here: you’re all talking past each other.

AMP isn’t just a standard for “fast webpages”. It’s also a technique google uses to embed other pages in their search results, such that:

- Google rehosts the result on google.com (with the same HTTP2 connection you already have open to their server)

- Sites are eagerly loaded in the background even if you don’t click them (making them appear instantaneous)

There’s a difference between “I was sent a link to a site that uses AMP and I opened it” (which may be slow) and “I came across a site while searching on google” (which is nearly always fast.)

AMP-the-standard gives google the guarantees necessary to enable hosting your site inside the google search results. This is why it’s perceived as fast. If you’re connecting to the original site itself, outside the context of a google search (or some equivalent... I know Facebook does similar re-hosting) you’re not going to see as much of a speed gain.

(Side note: if AMP-the-standard was all that it was and the speed gains only came from having less bloated JS and requiring all on-screen elements to have known sizes to prevent pop-in, I’d love it. It’s what google does to it in its search results that I hate.)
This is a very odd characterization! Looking at Turing's 2014 10-K, I see this as a listed strategy:

Focus on developing products to treat rare diseases characterized by severe unmet medical needs.

I also see several preclinical programs and product candidates. You must have missed those. Odd case, very strange.
Printed paper backup in a sealed (=tamper evident) bag in a safe with a family-known code.
The true colors of what you're shooting, the true dynamic range, and the ability to see to edges of the focal plane with greater clarity. What you see in a mirrorless camera has already gone through a great deal of processing to approximate what you'd see naturally with an SLR system.

Which is fine for what it is! If you aren't shooting in a studio, the reduced mass of equivalent lenses with mirrorless systems is a big quality of life upgrade all on its own, for example. But the color representation just isn't there, and it isn't going to be until we get better color in our display systems. It's being worked on, of course, but there's a long way to go.
It seems to me that this does not add a lot of security if you use the same extra word for all passwords.

It probably does add a lot of security if you use a different extra word for each password, but then you can't remember them anymore and you need to write them down somewhere.
It is a British v. American thing.

As with many common spelling differences across the Pond (like -or v. -our, and -er v. -re ), the US spelling is the original, and the current British spelling is a later Francophile affectation, from a conveniently forgotten time long ago (18-19th C), when the British admired and copied French culture.

It is usually computer program in British English due to US influence on modern British spelling in areas of technology, perhaps perpetuated by the tendency of hackers to prefer terse names. You continue to see TV programme and concert programme in British English.

As in many things, the British prefer the principle of pragmatic de facto bottom-up evolution, based on common sense and common usage. So the OED was famously compiled by collecting fragments of real language use. Language pedants in Britain are usually ridiculed, in a similar way to those who fancy themselves as public intellectuals.

Compare this with the French tendency towards dictatorial de jure top-down control, as shown by the Académie Française's specification of correct French. The rest of Europe is similar, see Royal Spanish Academy, Council for German Orthography, ...

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

France also has a thriving industry of respected public intellectuals.

Another example is the British Common Law system based on precedents in case law, compared to strict prescriptive Napoleonic Codes. Britain has no written constitution and no National Day - the Queen's Birthday is celebrated, but it's not a public holiday. Even the name and boundaries are fluid, as the full abbreviation UKGB&NI attests.
The US Army's interest in psychoenergetics (1984) [pdf]
Can you elaborate on why all security will eventually rely on obscurity?
Friend upon hearing of SF Tech companies moving to Austin. 'Poor Austin'
What average? Average in the area? State? Country? Continent? World?

Anyone earning $100 a month is making twice the average salary of Sudan or Afghanistan. But it’s extreme poverty in other countries.

It’s all relative.
You can't be serious. There are more components in an 8-way power seat than there are in a phone.
It’s 2020. Men can get pregnant.
If I remember this well It's one of 2 main components of electronic cig liquid. Not sure what the chemical reaction does to it when it turn into vapour though.
MLOps Is Changing How Machine Learning Models Are Developed
> post anti-Semitic shit everywhere and someone else is going to have to politely explain that Jewish lizard people are not conspiring to elect a Black woman as President

Your actual argument - yeah, sure. All for it. But it is a lot pretend people are anti-Semitic lizard conspiracy theorists if they aren't there to defend themselves. If Reddit wants a more ideologically aligned user-base good luck to them. But this exact scenario has played out many times through history - having a majority culture doesn't magically confer greater moral integrity, or intelligence.
It's arguable that this is the deathrattle of the copyright industry. Theater revenue has flatlined since COVID and it's unlikely that they'll ever be resuscitated. Once theaters go, the cinema industry will have a very difficult time trying to convince consumers that movies are worth full theater price when they're being streamed.
That's not always the case. In the last couple of big printing cycles, the newly created money ended up in financial assets (like stocks) that are predominantly owned by people on the top end of the wealth distribution.
> But we no longer have the right to bear the same arms as the government.

You hardly need it.

You can see what guerrilla forces do to the standing army of a superpower, by looking at Iraq and Afghanistan. They can't stop it, its demoralizing, and even if the superpower kills at a 2 to 1 or greater ratio, the losses are considerable. And in this case that force would be domestic, so all the negative PR/image consequences are radically amplified (your army might kill at a 2 to 1 or 4 to 1 ratio, but every one of those citizens that you kill makes the general population hate you more and brings out more recruits for the opposition).

The US has maybe 12 to 15 million functional, trained former soldiers, many of whom have been to war, they know everything the military knows, they have experience in every aspect of combat, and they have a vast number of arms and a hundred million sympathetic people behind them. It makes Afghanistan look like a cakewalk. A standing army trying that in the US would be butchered, they'd bleed like a stuck pig. And that's to say nothing of the vast internal sabotage and assassinations that would immediately begin to occur and would never cease; it would instantly split the military into factional pieces that would fight against eachother.
> do that by getting rid of money in politics

You forgot how to explain to do that ;)
An analogy: True randomness is uncompressable. If there are patterns, which could lead to compression tricks, it's not random anymore.

Primitive runs like 0000000 are compressible patterns. Other patterns similarly, like 01010101, or 00110001110011. That's why you check generators visually by printing out bitmaps, and ideally by running it through a couple of compressors. Afaik this is not yet done by the 4 most common PRNG testsuites yet, but I'm working on it.
DIA psychoenergetic activity (1985) [pdf]
Wow - fucking tear those shits apart.
jq + bash + (some other cli tools) are very powerful toolset for simple websites that need to act on external data. I've been generating static websites from cronjobs using this sort of workflow for a while now and it works really well. Mainly dashboards and such. I have one that doesn't use jq, but instead sqlite3 to query database and generate the static site content.
Really cool, but my phone currently can't recognize it as a QR code..
I find this inappropriate. Politicians are engaged in political messaging - so it makes sense there - but online, we're engaged in conversation. What you're describing is good at putting a message across - but I don't want to have conversations with people who are simply broadcasting a message in my general direction. It's a form of bad faith communication, same as the weighted question.

These days, I'd probably just not respond to bad faith communication, but I've historically enjoyed being horrible. Unlike a politician, you don't have to preserve your own credibility in the eyes of onlookers, so you can just be awful if you want.
https://xkcd.com/2400/

The data is really convincing even with only around 200 cases. I linked the XKCD comic, but the real data actually looks like that. It doesn't matter much if it is 90% or 95% effective, which might be hard to distinguish with this number of cases. But it is easy to say that the vaccine works in general, even without detailed statistics.

And more importantly, for the question of safety the whole trial with more than 40,000 people matters, and that is a very large trial.
Frankly, I think this view is incredibly popular, and misinformed about the state of journalism. There was a time, about a little over a decade ago where ad-supported journalism was considered the future, and companies like Buzzfeed started to emerge. Companies started optimizing for page views to boost their revenue and the explosion in clickbait happened.

However, even by 2011 Buzzfeed had started to try to pivot to more long-form content hiring the former editor in cheif of Politico.

By 2015 we saw the "Pivot to video" where outlets had identified that this clickbait stuff had really run it's course and were now moving to video as a way to bring in viewers and revenue. Of course that notoriously failed - having cut editorial staff to focus on video production, it was only about 24 months before they were cutting video production too because it produced no revenue. Vox Media cut 5% of their staff at the beginning of 2018.

So let's look at what actually is happening in the news media today: The Atlantic, TNR, NYT, WashPo. All of them are marketing themselves as high value premium products that are funded almost exclusively by subscription revenue. The new media companies that are still persisting with an advertising strategy are bringing their ad-networks in house and attempting to hit scale in a way that let's them compete with Facebook. The jury is still very much out on whether that's viable of whether they end up being forced to merge or being bought out by a large player like Spotify.

We aren't in the death spiral of chasing views anymore, we're very much back in a stable area where high quality content is available if you're willing to pay for it. The problem is that people are still judging the NYT by what they see on Buzzfeed - because they don't pay for the NYT and assume it's like Buzzfeed. It's going to take a while for the reputations to recover but we do need to actually understand the business as it is today.
It is hard to read and impossible to send an SMS on iPad without activating iMessage. I don't understand why this hasn't been considered anti-competitive behavior already. It is completely normal to send and receive SMS messages on Android tablets...
> If the vaccine is only for very healthy 30 years old who typically does not have any covid symptoms then what's the point?

Obviously the point is to vaccinate that group. You cannot seriously be suggesting that at this point, in the middle of a global pandemic, a vaccination is not valuable unless it covers 100% of the population. Right now even a vaccine that would only work for 1% would a a useful improvement over status quo where no-one is immune except previously infected. That said the Pfizer-BioNTech vaccine will work for a much much larger part of the population and potentially allow us to reach herd immunity even if a small part of at risk individuals will not be able to take it. That will be a huge benefit to those people even if they don’t get vaccinated themselves.
Eero 3-pack (mesh wifi system). A used Macbook Air from ~2014. A piano. A shirt of decent quality. A good pair of sandals. Another linen dishcloth for the kitchen.

I can’t remember if I bought any new software this year, but I still pay every year for Evernote. Despite its warts I get lots of use from it.

(^_^)
There is much more evidence for the expansion of the universe than just the cosmological redshift.

Where do you get the idea that it "makes the calculations work out"? You got it backwards. The calculations showed that the universe must expand. Georges Lemaitre found that out. People were skeptical at first and said the calculations don't apply, but when the cosmic microwave background was discovered in the sixties, all but the most stubborn hardliners were convinced that the universe must expand and that there must have been a big bang, i.e. a singularity in the finite past.

The microwave background is basically a picture of the universe when it was a baby. There were no galaxies, only hot gas that just cooled down enough to turn from plasma to neutral gas which later clumped into galaxy clusters, galaxies and so forth. Because the speed of light is finite, we can literally see how the universe looked liked billions of years ago. And it looked hot, because it was compressed, and it looked young, because structures hadn't had the time to form yet. The gas composition also shows only light elements, because heavy elements need to be forged in supernovae. Young stars have lots of heavy elements, far away, old stars only consist of hydrogen and a bit of helium.

The tiny, tiny irregularities that we see in the cosmic microwave background match beautifully what we know about thermodynamics, statistical physics, quantum mechanics, general relativity and electrodynamics to a very high degree. It's marvelous, really.

> the very idea that the universe is expanding makes about as much sense as dark matter

The universe does not care about what makes sense to us. It just is. And the expansion is an observational fact.

On a side note, I find it a bit presumptuous to assume that a layperson knows better than legions of professional cosmologists. These are very smart people who work full time for the better parts of their lives on these problems while you clearly haven't put in the time to understand the fundamentals. They wouldn't come to the conclusions they come to if they didn't think they had merit. You can be curious about it, you can have questions about it (please do!), you don't have to understand it, but please trust experts on their opinion and show some humility and some respect. I'm sure you wouldn't appreciate a physicist who tried to tell you how to design your programs either. (We're known to write horrible software, just look at ROOT.) Imagine some amateur telling you "for-loops don't make sense to me, why don't you use GOTO". No offense, and sorry to say it like this, but it really bugs me a bit.
The wealthy almost never have their money in cash. They have it in assets. Real estate, stocks, bonds, derivatives, etc. It's poor people who have their money in cash
Uh, the new Treasury rules applying the Bank Secrecy Act to cryptocurrency transfers to self-hosted wallets?

Announced three days ago. Public comment period ends right after New Year's.
sory reading that back i meant that Malwarebytes is a real hacker.
> Anime is not the dominant form of media in Japan, and is largely targeted at a relatively narrow age band. Outside of the main target demographic, you're not going to get a lot of familiarity with anything but the very largest show.

The top two highest grossing films in Japan are both anime; Spirited Away and Demon Slayer. Titanic follows at a distant third. Forth is Frozen, which you could argue is basically anime.

I live in Japan, and most anime is not really my thing, but its huge and definitely mainstream here.
> That doesn’t mean there can’t be a higher spatial dimension
> that our observable universe is part of; we just haven’t
> observed it or can’t observe it.

Maybe we can not observe higher spatial dimensions, but we can observe a force that seems to propagate in higher spatial dimensions, thus there seems to be evidence of those dimensions.

Light intensity, gravity, and electromagnetism decay at 1/r^2, which is the same rate at which the area of the surface of an expanding 3D bubble grows. So each unit of light / gravity / electromagnetism could be seen as taking up a specific "patch" of expanding area.

However, the strong nuclear force decays much faster than 1/r^2. In fact, at some distance it goes negative and then decays back to zero. This could be (wild speculation) a force that propagates in many more dimensions. And it's not the only force that does this, the weak nuclear force also decays much more rapidly than 1/r^2 with distance.

I'm not a physicist and I would love nothing more than to hear what holes could be punched into this hypothesis.
I'd like to see a rundown of the total estimated costs per live tree in 5 years...

I suspect this approach will end up costing a lot more than just throwing a sack of seeds out of a plane, or hiring minimum wage workers to plant saplings.
The marginal cost of an additional course of the drug is negligible. What makes you think Shkreli would have ever withheld it from the uninsured? Lust for death? That'd be an odd quality for a pharma guy, he'd be in the wrong profession. You're thinking maybe mortician or mercenary.
Yes, been doing this since they changed the site on mobile. As well as being easier to read and scroll through, it's far, far faster to load pages
Test Driven Design is becoming popular: it's basically writing tests before the code, so that it's also clearer to everyone involved qhat should that code do...
A Functional Architecture Demo
So, it was the donuts?
SAP Commerce (Hybris) interview questions with answers – Part 4 Configuration
same here, I hate rebranded reddit look and still using old one
DARPA contract for glow-in-the-dark bacteria that detects landmines
I think that your actual question is different from the title of the post and people seem to be responding to the title. The two questions are:

- how do you deal with knowing that you're on either of the far ends of tech salaries? (calling this financial inequity is a stretch)

- how do you feel about financial inequity in the general sense? (this is a much bigger societal/economical/political question and the division really isn't between the lower and higher paid tech workers)
Active Kernel Releases