skysight-inc/HackerNews huggingface dataset:
I built Tsunami IDE. It is a F# IDE. I built it before VSCode or VS Community came out. I built it as a test to see if cost of Visual Studio was blocking adoption of F# and the ideas that F# codifies. The experiment was successful, I got my answer, and the answer is no. Even with free tools people have a hard time adopting F#.

First let me address those who are asking for Type Classes and Dependent Types. These would make the compiler too slow. The F# compiler works in the 100s of ms and the 100s of MBs ram. Where Scala is in the 1000s of seconds and the GBs of ram. People will give up on code completion if it takes more than 500ms and they generally don't like waiting longer than 200ms. Separately Martin Odersky (the creator of Scala) laments that the more advanced language features attracted the wrong type of people to the language and flooded the internet with overly academic tutorials.

I put a lot of the blame for the lack of F# adoption on Microsoft. Part of this is to do with the Dev Div vs Windows war that almost deprecated the whole .Net ecosystem. If Windows 8 wasn't such a disaster it's likely .Net would have been deprecated and would never had been open sourced. (at least something good came from Windows 8). Part of this war also ended with a lot of the best .Net people leaving to go to Facebook. This brain drain has really hurt Microsoft and I doubt they'll ever recover. Most of the old hands that know better are aging out and the new people at Microsoft don't know any better.

As for tooling, Microsoft has done and continues to do a bad job with F# tooling. There is is a not invented here culture at Microsoft Redmond which includes being hostile to Microsoft Research. Visual Studio is a bucket of bandaids and it takes an army of people just to keep it going. F# is given a low priority. It's worse with the latest release because they've gone overboard with compiler features with the Rosario release and have made it dog slow and painful to use. I hope they can fix it with updates but who knows. You can still get older versions. It's very possible to build a really good IDE around the F# compiler but unfortunately Microsoft refuses to do so. Thankfully, it looks like there are some good alternatives becoming available.

In comparing Scala and F# adoption, Scala has Hadoop/Spark which is a killer product that can earn a consultant a lot of money. The fact that C# is a better language that Java means there are more Java refugees going to Scala than there are C# refugees going to F#.

Thankfully Don Syme has made F# completely open source. Now with .Net being open source we no longer have to worry about Microsoft shooting itself in the foot again.

I make my money writing a product written in F# and can attest that F# is one of my big competitive advantages. I highly recommend it.
I believe those were minutes not days (account is now '1 hour' old). guess there must be a bug report button around here somewhere
I'm not disagreeing with that but a clean disclosure is missing. It's like paying for an item that you don't know the price of by putting your credit card details. I don't think you'd do that.
I use Google Docs for work and home. I tried Dropbox paper, but felt that isn't as feature rich as Google Docs, though usability is really good.
> Clinical studies of ibogaine to treat drug addiction began in the early 1990s, but concerns about cardiotoxicity led to termination of those studies.

https://en.wikipedia.org/wiki/Ibogaine#Medical
> To be fair, this may be useful whenever you want to save a canonical version of a document, though I’m not sure this was near the top of most-requested G Suite features.

You're dead wrong there. Document version control with explicit checkpoints has been a major missing feature since Google introduced the change history. Its absence meant that you had a platform which combined the speed, stability, and interactivity of a heavy web-based app with the retro delight of managing multiple copies of the same file with names like "Version 1.3-final-beforeSandrasTweaks-APPROVED-legaltosignoff", only stored in the cloud with no central place to keep track of them all.

This feature, if it's what I think it is, has been a long time coming and very welcome for it.
There are many articles out there on the web, over the last 5 years, addressing the many problems specific to MongoDB. For example:

http://www.sarahmei.com/blog/2013/11/11/why-you-should-never...

http://cryto.net/~joepie91/blog/2015/07/19/why-you-should-ne...

https://news.ycombinator.com/item?id=9912842

http://developer.olery.com/blog/goodbye-mongodb-hello-postgr...

https://www.andreas-jung.com/contents/goodbye-mongodb
Ah, if someone faking a number like hers called her on an otherwise unconnected european number, that's definitely... shady.

I'd contact her service provider for that sim card. They'd probably like to know that an employee is selling numbers, or that a retailer is, etc. (Unless they're doing it themselves.)
If we're going for impossible, then it sounds more like the old H1-B 'we couldn't find any qualified applicants' trick.
Would be nice if it was possible to change the proxy settings for each request or for each session. Last time I checked it was only possible with the C API.
You can only work so long with the motivation of "the company will make more money".

The company I am at right now has a clear vision and a clear mission. I find myself a lot more motivated.
That's the sleazy part. It looks like you need an email to get a "pdf download link" but if you read the reviews a little down you'll understand that it is just another newsletter but disguised in a "course".
But to be fair, more housing stock in San Francisco could also lead to wealthier tech workers buying crash pads in the city for work during the week while they spend their weekends out at their houses in Silicon Valley, Berkeley, etc.
DevOps FastTrack – From How to Wow
Folks get their fingers cut off, so their hands are going near the blade, though I don't know the exact circumstances. They may be trying to manipulate small pieces, or in too much of a hurry to take the right precautions.

Maybe there are cases where their hands get pulled in, but I can't think of how. Honestly I wouldn't recommend using a table saw at all to most people I know.
You are never anonymous when you connect to the Internet, even over Tor, even through 7 proxies. There is always a connection right back to you.

We need to move beyond the obsession with anonymity and refocus the goal as being privacy. Then, recognize that privacy has several levels. That way, the expectation is more clear.
Have you watched the news and any kind of social media lately?
But they do influence, and influence can make a difference. If not through twitter, how else would/should politicians connect with people?

edit: I say this as someone who doesn't use twitter; it still seems like it has value, albeit small or insignificant at times
I want this to work, but I need Do Not Disturb to silence everything when I'm actually asleep, and there's no way to have it change between those on a schedule.
A Bogus Cancer Cure That Doctors Say Could Poison You
The Ultimate Guide to Selling Data to Hedge Funds
> are you scared of doing so?

Are you? Where are your answers to the same - or other equally important - questions? Awfully convenient to have others go first and commit themselves, isn't it?
Thanks! That's exactly why we are starting this. We plan to eventually expand into all professions in healthcare.
It appears to be down from 3 criticals and 3 high, not 1 high?
Housing's "more roads" is simply density.

In transport, more roads means more capacity to carry traffic, and hence, more induced traffic. The death-spiral effect comes from the fact that each additional car on the road produces far more congestion than its operator alone experiences (negative externalities). True costs aren't born by the operator, so gridlock ensues.

For housing, or rather, urban development generally, the challenge is that denser cities with more inhabitants (generally) give rise to greater opportunity. This is where the action is, for whatever definition of action you have.

I'm not entirely sure what produces the death-spiral of cities pricing themselves out of their own housing markets, as SF is doing, but I'm inclined to think that the general trend of holders of investment assets to seek inflation of those assets' values is a key element. That is, you have a house, you've sunk a lot of money into it, you want its value to increase (hey! free money, right?). This turns into collaterisable assets for loans or other opportunities as well.

There's also the fact that high-value urban real-estate markets make for good options to bank wealth appropriated elsewhere, or for money-laundering. Values are high, tend to remain high, the market is liquid, and urban cores are far more stable for real estate prices than outlying areas. Hence, the housing stock value is bid up further.

Land value tax might help address that. Something I'm looking at. Originally suggested by Adam Smith and David Ricardo, though championed by Henry George.
nodes-and-edges thing is the classic problem that is perfectly solved by SVG. Other than that it's quite useless though IMHO.
All those numbers seem very small...

Wouldn't we be needing something more like 1 Million new units to fully satisfy demand for housing and bring prices back to levels similar to the rest of the USA?

A 30x30 grid of 100 story residential towers with 10 apartments per floor would nicely solve your issue...
Your point 2 is very nicely worded, and maybe a fundamental concept of tokens, but one I had not heard marketed as such up until now...the token is a method of tracking the value of the network.

Interestingly enough I had always considered the token concept similar to the corporate structure of a non-profit, that is there are: incorporators (the ico/smart contract authors); members that usually buy into the non profit (token holders); but there is otherwise no ownership of a nonprofit entity. Though I have never seen nonprofit membership artificially limited in the hopes of the membership rate increasing and for purposes of reselling the membership in secondary markets. It does begin to muddy the waters, but the framing of network value is a very interesting concept.
I miss when social media was about sending messages to a cute girl you seen in class, or finding out where the party was this weekend. I really couldn't care less about Twitter, or who responds to the President's tweet with the best comeback. I thought Obama tweeting was undignified, and then Trump just took it to another level.
Bitcoin mixers would serve you well in this instance. Just buy BTC normally and clean via a mixer.
Essentials: Functional Programming's Y Combinator – Computerphile
Another smart HN commenter wrote "If it's free, then you are the product."

That seems to be the case with significant discounts.
Just started using Paper, and I really like it so far, especially for documents with high degree of collaboration / cross-referencing like meeting notes and project plans (person and document mentions, hashtags, date tags, etc). Editing experience is also solid in Firefox, which is more than I can say for Google Docs. Markdown auto-styling is a nice feature for me as a coding guy, but that's a matter of preference.

My biggest gripe with Docs, though, is that documents are impossible to find (ha!). Sharing does not seem to preserve folder structure, and I can never get relevant search results for some reason. I am yet to discover if this is implemented better by Dropbox.
Yeah I am collaborating directly with the primary author...but I think you might be right I would have gotten more helpful advice for the graduate student who spent like a year writing this.

Good advice-I'll keep it in mind for future troubles. Thank you!
It's also quite easy to run Chrome and/or Firefox for free in CircleCI or TravisCI. Safari and Edge are non-trivial to test in those environments. (I think you can get Safari if you tell CircleCI you're an iOS app and hack your way over to Safari from there, but I don't know if you can even test Edge in the popular CI stacks.)
This is missing the forest for the chirping birds. Of course a message can be useful: in times of fear, people want reassurance. That's probably why (as another top-level comment mentions) the top reactions ever on Twitter are after terror incidents.

As for how Twitter should be used, it's a communication medium. People can use it however they seem fit. Would it seem more important if the message came via telegraph, telegram, telephone? History adapted to all of those as well. "Sighted ship, sunk same", "WAR", the Zimmerman Telegram, etc.
Back in my day it was http://www.linuxfromscratch.org/

Anyone familiar enough with both to know the difference? I used the LFS docs recently when trying to build a custom version of GCC.
Not much, throughout my career I have learned that the best path is always to only use the officially supported SDK languages for production code.

All productivity or enjoyment using alternative languages gets lost in extra FFI layer, unavailable platform documentation, lack of support on the IDEs, poorer debugging, GUI tooling and code generation.

So I only use alternative languages to learn about new concepts and ways to improve my skillset, but in what concerns production code, the golden rule is 100% SDK languages.

Going back to your question, Java on UWP is only possible via the JVM provided by CodenameOne and I think it actually makes use of the Desktop Bridge, so that rules out Scala.

Rust still has a lot to catch up with C++ for using COM in a productive way, let alone .NET based languages.

UWP is basically what .NET should have been, if they had kept the original COM+ plans instead of going with the CLR. So any language targeting UWP needs to have seamless COM support, and ability to handle .NET metadata.
I don't think you're up to speed with the latest in ML approaches. You have to be narrow before you can be broad, drawing cross correlations between great narrow inference towards more generalized problem sets.
I'm not the person you're asking, but I'll throw in my two cents. If they don't have a mission, they're probably going to have trouble doing something that anyone cares about enough to pay them for.
The request interception API might be able to satisfy your usecases: https://github.com/GoogleChrome/puppeteer/blob/master/docs/a...

Outside of that, Chrome doesn't currently support changing a network proxy dynamically, let alone for individual (and overlapping) requests.
I'm a little concerned about the confusion in the market of another product in the automation space called "Puppet"-something.

The project itself looks exciting.
Legitimate callers will leave a voicemail.
Ya, you can signup for ProtonVPN through ProtonMail; therefore, you can pay with coin through ProtonMail for ProtonVPN.
It's one of those latent needs, in the way that Snapchat and Facebook doesn't really solve a problem going in (Not that I'm comparing my app to theirs, they just most easily come to mind). I've shown it to a few people in my circle, and they think it's kind of cool.
Dropbox Paper is fast and smooth. We use it for team documents. Google Docs is more widely accepted and used by more people, especially outside the team. We use it if we are going to be sharing docs outside of the team.
great leaders dont indiscriminately bomb innocent countries nonstop for 8yrs (only president to be at war entire 2 terms... EVER)

take your virtue signalling somewhere else plz
mmm I do see your point. Notation can frame how we think. I hate to be that guy though...but I am a bit triggered by calling linear algebra LinAlg. It is like calling California Cali! Or Analysis -> Anal.
> Great, do that.

I plan on it.

> Your overreaction point seems like dressing up a group's threat response to make it seem unreasonable.

I think it is unreasonable. Damore took every precaution to avoid offense without changing his position. Perhaps more importantly, we go so far as to censor someone who makes any statement that can possibly be spun as a criticism of women, yet we permit and even encourage all manner of absurd, anti-male speech.

> There are threat responses and irrational behaviour on both sides (whichever side you naturally agree with) and failing to recognise that means that you're not empowering yourself to engage with this topic on any useful level.

First of all, I'd like not to use "threat-response" as a synonym for "taking offense", because the former could be easily conflated with an actual threat (damage to person or property vs damage to hubris). That said, Damore went to every conceivable length to avoid causing offense; I think you and his other critics are effectively asking him not to criticize at all. Not speaking about a sensitive topic at all is hardly empowering oneself to "engage this topic on any useful level".

I think it's also worth pointing out that the left has nurtured a culture in which some groups are encouraged to take offense, and this is used to silence and shame other groups. I think that's what's happening here--a lot of people have been relentlessly fed propaganda about privilege and patriarchy and oppression have been trained to see it everywhere. I think this is a better explanation for the events that transpired than "Damore is evil/insensitive/etc".
Why was this submitted, for the July release?
It's close to being anonymous though. If I give you a random bitcoin address, what are the odds you can identify the owner of it? It's very close to zero.
>It's a delaying tactic. Keep people busy answering an endless series of questions and objections, so they can't spend that time doing anything else. It's not like we haven't seen this before. It even has a name: sea-lioning.

Something I find quite amusing is you accuse the author of sea-lioning while you blatantly do so in the rest of the thread https://news.ycombinator.com/item?id=15029410 https://news.ycombinator.com/item?id=15029531
GitHub Goes All in on Kubernetes
OpenVPN is free and I use it pretty often. Supports both CLI & GUI. Would highly recommend it as an excellent client.
Are there any new python drivers for headless chrome? Selenium seems to still be lacking several features exposed by the DevTools protocol (e.g. print PDF)
Sure. There will always be things out of our control in woodworking. Just like seatbelts won't save you in all circumstances. And there are still some people that drive without wearing seatbelts. It really comes down to personal preference (even though driving without a seatbelt on is illegal in many states and countries).
Besides being really cool, what are the commercial applications for this? Especially on a Raspberry Pi, wouldn't performance be a huge issue?

Any feedback from people using something similar and their uses cases is interesting to me.

Thanks!
Simulated worlds / games like the OpenAI gym and DeepMind lab come to mind:

https://gym.openai.com/

https://github.com/deepmind/lab
Tweets are also making a connection where President can reach citizen without the help of Fox or CNN, and we don't have the retrospection yet to know how this will evolve; it's too early to kill this kind of communication in the crib.

But thanks to the internet and platforms like Twitter, it may now be possible for a politician to reach millions of people without paying the Fox and CNN tax.
A good read. Thanks for the link. I don't think I'm able to build a webapp version because the technologies & form-factor for this app is exclusive to smartphones.
67 Blockchain Articles and Whitepapers That Shaped Crypto into What It Is Today
Under the covers this uses the DevTools protocol which has a number of projects around it: https://github.com/ChromeDevTools/awesome-chrome-devtools/#c...

A C# binding was added just recently: https://github.com/BaristaLabs/chrome-dev-tools
the true spirit of the idea of america? did u miss the memo of him droning the sovereign nations to oblivion ?
When I worked at Aflac, they claimed that insurance fraud costs every man, woman and child in the US more than $1000 a year.
Workday acquires Pattern
All of that is certainly true, but given the supply and the pricing, it seems very unlikely that the needle is going to move anywhere near that much? In what other major metropolis in the world do you see people doing that on a mass scale — the kind of mass scale at which it is meaningful to speak of induced demand?

The very wealthy will do it, of course, as they always have, and always will.
Naranya Murthy, of Infosys, Seems to Have Missed the Point About Capitalism
What's the Buzz: City Scale Impacts of Drone Delivery [pdf]
Am I missing something? Nothing TunnelBear produces appears to be open source, so the obvious answer to your question is no. Members of the public can't build binaries at all.
Is this only for payments to Protonmail itself, or for transferring payments among accounts?

It would be great if there were an easy way for businesses to sign up and immediately get the ability to receive Bitcoin payments.
NYC is a pretty terrible city to live in by first world standards unless you're wealthy. Crappy shoeboxes in tenement buildings that used to house servants go for outrageous prices, overcramped, awful subway (though Americans think it's amazing because they're not used to big cities that don't require a car). People put up with it because of the jobs, the people, the cosmopolitan nature of it, not needing a car, and because there aren't any comparable cities in the U.S. in terms of size, density, and significance. Millennials don't seem to be as fond as suburbs as the boomers (I personally hate suburbs).

NYC used to be a city where artists and writers could live, but it's become a city of trust fund kids, corporate shmucks, and tourists. Everybody works all the time - not because they're working on groundbreaking stuff - but to make a buck.

Personally my plan is to work remotely and go somewhere else, most likely outside the country because nothing in the car-obsessed suburban sprawl-infested U.S. compels me.
So how can the phone company not backtrack to figure out where the call originated? They know that at a specific time they connected a call to your number. If the call didn't originate on their network, don't they know whose network they're forwarding it from? If so, couldn't they then contact that network and see where it originated from (possibly going to other networks, maybe outside the country) and still trace it back to some originating phone line somewhere in the world? I mean, I can guess that they wouldn't keep these logs for very long because they'd get big very quickly, but even keeping it for 15 minutes and allowing you to call a number and say, "Hey this was a junk call" would help.

In fact, I once got a new phone number that was previously owned by someone who owed a lot of people money. I was getting regular harassing calls from debt collectors who didn't believe that I was the new owner of the number. So I called the police and filed a report. I then called the phone company and gave them the number of the police report, and they gave me a phone number to call a few minutes after each time the debt collectors would call me. After 2 or 3 calls, they had the contact info of the debt collectors, gave it to the police who contacted the debt collectors and I never heard from them again.

Why can't this approach work for scam calls? I mean if they're outside the country, it would involve more work, but if thousands or millions of people are reporting calls that originate from the same place, then it seems like it would rise to the level of being worth it to do something about it.