skysight-inc/HackerNews huggingface dataset:
Out of curiosity, what's the context in which you think developers should stop doing code reviews after 3-6 months? Every place I've worked has required code reviews for all changes (except in emergencies or when the author thinks the change is trivial). For example, how big of a company are you talking about, and how critical is correctness and maintainability? My impression is that skipping code reviews mostly makes sense for early startups, internal tools, prototypes, and other situations where velocity is more important than quality, but that most companies should have pretty much all code go through review.
From the guidelines: https://news.ycombinator.com/newsguidelines.html

> In Submissions

> Please don't do things to make titles stand out, like using uppercase or exclamation points, or adding a parenthetical remark saying how great an article is. It's implicit in submitting something that you think it's important.

> [...]

> Otherwise please use the original title, unless it is misleading or linkbait.
I don't get it. Who thinks it's a good idea to fully automate anything like this? Regardless of how accurate the algorithm is a human should look at this before any action is taken. As long as the aren't false negative this is probably a huge win. Even if we have 5% false positives that hugely cuts down at what people need to look at.
So desert pictures looking like child porn doesn't matter much. Child porn looking like something else is much worse.

Edit: awful typo "lol" -> "look"
One of the roots of the axiom is elphel, a company that's been selling open hardware cameras for more than 15 years with similar features.

http://elphel.org

The Axiom angle is more cinematographically oriented.
> your kids fund your post retirement needs and your grandkids education

Given American cost of living, this is no longer feasible.

Also the impact of divorce and other kinds of freedom, the structure of obligation no longer works like that either.
Oh, ha! Awesome! I was killing time on my phone, without full debug options, and from the looks of the site, I figured maybe they were being extra cute.
Agreed. But Electrcn seems to be the only option these days.
KHOJinINDIA, India's local search engine, provides Best Deals,Machine Tools, Contractors & Freelancers, Hotels, Movies, Taxi and Cabs, Medical Products , Gift, Sports Goods & Entertainments, Doctors, Chemicals in Mumbai, Delhi, Bangalore, Hyderabad, Chennai, Kolkata & other cities in India
Can you explain that a bit more? I know "seq", but am unsure what your examples are illustrating. Thanks!
Word on the street was that the new MacBook Pros came with shrunken batteries because they couldn't get the terraced design to fit within design spec (thermals, I think) like they did with the MacBook. Hopefully in their next design iteration, they'll be able to fit a 99.5Wh battery back in the laptop.
> The average life expectancy in 1950 was 68, meaning that a pension had to pay out only three years past the typical retirement age of 65. Today, average life expectancy is about 79, meaning that the same plan would have to pay out 13 years past typical retirement age.

That's the wrong statistic to use and completely wrong conclusion.

Life expectancy _for a 65 year old_ person in 1950 was another 13.9 years. That rose only to 19.1 years in 2010 (newest number I found at a glance).

All the babies and people dying before age 65 reduce the average life expectancy drastically, but have no bearing on pension payment length.
Being open source is good but outside of Windows it's still perceived as a Windows solution with bonus Linux support. I have yet to hear someone migrate from Java, Go, Node, Ruby ... to .NET in meetups I attend. Is open source .NET penetration on Linux any better than Mono?
Lack of drivers and such is due to the fact that full I/O support is not yet implemented, but planned. See:

https://trello.com/c/Iz0cl1e8/61-070-full-i-o-support
However, immigrants are not “fungible” (as much as central planners wish they were). In fact, it’s becoming evident that certain immigrants may be a liability, and even displace potential immigrants who are valuable. This will be addressed as the facts unfold themselves, I suspect.
It is in fact checked by both the compiler and the borrow checker. The only difference between safe and unsafe code is that the latter allows dereference of pointers and direct manipulation of memory, which may result in segfaults, memory leaks and data races.
Fedora has strict guidelines that you have to meet to be included in the default repos. These packages don't meet them.

This indicates the project isn't free enough.
7 Things That Could Make Bitcoin Crash to $1,000 or Less
As Amazon Ramps Up Furniture and Appliance Business, Home Depot Is Sweating
I found that the best coded reviews are always from small change sets. They tend to have more comments on what the code is doing rather than what the code looks like. Sometimes this can’t be done though.

I’d also say that if your team is commenting only on style in code reviews then they don’t understand that part of the code base very well. It isn’t a bad thing but presents a signal that they could spend some of their work day understanding that part of the code. Keep in mind the culture of the team needs to allow this to happen. It pays off in the long term.

One of the best reasons for code review, hammered into me by two very experienced developers, is high visibility of changes and the opportunity to learn more about what other developers are working on. Don’t underestimate this benefit.

Ultimately every code review doesn’t need to have a high net benefit for it to be good for your team.

On a side note we didn’t have any style guide at my old workplace but found that our code reviews were incredibly high quality for core components. Part of this is culture and the other part is the people you work with.
Formal methods have been verifying real world systems using ACL2 for a long time. Also, sqlite has 730 times amount of test code https://sqlite.org/testing.html .

Formal verification is not a magic bullet but it doesn't make your systems bullet proof though.
Ride-Hailing Apps Are Clogging New York's Streets
Glad to have helped!

Deployable structures are very interesting as a general category. I love how an art form like origami can create things of wonder and beauty, and then mathematics comes along to show there's even more to be taken in.

There are even examples of solving geometry problems with origami instead of using compass and ruler.
The question was “why do you assume”. The most likely answer is that there was a state mentioned.
This just seems like a rebranded version of LineageOS.
Getting .NET/Java jobs has never been an issue. If that was Microsoft's motivation why even open source it? The open sourcing of .NET was to get the mind share of open source developers predominately on Linux. It hasn't fared better than Mono in that respect.
> Coq's been around since 1989. Maybe those 28 years have something to do with it.

Isabelle has been around since 1986, so that alone doesn't explain it.
Development work and qa isn’t free. They are probably selling that one at a profit to help raise funding to get this off the ground.

It sounds like it will be open source for all though.
Surprisingly interesting post that goes into history of robots.txt and details how it is not, in fact, a W3 standard or legal requirement
I wonder if you could social engineer that. So when you start 'asking for a friend' you don't go with the major item that makes someone think 'wow this must be for him'. You start with lesser items and over time build up to the thing you want 'for the friend'. Hence tenderizing the target and making them less likely to question why you are asking. Because they already 'know you'.

I was trying to explain to my wife the concept. The example that I used was the person who wants the retail store password. They don't call the store and say over the phone 'hey I am at the Global Mall Store and forgot my password can I have yours?'. Immediate red flag. They start with something simpler and build a reputation as legit. Something like 'hey I am at the Global Mall Store are they saying you have to work until 7pm on Christmas also?' [1]

[1] Then follow that up with other requests over weeks finally culminating the 'password' question.
I didn't say accidents never happen to me.

I said, having common sense (ie not using a sensitive piece of electronics while literally sitting in a bathtub full of water) would have prevented the original problem.

Accidents absolutely happen all the time. That doesn't mean we shouldn't try to avoid them by applying common sense to our actions.
Unity tests are not formal proofs.

Their philosophy are completely different. Formal proofs aim at proving the nonexistence of bugs, while tests (any kind of them) aim at revealing bugs in case you add them.

You can sometimes generate code form a proof, but you can't do that from tests.
Tutorial: Towards Exascale Computing with Fortran 2015
Nasty behaviour is still there. Windows is a joke in terms of how bloated and clunky it still is, how it snoops on you, doesn't let you turn off updates without doing some shady things with the register and whatnot (which, a regular person, will never be able to do) and it has ads in the OS.
What you are saying is only partly true. Yes, the packed decimal instructions are horrible today from performance perspective, because they require direct access to memory.

However, recently, IBM has added decimal floating-point arithmetic to z/Architecture CPUs (and also made it part of updated IEEE 754 standard). These modern instructions do not suffer from the problems of old instructions, and in fact should be preferred to packed decimal for applications that need decimal point arithmetic.

And more broadly, IBM still adds a lot of specialized instructions to mainframe CPUs. For example, calls to cryptographic accelerators.
The links to the social media sites look horrible in IE11.

Also, the links to twitter and youtube are wrong.

And ... why is this better than Google?
In case someone wants to ask specific questions about Red, you can drop in gitter chat and say "Hi":

https://gitter.im/red/red/welcome
Arnold – DOOM Agent
https://en.wikipedia.org/wiki/Roofline_model
Voluntold.
> Am I the only person who thinks Google specifically and the mobile app market in general combined with previously subsidized by carriers phones have completely destroyed the consumers perception of the value of software?

Not entirely fair to Google here.

No one would have purchased the original iPhone were it not heavily subsidized by AT&T. No one. One could argue that the same forces apply today regarding most phone purchasers.

> and god knows what else when if much rather just pay like $49 for a properly made application with a permanent license.

Except the numbers of downloads show that this approach isn't gaining traction. In fact, look at how many applications switched to a subscription model the moment Apple permitted it?

On the side of development, subscriptions make sense. Software development isn't a one-off fee to make software these days, as 99.995% of the people here realize.

Isn't subscription the only sustainable model?
Well, some of us at least. I'm convinced that some countries won't make the necessary investments to switch quickly enough, and will continue to be primarily dependent upon hydrocarbons for energy. The fact that El Cheeto and his friends are opening up lands in the Arctic for drilling a few days ago is one example.
From what I understand, the prevalence of enormous invertebrates in the fossil record points at a much higher oxygen percentage, since insect and arachnid respiratory systems aren't efficient enough to support bodies that large otherwise.
It sounds like by closing the plant and stopping the employees reaching retirement age, they massively reduced the amount the employees were eligible to receive. Even if the pension fund was separate, by reducing eligibility this way they company had to pay less into it over the following years.
Patent Nasıl Alınır?
We (the UK) recently experienced a scandal where a celebrity was allegedly a prolific paedophile. After his death it transpired that numerous incidents had been reported and covered up by the police and the BBC (his main employer).

So now, guess what, the same police and BBC have transformed to be holier than thou organisations free to cast judgement on anyone they don't like because this will absolve them of any guilt regarding past failures (obviously).
> Do you remember Gopher?

Oh my yes. I even recently (as something of a joke) created a Gopher gateway to a web service.

I miss Gopher in a lot of ways. It was my first real experience with the Internet (via the public library). The signal to noise ratio was good, and I think the result of making some very strong assumptions / opinions on what a document client-server should do, and how it should do it.

I’d love to reimagine gopher for the 21st century—maybe with documents and document maps served up as S-expressions. But then I realize that making the document model more complex or flexible than it is could simply lead to a new webby mess.

Gopher is kind of a museum piece right now. It’s a shame, because I feel like it has value in forcing you to think through a non-shitty information architecture. The web offers such a higher ceiling, but all too often a much lower floor as well.
Really? It seems like there are a plethora of options. See an endless list at: https://news.ycombinator.com/item?id=12376242
I'd have to agree. :) Many of these new technologies like electron and node are more RAM hogs than anything else. Sure they boost productivity but you need a really high end laptop with at least 8GB of RAM to run anything smoothly.
Unless you want to move beyond HTML and JavaScript.
Thought the same. My wild guess is that those engineers are at their career peek in terms of energy / ability to deliver glue code, but a few years behind getting to be a well-rounded engineer that can live/work sustainably.
The Rust compiler specifically aims to make it impossible to have segfaults, memory leaks, and data races — so to say unsafe code “is in fact checked” is at least a little misleading. The user still needs to do additional checking for memory errors in unsafe code.
They'd love to understand why X works, but a whole lot of people could be treated by X while they spend all that time and money figuring it out.

Besides, there's plenty of Y where they were sure it was going to work, it fit all the models and theories, it did the right thing in mice, and then in a trial Y fails catastrophically.
I abandoned .NET over a lack of http2 support as well. The reason? It uses an HTTP implementation baked into the windows kernel. Wtf?

So not only does it lack HTTP2 support on Linux but also non-evergreen versions of windows.

And yes Go is the new competitor for Java, .NET core is a footnote because it has no open source community support.

I'll agree that C# is perhaps the best designed language I've ever used, but it seems that Microsoft decided to open it up many years too late to save it's market share.

Their best bet is creating native Java library interoperability. Third parties have been offering for years, but if it was baked in MS might just have a chance
Formal Verification is the state of the art verification method for hardware these days, with most of the ASICs in the market going through it, and recently many SoC's and complex chips like GPUs and non-RISC CPUs. It does not mean that other methods of verification are dying or are ever going to. FV is just as good as the combination of the tools and the people working on it, and it's an extremely difficult discipline to work on.

FV for software is a whole other beast, we simply lack the compute power to thoroughly verify even simple software properly, and the tools are still in their infancy.

My personal opinion, having worked for the lead FV company in the market for years, is that FV for software is probably sufficiently far fetched that Machine Learning methods for verification might be there before FV for software becomes a reality. The reason is: while for hardware it is imperative to have 100% correctness, since the cost of bugs is absurdly high, for software having 90 something percent is mostly acceptable, so if it's cheaper to let a neural network (or something else, I'm no ML expert) estimate the correctness of the software, that's whats going to happen.
This is not a DSLR, it's a video camera.
Google Code Labs
I am keeping an eye on Modum. They are about to launch Q1 2018 and it's the first blockchain application that makes sense to me.
The drain on the systems in Europe from those who are “gaming the system” and who are long term sick pales into insignificance when you consider the overall savings due to the collective bargaining power of a nationalised healthcare system.
This paper seems to assume life expectancy will increase indefinitely but this doesn't seem like it will happen due to the fact roughly 2/3 of people are overweight or obese.
created Delphi which Java pretty much copy pasted not as elegantly

Maybe that is funny, but it's not even a little bit true. Delphi and Java were released roughly contemporaneously. One was mostly an IDE/RAD tool for Windows, the other a cross-platform VM + language. Unlike .NET/Java, Delphi/Java were not even the same kind of system.
Given that children are forced into marriage in Saudi, it would seem strange for them to care about images of the abuse they condone. A small bit of consistency at least.
Tons of stuff is still built on the JVM. The big five tech companies (besides MS) use Java nearly exclusively for back end development. Python is good for ML and data crunching, but compared to Java it's dog slow.

Go is definitely catching on but nowhere near passing Java, maybe it will someday
Oh my god someone mentioned App Insights organically! My day has been made.

Dev here, our strategy for AI is Azure-first, but not Azure only. While we provide first class monitoring for ASP.net services running on Azure, we also have lots of open source SDKs available for major languages, as well as first class Java and node.js SDKs and are trying to bring some of our other open source SDKs to the same level.

We totally get that ASP.net isn’t the end all be all and that people run other types of services, so we’re trying to bring App Insights to as many of these services as possible.
That's joining the correctness/safety vs security argument.

Correctness/safety is to do what it's supposed to do.

Security is to do what it's supposed to do when there is an intelligent third party that is actively trying to prevent that.
The Trouble with Bias – NIPS 2017 Keynote – Kate Crawford
If someone needs to know ancient Greek to understand a name, the name in modern English is almost guaranteed a nonsense name, and that's great.
All the people dying before 65 absolutely do have a bearing on pension payment length: If an employer promises someone a pension at 35 and they don't live long enough to collect then the employer doesn't have to fund that commitment. Using life expectancy at 65 would only be valid if the pensions were being promised only to those who had already lived to 65 and at the time they were 65.
I've only used the Amazon Echo and the dot. I have the normal echo and the dot. The dot is not amazing. It can't hear me over the external speaker and doesn't catch what I am saying as much as the normal echo. I'm still happy I got it though because I have that in one room and the normal echo in my main room. The normal echo is great.

My main use cases are: "Alexa, ..."

Calculations: "What is 64.5 * 350?"

Factual questions: "What is the population of Ethiopia?", "What is 1 bitcoin in euro?"

Weather: "What's the weather tomorrow?", "Will it rain tomorrow?"

Reminders: "Remind me in 15 minutes about pizza"

Alarms: "Set alarm for 7.30am"

Current time: "What time is it?", "What time is it in New York?"

Music: "Play spotify"

News: "What's the news?" (Sky News skill set as the default)

I only have one smart plug so far and no smart lights but I plan on getting a good setup. "Turn on the living room lights", "Turn off all the lights"
QM is not as satisfyingly elegant as a Karnaugh map, but more practical in most cases. QM scales while Karnaugh maps do not.
One of the consequences of iOS was the drop in quality Mac apps (this may possibly be my perception. I wonder if others feel the same). It seems to me what started happening was indie Mac shops who would sell their apps for $20-80 had to now support an iOS app as well and could not charge much, if anything, for it. So it was just an additional cost to be supported by their Mac app.

Further, Apple released the Mac App Store and dropped the price of iWorks apps to $19.99 (or 9.99?) thereby reducing the perceived value of Mac apps as well. Pre MAS, when Apple included iWork and iLife for free with your Mac you looked at it as Apple throwing in several hundred dollars worth of software for free with the Mac. By changing the structure where you now downloaded those apps, they assigned a value to them that was really low affecting the entire eco system.

Considering the massive growth of the Mac eco system, that the state of Mac software is at best as good as it was 10 years ago with a much smaller market is disappointing.
I'm not sure it's quite as wrong as you say though. If the reason the life expectancy of a 65 year old is higher is that they are post-selected for not having died earlier, then it's the case that there were a bunch of people paying social security taxes that were dying before retirement. So there was more money for each one of those 13.9 years, because the people who survived were still able to use the cash put in by those that didn't. If you converted this into some figure that represented how many person-years of retirement the taxes from the average career supported, it would be closer to the three years, not the 13.9 years.
Suiren a Kanji Relationship Explorer
It is trivial?

Then please help me — I'm trying to use C# more again — what I should use for dependency management, builds, and artifacts deployment (basically, an equivalent to gradle) on .NET Core. I'm seeing Cake, aka C# Make, but the C# subreddit told me that's useless and I should just use MSBuild. But that doesn't get me my dependencies at all, and doesn't run on .NET Core. I could write a bash script to invoke nuget and the C# compiler but that would be ridiculous.

For libraries, from http2 to time + date libraries, C# is lacking, in tmy last project I ended up straight up translating the parts of JSR-310 I needed.

I'm looking for a 1:1 replacement for JVM languages here, especially regarding tooling. Rider has proven much less mature than IDEA for now.
I've always thought the negatives of nuclear were less economic than other factors (though the high fixed capital costs might be an unattractive model in some cases). The worst case scenario for a nuclear accident is pretty frightening to a lot of people. While it may be true that overall fossil fuels are more dangerous in the long run, people tend to overvalue spectacular, high profile failures.

In addition, one negative of nuclear I don't see come up on HN very often, is that nuclear power plants pose an extra risk in regards to nuclear proliferation and terrorism concerns. I do think that some of the recent decline of nuclear is, in part, geopolitical. You don't see groups of nations banding together to stop another nation from building a coal plant.
The real question is not how many TFLOPs you're getting. It's how much faster your model trains compared to 1080Ti.

Is it really X times faster to justify X times price tag?
Is this really a common practice?

Why ask users to import the certificate into the root certificate store instead of packaging the self-signed certificate with and specially loading it from the application. That seems easier from the users' perspective and more secure as you aren't touching the global certificate store.