skysight-inc/HackerNews huggingface dataset:
At the very least, the size of the standards of the two are comparable. JS is far too inconsistent to be truly simple

https://www.ecma-international.org/publications/files/ECMA-S...

https://docs.oracle.com/javase/specs/jls/se9/jls9.pdf
Edit: Opera includes a "gratis" VPN, but definitely not for free. Just read the Privacy Terms. And they keep logs.
>VPNs aren't a defense against subpoenas or warrants

They absolutely are for a huge number of people. Why do you think so many VPN's advertise the fact that they don't keep logs? I imagine far (_far_) more people use VPN services as a way to evade copyright holders than as a mechanism to avoid marketers (most people don't give two craps about the latter issue.)

BTW, was the snarky bit at the end really necessary?
The mechanisms of vision are really fascinating. Ever notice that when you first glance at a clock, that first tick of the second hand/digits seems to take too long?
Yes, s3 is very slow. Maybe to pursuade clients to move to their db solution.
The NFL has struggled finding a good home for Thursday Night Football. MNF could easily turn into another network wandering nomad.
I had a knockoff laptop power supply energetically self-disconnect. That was surprising!

Laptop was plugged in, cord draped over something and under mild tension. As near as I can tell, the wires shorted on the DC side, instantly melted the plastic insulation, and suddenly I had a severed cord and two live wires sticking out of the brick.

... so no, I would never leave a counterfeit laptop charger unsupervised.
Did you mean Chunky? ...Janky? ...Chutney? ...Catchy? ...Junky? ...Chicken? ...Jaunty? ...Twelve? ...Internet? ...Antidisestablishmentarianism?
I agree. It quite lived up to and even surpassed my expectations. But this would have been in the 90s. They had a nice little core built and it was a functioning artist colony. I've got a metal tile I bought there on my computer desk right now, as a little reminder of other possibilities.
>> Someone has got to air the games.

Really? Football has been played without network coverage. I could see a future whereby teams handled their own streaming, or where the NFL did it all through NFL.com. The days of "air" are quickly coming to an end. I'm a little surprised that Netflix, Google or even FB aren't bidding.

And if NFL owners want more people into the stadiums, curtailing broadcast coverage has been the traditional means. Ticket prices are already so high that it isn't inconceivable that they take it to the next level and market a game like a rock concert: be in the room or miss out.
For the German speakers: Omega Tau has a pretty good podcast about Ethereum and Solidity: http://omegataupodcast.net/265-ethereum-and-solidity/
Did you look under the couch?
> it means only that you can't get in trouble from the authorities for holding unpopular views.

That's freedom of thought.

Reducing freedom of speech to the kind that doesn't have any influence (that would be "speaking to the crowd") is utterly ridiculous.

You can't be that stupid, and I'm not sure I mean that well.

---

PS: I don't care about the legal definition of the term "freedom of speech", it was defined at a time when it couldn't mean anything significant for the common people. Just understand that I'm talking about something broader, more powerful, enabled by the internet. Maybe you don't care about that broader freedom. But then imagine for a second being stripped of all your accounts, including your blog if you have one. We'll see how you don't care.
Three of your four points are explicitly addressed in there as reasons to use a vpn.
What Are We Doing Here?
Baby's first Bitcoin: an online platform for parents to introduce their babies to the world of cryptocurrency.
I would like to see MNF go back to an over-the-air network.

MNF has a long tradition before moving to ESPN. There are lots of fans who don't have a pay tv package that have been missing out on MNF.
A few thoughts/questions if the authors stop by since I can't seem to find a link to the Coq source:

I'm curious if there is an interpreter written in Gallina that implements the semantics? Maybe with a simulation proof (or similar)? It would be pretty sweet to have a verified interpreter.

Also, found this in the corresponding blog post while search for the Coq source.

> It is Turing incomplete, disallowing unbounded loops and allowing for static analysis

It's definitely possible (and not so hard depending) to do proofs and static analysis of looping programs provided the specification can be encoded as an invariant. To be fair I'm not sure what the implications of non-terminating programs are in this setting and with respect to a specification.
And by extension: Is it a democracy right now? Seeing as a good portion of convicted felons are not allowed to vote.

https://en.wikipedia.org/wiki/Felony_disenfranchisement#Curr...
Bounty0x October 30 Weekly Development Update
Here's my idea. All I ask for is a free one if you use it.

A drone fence. Hear me out.

Problem: Fencing is FUCKING expensive. For many people who want to keep animals out (garden, animals pooping in the sandbox) buying a fence is really cost prohibitive. Plus they don't always work anyways.

Solution: Self driving drones with IR cameras in specific locations. Place a camera or two in strategic locations, and have a drone take off and chase off deer or rabbits. Return to the main station, land, recharge, repeat. Might need to have a squirt gun with some vinegar or something to scare off the more aggressive deer.

But combine some machine vision (don't want to chase children), autonomous flying drones, and some smarts, and you could have a $2000 system that replaces a $X0,000 fence.

Sorta the opposite of an invisible fence for animals.

I would LOVE one of these. I just don't have the capital or talent to make it happen...
Ah so that's why Amazon Prime was able to land TNF.
> Someone has got to air the games.

Does someone? Sure, professional football has been very popular for many decades, but there's nothing about the order of the universe which states that it will remain so forever. We don't have chariot races, or gladiators, or bear-baiting — maybe someday we won't have professional football either.
I feel reasonably sure they could have gotten the money for a fair amount of additional growth, but I never had the sense they had the will for it.
That's how I do it.
So, basically:

"If you like being shunt into small teams to work on small projects that take too long and go nowhere, being unable to effect larger changes that actually improve things upon the sprawling mass of wasted effort and reinvented wheels, no long term organization or planning or realistic goals, no semblance of cross-group communication or organization, total enslavement to a disjointed hierarchical mess of disparate initiatives that are ignorant of one another (to say nothing of even caring to help each other), and wasting half your time supporting legacy systems that nobody has the energy or balls to finally put in the dirt, welcome to working at a big tech company."

I might be a little cynical.
Amazon currently streams Thursday Night Football
Actually if they are smart the NFL capitalises on the current political climate.

Think about it: an NFL team sponsored by the alt right vs. one funded by Ben&Jerry's.

https://en.wikipedia.org/wiki/Nika_riots
Idea: build a job agency for (groups of) great developers that want to work from home or their own office.

You could be your first customers :)
On the low end, Linode is also an option: 2GB/$10.
There would have to be a pretty massive drop off for that to be a problem. The biggest costs are player/staff salaries and stadiums.

They can just keep the salary cap low and stop paying for new stadiums.
Could somebody explain the original 8 or so equations of maxwell using only the ten hundred common words?
Better buy an used computer. They are remarkably cheap.
How about buying a category killing .com domain name, and use that as inspiration to build a business? The domain name can be your guide.

Here's one: Glowstick.com .. it's currently at auction. http://www.namejet.com/pages/auctions/standarddetails.aspx?a...

Go buy it, and create an online ecomm store selling stuff to party folks, halloween folks, safety folks, etc.

Or hire a domain name broker like MediaOptions.com or Evergreen.com to handpick a domain - that way you have an unfair advantage out of the gate, and a somewhat business direction already baked in..
Probably not what OP is doing, but there are way better ways to do that than VNC. You can adaptively stream gaming pretty effectively over any network especially a local wired one.
> Try that today and your old node/wallet will have trouble reading Segwit transactions.

If you mean starting an older version of Bitcoin Core after the on-disk storage has been converted by a newer version, then yes, of course. The way data is stored has changed, not the least of changes being Leveldb instead of Berkleydb.

But at the network level newer nodes will communicate with older pre-Segwit nodes just fine.
Trackography – Who tracks you online?
With your expertise and connections, why not start a consulting firm?

You'll see problems people have across different domains and maybe discover some problems with opportunity for solutions. You can also make small experiment projects as part of your firm.
My own state of Vermont has signed on to this [1] particular proposition, so no, not every tiny state demands that it have a voice disproportionate with its size.

[1]: https://en.wikipedia.org/wiki/National_Popular_Vote_Intersta...
curious - are there any reports/#'s out there that indicate attendance is lower than normal? +correlation w/ kneeling players?
windscribe.com is another one.
I’ll see it! Thank you
HFT strategies are of course secret but aren't they really taking advantage of:

1. Faster speed to market. Basically, front running
2. Extremely low transaction costs. Not available to the retail trader or even electronic mkt makers.
3. Extremely low time in each trade - when you dispense with bell curve predicting - risk becomes only the time you are not flat.

These are NOT prediction of future price. HFT don't make money 'predicting' the market - they are too sophisticated as traders to believe that's reliably possible. It is to some extent, but its very hard and theirs is a better play.
Right, individuals are the point. Local optimization, no matter how well done, may not get you to a global optimum.
Give the money to charity and get a job.
I guess it’s similar to code golfing. It can be interesting to try to get as far as possible with an extreme restriction.
Recently read this quote:

There’s a well-known adage that “Having no competition may mean you have no market.” The corollary I’d add is that “Having competition doesn’t mean the market is full.”

Seen here: https://www.backblaze.com/blog/how-backblaze-got-started/
> Because my bet is only valuable to you for as long as you have money to keep making it. But if you bet too much, you will eventually go bust.

Funny how this seems also to work as an argument against Pascal's wager.
As I understand it, the relevant factors are the brightness per unit solid angle (aka surface brightness), the aperture (area of your pupil). The degree of danger for a given time spent starting at the sun is proportional to the product.

The surface brightness of the sun is the same during a partial eclipse: each bit of sun is just as bright as if there was no eclipse -- there's just less of the sun visible. This is true in visible and UV, so the ratio of UV to visible light is unchanged. The problem is that everything gets darker, so your eyes dilate, which increases the danger. Also, partial eclipses are neat, so you're more likely to stare.

During totality, it's a whole different ballgame. You can't see the bright part of the sun, and all that's left has much less surface brightness. I think it's roughly comparable to the moon.
Everyone makes it so complicated.

Armchair opinion, for all that it's worth (so probably stop reading here): what can you do to provide a lot of marginal value to people, without requiring them to do much?

All kinds of things - how about something with clean water or reliable power generation/storage? There is no shortage of ideas out there, richie rich. If you're REALLY hurting for something like an idea, it's going to show, and you're gonna get grifted. What are you expecting to accomplish here, opening a can of meat in a swarm of piranhas?
Does anyone know of a way to scrape the web anonymously?
I think NewSQL refers to database systems that still enforce ACID transactions, but use various strategies to avoid the scalability difficulties that have traditionally been associated with RDBMS as both consistent and available systems.

https://en.wikipedia.org/wiki/NewSQL
Ask HN: Good resources for learning Git?
I've gone through basics of git and using the command line. Annoyingly, every tutorial talks about what commands to use and what they do.

I am looking for a more abstract guide that teaches about how to run a project using git. When to branch. How to pull and push from remote, how to fork from github --> modify and then push back to original repo with a PR...

Teaching people what commands to use is missing the point in these tutorials. I can download a git cheatsheet and look up the commands without any help. The real meat of learning Git is in the abstract use cases that leverage the git system. Hardly anyone talks about that.

If there are books, blog posts, anything that could help - I'd greatly appreciate it.
If you don't come up with anything I'd love to chat with the CMU person.
I feel like Shenzhen factory owners must work very hard to keep a straight face when someone shows up and says "I have a bag of money from Kickstarter, and need a one-off large order under a tight deadline."
Hi.

I have been working on a startup that would disrupt a few industries, but it turned out I bit off more than I could chew and I got burned out. Have a bunch of paying beta testers, crazy stick rate, but have moved onto simpler things for now. Have pitch deck ready and would be happy to discuss in private.
How is it not a search engine? Opinions about what constitute proper search results has always been at the core of Google’s algorithm from the very beginning.
No, I don't know anything more that you. But I can contrast the scale of Twitter with other comparable, realtime, multi user sites like reddit and stackoverflow. Both of those sites have 230 and ~330 (I didn't count all the SO employees), respectively. And Stackoverflow is actually selling a product. Is Twitter so different from these sites?

https://en.wikipedia.org/wiki/Reddit
https://stackoverflow.com/company/team
He only lost 3,000
Oh, lovely. I'll have to check out Kotlin's coroutines in more detail. So far I haven't seen many coroutine/green thread implementations I like. In fact the only one I like is Python's gevent since it's very non-intrusive and often works with existing libraries without modification, whereas Python's async/await or C# (I think) require every part to be aware of the coro (and unwind the stack when suspending)
One option that other TV rights offerings have taken up is to split the package into tiered offerings.

That would allow the NFL to maintain ESPN as potentially the top tier while introducing new suitors with lower tiers and maintaining their revenue in aggregate.

The losers in this scenario are the fans: forced to purchase several subscriptions if they want to watch every game.
You will note with Digikey the packing list includes a certification that the parts are not counterfeits.
This is going to be one of many reasons there might be a lockout in 2020 when it's CBA renewal time. This is going to trickle down to the players. NFL can't continue charging exorbitant access fees which means they will have to request a serious reduction in the salary cap (the owners aren't going to be willing to eat these losses).

I think this is great thing as the economics of large sports salaries have been artificially inflated by surreptitiously charging end users for things they might not want. As the internet continues to alter the landscape around content choice, traditional providers are going to have no choice but to push back on the networks which will, in turn, push back on the leagues which will, in turn, push back on high sports salaries. I wouldn't expect any of the limited sets of providers to accept any more price hikes from the sports networks. Sports costs have to come back down to earth as consumption specializes. It already has or will happen with other forms of content too.
There's an awesome service that is executing on this idea in NYC and other similar markets, and is growing pretty quickly: https://roomiapp.com/
Interestingly, Messages.app on macOS actually is a webview (well, the chat log portion of the window).
"Those who can't, teach". Why not start an incubator? Sounds like you have the perfect skill set to help and support teams with ideas.
Reference Bibliography for Human-Compatible AI Research
Who remembers when everyone complained about TV bundles and paying for shit you don't watch...
Last year one of my friends said: “Not only are all the good ideas taken, but all the bad ideas are taken too.”
Most stadium deals NFL teams have made over the past decade gives the team revenue from all events in the stadium instead just the NFL games. Owners who have been able to get cities and states to agree to these deals can insert other events on the days the team would have played should the sport collapse. The team as a legal entity would live on as an entertainment services provider. Even if the replacement event isn't as popular as the NFL once was, it along with all the other events hosted at the stadium likely would keep a profit stream flowing to the team owner.
Lawmaking is Data-making
Spend some time travelling. Around the country or the world. Talk to people outside your normal social class. So many people these days have cellphones and internet access (worldwide). Make their lives easier then find a way to make some money with it.
Long time NFL GamePass subscriber here... no commercials, watch any game I want when I want - it's a completely superior experience to cable / OTA. I get that the NFL wants to maximize its revenue by selling rights, but they could likely provide their own real-time streaming service and every football fan on the planet would be happy to pay for it.
"Whilst I completely think net neutrality should be enshrined in law"

Oh it was. Then the European court over ruled it thanks to powerful lobbying.
Instead of spinning your wheels trying to come up with something for no reason, why don't you address a problem that already exists?

Give the money to charity, if you have it, and then do something inherently worthwhile.
I've yet to find any. If you look at attendance for the last decade there seems to be no indication that it is actually declining.
Build a Lazy-Load Router with Vue.js and the Lastest Browser Features
Or, first read A Random Walk Down Wall Street.
I love it. But seeing this now, in 2017, is a bit depressing to me.

For the last 15 years Microsoft has been putting out the same RAD tools, but based on ASP.NET/C#/Visual Studio. Things like drop-in provider-based OAuth, editing versioned database projects, WYSIWYG UI, etc. Publishing to the web, even the flow of clicking on a button to edit its handler looks like it was based directly on Winforms which is a 12 year old technology.

Why aren't there more of these things out there?

How much time now is spent learning the latest and greatest framework/toolkit/etc. only to spend more time configuring individual components and cobbling them together vs. just getting the product finished and published to users? I don't mean to be cynical but I wish there was some way all these different tools somehow built on each other instead of constantly resetting the dev stacks.

For example, Create React App - I'm constantly impressed by how it has eschewed configuration in favor of getting things done while still having a lot of flexibility. It draws on a lot of great, previous past projects and seems to define the train of thought for other react projects. It seems to me that people like Dan Abramov, Brent Jackson, and others are on the same wavelength which is incredibly powerful for the react community.

There should be a way for that sentiment to extend beyond React, into the database world, the IDE world so that we can collaborate and create more nice things like this.
Pensions are a really shit experience.
I think it means a future revision of the web could explicitly identify a subset like AMP, to encourage web developers to target it without Google being involved.

One advantage of a setup like this would be the possibility to instruct your browser to reject any non-AMP pages (or make them click to play, or otherwise indicate them), if you were on rural internet and didn't even want to bother loading a slow page.
That becomes a huge amount data to track though if it's individual labeling. It'll start out ok but quickly get huge.

Also doing that requires a decent percentage of people to be actively scanning things, otherwise counterfeiters could just play the odds.
This stuff sounds more like R&D than markets to build products for. Way too risky for a company that hasn't even proven they can deliver a product where most of the technical problems have already been solved.
1. Give all of the money to charity
2. Ask for more money
3. Goto 1
I remember installing GitLab on a small NAS-type box. It was a while ago, but on each start-up it ran a nodejs tool to pre-compile some assets, I suppose. On that machine, it took 10-15 minutes to start. Afterwards, the unicorn workers kept getting killed because the default memory limit (128 MB) wasn't enough to process more than literally a couple of requests. It did work, but pages took 2-5 seconds to load, which I couldn't stand.

For anyone needing a small Git Web UI, I suggest https://github.com/go-gitea/gitea.

EDIT: Oh, you're that guy ^^;.

Anyway, my rant was probably a bit harsh. I know that GitLab isn't really written for hardware comparable to a Raspberry Pi and that it's used by small and large teams all over the world. But on my hardware Gitea renders pages in 20-100 ms, which is orders of magnitude faster than GitLab. I'm sure part of this is the fault of the language.
Flask never really seemed like a very mature framework to me, it got so many strange inconsistencies and very dubious design choices I much prefer newer, significantly simpler frameworks.

One example is the way the request context works in flask, I venture to say thats just terrible software design in my book (from flask import request, g). And seriously to have your framework give you a "global" variable to put random stuff in, wth?

Also I rather not use Flask-SQLAlchemy since why should my database models be tied so incredibly closely to some library of my web MICRO framework, it doesn't make sense, I mean its not django why introduce this coupling?

It seems if you need all the dependent libraries (like webassets and wtforms) just use django from the get go instead of going through the pain of trying to cleanly integrate dozens of flask libraries.

To see how a proper simple middleware-based framework should look like consider express, koa (nodejs), or bottle, falcon. Aiohttp and tornado also have their place of course.
What I will say may be old. But that's what I feel everyday I use any piece of software/service. Since I did some startups before years ago. I may just say something only obvious to anyone who have tried them.

1. What kind of stuff do you feel pain?

2. Do all the existing solutions on the market solve that pain?

3. Can you come up something that may be better so users will put their time and money on your idea?

4. Fail, why?

5. Traction, why?

6. Repeat, continue, 1,2,3 [4|5] until you decide to leave the industry.