skysight-inc/HackerNews huggingface dataset:
For what it's worth. The conference this talk is held at is given an interesting connotation when read in a combination of English & Dutch. Use in English being Use. And "Nix" can be read in Dutch as a short-hand/homophone for "Niks", meaning nothing. It sounds kind of forced when explaining it like this, but for me (and I'm sure for other Dutch people frequenting this forum) it's quite natural to interpret it as such. I.e., the conference name can be interpreted as meaning Use Nothing, which seems to be related to/reinforce the topic of this talk.
I am not sure one would count it as “production”. But I am pretty fond of Racket whenever I want to develop a quick-and-dirty tool for one of the persons in my lab.

The performances are meh (correct for a script language, but not much), the standard library is very large, it is portable, the integrated GUI and plotting facilities are absolutely priceless, and the ability to generate a fat ELF/.exe/.app for all of the three platforms is priceless.

Sure, distributing a 100MB executable is not something I would envision for a largely distributed software, but when hacking up (on Linux) a quick GUI tool for my lab colleague (on Windows), the advantages more than compensate for the drawbacks.

And I like LISP/Scheme languages, but that's subjective.
Notations, symbols, terminologies and words are cheap in math. Most math text/books actually have a page or two explaining what each symbol stands for in THAT particular book. What counts in math are IDEAS. That said, a good entry point into the world of mathematics is Book of Proof by Richard Hammack [0]. It's free.

https://www.people.vcu.edu/~rhammack/BookOfProof/
What they enforced, for a short period, was not so much that you had to use your real name, but that you had to use a name that didn't sound unusual. Having an unusual real name could get you blocked, whereas a common sounding fake name was okay.

Eventually they realised this was stupid and stopped enforcing this. It was probably their earliest misstep, but hardly their greatest. The forced integration was far worse.
You seem to be propagandized out of your mind.

The current Iranian regime is there BECAUSE of Western meddling, it would not exist otherwise.
You also need to realize that the Gulf states sponsor terrorism to a larger degree and are our allies, so it's not about that.

The U.S. supports 75% of the world's dictatorships.

It simply wants control of Iran's natural resources, same goes for Venezuela, where the opposition isn't really any more popular than Maduro is and also rather violent.
For complex positions, go to local meetups. Just talk to people about what they do, and what they're doing. Just tell them you're "in technology" to be vague at first, and avoid any spin on their part. Ask every contact if they know of people doing complex software in the area. You could also cold email recruiters.
I’m going to have to read this book. Thanks for mentioning it.
If you're sharing a large van with others, it absolutely can approach cheaper.
Ha, well, sort of.

For better or worse, Yerevan is certainly becoming more cosmopolitan in the center. A younger part of the diaspora that never lived in Armenia seem to be spending time in Yerevan, with capital to be able to open the likes of wine bars, coffee shops and fancier bars.

The piece talks about wine but it's not as if booze from the region had a poor reputation before. Armenian & Georgian wine, Armenian cognac, all pretty reputable in the region.

It's not the wine, it's the _wine bar_ that's different here. History seems to be littered with change that occurs when thinkers, talkers and dreamers can meet openly in public.
My company is using Alpine on (at least) 6 kubernetes nodes in production. I'm happy with it so far, but we're just running a java app (albeit high traffic).
The last time I lost all most of my data was when I tried upgrading Ubuntu to the next major version using the upgrade manager in Ubuntu.
I thought that since the UI was so friendly looking, it must be the safest route. WRONG. It was the second time that I trusted Ubuntu's UI for doing something critical. Never again.
Now I always back up all the files I need onto an external drive and then I install the OS from scratch. Only trust the command line.
It's not the jobs I'm worried about; it's the housing. Where are we going to put all these people? SF already has the median home of around $1,000,000. Pro immigration policies will just make it worse.
silly article, verbose and lacking in substance. I understand this is written by someone with limited understanding of the field or someone who is pushing to undo PR harm that facebook suffered lately.

1. the author fails to even mention onavo, and the breach of agreement between facebook and apple

2. the author is making a strong link between Apple's ability to control applications distributed on its ecosystem as a monopolistic power

3. "pro-privacy Apple would likely recoil at the prospect of more companies following in Facebook’s footsteps and seeking root-level access of customers’ phones, even if those companies were paying people for the privilege." - tihs is the most absurd conclusion I have read. I am glad Apple took the stance it took, and does not allow social media assholes extract your private information.

The verge used to be pretty good around 2013. The closer we are to 2020 the more idiots attempt to be 'editors', like Casey Newton.
> I guess things might be a bit tougher at the base where they house the American nukes.

Regarding nuclear facilities, that reminds me of story on juridiction between an US Marshal and the security personnel of nuclear facility.

http://www.funraniumlabs.com/2018/09/the-fringes-of-regulati...
I can confirm/agree with that.
>> It's the idea that less aggressive individual were naturally selected, partly via sexual selection of the males by the females, partly by pruning of the most violent individuals by the whole group.

Not buying the notion of females selecting more docile males. Women almost unversally tend to be attracted to alpha male characteristics and often get into trouble chasing that type of guy. The ones who want more docile men are often those who got burned by someone at the far end of the aggression spectrum. This is a form of selection, but it's not a mechanism that would change females natural preferences.
Let's keep this straight:

Saudi Arabia is an ally because, and for as long as, they happily do their oil business in USD, which does a lot to underpin the USD as a driver in the global economy as a whole.
I wonder if I will get the + operator back on search, since it disappeared searching became a huge pain in the ass, only reason I still use Google search is because is default everywhere....
I think a large part of the problem is that Japan is experiencing generational shrinkage. It doesn't matter which way you slice it, when people over the age of 65 make up 1/4 of the population and many need significant care it's going to be impossible to do so without redirecting a sizeable share of their economic output to elderly care. Taxes are just an indirection for directing labour towards social projects so they're not inherently able to overcome constraints like this.
Ask HN: Review my startup
A service using which you can get your essays, articles, blogs etc proofread for as low as $3.
Checkout the website: https://hammadn.wixsite.com/theproofreaders
Events and hangouts were a magical combination on Google+. Perfect for organising online RPG games (G+ was very popular among roleplayers). People were really angry when they killed that.
Some NICs are able to dump data directly into the (L3) cache (DDIO on Intel), so either the L3 will have to be encrypted or the IOMMU needs to contain the crypto functionality.
Given that I was conceived in the back of a 50s Chevy by teenaged parents, my guess is that there wasn’t a whole lot of big picture thinking going on at the time.
No mention of offsite backup. Article could have stopped there.

More subtly, he is the epitome of what I call "cowboy programmer/sysadmin", who doesn't really know what he's doing, just always improvising the next step based on minimal research. Which is fine and productive, until you are dealing with critical data/systems.

I've witnessed so many times during my career this kind of people royally fuck things up with this "I'm a terminal God, of course I'm doing it live on production" attitude.

Everybody I know who used hardware RAID for their personal setup ended up losing their data EVERY SINGLE TIME. Hardware RAID has zero tolerance for human error, it's like the Suicide Linux distribution.
> for Israelis act in self defense

Are other people/nations also allowed to 'act in self defense', or is it only Israel?

> Now get fucked.

Well, I guess you won the argument.
The introduction made me hope for real advice on how to "stop stopping", but it only repeated the old arguments on why we want tests. Why not deal with some of the real problems that actually prevent people from writing automated tests?

Real-world example 1: The system being developed talks to external system X. We don't want tests to litter the production database, especially since it's about accounting and we would get into legal trouble for that. However, there is no possibility to open a test account on the production system, and no budget for a license for a test installation
of X. The main troiuble with X is that its public API (web service) changes from version to version and there is no useful documentation about it. How would one write
integration tests for that?

Real-world example 2: How would you write tests for a system that has its requirements unspecified, even on a very coarse level, after the deadline where it is forced into
production by management?

I'm pretty sure that both examples happen in other places than the ones I've seen them, too.
The Topos theory example is completely wrong though?
> For example, if E is the topos of sets, then the slice category is the category of pointed sets: the objects are then sets together with a function selecting a point as a “base point”.

There's no object X where E/X is pointed sets. If you take the co-slice of a one point set 1\E that would be the category of pointed sets.

The right way to think about E/X is that its objects are "families of sets indexed by X", because a function f : Y -> X defines for each x in X a set f^{-1}(x). If you know about dependent types, this is basically a type dependent on X.
Any technological progress in health tech worsen disparities, because when it's new, it's expensive. The more the tech is ground breaking, the more the disparity because the effect is so drastic for the money.

Doesn't mean we should not improve health tech.
Reading the transcripts from the board meetings is a pretty bad time, but it reminds me of the board meetings in my neck of the woods. It sucks.
Currently working with DrRacket 7.2 on Mac OS X. What bugs me is that everything becomes unresponsive while executing heavy stuff or code that does not terminate. The stop/kill button usually does nothing and force-quitting the app is the only option. I tried the latest Racket-on-Chez build which seems much better in this regard, but is over-all rather sluggish. Hope this will improve.
A helpful reminder that Britain leaving the EU and Britain getting a 'deal' with the EU are two separate (but related) events.

Britain triggered Article 50 and decided to leave the EU. There's no deal necessary. From the EU's point of view (and a legal one), this isn't a negotiation, just a (sometimes less clearly defined) bureaucratic procedure.

There is of course the question of what Britain's relationship to the EU will look like after Brexit. And it is the EU's responsibility to negotiate a deal which makes that relationship as beneficial for EU member states as possible.

It's simply not their job to care about Britain any more.

Another point worth remembering is that several EU countries don't really have a significant trading relationship with Britain. Imagine if Britain had remained in the EU and Austria was negotiating a 'Brexit-style' deal, for example. How interested would Britain really be in whether that deal was good or bad?
Why MongoDB is the most popular NoSQL database today
> P(cancer | positive_mammogram) = P(positive_mammogram | cancer)

Sorry if I've got this wrong, but does this line say that we're assuming the probability of someone having cancer if they've got a positive mammogram, is the same as the probability of them having a positive mammogram if they've got cancer?

As far as I know, the first one would be the Positive Predictive Value (PPV) of the mammogram, the second one would be the Sensitivity of the mammogram.

They're related but not usually the same. The PPV would change depending on the prevalence of the disease (go up as the prevalence goes up), but the sensitivity would remain the same.
Your assumption that this is only a problem on the left is completely baseless. The right likes to use the freedom of speech argument when they feel it works against them, but they also support scare tactics to suppress the speech (and votes) of minority groups often with the support or tacit acceptance of the government.

It doesn't appear that the right even understands freedom of speech. Freedom of speech does not mean that private organizations cannot censor you, it means that the government cannot censor you. Further, freedom of speech does not mean freedom to espouse hateful views, advocate physical violence (as you said), or cause false panic (whether you yell fire in an airport or yell conspiracy theories on the radio). If you believe that we should have open platforms on the Internet free from the censorship of Internet giants, then that is a different issue than freedom of speech.

It's not that the left dislikes freedom of speech, it's that the right has twisted the meaning and use of freedom of speech to promote hate, conspiracy, and fear. I recommend you check out the Paradox of Tolerance, and idea put forth by philosopher Karl Popper.
Unlocking Growth with Data
A CodePen alternative, that fits inside of a bookmarklet
This really sounds a lot like the alarmist propaganda spread about migrants in other countries.
Either a Google service is free and advertising supported or you need to pay for it and it's free of advertising and analytics.

People will still complain.
You have to network. The easiest way to start is finding stuff that is fairly local to you, and then build out a portfolio and get recommendations. It always boils down to connections to people.

If you are in the U.S. it is not possible to make a living wage on Upwork or similar, so you need to network to find your first gigs. And even after that, the more you network the better as it will only build up the network of contacts.

What most freelancers fail to realize is that freelancing is selling yourself as a product, and the only way to sell is to be verbally talking with humans, not just sending emails/sms etc. What I have seen most new freelancers do is exactly what you describe, they get a gig with their last employer or maybe a couple of employers back but than they fail once that contract is over because they never networked. The lucky ones get a recommendation or keep getting work from their old employer, but to me that isn't freelancing, that is being an employee with no benefits and usually it isn't a great deal for you if you do the complete math.

The rule is you should be lining up your next contract while you are working your current one, always be networking, always be finding the next gig before you need it. I used to keep them 2-3 deep so I would always have work, otherwise you wind up in a feast/famine mode. For the initial stages it will be feast/famine so learn to live on way less than you are taking in and you will be fine. This works whether it is just you or you have a team. But the key is not to get into feast/famine long term, otherwise it is a very hard life.
There's nothing to review really? It's 3 sentences of text and a link to an email address.
Huh... thanks for the advice. Sounds like you might have a warranty claim there?

(YMMV depending on which country you live in I guess)
The ability to grow food in the country has pretty high strategic value. If you let your farmers go out of business your country loses domain knowledge in farming.
>I do wonder, though, whether the memory remains protected against adversaries who can put rogue devices on the PCIe or UPI buses; it seems that these would be able to get decrypted data.

is that an issue when you have IOMMU?
what about the idea behind it, mtmail?
According to Carbon Brief traded goods are 22% of emissions. 78% isn't "pointless" and there are things that can't be offshored like driving to work, running your fridge or heating your building.

That said, I agree with the trade system accounting for CO2 emissions.

https://www.carbonbrief.org/mapped-worlds-largest-co2-import...
A standard state machine with no memory (other than the current state) is equivalent in expressivity to regexes (in fact regexes with back-references are more expressive); even if the state machine is non-deterministic.
The article seems to say two contradictory things:
A) Axioms are not truths, so G's theorem doesn't mean our ability to grasp truth is limited.
B) G's theorem does not imply the human mind is outside of axiomatic systems.

Isn't it the case that if B is correct, then the mind is contained within some axiomatic system, therefore A is wrong (i.e. our ability to learn truth is indeed limited by G's theorem)? I do not see how both A and B can be correct at the same time.
Yeah, trading with a fascist regime must be good.
VimConfig – Sane and Simple Vim Configuration
They shouldn't have tried to make it defeat FB. They should have let it be its own thing. For a while, Google+ was far superior to Facebook or Twitter, even if less people were using it. They should have stuck with that.
Imagine Nation Learning Center
Switching to Discord
I think what changed is less access to consumption, but access to making your own. When you wanted to host your own community, you need a domain and a server and some technical skills. That was a much higher bar than you need to create a Facebook community. That's ultimately what made the internet boring. Every special interest group used to have their own hand created websites that were a labor of passion. Now it's just another Facebook group or sub Reddit.
I don't understand how that would prevent the US from sanctioning those banks and companies that trades with Iran? Regardless if they traded through the described mechanism.
>Guess what, we'd get a lot more overseas clients as they wrestled with the labor shortage abroad.

So exactly when is it that India is going to become a major client? You seem to think that a country with high unemployment or underemployment that exports a portion of their workforce won't quickly absorb that "shortage". That's a pretty poor assumption.
Most of the cost of operating a car is directly proportional to the usage of said car. Some costs per unit distance go down, some go up. In the end, if you need a car daily there is almost no way a service will work out cheaper.
Marvel's Stan Lee gets hero worship at Hollywood memorial
Money is one of the issue pointed by this article... Maybe not print money, but we can get some with, let's say, fighting tax fraud ?
Cigarettes are a flawed analogy. There is no such thing as a "healthy" use of cigarettes. But I would argue that smart phones can be used in a healthy way.

And I would also argue that the phone itself is not the problem. The problem is the reliance on the endorphin hit that comes from a new IM, like, post, etc. Some app makers have optimized their platform for engagement and have consequently made this highly addictive for many people.

But this addiction is much easier to break for most people than an addiction to something like say cigarettes (or even sugar).
I've found camelcamelcamel wasn't able to track a lot of items on Amazon. For anyone looking for alternatives, keepa.com has been what I switched to over a year ago.
Well it's true that he works for Facebook, and I found his comment a bit rich coming from someone who now works there. But I admit it was a dumb comment to make.
As far as I can tell, the data breach is merely an excuse to pull the plug. I don't think anything remotely serious was leaked, certainly not in comparison to Facebook or other leaks.
By that logic, you couldn't have had connections to friends and family who lived not-near you before social media, right?
Propaganda the Formation of Men's Attitudes by Jacques Ellul
Yes. But put ON your tin foil hat for a second.

I think the West wanted the missile to be taken. Handing over old missile technology is pretty ingenious. If your adversary actually pulls it off and copies it, they will have a 5 year old missile. Having an old missile on your warplane, while flying against the latest tech was a death sentence. This was different than say, nuclear technology, where having a 5 year old model was still extremely dangerous.

Also, being handed old tech sucks up all your engineering resources. An analogy would be reading vs writing code. Reading code is x10 more difficult, fraught with misconceptions and inability to expand the tech.
A file with less than 1k lines isn't a proper vimrc
Virtual Method Table Hooking Explained
i don't think it's that far, if you were 25-30yo gamer in middle of 90s, you would be now 50-55yo, 10-15 years from being 65-70 which doesn't sound like that low age to move to retirement home
There are plenty of alternatives for iMessage. WhatsApp for example is bigger than iMessage.

The rest of your comment is weird - of course there is software that isn’t cross platform. You seem to want to legislate against that.
Logans Run: how does the Netherlands avoid subtle or overt pressure on the elderly that 'it is their time to go?'

https://en.wikipedia.org/wiki/Logan's_Run

I have seen doctors in the US all too often blame 'old age' for conditions that are preventable or can be significantly improved to forestall aging.
Has not trading with "evil" regimes done any good? 50 years later, Cuba still exists, and so does North Korea...
Incredible read indeed, someone needs to make a movie about this.
Hooking Virtual Function Tables
I ended up successfully replacing Facebook with a combination of group text and group LINE message to talk to friends and family,whether they live near me or no. I don’t miss it.
Idea: an auth service that just interfaces with other auth services.

It will be free and will charge a fee for the following:

1. auto upgrading from discarded services

2. retrieving passwords that are forgotten

3. Changing around your login id (automatically) for various services so you won't have to remember what you used
Are you sure ? Increasing the masters quota for H1B will worsen things. Here is why. A majority of Masters degree holders in the US are those students who couldn't crack the basic campus recruitment in India for software companies during their Bachelors.

So they take a stab at it once more by investing in a masters degree in US which increases their H1B lottery chances. I am not generalizing all the masters degree holders but a major chunk of them.
You left out most of the equation. The whole equation as posted is just an application of Bayes' rule: P(A|B) = P(B|A)P(A)/P(B). Your excerpt leaves out everything after P(B|A).
But why do you care? You want to buy an Apple product if only it worked differently? Or is it something else?
That’s why we have waterfall defense against these kind of offense, oh wait. No, really, it is a 25yo solved problem, non-academically.
U.S., China take the lead in race for artificial intelligence: U.N
Why not write to him.
That’s a non-responsive answer, and you know it.