skysight-inc/HackerNews huggingface dataset:
I can't answer for Op, but I've been a Linux user at work for many years and OSX at home. I sold my last Mac in 2013 and used Linux for a couple of years until I tried Windows 10. I never used (or plan to use) Windows for servers. I had interest in Nano Server, then I realized it's not free and although running in the cloud I could probably feel no big difference in spending, I just don't have expertise (or will to learn maybe).

I was making a list of things I like from Windows 10, but some are as good in Linux and OSX. To be honest I'm not entirely sure why I'm sticking to Windows 10. I think it is comfortable to use and I have no reason to leave it either. It is installed in the computer, it gets big updates every now and then. It looks stunningly beautiful compared to any other Windows before.

In any case here's a list of things I like right now:

- It just works

- PowerShell and PowerShell ISE

- Office and especially Outlook (with an Exchange server) and OneNote

- I've got Bash now, which runs Linux binaries, with apt-get and in a terminal that sucks less than cmd. I had a tingling feeling the other day compiling a Go app in my WSL window. I know Go is multiplatform, but it was fun to compile a Linux binary in a Windows OS and run it.

It feels a lot how OS X used to make me feel years ago. It just worked. The difference is that here I've got all the Windows software and I can choose laptop from Macbook-like stuff to a £149 Lenovo Ideapad 100S, passing through tablets of all sorts. The OS is the same.

I don't feel like I'm tied to a platform when I'm working on my laptop. I guess having multiple putty sessions to Linux servers opened helps a lot :)

I'm not so sure about Cortana and Edge. I want to like both, but so far my feelings are just "meh".

On the other hand, the updates are definitely more insistent than before; but I don't think I ever got an ultimatum without prior notice of pending updates. I too defer many times (after all, if I'm looking at the computer means I'm probably busy), but it helps me keep up to date.
Now that I think about it, I think I've found my computer restarted and installed updates overnight a couple of times in the last year.
The link from bra-ket...

https://www.scientificamerican.com/article/why-the-human-bra...

...illustrates the problem well. Here's a nice quote:

"Although researchers worldwide were publishing tens of thousands of neuroscience studies every year, neither our understanding of basic brain functions nor our ability to treat brain disorders seemed to be progressing much. "

It's mostly been a failure. The successes have been very, very limited from what I've read. I'm a non-expert that follows generalist scientific publications that report on breakthroughs and interesting products. So, maybe I've missed all the amazing things neuroscience is doing for people's health outside actual surgeries. I just figure spectacular results coming from all the grants and private investment would've made it into things I read. Rarely anything does past "Hmm. That study had some interesting results that might go somewhere some time with a lot more work." Followed by others that seem to contradict it or at least make me wonder.

I remember recently there was an article showing renewed interests in glial cells since they might be more critical to brain function than previously thought. Imagine that. All this research and money thrown at it since the beginning of the field operated on the assumption that they weren't significant. There were others I saw about neural communication in previous years that overturned prior beliefs. One can wonder what new fundamentals we'll learn in this next decade that will challenge our prior beliefs.

Introducing technology that improves how something functions usually needs accurate knowledge about how that something fundamentally works. Investments like Johnson's bet that results will be achieved without that knowledge or even with incorrect knowledge. Kind of like old gold rushes where people bet there'd be gold all over the place in certain areas without even prospecting them first. That's the feeling I get looking at neural ventures.

Note: We had them in the past, too. Implants to control or expand the mind, cause hallucinations, effortlessly give you lucid dreams, and so on. Enough interesting stuff happened that some tactical accomplishments might come from just throwing money at random stuff. Yet, all the interesting stuff of past and present still hasn't given a non-drug guarantee on things as basic as insomnia, depression, or ADD. All failure so far in big picture.
Show HN: I'm improving the official erlang docs, need feedback
I bought a three family house. I live on the second floor and rent out the first and third floor units on the web.

It is sharing my house.

When I first bought the house I inherited a 12 month lease tenant from the previous owner.

When I had that tentant, I didn't feel like this was my house. I couldnt go on the first floor, I had to walk on eggshells around the tenant and her kid.

Now this is my house! My house! I own it, and I let in guests that I screen through airbnb and other sites. They come for a few days, pay 300-600, and I make the beds and greet them and its really nice and I have met some cool people.

So in my case we are talking about turning a three family house into a basically single family house with some guests. That is a use case I dont think is being represented in this conversation.
The Myth of the Root Cause: How Complex Web Systems Fail – Blog
It isn't at all obvious that "a theorem prover proving itself correct" and "an axiomatic system proving its own consistency" are the same thing, beyond both being in the category of things which refer to themselves in the domain of mathematical proofs. Software correctness isn't the same as consistency. A program is correct if it refines its specification, and an axiomatic system is consistent if it does not lead to contradiction. Before doing a deep dive into Gödel we need to firmly establish we're actually looking at the right problem.

Even if Gödel is shown to apply in the strict generalized theoretical sense, it might be irrelevant to practice. Theory and practice often differ enough for practice to be very useful; we easily prove halting for most programs we care about, compute solutions to average-case NP-Complete problems without a noticeable rise in CPU temp, and (as the other poster at this level said) write compression algorithms which work well on all relevant inputs. This is poor analogous reasoning, of course, but I include it because demonstration of universal practical pitfall would be very interesting in much the same way specific manifestations of availability loss in fault-tolerant consensus algorithms are interesting.

Really though, I am tired of the above exact exchange playing out in every thread I've seen here on formal verification. Someone raises the obvious concern of bugs in the theorem prover. Someone else raises the bootstrapping solution, cribbed from compilers. Someone else raises the Gödel objection; and there the conversation dies. Dig deeper.
Do they normalize these stats per percentage of homes owned vs. rented?

Anecdotally, having lived in both Europe and US, I feel renting is more common in the US.

It's harder to move when you have to consider selling your previous home; conversely, those who move often may anticipate future moves and rent. Statistically, I'd be curious if these metrics correlate, or, more affirmatively, a causation can be shown in either direction.
Chinese hackers targeted US aircraft carrier
The K-Y commercials they were running scared me in that regard. I was ready with the "Ask me again in 10 years". They have to advertise too.
Walmart yeilds quite a bit of market control. I'm not sure on the specifics though but they are a powerful retail force that's wrapped around many lives in the U.S.
> Mercury's wobble was eventually explained by the theory of general relativity

So, explaining the observations only took an entire new branch of physics? Only in hindsight is "maybe we don't understand how things move through space" the more obvious explanation than "maybe there's something there we haven't seen".
Seattle. To name another.
In general this is true (and certainly given that many HN readers live in the Bay area, it probably falls within people's personal experience), but NYC is not a great example. Parts of NYC have some degree of density restriction, but much of it (pretty much all of Manhattan, say) is among the highest-density residential areas in the US, and still very expensive, because even given all the density, there's a finite amount of land, which still means supply is constrained as compared to demand. Even given no density restrictions at all, some places would still be very expensive. Tokyo is another good example of this.
I'm not surprised to see the higher end of the scale feature lots of oversized eave returns. I am surprised TFA doesn't mention this everyday horror of ostentatious suburban living. A classical eave return is only appropriate when of classical dimensions.
What I'm going to say it's pretty close to what's on /r/im14andthisisdeep, but for some people (including me) finding meaning in their lives is a very good reason for happiness.
I like this version number better :)
I think that the negative externalities of poorly secured IoT devices scale linearly with the number attached to the internet whereas the cost of writing more secure software and keeping it updated scales much much more slowly with the number of installs. I think this means that the best solution is to have tiered levels of certification and regulatory burden based on the number of times a piece of software is installed. Ideally tiering would be done on the total bandwidth of all devices with a piece of software installed but this would be much more difficult to measure and enforce then counting installs.

If no product with less then X thousand installs has to deal with the regulatory overhead of certification then experiments and early stage companies are less likely to be squashed. I would also exempt open source software from having forced audits or minimum standards for security. This would have the side effect of encouraging more companies to publish their firmware open source which would also not be a bad outcome.

To prevent companies manufacturing lots of almost identical product lines each individually under the limit for audits I think it would also be necessary to count all products that share more then half their code as one product.
I feel like Amazon, Best Buy and new egg could get together and create a standard for IoT devices, no? Though I guess they'd get hit with antitrust.
Eh, I don't know that most of the people I knew who sublet half a bedroom would ask themselves that question.

Subletting half a bedroom from a total stranger can be inconvenient and occasionally weird but if you're fresh out of college it's not really that different from the dorm room experience for most people. And it usually costs less than half what an apartment does a month, and is usually month to month or so.
Windows Mobile has some of the issues you mentioned, but why isn't it your thing? It's a beautiful OS.

Plus your post made me a bit sad again remembering webOS. How I miss it!
CSMA/CA?
Chisel is the language used to describe the RISC-V Rocket core, which is the current primary RISC-V implementation and reference (with real, synthesized boards coming out of it).

> I've considered making a lisp like language for design on a few occasions. But maybe chisel solves the pain points?

To be honest, I've only been doing FPGA design for a few weeks but, like: basically anything is better than VHDL/Verilog IMO. :)

Personally, I prefer CLaSH as opposed to Chisel. (Chisel is a DSL built using Scala - Clash is actually a compiler, not a DSL, from Haskell to Hardware. I think CLaSH conceptually is very nice.)

But honestly it really does seem to me that anything is a vast improvement over the current languages, for the most part. Your life is simply vastly improved by being able to do things like use a REPL in Scala/Haskell, or having cosimulation support in your toolchains (so you can run your designs as cycle-accurate software simulations, with no code changes, before doing synthesis).

Even then -- the intuition to use, or build something like Lisp isn't necessarily misplaced! Hardware description and functional programming share some interesting commonalities, it seems.
Heavily armed 'police' appear outside Ecuadorian Embassy in London
How the fuck does Cuomo have the power to ban Airbnb only in NYC? isn't he a state governer?
> The performance gap is very noticeable even on GB LAN, especially as the screen resolution goes up.

I find that hard to believe, I can play games like Rayman (that require reflexes and a low latency) over my steam link on a 100mbit network. Surely on a GB LAN there shouldn't be noticeable latency?
What? Chisel compiles to Verilog generally?
With the similarities between job searches and dating, I wonder if a Tinder for Jobs can work. By lowering the barrier to entry it could get more of the passive not-really-looking-but-curious workers into the mix.
NYC already has a rent-stabilization policy -- so generally speaking they don't. In fact, tourism bolsters the local economy which provides jobs for local residents.

I personally disagree with time spent being a metric for who gets to live here and who doesn't but people don't take kindly to that sentiment in the US.
Interesting talk from an academic point of view but still left me confused as to how we should 'think in functional terms.
Direnv – Unclutter your .profile
From my point of view as someone who is no longer ddos'd, I don't have a problem with this.
My opinion is that a person who agrees to live in a building 365+ days is generally going to be far more respectful of the building and neighbors than a person living in a building for just a few days.

This has nothing to do with vetting neighbors. In a rental building, if you have a permanent neighbor who is a nuisance and is violating their lease, this is easier to resolve. For starters, you know their name, where they live, and the owner/manager of their unit.
The kind of verification they undergo varies considerably. The amount of errata in modern CPU's shows both they're not fully verified for correctness and that the verification they get works wonders given number of components & interactions. Even if fully verified, the verification would be that the Turing-Complete hardware properly implemented a model of the Turing-Complete hardware.

That kind of buys us nothing in terms of whether we'll know if programs are malicious or contain them, eh? And look at the giant, losing game that followed between the mice and the well-fed cats. It's why safety-critical systems often used deterministic, state-machines running on simple MCU's or PLC's. :)
Why is this on HN?

Is this site no longer moderated?
And I feel better for it.
PIMPL, Rule of Zero and Scott Meyers (2015)
> Yet for some reason, edtech hasn't been able to look beyond the current state of things and build something completely new. There isn't an "Uber" or "Bitcoin" of edtech. And I believe the reason why is solely because of posts like this: advice that places too much importance on working with inefficient systems, industry best practices, laws and trying to fix a broken system instead of ignoring all of that unimportant stuff and just focusing on users to build a new one from scratch through software.

The number one obstacle quite frankly is law and accreditation. They force the certain basic foundation that hinders a revolutionary startup from inventing a different modality.
To answer your anecdotal evidence with my own: my neighbor's apartment is an AirBnb, and is often very noisy and over-capacity. I feel less safe in my building because I'm no longer on a personal basis with all my neighbors. I use AirBnb as well, but the negatives are more than "paranoid hysteria".
Because of the obvious [and sneakily hidden censorship], I'd imagine
Thanks for your in-depth response.

From my initial dive into Elixir/Phoenix/FP (coming from Swift-Python-JS land) I find it a bit daunting but also exciting in a way.
From a personal standpoint I'm not very fond of OO generally, it's just never clicked completely for whatever reason. The concepts I've learned about FP make a lot of sense, although I don't yet have a deep understanding of them.

I'm in the early planning stages of building a web-app that will make heavy use of media as well as have messaging capabilities. I really dislike Javascript so I'm looking for ways to minimize its usage, but only if it makes sense.

Could you elaborate on 'things its not great for' - what types of things and why?

Also - could you suggest a few of the major concepts to take a look at RE: the BEAM.
I'm not all that familiar with standards bodies, but is it common for retailers to create standards? Isn't it often the case that industry does this?
What we need is a Bill Murray that creates other Bill Murrays!
Current one here: http://erlang.org/doc/

Here's a list of things you may want to check to compare:

* applications list:

+ https://marianoguerra.github.io/otp/doc/applications.html

+ http://erlang.org/doc/applications.html

* modules list:

+ https://marianoguerra.github.io/otp/doc/man_index.html

+ http://erlang.org/doc/man_index.html

* a module doc page:

+ https://marianoguerra.github.io/otp/lib/stdlib-3.1/doc/html/array.html

+ http://erlang.org/doc/man/array.html

* code examples:

+ https://marianoguerra.github.io/otp/doc/programming_examples/funs.html

+ http://erlang.org/doc/programming_examples/funs.html

* one with a little of everything:
+ https://marianoguerra.github.io/otp/doc/reference_manual/exp...

+ http://erlang.org/doc/reference_manual/expressions.html#id80458

* tables:

+ https://marianoguerra.github.io/otp/doc/reference_manual/expressions.html#idm45459941644800

+ http://erlang.org/doc/reference_manual/expressions.html#id81348
HTTP has a good solution/proposal for this: the server can include a stale-on-error=someTimeInSeconds header in addition to the TTL and then every cache is allowed to continue serving stale data for the specified time while the origin is unreachable. Probably a good idea to include such a mechanism in DNS, too.

https://tools.ietf.org/html/rfc5861
> For those who make it to leadership, niceness is also a key to success. A 2015 NBC poll found that most people would take a nicer boss over a 10% pay increase.

Doesn't this mean that most bosses are not nice, ergo niceness makes it less likely to get a promotion?

Of people prefer a pay increase over a nicer boss that would prove that nice people get promoted more often.
Your points have some merit, but this:

> the reality is that new housing is simply illegal in every positive population growth city in the country

is just not true. There's plenty of greenfield building going on in the metropolitan areas of Denver, Boise, Salt Lake City, Vegas, St. George, Phoenix, Kansas City, Minneapolis, Northern Virginia, Raleigh, Atlanta, and South Florida. These are areas that have all shown positive population growth.
Thanks for the input - how were you deploying before elastic/docker?
Right - people don't realize that if people had to actually pay non-subsidized rates for water, and had to pay the same rate no matter whether they were using it for irrigation or household use, then most of these wasteful agricultural applications would end pretty sharpish.
The question here is, "Are Google's advertisers really the ones you want to influence your behavior?"

What interest of yours do they have in mind? What interest of society's?
I don't actually think this will lead to open conflict. My comment at the end was just saying that this is what a world war would probably look like now, and that this back and forth might continue for a while.
I'd like to hear from an expert as well, rather than rely on piecing news items together.
NetFPGA. Been around in various revisions since 2007.

https://en.wikipedia.org/wiki/NetFPGA
You said "so it sounds exactly like a standard DMCA notice to me." My point was that ContentID isn't the DMCA, or even a legal notice. It exists only within YouTube.
That's pretty much exactly what a lot of people don't want you to do - remove permanent housing and convert it to short term rentals for tourists. This is a big part of why NY and other municipalities are moving to regulate airbnb.
In some states, that $50k is the home price. Or (mandatory Detroit joke) the entire block.
Interesting. I have the opposite opinion. My measure of quality is how quickly i can do common tasks, and i found that Win10 gets in the way so much, that i am now installing win7 in my new laptops. Imho win7 hit a gold standard for usability in many years
Hi!

Thank you for the feedback and the suggestion. It is a good idea actually. I'm considering new features in the roadmap, because at the moment I don't even offer Internet access through my system, it's just a private LAN (I'm not competing with the myriad of privacy-minded browsing VPNs out there). Adding a manageable Internet Gateway could be a nice option.

Developing and deploying a software+hardware piece would be very interesting too, so there's no need to deploy agents on the remote servers or IOT devices (on most of them you probably can't) and I take the hassle out of my customer's hands to setup a e.g. Linux gateway to route traffic through the tunnel.
> There’s nothing about a global computer network that necessitates addiction-like behaviours.

but is there is some level of addiction in any habit. That being said, this article has some funny ideas. Ban infinite scroll and autoplay. Make a "distraction dashboard" mandatory.
They offer Anycast and have POPs around the globe. They also have some other nice features such as intelligent failover and extra GEO IP features. Things that you would otherwise have to build yourself.

They have been around a long time. For years they had a free product called DynDNS that would allow you get an A record for your dynamic IP at home.
What's interesting is that throughout the different startreks. They touch on disconnected borg greatly depressed and missing the collective. There is less fear and more collaboration in the borg. And while individuality is reduced. There are still subtle differences between individuals and smaller groups. Though some accept and desire more individuality. And yet here we are today with so much interconnectedness and how lonely and disjoint so many people are. I definitely have things I'm embarrassed about but if there was an optional to join/leave collective I think it'd be neat/great.

We all only get to experience our single life. But to have opportunity to have memories and experience many more just sounds enticing to me. Borg isn't mindless. It is a collective where ones arguments don't need to be debated because you can reach better consensus because you can fully experience and understand the counterpoint and why views differ. We are all blind to our own anecdotal experiences.
No, but they do own patents created by their researchers.

Stanford didn't own Google, they owned the PageRank patent, which they licensed to Google in return for equity.