skysight-inc/HackerNews huggingface dataset:
Not really, but we do use our Figaro probabilistic programming language for all sorts of things, including predictive health maintenance, modeling complex systems like food insecurity, graph data mining for link analysis, onboard autonomy for satellites, predicting where a cyber attack may hit next based on different types of data, understanding the evolution of malware. All sorta of things. (https://www.cra.com/work/case-studies/figaro) for more info.
Still one step too much making it harder to migrate. Should've been a directory in a repo, default to `wiki` or whatever and configurable to something else.
Just wanted to be clear so you have an answer to your questions above.

QSP is a startup. We have been completely self-funded until very recently. We’ve just taken the lease at Kennedy Space Center and the lab is not yet open. Once it is open, our first work will be to bring the first antenna line to market. We’re hoping to fly our first demo antenna on orbit before the end of 2018, and with the interest already expressed by concerns such as Boeing, Lockheed Martin and Pumpkin, we intend to enter that market very quickly.

This is what mitigates the risk behind developing a Mach Effect Thruster. Almost all the materials and processes necessary to building our first antennas are steps along the path to building the thrusters, so gathering the low hanging fruit in radar and communications is not really out of the way in developing a commercial grade thruster.

That all said, Woodward has been publishing lab results regularly for many years, and the three replicating labs in Austria, Germany and Canada have all made their results public as well. The peer review papers on Mach Effect Theory have been reviewed for more than twenty years and the Fullerton lab results are presented at conferences regularly. NASA has already had The Aerospace Corp do their government funded evaluation and granted NIAC phase 1 funding as result. The results of that grant are publicly available and now NASA is providing the Fullerton team Phase 2 NIAC funding.

If this doesn’t answer your questions please feel free to press me on any points you like. Most of this is in our video pitch linked above.
But let's say you have a function that takes an integer and goes completely bonkers when you pass in a string. Why would you not want to prevent that?
We've been reading and seeing this shit since Socrates.

“The children now love luxury. They have bad manners, contempt for authority; they show disrespect for elders and love chatter in place of exercise.”

Lets frame this a different way.

1. Crime has gone down in all measurements. (Theories state its likely lack of lead pollution.)
2. More people renting, and less engagement in the community.
3. People whining about kids these days
4. Older adults realizing they dont younger generation doing what they did
5. Kids now have more inhouse distraction (computers, games, etc) that their friends are on
6. Parent(s) working long hours and cant take kids to friends houses
7. Scare articles like this one whipping parents into a frightful frenzy
So you ported an entire app to a new language instead of convert the hot paths to sqlalchemy's sql expression or even just optimized raw sql with bind params.

Hope you learnt from that experience.

You're still using a Query builder? Heh, maybe one day you'll learn how to write plain sql yourself.

Also, I'm working in the 2,000TPS range. So don't bother.
I'm hesitant to make this comment because this was a great article and this is somewhat tangential, but I hate to see history whitewashed and simplified so I'm going to make it anyway.

From the article:

> [The idea that all lives are of equal worth] is a radical idea, one ultimately inscribed in our nation’s founding documents: we are all created equal and should be respected as such. I do not think it a mere coincidence that among the fifty-six founding fathers who signed the declaration of our independence was a physician, Dr. Benjamin Rush. He was a committed revolutionary and abolitionist precisely because of his belief in the principle.

Erm, no. It was not really some idealistic principle that motivated his views. From wikipedia:

> Benjamin Rush (1745–1813), a Founding Father of the United States and a physician, proposed that being black was a hereditary skin disease, which he called "negroidism", and that it could be cured. Rush believed non-whites were really white underneath but they were stricken with a non-contagious form of leprosy which darkened their skin color. Rush drew the conclusion that "whites should not tyrannize over [blacks], for their disease should entitle them to a double portion of humanity. However, by the same token, whites should not intermarry with them, for this would tend to infect posterity with the 'disorder'... attempts must be made to cure the disease".
Ok, completely discount my experience. Thanks. I've been to other countries too. Yes we are lucky there isn't a war breaking out right now. It's not funny. It's real and raw suffering.
This is also responsible for geographic inequality throughout the country.

The large tech companies are based out of Silicon Valley and Seattle. The majority of their employees and economic activity will be in those areas.
I leave it here,

https://subsurface-divelog.org/
To me, "web application" is a front-end application that runs on the user's computer in a web browser. Having a back end that runs code doesn't qualify in my mind. Otherwise, basically any website qualifies as a web app, including one written in pure HTML, which doesn't make sense to me.
Adjusting for inflation, that would be $31,615 in todays dollars, or about 150% the poverty level for a family of 3.

Not great, but I would still expect someone at that level to have substantially better odds than someone below the poverty line.
We are forced to use Skype for Business at my job, and let me tell you, I have never seen a POS like that. Calls drop out for no reason, UI is unintuitive with all kinds of weird dropdowns and buttons, slow to start and just a pain to use in general. I wish we could use Slack calls instead...
Wondershare Dr.Fone 9.2.0.11 Crack and Registration Code 2018
Just a quick correction – Frank Wood is not at Microsoft, but at UBC:

http://www.cs.ubc.ca/~fwood/index.html

Microsoft Research does have multiple excellent researchers working on probabilistic programming. Infer.NET in particular is a highly advanced piece of technology for models in which you would use message passing algorithms to perform inference:

http://infernet.azurewebsites.net
This has been posted here several times before. No point discussing the same thing over and over again.
Maybe they should rebrand themselves then.. A new name perhaps? :)
Another reminder, alongside the apparent Microsoft GitHub acquision, that regulators need to step up and prevent large tech firms from acting anti competitively.

From another Economist article ("How to Tame the Tech Titans", https://www.economist.com/leaders/2018/01/18/how-to-tame-the...):

> Two broad changes of thinking would go a long way towards sensibly taming the titans. The first is to make better use of existing competition law. Trustbusters should scrutinise mergers to gauge whether a deal is likely to neutralise a potential long-term threat, even if the target is small at the time. Such scrutiny might have prevented Facebook’s acquisition of Instagram and Google’s of Waze, which makes navigation software. To ensure that the platforms do not favour their own products, oversight groups could be set up to deliberate on complaints from rivals—a bit like the independent “technical committee” created by the antitrust case against Microsoft in 2001. Immunity to content liability must go, too.

> Second, trustbusters need to think afresh about how tech markets work. A central insight, one increasingly discussed among economists and regulators, is that personal data are the currency in which customers actually buy services. Through that prism, the tech titans receive valuable information—on their users’ behaviour, friends and purchasing habits—in return for their products. Just as America drew up sophisticated rules about intellectual property in the 19th century, so it needs a new set of laws to govern the ownership and exchange of data, with the aim of giving solid rights to individuals.
> You aren't reading much press in the UK then.

That's a pretty low-brow comment.

>Openly anti-Brexit: the Guardian, the Financial Times, the Economist, Sky News, BBC

I completely disagree with you about the BBC as a whole. BBC Question Time, for instance have had Nigel Farage as a guest more times than anyone else! John Humphrys on radio 4s Today programme is so biased it is embarrassing. James O'Brian claims he had to leave Newsnight over the editorial policy.

On the others your 50/50 claim is to ignore completely the circulation. It seems like a very strange approach to count minority publications as having the same impact as The Daily Mail/Sun/Telegraph/Times/Express[0]. I don't recall seeing 'the man on the street' reading the FT or Economist recently?

The Guardian is also split on Brexit because there are so many pro-Corbyn writers who are defending his policy on Brexit (which is broadly speaking to not-oppose the government).

[0]:https://en.m.wikipedia.org/wiki/List_of_newspapers_in_the_Un...

edit:

> You're doing what so many EU fans do, you're repeating myths whilst believing you're above believing myths.

That is rather a slur on a large group of people. A group I certainly did not belong to before the referendum, however I was rather guided towards them by my instinctive dislike for the far-right and their anti-immigration demagoguery. My instinctive dislike for people who make statements like, "we have all had enough of experts", and people who paint lies on the side of buses and tour the country with them. People who break the spending rules at elections for instance[1]. I'm not going to argue this any further, this is HN not a political forum, but your comment stinks.

[1]:https://www.theguardian.com/politics/2018/may/11/leaveeu-fin...
I'm really not sure what the point of this article is. Is it saying people are equal? Because they're not.

"All men are create equal" doesn't mean all people are equal. In fact, we know all people aren't created equal either. Rather, it's the law that must see all people as equal for the purpose of justice.

For the purposes of a doctor, I get what he's saying too, but I would argue that the quality of the patient does matter and that discrimination is good.

Consider, an ambulance roles up to a car accident. The drunk driver that caused the accident killed a mother. The drunk and the woman's 12 y/o child both need emergency care. There is another ambulance 20 minutes out. Who should that first ambulance take to the hospital?

If you say the drunk, I don't want to live in your world.

One more thing. The article states "All people deserve respect". I grew up being told respect is earned, so I can't agree with his sentiment. Perhaps all people deserve a chance to earn respect. That's different.
This line particularly caught my eye:

> It was quite surprising for us to find out that the blend mode layers were able to interact with cross-origin iframes in the first place so we investigated this further.

Because a few years ago I was wondering the same thing; Someone figured out a side-channel timing attack using SVG filters, exploiting differing execution times of code paths in the Erode filter (probably also in the Dilate filter but they only needed one). IIRC, they could even apply it to an iframe with a source:// URL of another domain (probably FB again), of which they could control the scrollbars and scroll into view the session key that showed up in the HTML source somewhere. This raised a couple of questions with me ...

Why can we put a source:// URL in an iframe at all? Why can we control the scrolled position of content in a cross-domain iframe? And why are SVG filters capable of processing cross-domain content instead of just seeing a black square or something?

AFAIK they fixed it by changing the filters, making sure all code-paths were of equal length. Which is part of the right solution because side-channel attacks can come from anywhere (it's kind of their thing). But making the whole system more robust by just not allowing operations on cross-domain content would do a whole lot for plugging many of these bugs.

I'm kinda surprised there haven't been a lot more of these. Could be I've missed them though.
Well you don't need to. You can use gitlab or gitea.
Isn't Gitlab pretty much that already?
Maybe we can eventually achieve something like decentralized ownership of centralized web resources.

While not quite decentralized ownership, Wikipedia is at least a non-profit that everyone contributes donations to. Where's the Wikipedia for code? Where's the non-profit donation-based social network?
From my perspective of raising kids, they aren't pre-wired but learned, with most kids learning them somewhere between the ages of 5 and 10.
The Silicon Valley hipster development ecosystem does not have a problem with how Google respects privacy.
Guess I hit a nerve.
So that's how Stratechery is spelled! I have been listening to Exponent for a while and failed to find the site on Google.
I am very interested in what will happen with these accounts (t name a few) the next few weeks / months:

https://github.com/torvalds/linux
https://github.com/mozilla
https://github.com/google
I may be in the minority. I’ve had a change of heart over the last 5 years or so towards Microsoft. They’ve changed a lot of the practices that used to make me not like them. They’ve embraced open source a lot more than in the past and have clamped down a lot on the anti competitive practices they used for decades. I also have a good friend that works there and I’ve seen how the sausage is made from the inside a bit. They treat their employees really well and from what I’ve experienced they’re a good company to work for.

I don’t have a hard opinion on this acquisition for the OSS community, but it will be good for the employees and I’m hopeful that not much will change with Github as a service and somethings may even get better. Time will tell of course.
I designed a system which used probabilistic programming (Stan) to combine various deep learning based feature extractors to predict social behaviours.
No, thank you. SourceForge used to inject adware into projects. Now, they're trying to profit from the anxiety surrounding the GitHub acquisition talks.

I'll take my chances with Microsoft.
I saw someone post on Twitter saying they were tired of being their own sysadmin.

It's true - I could set up my own mail server, my own Git hosting etc etc, but why would I? I'd rather just pay Fastmail for email and GitHub for some private repos.
> and that a massive and troubling proportion of all of them are mentally ill or black.

Reword
It’s a miserable hell hole where I make twice as much money as would be possible anywhere else on earth. So long as that’s the case, I can’t logically move anywhere else or do anything for fear of regret, missing opportunity, and going broke. I think that’s what keeps a lot of people here.
How long does it take to clone linux.git from there?
In addition to everything you said, and I would also add:

- Microsoft turned Skype into spyware. Before Microsoft, Skype used encrypted peer-to-peer connections which I'm confident had excellent cryptography given how much it annoyed some governments that Skype couldn't be bugged or monitored.

- Microsoft provides no way to delete chats, voicemails, and video messages, although they give the ridiculous option of "hiding" old conversations as if that's a reasonable substitute for deletion. At this point, it wouldn't be greatly surprising if they record and save all voice calls.

There's inertia in people and companies abandoning Skype because everybody knows it and everyone has it (or had it). But the thing that really preserves Skype is that it can connect from any device to device, including landlines, and it can do all of audio, video, and text.

A Skype-killer product needs (a) to run on all major platforms so you can communicate with someone regardless of whether they are on Windows, OS X, Linux, Android, or iOS, and (b) the ability to make connections to landline phones, (c) do all of audio, video, and text chat, (d) be reliable and trustworthy. That would be the Skype killer.
At least historically Windows used different parts of UNIX. i.e. they used BSD's TCP/IP stack for quite some time. Also used "UNIX services for Windows" and recently added the Windows subsystem for Linux.
The poverty line for a family of 3 was $14,630. So you are basically right. Remember it includes all the people below that level.
If you define rich as the top 1% than yes it might be from inheritance but studies I've seen say over 80% of millionaires are self-made and didn't grow up wealthy.

Your whole premise is contradicted by the study.
Yes it is. Stripe can do this with three (badass) engineers while the hundreds of other engineers continue to build their applications in Ruby. Stripe's Ruby code base is far larger than their Scala codebase, with each being used for the types of uses that play to their strengths. Rewriting millions of lines of Ruby into another language would more or less involve pausing all application development for one to two years, which simply is not feasible.

This way, a small team of skilled engineers make this typer work, and guide its general adoption, getting the codebase well typed over the course of years, all the while Stripe continues to grow its product suite and further conquer the world of e-commerce.

Twitter did a huge Scala rewrite. There are many lessons to be taken from their lack of product velocity while doing so that the Stripe team took onboard when making this decision.
Well, sort of. It's limited to 5 contributors, which is kind of a big deal if you're on a serious team.
You could cobble most of this together.

You could probably get notifications using org-alert.

Emacs does a reasonable job parsing most html including emails to text, but occasionally you may need to view in browser if it's very html heavy. You can compose html emails using org mode syntax with org-mime.

PDFs are rendered as images. So you have limited emacs functionality, but it does a good job rendering PDFs. Doubt you can do forms.
Yeah they used to. That's why I purchased SourceForge and removed all the adware. Completely different owners. We had nothing to do with those decisions and reversed them immediately.
Skype for Business is not Skype in anything other than name. I don't know why they tried to combine the branding.
He was using Tor for uploading.
What languages have you worked with before, with static types?

If it's something like Java, C, C++, etc, then I can see your point, but if you pick any of the languages with type inference (like Elm, Haskell, PureScript, OCaml, F#, etc), then you rarely actually have to write types.

Working with the type system is a different way of working. It's more beneficial to see the compiler as a helping friend, instead of an adversary that is just there to complain.

Some interesting reads might be:

- http://elm-lang.org/blog/compilers-as-assistants

- https://matthew.brecknell.net/post/hole-driven-haskell/

- http://bitemyapp.com/posts/2017-09-23-please-stop-using-type...

Personally, I honestly hate every time I don't have a time system to rely on. I don't make any false pretenses that I have the whole program in my head 100% of the time. I don't want to have to think about things that a computer can solve for me, hence I like my compiler to do as much work as possible.

As for unit testing, a type system is never supposed to remove the need for unit testing, and if you see anyone promote a language because of this, they are probably (hopefully) over simplifying. What it does do though, is significantly cut down the need for certain types of tests, since you can model so much more logic via types (ADTs, Union types, etc), and get it checked by the compiler.

As an aside: I simply do not believe you've never run into a type error, unless you've only written projects that 100 lines of code, and even then it's quite easy to run into type errors.
imho as time goes by ‘old’ posts gain new context & meaning
Why are we talking about two hundred years ago? In the late 20th century, popular music occupied a different role. It had functional uses for sure. But it was also an artform. I don't want to go back to 200 years ago. There was something democratic about music that was accessible, made for a wide audience, and capable of depth.
Gitlab must be really happy.
I know my team will move out of Github if Microsoft buys it.
Microsoft is big, with different divisions you can consider what it did with consumer apps, but you'd be better off considering what it has done with developer tools.

There, Microsoft shines. So, we will just have to wait and see what they do. My guess is the main thing they will do is make it super easy to deploy to azure from the github UI.
"Nobody lives there anymore, it's too crowded"
I am the father of 4 kids with the youngest starting kindergarten in the fall. My anecdotal evidence is exactly the same. I'd like to add though that many parents I've seen say "No" but then completely fail to follow through; either giving in after repeated requests or failing to provide any consequence for disobedience[1]

If a few more HNers can chime in, we'll have enough anecdotes to call it "data!"

1: This is not new with the current generation either. My sister and I used to complain to our parents that they were too strict, so they talked to my friends parents and told us "Your friends' families have almost exactly the same rules as us!" And our response was "But they don't get into trouble when they break the rules!"
Most federal spending is not for welfare but for social security - and retirees tend to congregate in certain places. CA has less retirees than the national average. Many retirees have moved from other places, as they seek to escape high tax states. The issue seems very nuanced, not so location dependent.
I don't see anything in your comment but cynicism. Why can't it be a product AND art?
Totally agree. For me decentralized means desktop clients or own cloud. Own cloud is more expensive to maintain. Desktop app are more expensive to develop and maintain too.
I've been using Hibiclens (Chlorhexidine) lately after a couple of different medical procedures.

Makes me wonder why Hibiclens is OK for skin use but not for use on inorganic surfaces like metal or plastic?
Express + React + Redux
I doubt that there are that many people that would allow Oracle tech to enter into a beloved language like Ruby, or the ecosystem.
LinkedIn remains as pointless as ever.
I miss the comprehensive programming docs from MSDN.
I'm still hanging on to Microsoft centralizing Skype, Apple trying to smother mp3s, and Googling killing (your favorite side project here).

Follow a company long enough and they'll break your heart.

Also, we old geeks really know how to hold a grudge, especially if it involves a protocol or standard.
What do you think will happen?

What advantage would any change bring for Microsoft?

(/torvalds/linux is not the upstream, btw)
I read the whole article and I didn’t get a sense of exodus at all — its just a steady and high rate of churn in an industry with surplus new talent willing to burn it all in order to ship on time.