skysight-inc/HackerNews huggingface dataset:
You're not the only one. It's a common sentiment if you haven't really, fully used a type system before.

If there's an important property you want your program to have, and you can express it using the type system, then your compiler can prove it for you. For example, if you have an Employee record with a jobTitle field of type String, then it's hard to be certain you'll never get an invalid jobTitle. If you change that to a type hierarchy with subtypes like Manager, Developer, etc. then once the program compiles, you can be certain that particular error can't happen at run time. As type systems grow more sophisticated, more program properties can be represented as types.

If you want to experience it, perhaps try a language with a really top-notch type system like OCaml or Haskell. Maybe try implementing some kind of transpiler from json to json that uses the type system to describe the valid input. You'll have a collection of parsing functions that detect all the errors, and then the rest of the system can rest assured that the parsed representation is error-free, and you can be certain that you never forgot to handle one of the possible cases. (OCaml, in particular, is very good at this.)

If you try this, and you're human, I think you'll make a few mistakes that get caught by the type checker.
I can definitely see some ARM inspiration here, and the guy's English, so I wonder if he grew up with Acorn hardware.
I think that this post sums it up and illustrates why it's hard to replicate this kind of success : Google won because Google. There were a slew of innovations (adwords, pagerank, clean design, big data, 20% time, management style) that added up to a win.

The replication recipe - be really clever and try really hard.
Yeah, in the 60s when nearly every occurrence in space was a "world first"
> people don't upgrade unless they are forced to.

This is very short sighted on multiple fronts. If you force someone into an upgrade they didn't actually want they're going to be annoyed, and they may revert the upgrade.

If you then start showing ads as part of your OS after the upgrade, those people are going to be really upset.

Then once they find out just how much data about them you are collecting, some of them are going to have such a damaged option of your company they will never buy another product from you.

That all is just talking about home users of Windows and their experience. The amount of money wasted by Windows 10's aggressive upgrade in corporations is probably in the billions of dollars. Think about how many calls and trouble tickets have probably come in over the last year about the unintended upgrades.

Lastly, I personally only use my PC for gaming. I don't like Windows 10. I've had to turn off auto-update on my Windows 7 machine because the attempts to trick me into upgrade have gotten more and more aggressive and I can't be sure that I'm not fall for it late at night or just wake up one day with my machine upgraded to an OS I don't want. That's bad.
Ask HN: Why not Y-Factor?
seeing all these reality shows for singers, entrepreneurs hell even pornstars lately, why isn't there a show/broadcast with some of y-combinator's teams? Sam Altman as judge? Paul as mentor? I would be a huge fan (probably would apply too).
Railway Stations Use WiFi Sniffing Sensors to Improve Traveler Experience
Is it actually necessary to use both Privacy Badger and uBlock Origin?
No downvote from me but spinning disks are on the way out, all across the board including enterprise servers. It will take a while but they will definitely not 'always be' around. See also: vinyl records. They still exist but mainstream has moved on.
How to Track Down Divergence Bugs in Rr
Yes, it's 2016, but they say that passwords were collected in 2011-2012/2013. Also, phrasing in Russian sources suggests that passwords were not dumped from DB, but actively collected by other means.
In fact, the only reason systemd can do what it does is because those other systems were modular.
Really neat idea. I'm sad that the site requires JavaScript, but I don't know how this would work otherwise.
Amazon-driven services hit by blackout
Yes, the online hardware used during the game, vs. the offline hardware used for training the neural network, is mainly there to run a ton of monte carlo tree search (MCTS) iterations. MCTS tends to produce better estimates as you throw more compute power at it. In perfect-information, deterministic games, it theoretically converges on optimal play given infinite compute power, although in games with very large state spaces in practice that guarantee isn't too useful on its own, and the heuristic guidance provided by the NN is crucial.
Hi all.
Just wanted to show you my latest side project (been working on it for a couple of years now). It's a calendar app with a twist.

It's developed as a web app, thats wy it could be integrated directly on the landing page. It can also be run on any device directly from http://app.oneviewcalendar.com

Instead of the traditional monthview and day view I have used a timeline that is zoomable and scrollable.
Give it a try, it's quite a different experience.

Please leave me a comment :)
It would be but they'll be lucky to only use 100 times as much electrical/mechanical energy as a traditional far. If you include sunlight they'll use less energy than a traditional farm but that comes for free at no environmental cost.
Mercator maps are cropped at both ends, here's the part you don't normally see
As far from an MS fanboy as I am, this is one thing I need to disagree on: WinX, from my experience, seems like a well-made system; at least on fresh installs. The spying "features" can all be disabled (apparently), and function all-local, no MS account required.

The botch (which just keeps getting worse) is the forced-by-any-means upgrade; if you have an upgrade path planned, and you're in the middle of testing, having all the workstations pull the rug from under you (because "This is where you want to go today!") is, IMNSHO, borderline criminal.

In other words: We had wanted to upgrade. Within weeks. Now we're dug in the trenches, locked down and hoping we didn't miss one of the upgrade backdoors; the upgrade plan is, of course, scrapped altogether. In a sentence: COMPLETE LOSS OF TRUST.
John Oliver buys $15M in debt and forgives all of it on 'Last Week Tonight'
Your phone helped this airport to cut wait times by half
That's so dangerous that it can't be a mistake.
How is that possible? Many systems require at least 1 digit, and/or at least an uppercase character.
I'll admit I started skimming after pg. 15, but this paper is mainly an argument for using "excellence" in academia (and particularly publishing articles).

While I don't disagree, the paper falls flat to me because:

1) Journals are usually judging by first "interest to the broader academic community" and then "technical accuracy" not "excellence".

2) There wasn't any new data presented. Citations to prior work, but even then it was just an argument of statements not fact.
> no question about aliasing or whether other code is referencing the value

Well, actually, there's quite a bit of convention here. The 'could cause undefined behavior' code I hashed out as an example uses a const reference, which is the widely accepted best practices for copy semantics. There's sort of an implied 'and the concrete implementation will copy this value if it needs it for longer than the duration of the method call', but that's a convention; it's not enforced by compiler. We could pass these sorts of parameters by value, but there are reasons people like to avoid passing by value as a default.

Engineers could define interfaces with only pass-by-value arguments, but there
I can't imagine situation where I would be forced to give up private key. And if I'm forced to give up one, I guess they can force me to give up rest of them.
>> “Excellence” is not excellent, it is a pernicious and dangerous rhetoric that undermines the very foundations of good research and scholarship.

That's one person's opinion: one that I happen to agree with. Yet the faux- objectivity in the style and language of this paper ironically apes usage of the term; exactly in the manner they purport to condemn.

You did not come close to proving that "excellence" is pernicious. So don't write like this is science. It is just (in my opinion) a sound and interesting opinion
It's not about leaking your private keys (although courts very much do work like that....think of it as keeping separate keys to each room in your house, as opposed to a single master key).

The real goal is privacy, given that your public key is available on github and sent via plaintext when authenticating.

There are some added benefits to managing separate ssh keys for each server: it forces you to use tools to manage your keys, which make it easier to mitigate disaster when the time comes to rotate your keys due to compromise.
Instead of a VPN subscription, I'd recommend a self-managed VPN solution. One can easily fire one up thanks to Streisand (https://github.com/jlund/streisand)
> At the very least, a .kdbx on Syncthing/Droxbox-like storage WILL eventually lead to data loss.

It's been working for me without issue since 2009-ish. I've used 1.x and 2.x databases in Dropbox.
Perhaps, https://neo900.org/ should be enough as a first step ;)
Maybe they all have that problem and no one has ever bother to actually check the data?

I know for me and interviewing programmers my personal experience is the degree doesn't matter. I've met plenty of degreed "engineers" who couldn't program for shit from schools like MIT and Harvard. I've also met some amazing programmers from those same places. I don't know what make the difference except possible love of the activity. Not sure how to asses that in an interview or whether it correlates better with outcomes.
He should have waited ten more years, then it would have been a 40 year old bug. Much more impressive! ;-P
Agree. Probably would have been better to submit something clearer than the Wikipedia page. That being said, the concept is awesome. I'm amazed it is not better known.
Not true when the comments are mechanically checked for correctness.
They said it was trained with the games of 5 dan and stronger players from KGS, plus self playing. No professional games and no training with the games of a specific player, because there so few of them (60-70 per year).
not necessary, and yet very common. And setting your DNS server to 8.8.8.8 doesn't help when they reply with their internal gateway for all DNS requests.

FYI - android fires a request to http://clients3.google.com/generate_204, I'm fairly confident windows/ios/mac/ubuntu all do something similar.
Why did this post disappear from the front page? Can't find it on the first 20 or so pages listed neither.
I think you got that backwards. Parent was talking about porting from PC to consoles.
Very nice read. I would add a subscription to "have i been pwned?" to learn of data breaches.

https://haveibeenpwned.com/
The repetition is easy. Any modern Linux distro solved the repetition problem long ago. You don't need systemd monster for that.

depend() {
need localmount
after bootmisc
}
reload() {
ebegin "Reloading configuration"
start-stop-daemon --signal HUP --pidfile ${pidfile} ${command##*/}
eend $?
}
Curious, who is "compiling KeePassX for Linux themselves" when it's in the Ubuntu and Debian repos? I haven't checked Arch or other distros but KeePassX is a widely used and active project, and I suspect it is available in many package managers. I wasn't aware that people were having to compile it from source (and I agree this would be more intimidating to new users).
Thirty-eight pages and the phrase "most excellent" does not make a single appearance.
I have to go through shit like this in Windows all the time:

http://stackoverflow.com/questions/34906807/error-building-n...

Upgrading bcrypt didn't work for me.... I ended up installing Linux on a VM and developing inside the VM because that's the only way bcrypt would install.

Of course, I can usually get it to work some how, but I don't have these issues on Linux. Basically node works "good enough" on Windows, especially if you don't value your time.
I am not aware of any meaning in English
I'm not sure how it's supposed to work -- are you only supposed to have DNS servers defined from one particular network, or is it a case of needing to specify priority of sets of DNS servers? Or is there any software that allows you to configure domain names for particular interfaces?
My in-laws were bitten by the "Click [x] to update" dark pattern ("The computer installed Win10 by itself") and the keyboard and trackpad were unresponsive after the update.

I only had a spare keyboard laying around, and had to finish the install (disable all spyware) and delete the faulty drivers without a mouse, that wasn't exactly fun.
More factors com into play then just energy costs. Warmth, distance-to-market, water, real estate just to name a few.
Anyone tried his TeamViewer with that passw yet?
I have win10 on several of my machines and while I think the UI is a nice fix of the lousy win8 UI, thing is buggy as hell. I was getting video driver crashes during sleep and other sleep-of-death bugs on multiple devices, including a Surface. And the file browser crashes a lot.
While they cannot take back open sourcing some of the core technologies liberally, this doesn't mean their management had to be become friendly as well.

Microsoft is so big that it's no wonder that one team does something great for everyone while another team partly voids the improvement by doing something stupid. Windows 8 and 10 have, as usual, improved the kernel and the surrounding subsystems but the stuff on top got worse in many aspects.

My conclusion is that Microsoft is in need of a charismatic leader who keeps quality in check and regression to a minimum. Someone who doesn't tolerate the stuff they're pulling right now.
1. Honestly I made bad experiences with PW managers. After having a corrupted PW database a couple of times I stopped using them.

2. I do that. In addition I use this:
http://winhelp2002.mvps.org/hosts.htm
I have a python script that builds a host file from several sources.

4. Most readers here should be able to build their own router with a banana pi and IPfire
Or may be it's just time to consider the state for the enemy that it really is. They are the main targets of such security measures, "hackers" are really not a concern, state actors on the hand have proven to be major threats.

I will not let their fear tactics get in the way of my freedom of doing what I please without fear of leaks, theft or spying, be it directed toward my person or as a simple passive measure.
Well, then you depend on your VPS company.

Its important that you dont host any domains on the VPS you run the VPN on.

Security might not be top priority at the VPS provider.

All your requests come from the same IP address (and the VPN provider might very easily give out your private info).

I think a VPN from a reputable provider (like f-secure) is better for most users.
This ads in the OS is a bullshit I keep hearing. Why is this not a problem with Android or iOS? I have not met much ads, apart from the install office stuff.

Spyware? The telemetry enabled them to have faster feedback and the quality of Win10 improved before my very eyes. If you have developed an app and used a telemetry framework, you should know that it is not spying. If they were to spy they'd do it differently, not by asking you to please provide us some data for QoS.

App store is bad? Is it not bad for the other major OS-es? It is good if it is called apt-get?
The App store provides sandboxing and isolation, security to the users, where a single install of a software cannot break others. When the containerization arrives (as new features come to Win10 continously) this will be even cooler, as legacy apps can be packaged and spread through the app store. No more problems with installing stuff unattended, or having to accept EULAs, as those can be stored on an account level in the Store. No more installshield madness.
The sad thing about this and other otherwise good privacy guides is that it can be properly applied only by a small fraction of all people who really need this privacy in their everyday work and life. Especially I like the "look over the source code for rogue functions" part.
This will definitely curtail the abuse. Nonetheless this is a double-edged sword. Many so called STEM grads just do it to land a software job. They just invest a couple of years in some anon university and then bring their self entitlement and half-baked semi-polished language skills feeling entitled over guys who invested time and try to find an opportunity to work in the US. These "Grads" are copious in numbers and sickeningly pretentious. Sadly the system runs on money and keep feeding these idiots to attract tuitions into half-arsed universities. Most of them are rich douches with mediocre skills and can't do a lick without begging around for help. part of the rut.
Why you should not miss the next CodinGame multiplayer AI contest
Right. What about paid service. Shall I pay with someone else's CC or ask the bank for another one just because I don't want to be tracked.
Business users have fine-grain control over Windows updates via WSUS. If they are not managing updates on critical infrastructure, something else was going to bite them eventually that might not be as polite as Windows 10.
At some point new passwords will be added quite rarely. Clash can happen, but in practice I've been happily using this method now for years and years.
The update tool claims your system (including drivers and software) is compatible with Windows 10, only later to realize that some hardware doesn't work or an application doesn't start anymore. While these are rare, it's unacceptable to force people to update when it's incompatible to upgrade the existing installation.
New Standard of Car Wireless Charging Systems to Be Adopted Soon
School IT guy here. Doing fine. I use WSUS like a good boy and not a single machine out of 700 in my org has ever presented a Windows 10 popup to a user. No hacky workarounds are required.
>Instead, I sent this email to the recruiter:

>If y'all
> At the end of the day it has nothing to do with the technical merits of systemd and everything to do with how much power RH has to steamroll whatever solutions they want through.

RedHat is a premium member of our community that has a well earned reputation which makes whatever they do get noticed. Why are they to be the focus of a witch hunt like if they were MicroSoft of the Steve Ballmer era?

If these things didn't solve problem they wouldn't get used period. RedHat being an evil member of Linux seems almost comical. Linux has won the war and yes RedHat has been a key member in winning the technology war. I fail to see how all distros who can do whatever they want continue to chosen RedHat solutions over and over again? They make developers lives better and arguably Linux better.

Canonical on the other hand continues to be a Linux community member that tries to compete with everyone else and doesn't contribute upstream as much as everyone else. I say it is good news now we can have less wasted work on different solutions. Why hasn't Canonical's projects caught on? They don't work as well or seen to not work as well as other solutions. Unity anyone?

PulseAudio has been a HUGE success that so many talk down due to the rocky start of the project and the personality of the developer (Who also created SystemD) Audio in Linux was a huge mess prior to Pulse Audio.

KVM - is the best virtual system bar none.

lvm - I don't really need to defend this project?

selinux - This was started by the NSA not RedHat
Referendum.wtf is the only Emoji Brexit guide you need
I'm surprised that so many comments are about systemd, if it is evil or not, and so few about this actual issue. Is a system with this DNS implementation safe, would it work, is something you want to use?

Maybe the author is biased but the list of issues and potential vulnerabilities is so long that there could be CVEs reserved now waiting only for the release of software.
The data collectors can be disabled, but MS has renamed services or otherwise introduced remedies to prevent disabling of the collectors, and therefore it's safe to distrust in that regard.
Yes. These days they do. It wasn't so in the past. Look at how many times the four-letter sequence "asdf" shows up in password dumps.
It was interesting when I found my name there the first time on service I did not even remember using. But I did and I just forgot about it. Luckily at time when I was already using different passwords everywhere.
The spying "features" can all be disabled (apparently), and function all-local, no MS account required.

Even if that is all true today -- and I'm expressing no view here on whether it is -- with mandatory updates there is no guarantee anything will continue to work the same way tomorrow. If there is one thing Microsoft has proved beyond any doubt over the past few months, it is that we can't trust it not to abuse Windows updates. This is why the trust issue has become a major PR problem, though I suspect many in senior management at MS are still in denial about how bad that problem really is.
systemd the init system is by no means a monster (may I remind you and everyone else again that -resolved is merely a project under the systemd umbrella).

I'm not even sure where to begin when addressing a comment like this. You're biased against systemd in the first place so I don't see the point in discussing this.

It's really amusing that basic software engineering principles are thrown out of the window the moment things get political.
From the article:

"In the US there has been a 25% decline in death rate in the last two decades. 'More than half of that decline is driven by cancer prevention activities," says Brawley.

"This points to the fact that some of the cancers that would previously have killed people had been prevented. Almost a third of death from cancer in the US has been attributed to cigarette smoking, for example. This makes tobacco "the single most preventable cause of death in the world", according to Cancer Research UK."

Never starting a smoking habit, or quitting a smoking habit if you have already started, is a great way to prevent a lot cancer risk. Being moderate (not excessive) in alcohol use helps a lot too.

http://www.cancer.gov/about-cancer/causes-prevention
Beyond using 10k/yr as a rule of thumb for average duty cycle mileage is a horrible indicator of vehicle wear. Engines are worn by cold start cycles, transmissions are worn by shifting, brakes get worn by stopping and suspension components get worn by potholes, etc.

Newish used cars with ~200k on them are usually good buys because often times it's someone who used it for work (salesperson, etc.) and just ground out the highway miles (which are nearly free from a wear and tear perspective)
Lancome is self-censoring outside mainland China to keep Beijing happy
Oh yeah, I went through that a few months ago 48 minutes to install only for it to fail, ~70 minutes for it to back out. Then my mistake I hit upgrade again and had to do the entire 128 mins again :( Still on Windows 8.1 on that machine
It's all simulation using a simplified HDL.
Why people don't like design patterns?
There are many articles over the internet puzzling me over and over. MVC is evil, ORM is evil, getters and setters are evil. Accessors are evil.

I find GoF quite useful and enlightening book. But I am completely puzzled about OOP after reading this article:

www.yegor256.com/2016/04/05/printers-instead-of-getters.html

What do you think?