skysight-inc/HackerNews huggingface dataset:
What's wrong with Unity? And where did they admit it was bad? It does the job, it doesn't need a lot of RAM, it's good-looking, stays out of the way. By far the best experience I've had as a developer on desktop Linux.
This is cool, especially given how javascript is everywhere. Is it browser specific, or could it run in other javascript environment, like nodejs?
I'm not sure what you mean by "see", but there are computer verified proofs of Gödel's theorems: https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theor....
I worked professionally in PHP for years, and have since worked professionally in Ruby and Haskell. I'm not following a status quo by saying that working in PHP was exceptionally painful by comparison even to Ruby (despite Ruby being quite painful by comparison to Haskell), and that I'll never work in PHP again. Maybe I'm in the minority, but I don't see any reason to think so.
Do you think this time its different because lots of people don't want to admit to voting for certain candidate for the fear of being labeled a misogynist. I don't think that was the case in 2012 ( or ever?).
See if you like this version better:

"Only deploy on Friday if you like working weekends"
KIO is very much still alive, and in frequent use for me at least. Treating remote folders over SSH straight in my favorite file manager is pretty indeed.
The answer we're looking at for this is http://flatpak.org/. We'll see how it comes out.
There will be.

Maybe I will port my Atom plugin ( https://atom.io/packages/atom-lupa ) to VSCode or maybe I'll write from scratch whole thing.

I don't know when exactly though (now I'm making something bigger than that and it takes time).
> A successful project needs to be started by someone that cares just enough, but not too much.

I'm going to frame these words and hang them on my desk.
How to Follow Up After Networking at Conferences, Conventions, and Tradeshows
It's a wasp stronghold.
OCaml offers a great REPL-experience in the form of `coretop`. It's got auto-complete that makes exploration awesome/easy. It feels very much like IPython.

OCaml installations tend to come with both a native compiler and a byte-code compiler/runtime, so you really get the best of both worlds there - minus some occasional hiccups in the build process.
Type inference (not just Hindley-Milner) is divided in two logical phases:

(0) Generating a system of type equations, by recursively scanning the AST.

(1) Solving the system of equations. The nontrivial nature of this step is what makes type inference, well, inference.

In Go and C++'s case, the generated type equations come out already solved (that is, of the form `TypeVar = TypeExpr`), so there's nothing to infer!
That could be nice. So, now the browser needs to understand routing tables?
> As for strong/weak, I don't think the concept is very useful without a clear technical definition in the first place.

Well, it's definitely not very useful in our case. ;) In all seriousness, as I said previously, I think it's useful for conveying a mixed bag of things to people that aren't very well versed in the specifics. If the person knows something about type systems, you should naturally have more specific language to fall back on to express your intent better.

In any case, I think we are way past of this being worthwhile to continue. I think we've plumbed the depths of this topic, whether we agree or not.
Wonderful! And because all praise comes with work in OSS: I wish the network diagram would show intermediate states where possible. I've seen some examples where – with the right presentations – they gave fantastic insights into the network's "thinking".
In my experience, while someone might be extra careful not to repeat a mistake that has burned them in the past, making a serious mistake is often a sign that someone is careless, and more likely to make other, different mistakes in the future.
Knuth, in his book, memorably decreed a pronunciation (and case mixing in the written form) for TeX, with a hard /ch/ at the end (literally, "your monitor should become slightly moist"), backed by a clever and erudite rationale involving the etymology of words like technique.

Leslie Lamport, in his book on LaTeX, decreed a case mixing, but (as you say) ok'd any reasonable pronunciation.
This seems like a cool project but the non-commercial license in the CAD files [1] is a no-go for me to fund their Kickstarter. It does look like the PCBs [2] and firmware [3] are free/libre licensed.

[1] https://github.com/MaslowCNC/CAD/blob/master/License

[2] https://github.com/MaslowCNC/PCBs/blob/master/LICENSE

[3] https://github.com/MaslowCNC/Firmware/blob/master/LICENSE
For whatever it's worth, I just plugged my F25 laptop into my TV via HDMI, and it basically just worked. Sound didn't automatically switch, but I hit the overview key, typed "sound", hit enter, and built-in speakers vs. HDMI was an easy choice.

We could look at making it switch automatically; I know it does for headphones.
Hi, can you list all the worst practices you see in this code? Just curious of the full list
> Arduino/Processing and fullscreen VLC

You might find LXDE to be a good choice, it is quite lightweight and I have had success with it for both of these. Extending the desktop across multiple monitors was a bit tricky though, but this was about 3 years ago so that may have improved.
The Entrepreneur’s Guide to Connecting with Awesome Mentors
As a CTO of a small start-up my neck is a little strained from nodding so much at this article. I really agree with... sorry I have an email with our largest customer to get back to.
So you own your data but they won't let just any app touch it. Apps need to comply with certain conditions and FB retains complete control.

Where it gets interesting is when someone like this guy tries to circumvent this arrangement by having the user willingly supply them with their credentials.

FB would never blame the user, even though that's arguably the correct way to respond, because that's a PR disaster. Whether the guy in this particular story seems shady or not, it seems inevitable that FB would take the path of litigation to destroy anyone who exposes the dissonance in the way they run their business.
How Half of America Lost Its Fucking Mind
> One Friday afternoon (...) [Kevin:] what did you learn? / [OP:] I talked about the need for proper QA. About thoroughly testing my changes. About taking the time to make sure the job gets done right.

Kevin sure sounds like a great guy. But there was a simpler lesson to be learned: never, ever push changes on a Friday.
what could make this election different is people going to vote, assuming the election is in the bag, and deciding what the hell ill vote third party. then this happens. https://en.wikipedia.org/wiki/Jesse_Ventura
We're looking at using ostree for something like this. Probably not in F26, but stay tuned.
If someone's work is poor enough that a reasonable person might laugh at it, then there's nothing wrong with that. Hence the phrase "laugh at our mistakes". It doesn't mean you are a bad coder/painter, it just means you made mistakes that were a little funny and can learn from them like anyone else.
Er… yes?

Sorry, I didn't understand why you were talking about bothering to do that and then crashing it into the atmosphere.
It doesn't matter, we're talking about php not C++. But yeah, "<<" and ">>" are at fairly internally consistent within C++ and don't generally confuse programmers or cause significant bugs in my experience, so I don't find them problematic. They did seem a bit weird at first, but they didn't cause significant problems.

Perhaps they do for you, and I accept your complaint about those operators as valid actually, but it's on a whole different level of badness than php, and again, we're talking about php. Just because "other languages suck" doesn't mean php doesn't, so that's not a valid argument against anything I said.
It's not only a DNS rebind attack. I'm pretty sure in this case even a GET could get rce , so you don't even need to check the cors headers. You can just XHR.
it's a business decision comparison, not a technical categorical comparison. you need something to receive http request and return http responses, and you're comparing different popular (because hiring, training, and available community / support resources) ways to do that. they might be apples and oranges but at that level you're concerned with comparing fruits.
I worked for a boss once who essentially engineered this kind of problem to exist: he knew not having automated testing etc. was a problem, and instead of asking his (too junior) programmers to build up a test suite, he decided to let them fail and discover for themselves why writing up test suites is a good idea.

His reasoning (later revealed) was that you can't give people fish and expect them to become expert fishermen. They have to experience hunger and ask to be taught to fish. If people don't have the soul-crushing experience that teaches them why something is really important, they never really internalize why it's important. That the reason why we appreciate that this stuff is so important is BECAUSE we suffered through something that taught us that it was important, and that if we don't give junior folks that same kind of experience, then good practice just becomes something on the list of priorities and not a moral imperative.

There's something to that, but at the same time, it's basically a defense of institutional hazing on the investor's dime. So take it for what it is.
Silver consistently underestimated Trump's chances in the primaries. He has yet to explain what he did wrong then or how he has fixed it now. If you don't want a Trump presidency, Silver's current projections shouldn't be very comforting.
Yes, my hope was to point out the absurdity of this situation for an event that only happens once.

It would be nice if all polls calculated a CI or probability distribution of their results (i know 538 does). But even 538 doesn't display their priors.

But this would confuse the public even more.. e... asking them to interpret a 95% chance to win with low confidence
I realize you're joking, but if the election were repeated an infinity number of times, wouldn't the same candidate win each time?
So was it really financed from the tax money of Europeans? If it was, I am really sad. Then the authors shouldn't be proud of such an "achievement."

If it was generated by the 4chan regulars with their own money, then at least it's not worth discussing it more here...
It's the one that's going to get built. By Dubai no less!
Exactly, this is not available for Redis Cluster, even since the concept of atomically swapping cluster-wild would be more complex. When doing client-side sharding ala memcached for a plain caching scenario however, this can be applied, with the care needed to make sure that the application logic and consistency requirements, may tolerate that the DBs of the different masters are swapped potentially at different times.
Does it offer any advantages to Hubble?
I would attribute this discrepancy to a natural extension of pg's thoughts about the blub paradox (http://www.paulgraham.com/avg.html). Most PHP developers I've talked to justify their work in PHP by saying that essentially languages are more or less the same, and that PHP is "just as good" as any other language. It's rare for me to hear someone say that PHP is substantially better than other languages. By contrast, former PHP developers who now work in other languages usually say that PHP is significantly worse than other languages. It seems natural that someone who thinks there's a significant difference would be more likely to comment about it than someone who thinks the languages are basically the same. There's more to say about the difference than there is about a lack of difference, and it's relatively hard to provide real arguments for the lack of a difference – it's usually more "there's no real evidence of a difference and this works fine for me."
From what I can tell, Hyperloop One f/k/a Hyperloop Technologies [1] is a venture-backed company testing at an open-air track in Nevada. They are the ones raising $50MM. (They are also the ones playing the "everyone sues everyone" game.)

Hyperloop Transportation Technologies [2] is approaching the problem with crowdfunding and crowd collaboration. Their pictures are quite pretty.

[1] https://hyperloop-one.com

[2] http://hyperlooptransp.com
> From those early beginnings it was developed hand in hand with publishers, ad vendors, technology providers and platforms besides Google such as Twitter, Linkedin and Pinterest

AMP is not pro-users -- and the above supports this. My opinion on AMP is that it is a piece in this overall goal out there to weaken the "user" part in "user agent".
Yes, Orion looked a lot more attractive back before civilization became reliant on huge quantities of sensitive electronics in near-Earth space.
I don't think this is the same vulnerability. You don't even need to rebind DNS to do it, I believe: just make an XmlHTTPRequest. Your GET is considered code. The browser will get back a request that doesn't have a cors header and so not let you read it, but your code still executes. So there's no reason to be on the same origin, so DNS rebinding is unnecessary
I don't understand the example of design and amp. (#4) Is this some kind of a joke?

I hope in five years amp is another deprecated project of Google.

Google already knows sites loafing times. Just punish slow sites and give more to fast ones. Why reinvent the wheel? If the boss sees rankings dropping because of all of the tracking and ads, maybe they start thinking about making sites faster.
That's certainly a potential solution.
I have an old MacIvory (Symbolics board set housed in a Mac II) which doesn't want to boot anymore. IIRC Googling indicated that the Mac IIs are like cars - they won't turn over if the motherboard battery is dead. I changed the battery - no joy. Anybody have any recommendations, whether for a repair place (New England, USA) or further DIY things to try?
Like you say, these are all possible today (with the exception of #5, I'm afraid!) but with a lot of hoops. I'm not sure if the recompile/patch of system libraries is a general enough need to make really slick tooling something we can invest in, but better documentation is certainly possible.
Not if you:

1. Move processing to data.

2. Use minimum viable data.

E.g., Google (Roberto Bayardo) state that the two critical elements for ad placement are a) current location and b) current search term. Everything else is quite minimally beneficial.

I'm not sure this is viable. I think it's worth tossing into the discussion.
The first paper mentions 19,400 seconds at one point; versus 450 for hydrolox and 3100 for Dawn's ion drive. I did a blog posts on the theoretical limit on this sort of drive a while ago, using propellant velocity instead of ISP.

http://hopefullyintersting.blogspot.com/2015/04/rockets-vi-v...
"almost 7 years ago"

I'm working on software that was started in 1999, this isn't unusual.
PHP might be getting better. But have you considered that most programmers just don't want to use it? They've already invested in learning better langauges and they aren't waiting on them to get better. The most important choice you can make when starting a project is picking the right tools for it, and PHP probably isn't the one. Lots of other tools are just as capable, and often more so.
Working on it with Wayland. I think this wish, at least, will come true. :)
Using Wi-Fi and cell signals for greater accuracy than GPS
Lost in Sierra: Five Missing Features
It needs to be a better "out of the box" experience than Ubuntu currently is - fonts, available packages, hardware compatibility (wifi and gfx especially), look and feel...

I don't care about free vs non-free I just want everything to work.

I stick to Ubuntu LTS versions, but I'm not sure that's a deal breaker like it is for some other people.
Show HN: Convert HTML or URL to PDF in Node Using RotativaHQ API
Still unacceptable as it would still cause my users to expose their IP address to someone else's server.
You have linked an http version of your site and your login page doesn't force https.

Even if it's a side project, security matters.
Banking is not run by crooks. This/your statement is blanket and disingenuous.

Bank account: Go with a bank account that includes a service and fee that you require.
That's exactly it for me as well. Several times I got prompted by articles like this to evaluate AMP, because I like the core idea – a defined subset of HTML tags for static content that can then be cached. And then I have to realize that this is not the core idea at all. Replacement of HTMl-Tags with AMP-tags, converting a static site to a site only working with javascript, javascript that can't be self-hosted – that is just an ugly and bad solution far from the claimed core idea.

How AMP should be: Define a subset of allowed HTML and best practices fit for static pages. Verify and cache the result. If doing crazy js-hacks, do that on the cache-layer as an add-on, like the image resizing.
> the async nature of Node made my head nearly explode.

There is a reason that paradigm exists, other than to make development frustrating. How do you avoid thread exhaustion in PHP if you synchronously block on a line that could take a really long time to complete? (Making a request to an external HTTP service, for example)
Absolutely in the works — check out http://flatpak.org/. The plumbing for this is in F25, although we're not shipping anything that way yet.
It's worth noting that it's compiled JavaScript vs. interpreted PHP. With something like HHVM the PHP version would likely be a lot faster.
I tried to get nrepl to accept http requests once and I couldn't make it validate anything. (But of course I'd love to see someone manage to do it...)
As someone who finds the American copyright and patent system unbelievably fucked up, I really have no qualms with buying knock-off modules/boards. It's not like any of them are especially novel or something any competent EE couldn't conceptualize with relatively little effort.
This goes well beyond mere "advocacy" to overt dishonest propaganda. Points #2 and #7 are fairly inarguably, objectively false.

#2 AMP's primary requirement is loading a 3rd-party script from a Google-owned domain. First. In the head. It disallows local use of this script: it must come from Google. It further disallows any author-written JS so there's no way to make this Google-dependency optional for site visitors.

#7 See above on completely disallowing author-written scripts. All JS interactivity on your site must come through Google's domain.
What are the things you appreciate about Solus as a developer? What makes it the best out-of-the-box experience for you?
OneCoin – the biggest scam in Internet history
> In python nothing can guarantee at compile time that you are not passing a username variable in a method that accepts an email address

Is there no reason you could not create an Email class and have the method require its argument to be of that type?
Go still doesn't quite match what most Java native compilers are capable of.

For that you need to use gccgo.

The main problem with this kind of effort is mostly political, as many developers don't make a difference between language and implementation, thus making it harder for a language like Rust to win the hearts of its target audience, e.g. C developers that micro-optimize code as they write it.
Show HN: Isomorphic React with checksums
Which one has the test track next to SpaceX?
Being CTO/CIO twice in my carrier, being protector of my small dev-realm almost fulltime, I completely agree with that article!
so, probably it's wrong somewhere.
The distribution for the roll of a die doesn't change, but the individual outcomes do.

It all boils down to how this random variable is defined.
Philip Glass on controlling your output and getting paid for what you make
I'm distantly related to the original founder, and have been told this confusing version of the story: Symbolics was bought out buy a different company that then renamed themselves Symbolics, though none of the people remained and the new company just pulled government contract money for "maintenance." Eventually, the IP was owned by a single person named Andrew Topping, who was known to the rest of the world pretty much only by name; no one knows his history. Then he died. Now nobody has any clue who owns the IP, where any useful documentation is, etc...
It is same in Spain with Partido Popular (PP). Everyone seems to hate them and talk how corrupt conservative fascists they are.

And yet after every election the map of the country is blue - - color that represents PP :))
> Health interventions - from clean food and water to drugs and surgery - have improved and lengthened the lives of billions over the last century.

Public health interventions, such as clean water and vaccines, have lengthened life expectancy. Drugs haven't made much of an impact though.
Radiation hormesis models aren't "more accurate." The long-term effects of small amounts of radiation are simply not well understood. It could be good, it could be bad, it could be neutral.

The far bigger problem for launching Orion from Earth is the electromagnetic pulse frying every satellite above the horizon and a bunch of stuff on the ground.
Thanks a lot for sharing this. I've been in 3 different companies now where I learned a lot but the biggest reason I left my first job was because I was afraid to ask questions because my boss did not know how to respond to a simple question without being snarky or rude.
I learned a lot from that job but I knew that I wanted to be in a better environment and I am thankful that I made that decision. Working in an environment where everyone is encouraged after making mistakes and learn from it is where I want to work for.
We can't argue objectively about an opinion but take a look at this typical page of the php.net documentation:

http://php.net/manual/en/function.usort.php

It has everything I need to know about the function clearly laid out. The behaviour of sort when elements are the same. A list at the side of related functions that I may want to look at instead.

I also like documentation that includes user contributions as these often add useful caveats and usage examples that don't fit well in the general documentation.
I agree with both of you, but let me combine the thoughts.

An unknown number of medical advances do more good than harm. Maybe it's over 50%, maybe not.

Regardless, from the US citizens I've spoken with in several states, people often are not educated about know side effects when being put on a new drug. Many drugs have serious side effects and since most people are put on several over the course of a treatment, people need to be aware of the potential danger to a different area of their live / lively hood.

Medical error is still arguably the 3rd largest killer of US citizens, so misinformation (or a lack of communication) about side effects is very present as well.
It fels as though AMP is putting a wrapper on the internet. No thanks.
How to find by XPath text that contains apostrophe in Selenium WebDriver
Tesla Model S – Euro NCAP Crash Test
Optimal Pac-Man
> the author is a Google employee in Developer Relations

Haha, wow. And I didn't even know about the caching behavior, that's ridiculous.