skysight-inc/HackerNews huggingface dataset:
Because it is not possible to conserve life, I think the equation is more accurately:

[Life] = ( [Stuff] || [NoStuff] )

That is because sometimes NoStuff is what we use life to enjoy.
Within its domain, that's what the Oppen-Nelson simplifier did. Many provers since can do that.

Amusingly, Plato, the first on-line teaching system, had a solver for that. It was used to check student's answers to math problems. It worked by plugging in some random numeric values and evaluating. If many sets of random values evaluated the same as the desired answer, it was accepted as equivalent.
Good point. Looking a bit like Kotlin is worth checking out, based on the comments in this thread, and also that other one some days ago, which was triggered by Steve Yegge's post about it. The only one drawback I can think of as of now, is that it is only being developed by one company - JetBrains (unless it is open source and allows and has contributors, which I have not checked).

Update: I checked, it is open source:

>In February 2012, JetBrains open sourced the project under the Apache 2 license

from:

https://en.wikipedia.org/wiki/Kotlin_(programming_language)
Bresenham is applicable to other conic sections and functions.

I proved this back as an undergrad: i used Bresenham to plot the y = K/x hyperbolic curve.

I had this idea that since 1/x can be interpolated with Bresenham without doing division, somehow that could be applicable to the perspective transformation when walking over texture maps in 3D rendering.
I disagree with you regarding resolution and frame rates, I don't see why you would need a high speed camera. Something like a raspberry pi camera would be perfectly sufficient for this, assuming you still just want to get someone's speed to within say +/- 1mph to shame them, as in the original comment.

Set up your RPi camera about 20m from the road, with it's FOV that'll give you about 20 m of road coverage. Rule of thumb in my world is that the items of interest should not move more than 1/4 of window width between frames. So that's 5m, to move 5m between frames at 30Hz you'd need to be doing about 300 mph. More realistically the car might be doing 25m/s giving you an inter-frame displacement of 0.8m ~130px. If that's too little for your software to register just up the inter-frame time.
I would love to see a space and comment preserving json parser. Being able to programmatically update a config file without losing formatting and such sounds like a big win.
But that's not what they're doing. Judging by their marketing language, it's likely their contract language does enforce caps on the TYPE of content.

If they just started somehow throttling all VPN traffic, this is easy to detect, and they'd be in breach of contract.

It still won't matter with the current crowd in the White House. Nobody will enforce anything.
As a "C#" developer you might use Powershell, SQL, JS, Typescript and other "ancillary" languages to get the job done but you still might think of yourself as a single language programmer.
If you want to save mental bandwidth, I really recommend you reconsider not using Spotify.

Spotify actually frees me from the "what music do I hear in the background" question, manually rearranging playlists, acquiring music and, worst of all, manually keeping my collection tagged. Before I had Spotify, I wasted evenings tagging everything with Picard...

With Spotify, you just give it a starting point, start "song radio" and it'll keep playing and choosing next tracks. You can easily and very comfortably get through the day with only a play/pause hotkey and a next track hotkey. As a bonus, it just carries over between work, phone and home.
Man what happened, we used to compile kernels all the time right...

/nostalgia
> there are multiple ways to lower the privacy incursion that is caused by the data collection

The OP actually discusses a very interesting method for doing exactly that using differential privacy techniques. I personally think that's a very good compromise for this use-case.
Because, companies want these "full stack" devs to do all the stuff if they want them to do, whether it's front end or back end or operations, etc. Also when devs specialize in some area and become experts they cost more, so full stack devs are probably cheaper than specialists. I feel like "full stack" is another B.S. like the "devops" thing that's made up recently (~2008 I guess).
If you're looking to recover a file 3 months later, have you tried set them all up with TimeMachine as the first layer of backup? Cloud backup services should really just be for catastrophic.
The article claims that all major carriers do something similar, so I'm wondering whether MVNOs are exempt.
At the same time we're getting a lot of people with XY-problems. They think they know what the problem is and they think they know what they about have to do, while the real problem is somewhere else. If someone's intend with an asked question isn't clear, then "But what are you really trying to do?" is a valid question.

It's impossible for anyone to just know what you're intentions are and whether you understand the deeper semantics of a problem. More often than not, people try to do things for the wrong reasons.
FOSS Collaborative Environment for Database Management
I reckon an RPi type camera would be perfectly sufficient to estimate speeds, probably to a higher accuracy than you ask.

Edit: a quick search led me to this https://gregtinkers.wordpress.com/2016/03/25/car-speed-detec...

and this https://github.com/pageauc/speed-camera
> Reuters documented 1,005 incidents in the United States in which people died after police stunned them with Tasers, nearly all since the early 2000s – the most thorough accounting to date of fatal encounters involving the paralyzing stun guns.

That's pretty disturbing.

It seems clear that US police have almost no training in de-escalation.
But RDP and VNC are essentially streaming video over the internet. How would they make that distinction?
This isn't really an interesting question from the point of view of automated reasoning. The obvious canonical form for such an expression (with variables) is to represent it as a polynomial or rational polynomial, and I don't see why you'd ever do something like what the author of this blog post is doing.
Literally survivorship bias.
COBOL12: COBOL 16-bit Compiler for Video Mode 12H
Side note, but wondering if you still hold the same view on bitcoin as you did in 2013? What about blockchain and other cryptos? Thanks!
So tired of paywalled nytimes links!
So that's fast enough for ssh. I wonder if it is good enough for RDP, VNC, or NX protocol. I don't think it would be good for raw uncompressed X11. Also, is that available as a standalone hotspot plan, or just with a phone hotspot?
Revisionist History:  a Good Walk (Golf Courses Debacle in Los Angeles)
> By shady antics, I mean requiring a credit card for subscription renewal, so they could auto-renew you every year thereafter. I had been happy to send a check for several years' worth of the Atlantic in advance, but I'm not going to sign up for automatic charges to my credit card.

I've been a print subscriber since at least 2009. I see nothing shady by requiring a credit credit for subscription renewal. This is standard practice for recurring services like this.

> Not the art, but the titles of the articles. They were deliberately provocative, to the point of being irrelevant to the actual content

I have to agree unfortunately. Perhaps they are trying to get the attention of airport travelers? They have my subscription, so they don't need to get my attention that way. Either way, I pay for the content, and thus have been exposed to many topics and ideas I wouldn't have otherwise.
You're relying on one person's summary of the tulip bubble 'facts'.

Other sources give great detail of the tulip purchasing craze. For example, read the tulip chapter in 'Extraordinary Popular Delusions and The Madness of Crowds', by Charles Mackay. It cites many sources that detail the crazy high prices people did actually pay for tulips.
Whoops, sorry I guess my understanding of the setting was incorrect. I remember troubleshooting this a while back and I thought this is what resolved the issue I was having.
How is that... Figure 1... How ?
I researched now for a solution that lets me backup all my family PC's and found this two solutions that I will now try out:

https://www.duplicati.com/
https://www.urbackup.org/

edit: It's client/server backup software. Not an online service. I used CrashPlan in a similar manner.
Do video game players make the best unmanned pilots?
I think it's just a way to allow early investors and employee stock holders to exit.
I dunno, I've been on both sides of this. I agree it's really annoying when someone waltzes around without answering my question. But I've also seen people asking questions which sounded goofy to me, and when you finally get them to tell you want they are actually trying to do, there's a much easier and more direct approach.
Ooh, look at Mr. Les Paul over here with his new-fangled, high-tech, amplifiers. :-) I have a rack full of effects and the like lying around, but in my advancing years I find even plugging something in to be more friction than I want. So whatever comes out of the sound hole is good enough. Makes music at the campsite easier, too.

And by all means, rock on. I just found it amusing from my POV that “simplifying” still involved plugging something in.
I challenge that. That it was done is as much evidence that it was doable as that it was required.

It is also a bloat race. Web pages are getting increasingly complicated. With very little benefit to end users. I'd wager a growing number of the cycles and network requests are going to tracking, nowdays. Not to mention the ui language doing more and more contortions to give us a page that could be much more succinctly described.

None of this is to say I want it stopped. I just have a feeling of concern that this is leading to an ever increasing march to faster and faster machines to do basic work.
This behavior is pretty common, though. Typo in variable name in Python? Program will stop mid-execution with a traceback.
> Go has automated delegation, and as we know, (automated) delegation IS inheritance [1, 2]. Some implementations of delegation are a bit more limited, some are a bit more expressive, but fundamentally they have the same purpose.

No it is not inheritance, and Go doesn't have automated delegation, it has type embedding.

Given struct A, if a function requires A, you can't pass any type B that embeds A, you must pass A.

type A struct {
Foo int
}

type B struct {
A
}

func acceptA(a A}{} // you can't pass B here
How can they mostly get rich? For every buyer, there's a seller. A rich cryptocoin speculator gained their wealth from poor cryptocoin speculators. Where else did the money come from?
I uninstalled the Facebook app, and use the website. It's 90% as good in functionality, and 1000% better in what it can and cannot do with data on my phone.

(If you post and comment regularly, you may prefer the app. I mostly use the site for casual browsing, and checking the address of events I'm on my way to.)
> The idea is everyone writing everything the "right way" from the get-go would be premature optimization.

The right way in this case doesn't mean AdapterFactoryBeanFactoryService-land. It means taking care that your code is clear, concise and correct for others skilled in the art. The fact that academic code exists at all, as an example, means that it _is_ in production. There's no excuse for shit code that isn't written for other human beings first and computers second.
What is your budget? As that might affect what you should go for to maximize your benefit.
I see it a bit differently.

Developers using Lisp during the 60's all the way to Lisp Machines in the 80's would jump of joy if they could get their hands on a RaspberryPI level hardware.

So the capabilities are there, but it is up to the developers to actually make use of them.
> To me, that's not the same as the forgiving parsers of HTML and PDF.

Oh, of course it's not the same. The point is, in both cases users want
strictness, but don't know that they want. Users want web pages that are easy
for their browsers to parse; "want" to different degree, yes, even an indirect
"want", but still.

If browsers fail to display web page with invalid markup, developers are
forced to fix their sh&t instead of adding another exception to an already big
pile of "steaming let's not" in the standard. And we had a precedent of going
down this way with X.509 certificates. I think it's a pity that the way is too
hard for something not as critical as SSL/TLS.
Tampa Electric knew the procedure was dangerous. It sent workers in anyway
That's right.
The list of anti-virus products that license the Bitdefender engine is extremely long.
Actually, I wanted to include the most prominent Bitdefender customers in the article to give an impression.
I ended up not doing so, because some license partner use the Bitdefender engine with disabled archive extraction. In this case, they would not be vulnerable to this bug, and I didn't want to mislead someone into thinking they are.
Also, Netflix blocks "proxies" which generally include VPNs.
Californians: Exactly how and why housing costs are killing us
theres an option on how to open the window where control-w doesn't kill your window, you can use it as you want. it was obscure and hard to find.
Orange is the new green: How orange peels revived a Costa Rican forest
Pretty much forever.

Somewhere along the line my 1993-2002 archives went missing, but I still have everything since then. On average, I'd guess that it's about once a year that I need to access something more than a year old (and yeah, sometimes it's something from 2003).

Why do you ask?
I don't have anything to add other than I had no idea Walmart owned Vudu.
Thanks for sharing that fascinating insider insight regarding non-zero-sum competition and advertising!

This whole CrashPlan Home episode deepens my skepticism about services that claim to offer an unlimited amount of a physical resource (atoms on a hard drive, in this case) for a fixed price. Code42 has mentioned certain reasons for exiting the home user market, but I wonder if an unmentioned reason is the cost of providing service to an excessive number of users who consume more hard drive space than is profitable. As a current Crash Plan Home customer, I might be one of those users, given my 2.2 TB data set. It's felt like a steal for me, but in the future, I'll likely seek an option where I can get a good deal, a good, fair price instead of a steal (which in the end results in pain and hassle and ends up costing more than what I bargained for).

Is the cost of disk space the reason why BackBlaze expunges files deleted on a backed-up computer from the backup on your servers after 30 days? Though I think you guys are cool, this policy is a deal breaker for me, as far as a Crash Plan Home alternative is concerned. At this point, I'd rather pay a reasonable price for the disk space I use rather than have an "unlimited" plan where I have to constantly look over my shoulder at my files, to make sure important files haven't been inadvertently deleted within the past month. If the cost is too much for me, I'd rather be the one that makes the decision as to which files to exclude from my online backup, rather than have the backup service do it for me.

P.S. and Disclaimer: I developed a backup companion utility (Bitrot Detector) that happens to be more relevant and useful to users of a service like Backblaze which performs file mirroring than one like CrashPlan Home which performs file versioning. However, I'd prefer it if every backup service did versioning rather than mirroring, as version-preservation is what allows you to set-and-forget a backup, rather than to set-and-constantly-worry. Though of course I want more customers for my product, I'd rather have relatively fewer if it meant I lived in a world where every backup service did versioning and fewer people experienced data loss and the resulting grief.
If an out-of-control oppressive government is the real concern here, is a flimsy EULA _really_ going to provide any protection whatsoever? Can you really even have 100% trust that the EULA will be obeyed by the company if they can get away with violating it?
They do. Apple makes them available to carriers pre-launch IIRC.
Thanks, I've looked into it over the years but I'm always interested in different perspectives.

Between the contract categorization changes, actual shortages, and the bubonic plague, I think there are a lot of things that are unclear. Without the plague abruptly killing all the speculators would we have called it a bubble, or just an uptrend?
Knowing phone companies there's probably a part of that contract it says that they're allowed to change it and that I can't sue, I can only choose to drop it without penalties.

As if I would be allowed to use a lawsuit anyway, I'm sure I'd have to use mandatory binding arbitration.
Looks like it:

> So today, after almost 6 months of extensive testing, we are enabling zero latency typing as the default setting in all IntelliJ-based IDEs, including CLion.

https://blog.jetbrains.com/clion/2017/01/clion-starts-2017-1...
I like to recommend going to conferences that broaden your horizons or give you a different perspective.

Going to a developer conference as a developer might seem like an obvious choice but going to an event with a slightly different though still adjacent topic might provide a better learning experience and allow you to get to know people from outside your usual circle of interest.

Design conferences are particularly intriguing for developers. I can highly recommend both Reasons to: (https://reasons.to) and beyond tellerrand (https://beyondtellerrand.com/). Both have a similar background and deal with design and web topics as overarching themes with talks ranging from front-end technology in general, data visualisation, to typography and art (as of lately including quite a bit of generative art).

Events like that can be very inspiring and they can provide you with insights from other subject areas that you would've never thought to have an impact on your daily work.
As soon as there are parent selectors, the pointers don't help. Specifically, if I restyle a parent, all children of parent need to be adjusted, right?

Siblings... I'm assuming there is nothing hard there. Positions, maybe?
I don't believe the checkmark indicating "Cloud & Native Print" support on Chrome OS. I've got two Chromebooks and have used Chromeboxes at work and have never gotten printing to work reliably.
SNES Classic trick for beating difficult Nintendo games
I think you mean the new FCC chairman:

https://en.wikipedia.org/wiki/Ajit_V._Pai
Why do you say "Conservatives tend to reject both approaches as an impingement on business freedoms."? I really do want to know what you are basing your beliefs about Conservatives on.

I, and the circles I've been in, would not necessarily do that. We would reject regulations that are too strict (which, lately, most environmental regulations have been). We would also reject the Federal Government being involved, since it would be a violation of the 10th Amendment in cases that don't cross the state lines. When they do cross the state lines, we'd still prefer it be left to the states, and the Federal government should keep their nose out of it unless the states just can't deal with it. As for State and Local governments, we would accept them implementing regulations when the factory and local residents are unable to come to an agreement on their own.

Note, I'm a US citizen, so I'm referring to that Government. :)
You stay in the same plan, none of the new tiers. They don't morph into new plans magically.

However, you're still restricted to the 720p video cap.

So it's still pretty shitty.
They're scary good.
Apple makes products available to carriers pre-launch for testing IIRC. I don't think they skip the line.
> This is one reason why html5parser for Python is so slow.

I presume you mean html5lib and not the new html5-parser; html5lib isn't slow because of error recovery: html5lib is slow because it's a parser written in Python. The parsing performance is largely taken up, last I benchmarked the VM, by allocation overhead (heck, reading s[0] of a string s causes an allocation) and super-simple VM instructions (primarily dispatch overhead).

What I'd like to see is how much faster an HTML parser would be if it rejected any document with a parse error at the first parse error; I doubt it'd be much (you'd still need the branches to detect the parse error, though the code might be smaller and you'd get better cache locality).
I suspected there might be as I was writing this! But didn't think to check when I was still using it. You can also probably save yourself losing work this way by using screen or tmux, of course...
By default, AT&T also throttles video playback to 480p, but it is an option that can be disabled: https://www.att.com/offers/streamsaver.html (instructions listed in the middle/FAQ).
Show HN: The best place for Wind Turbine
That seems like the standard approach to linux ports these days :P
While many of us were delighted to be wrong about Wheeler, Ajit Pai has ended up being exactly the kind of spineless corporate shill that you'd expect him to be.

Wheeler was the exception.

Pai will be handsomely rewarded for all the billions he's generated for the telcos.
Brian from Backblaze here.

> I guess it's tough luck if you are in a different country, or different continent altogether.

Backblaze sends USB hard drive restores to other continents every day! Today we have one restore shipping to Finland and one to Great Britain. And to be clear, we absorb 100% of the cost: it is $189 USD deposit and we absolutely absorb 100% of the shipping cost whether it is Texas or Finland.

Also remember that the USB hard drive restores are "free" to customers if they return the USB hard drive to our office within 60 days. The only thing the customer has to pay for is "return shipping" and that can be on a super slow service and we're talking about 3.5" drives here that weigh just a few ounces. Of you can keep the 4 TByte drive for the $189 deposit (turns into "purchase price") which includes shipping and the hard drive and the service.
I remember when a tutorial was something that required a tutor. A person specifically trying to help you learn something, help your mind exercise and develop, guiding as needed and taking pleasure in seeing you make the connections yourself, tuning your input to support where needed and to let you soar where you could.

All these "tutorials" are a bunch of steps to follow. Words cheapen over time, and now we need a new word for it. And soon enough, a mouth-breathing youtube set of steps to follow will appropriate that word too.

Ah, listen to me. Old man, missing actual tutorials. Oh, how fast it was possible to learn something with a skilled tutor.
How is this already happening in the UK?
Neat tool, and glad it's here for others to see. It doesn't look like it matches the specific kind of ovpn setup I'm using (for example, I don't have a client key/cert).

When I last looked at the situation, I couldn't find an ONC equivalent for some of the options in the .ovpn file. It might be the docs or even functionality have gotten better. (I remember looking at some PDF, for example, and now there's https://chromium.googlesource.com/chromium/src/+/master/comp...) It's also possible I just missed something last time. Either way I should take another look.
Flask vs. Django: Why Flask Might Be Better
Eclipse Megamovie 2017
What monopoly? There are four major nationwide carriers. That's more competition than in: search, mobile operating systems, package delivery, and many other markets we think of as competitive.
My familiarity with abysmal quality comes from trying to produce (often manually) useful HTML output, or alternate markup. So not ads.

And, yes, it is indeed a sorry state.