skysight-inc/HackerNews huggingface dataset:
Worth mentioning that there is at least one other language being built on top of the EVM:

https://github.com/pirapira/bamboo

This one takes a strict state machine approach, and aims to solve some of the tricky reentry and state tracking problems of Solidity.
I messed up my wrists from typing/mousing too much a number of years ago, so I spent a couple years working at a grocery store while building a new kind of text editor meant for efficiently writing code with motion sensors (e.g. Leap Motion, Kinect). It made it to the front page here, which was an interesting experience, but my end game with the project was basically, "get far enough, post to HN and the world will see how cool this is, and somehow you'll be able to continue working on it"—and that did not materialize.

Project: http://symbolflux.com/projects/tiledtext [video]

Original Show HN: https://news.ycombinator.com/item?id=5306155
Wasn't it introduced at build, the developer conference? I imagine that should have given a good indicator as to their initial target market while use cases are built up for production versions. The Mixed Reality headsets seem to be in the same vain, an opportunity to start introducing that tech to developers at a lower price point.
You admittedly lack foundational knowledge on this topic, which means you should be asking questions from the position of an open mind rather than trying to insist on the impossibility of something. Even better, you might try to pro-actively acquire some foundational knowledge.

Without having any frame of reference for your learning, and without being a true expert in these matters, this is the situation as I see it.

The Moon is close in terms of distance but not all that attractive in terms of delta-v. Mars and Venus and the Moon are all within hand-waving distance compared to the wider solar system and certainly when compared to anything more distant. Lunar regolith isn't the worst building material, but that it lacks an atmosphere is a more serious stumbling block than might be anticipated. Lunar dust does not get tumbled and so is quite sharp-edged, and liable to get into many unpleasant places. Lack of water is a concern on most places, and that two-week-long night is going to make solar power a challenge except potentially at the poles. Generally, there's not a lot there that isn't common other places, and having some sort of atmosphere tends to be useful. If the goal is to go further out, then Ceres is liable to present most of the same challenges, but without the water issue. The proximity of the Moon in terms of time is a misleading consideration. In an emergency, it's going to take a long time to get out there unless we happen to have a rocket prepped on a pad (which can be assumed not to be the case). Any disaster is liable to be over long before aid could arrive.

Mars is of course not a bad option, and we do have a better handle on how to build ground-based structures. This is the option closest to today's technology and correspondingly has been explored in much more depth. Mars has an atmosphere, more gravity, and potentially-useful ice caps. Whether or not it should be a destination seems moot at this point; we're going.

Venus however has a number of advantages. As mentioned, an Earth-normal atmosphere is a lifting gas in the Venusian atmosphere, and at 50km the temperatures and pressures are reasonably close to Earth norms. Atmosphere leaks would therefore not be catastrophic. Being closer to the Sun provides more available solar power, and being closer to Earth means more frequent launch windows. The main issue is coating the exterior with something resistant to the sulfuric acid atmosphere. As I recall, there are a number of suitable plastics which can be made more-or-less directly from the atmospheric carbon.

For more information, I would suggest browsing Wikipedia, and perhaps reading Geoffrey Landis' work on the matter. He's not the only one with sensible plans for this, and he does have some critics, but his arguments are well-informed and well-considered.

And yes, I asked people to convince me that the Moon was a better option. Generally, the people who think about these things focus on other options. I was certainly hoping for some expert opinions on the matter.
Nope.

There are many forms of capitalism...

Humanistic capitalism: https://en.wikipedia.org/wiki/Humanistic_capitalism

Anarcho-capitalism: https://en.wikipedia.org/wiki/Anarcho-capitalism

Democratic capitalism: https://en.wikipedia.org/wiki/Democratic_capitalism

Eco-capitalism: https://en.wikipedia.org/wiki/Eco-capitalism

Inclusive capitalism: https://en.wikipedia.org/wiki/Inclusive_capitalism

Neo-capitalism: https://en.wikipedia.org/wiki/Neo-Capitalism

...just to name a few.
From what I gather (and I don't have any more source than word of mouth/rumor, either): at that point of Windows Phone it wasn't any laws or direct legal reasons, but the ghosts of the US DOJ and EU Court of Justice rulings that had Microsoft still worried about changing business models and giving anything Windows related away for free.

Though a lot of that was still momentum/inertia, too. Microsoft had always charged for Windows on every platform, that business model was largely sound and safe.

In Windows 10 there was enough push to change that business model, but the hesitancy in the Windows Phone 7 and Windows Phone 8 timeframes to do that probably did lead a lot of handset manufacturers to "free" Android SKUs.
Face recognition is not that great and can be defeated with some tricks (never tried IR paint, but I guess it'd be effective at night). You can also leave your phone in the car or at your house, or give it to someone else who'll be you to those sensors.

It's much harder to detach (and reattach) your hand.

Also, I never volunteered to be tagged by facial recognition (except for my passport) and these people are volunteering to be tagged.
How I Built a Twitter Bot Using Auth0 Webtasks and Data.gov
> The minimum wage was always supposed to be a living wage

Well, that and a way to keep dangerous newcomers and minorities from driving down wages.

https://en.wikipedia.org/wiki/Davis%E2%80%93Bacon_Act_of_193...

"The Coolie cannot outdo the American, but he can underlive him." - E.A. Ross
I think it really depends on the use cases. For example, if you are in a team of 5 engineers, all working on mostly unrelated areas, then no problem. In this case, you might go a long way without having an actual need to learn something more advanced.

However, it's quite important to recognize when your basic git skills are not enough anymore. Which often is joining a bigger team/company.
I have gigabit Fios and my Netflix connection is always throttled down to 150 Mbps. I wish there was something I could do about it because I actually do watch 4K content.

But really...it's still pretty good so I don't care enough? This is probably why they do it.
>Is every single type of profession required to support a family of 4?

Certainly not. And anyone who says it should is being disingenuous unless they also support rabidly protectionist trade policy like not purchasing virtually anything from China or Mexico. What they really mean is that they don't like seeing poor people close to them.
Pik – a new lossy image format for the internet
That's pretty like early days of web development when people write SQL-injection vulnerable code on daily-basis
Here is my explanation:

The Skype call will use the forward facing camera of the Hololens user. For the Hololens user the view of who you are calling will be presented in front of you as you move around. Also, people on the Skype call can interact and draw on objects in front of you.

See https://www.microsoft.com/en-us/hololens/apps/skype.
Power users not being impeded is precisely my point, and you've made it for me. That these features are considered "advanced" and thus buried is my argument.

These kinds of features are not surfaced readily (existing many interactions deep, and not single gesture or action operations) or they are completely absent from the bundled operating system distribution, despite comprising essential utilities.
So THIS is why California has so many" no waiter, order at window and take food back to table" restaurants. I knew there has to be a reason but couldn't figure it out...

Which I guess means this policy is very polar. The waiters that still have a job make more money. The ones that got replaced by a to go window have nothing.
Fair enough. I'll let you know when I find it :)
Some pointers you might appreciate:

Jack Petterson and Robert Edström did a master's thesis about retargeting the Idris compiler to emit EVM code, with a custom effect type to express smart contract effects. They ended up modestly skeptical of functional programming as a paradigm for EVM, instead looking toward process calculi. https://publications.lib.chalmers.se/records/fulltext/234939...

Yoichi Hirai's summary of his research into Ethereum formal verification as a full-time formal methods researcher at the Foundation: https://github.com/pirapira/ethereum-formal-verification-ove...

See especially his formalization of the EVM as Hoare triples in Lem, which is usable from Isabelle: https://github.com/pirapira/eth-isabelle -- very cool stuff, although I have to say that the ostensible complexity and difficulty of his proof verifying an utterly simple wallet contract makes me a bit skeptical of this approach to smart contract correctness: https://github.com/pirapira/eth-isabelle/blob/master/example...
Startup Founders' Best Fundraising Advice
I think a large part of this is how we hire people. It looks much more sexy on your resume (and prepares you better for interview type questions) if you have experience building from scratch a fancy machine learning pipeline, than maintaining a 100K+ legacy (say > 15 years old) C++ code base.

Not only this, but I've lost count of the number of young guys I see come into my company (especially the machine learning guys), spend a year exploring some new technology, then jump ship to a different company when it comes time to integrate it with the existing legacy code base.
Jack Ma Launched $10mln Fund for Online Businesses by Afrika's Youth
You are right. Some Apple policies are downright disgusting.
My understanding is that its not an issue of the cost to "upgrade" the interconnection infrastructure. That cost is likely negligible. What's happening is that VZ is refusing to do it, and allowing service to degrade, unless Google pays X. So yeah, basically extortion. Google has already paid for bandwidth, and this is traffic that VZ's paying customers are requesting.
So in a statically typed language, if all I know is that I'm getting a string as input, it'll force me to deal with all the possibilities. Is it a number in the form of a string? A null value? A string that isn't a number? The type system will guide me through handling all the possibilities and enforce that I handle all of them. With dynamic typing, there's always a chance you've missed a case and next time the data comes in it'll trigger an exception.

If you have decent type inference there isn't extra typing and any time you think you're saving with dynamic languages gets eaten up having to manually fix things when errors happen at runtime. I'd much rather spend time fixing predictable compile time errors than unpredictable runtime errors.
If that solution ends up being cheaper, it's likely to be the solution that gets implemented.

(That might be OK, provided the now displaced workers choose to move someplace with a lower cost of living where they are able to make ends meet being paid an amount commensurate with the value they create.)
I read that as conversations and thought Microsoft invented some bizarre calculator based messaging app hybrid.
Google should instead throw a couple more billions at the SpaceX mesh Internet satellite project, bypassing these asshats completely once and for all. I'd switch in a heartbeat, even if it was a bit more expensive.
OK, it seems like you have a different interpretation of the OP article than I do. You seem to think that people are bothered because a Kite-plugin uses and advertises Kite services. However, that is not the main point of contention. The problem is that a popular plugin that was not previously affiliated with Kite came under Kite's control. Kite analytics/advertisements were then surreptitiously added to the plugins.

When Kite's alteration to the plugins came to light, people took umbrage and stopped using the Kite-controlled version of the plugin. Problem mostly solved, but that doesn't mean people can't continue to criticize Kite for its actions.

If Facebook, which is the official maintainer of React, were to add a line of code that caused all React implementations to add a Facebook button to their webpages, I would bet good money that everyone criticizing Kite here would be ripping on Facebook.
because you're shilling for a pyramid scheme , and it's not even a secure pyramid scheme. the software its's built on is shit, from top to bottom.

The people writing programs on it are writing bad programs.. but even if they write them well the environment has vulnerability built into it .

>Why are you even in this thread?

Why are you here? it's one of the top posts on this site today.
New Book to Empower Nigerians to Initiate Public Service Digital Transformation
This is good advice. Also, appreciate what you've been given and give to those less fortunate. Working at a soup kitchen, or somewhere where you can come in contact with those less fortunate will help you appreciate what you have. Akulbe mentioned kids. I can't upvote that enough. They really help you become selfless and see the beauty of life.
Yes, at least for electrically small antennas.
Sure there is, it just wouldn't fly here. It's the same solution to the last-mile problem. You stop carving up the spectrum into tiny chunks. Government owns the tower and all spectrum coming out of it, runs the fiber back to a central pop, cellphone carriers tie into that pop and route traffic appropriately - (the access is sold on a per-tower basis to recoup the costs). Lowers the barrier to entry for new providers and should create actual competition based on services instead of based on who has the most money to buy up and sit on spectrum.

The only reason we even have real competition at this point is because the FCC blocked AT&T's acquisition of tmo. That NEVER would've been blocked in our current climate.
This would be compelling were it to contain accurate information. However, likening the parity incident to a "hack of ethereum" is like saying the USD is flawed because wells fargo was broken into. The same thing is true for the DAO, although it is indeed more complex in that the _resolution_ of it was handled by Ethereum proper. I think that was questionable.

Literally no one within Ethereum calls it an experiment. You have to cherry-pick from population and then ascribe it to the whole for this to be even sensical.

Essentially every technology we can think of can be rooted back to the 90s, or really any period we want to look at since that is how knowledge works. If you've got a particular, say it...rather than just this poor, lazy attempt at a sort of character assassination by employee (fairly inaccurate) appeal to oldness.

It is thoroughly _without merit_ to suggest that the analogous components of ETH and BTC have BTC being more secure. In fact, the opposite is true by any reasonable measure. Further, there are indeed things that Ethereum tries to do that add complexity, but if they come with value we shouldn't then find ourselves saying things like you do that amount to a sort of "my abacus is more secure than quickbooks online" - different purposes, solving different problems and creating different sorts of value. Even beyond that BTC holds all records for security events and $ cost of them, coin-loss amounts of of them, and so on.
I didn't try it, but I'd suspect it would also get blocked.
Snopes.com in Danger of Shuttering
What is GraphQL?
GraphQL is all about data communication

Somehow it reminds me of good old "The S stands for Simple": http://harmful.cat-v.org/software/xml/soap/simple
Looks awesome! Really like the idea of reusable sass files. I would suggest maybe some GNOME UI components or anything OSS, since most of what you have is kinda dodgy with the license ( I assume ).
An identical open source Paint re-implementation is available on ReactOS, the free open Windows re-implementation: http://www.ReactOS.org

You can download it from the package manager, and use it on Windows or Wine too. (Maybe WineHQ ships it as well)
Facebook 2 download
I've seen plenty of suboptimal code in review, commented about what I consider a better/more readable version to be, and gotten the response "this is what the clang formatter produces". Boo to automatic formatting. It produces the worst lowest-common-denomninator version of code.
I'm running Windows 10 on a 7 year old desktop. Just typed win+snip+enter as fast as I could, it launched the snipping tool.
There's a great quote from Kite founder 'alexflint in one of those earlier threads:

"our plan is to earn trust the hard (i.e. only) way: transparency, published policies, and a track record of good decision making."

Easier said than done, apparently.
I hope it also contains a decent CPU. The first version has a ridiculously underpowered Atom with no vector capability of any kind. Not the kind of thing you would expect in a $3000 device.
Ask HN: How did a kid use my email to buy free Amazon apps?
Over the last 2 weeks. I've received about 5 emails. All of the emails confirmed purchases of $0.00 Amazon apps. I haven't downloaded any Amazon apps in many years. Usually, happens on the weekends. The weird thing is, the emails are sent to an email that is unconnected to my active Amazon account.

I'm pretty sure these were bought for a Kindle device. I haven't used a Kindle in many years. I inquired about younger relatives but none of them are at the age where they have the ability to type an email address or use apps for pre teen girls.

Anyway, I contacted Amazon and no one was technical enough to have a conversation. They offered to close the account without explanation. Eventually, they sent me a password reset link and I was able to request an account closure.

The account was empty save the apps and a subscription to a newspaper.

Do you think they just allowed an account to be open without email confirmation? Very weird.
Snopes asks community for donations
The grand parent comment asked, "In short, are the Krylov methods (or perhaps other approaches) a bit too precise in their attraction to critical points?" to which you replied, "Exactly. Saddle points are like a magnet for them!" There's little room for ambiguity here and this is categorically false. Your linear solver has nothing to do with saddle points and Krylov methods do not attract them.
Gonna need it from a source better than Vice.
Hi def isn't, but expansion is. Our economy is based on growth.

Is it really a value add for the economy for Verizon to turn a higher profit which they funnel to their executives? Or do you think that money would be better spent buying infrastructure which requires thousands of jobs to build?
In a way, they used to. Peering agreements between large networks allow unbilled traffic from either party with the understanding that both would be serving and consuming similar amounts of traffic. With the emergence of the network neutrality debate ISPs have claimed that peering agreements are not appropriate because content providers "send" more traffic than they receive. This of course ignores the fact that their customers are requesting the traffic and their whole business model is designed on asymetric traffic.
Yep, title is bad, better would be "Physicists Just Generated a Fermion That Acts as Its Own Antiparticle", or more concisely: "Physicists Just Generated a Majorana Fermion".

All bosons (e.g. photons) are their own antiparticle, so this is a rare instance of science writing where the headline is LESS interesting than the actual work done.
Maybe I did downplay a bit. But the key takeway was, he was involved with all of that, not because he was assigned to it, but because it was interesting to him, and he wanted to do something with it. His work with digital circuit design arose out of him playing with making maze solving robots.

He, of all people, clearly embodied the idea of, "Get a job you love and you'll never work a day in your life." Of course, it doesn't help that he had an extremely tolerant employer, one who realized that letting him do things like play with the robots, would lead to such breakthroughs.
This is a project I followed pretty closely at the time and I always felt it was doomed. There were probably 100 reasons it failed that I wasn't aware of but it seemed at the time like people really wanted the open software and platform but OpenMoki got religious about hardware which no one really wanted or cared about. Ultimately this was the route Android went and we see the results.

It is classic for FOSS wonks (I am one!) to forget that most people don't care about the principles of FOSS, they just care about the practical implications of FOSS which aren't always the same thing.
My Show HN (https://news.ycombinator.com/item?id=14782936) made it to the front page 7 days ago and stayed there for a couple of hours. We got 70 downloads and some very good feedback.

We are consistently getting a good rating in Play Store [1] and thanks to HN we now have around 50 daily active users playing 75-100 games. Meanwhile, we are developing the features that were suggested in the comments and we felt are required.

[1] https://play.google.com/store/apps/details?id=com.buildmyvoc... - Two-Player Vocabulary Game
"Regular shifts are virtually non-existent in most low income jobs today. "

This is a really bad trend that gigging will even accelerate.
>I've been holding a handful of Ethereum since there was a decent dip in the price.

You opened by explain how you clearly have an interest in this, you got in, and since you are saying you bought during a "decent dip" that means you only got in recently.

The rest of your post would be shilling only that you disclosed your interest.
> The need to do multiple round trips to fetch data required by a view: With GraphQL, you can always fetch all the initial data required by a view with a single round-trip to the server.

I'm not sure what's different. You can actually implement the same with plain old http api's, also.
Windows 10 is making too many PCs obsolete