skysight-inc/HackerNews huggingface dataset:
We've been using Flow at Streak. Compared to my last experience with TypeScript, it's been really great for how easy it is to add into an existing codebase. Nothing about our build process had to change because we were already using Babel (which by default strips out Flow types and supports JSX) with Browserify. Flow understands node-isms and follows how commonjs and es6 modules include each other, and only enforces its type checking on files that have opted in with the magic /* @flow */ comment, so we didn't have to stop the world and make everything play nice with it in one go. We're gradually opting in more of our codebase over time. Its type system maps to javascript really well, supporting things like optional types, disjoint unions, intersection types, and polymorphic functions and classes.

The annoying things with Flow: No Windows support yet which is the one thing holding me back from transitioning some personal projects over, but it sounds like progress is coming there[1]. There doesn't yet seem to be any real plans for letting 3rd party NPM modules bundle their own type definitions and have them be automatically used[2]. (Flow doesn't have issues with untyped imports at least. They're just treated as the any type.) Editor integration is pretty bad still. There's an Atom plugin, but it's buggy. This doesn't affect me too much as the "flow" command for type checking is quick to use (on the first run, it starts a long-running daemon in the background which watches your whole project for changes and keeps their type information cached) in the terminal I already always have open for interacting with git.

[1]: https://github.com/facebook/flow/issues/6
[2]: https://github.com/facebook/flow/issues/593
Which is weird because you'd think a hybrid diesel would be better, because you could use the dynamo to avoid the NOX peak.
Indeed, they have no economical reason to extend this trust and shoulder the risk, however small it might be. But this dynamic creates a problem for the society, therefore it needs to be worked around. Sealing criminal records is one way of doing it (not sure how effective it is though, given that jail time still leaves a gap in your CV).
My family has been on contract for last 10 years and so has most people I met in America. The subsidy means flag ship phones at ~$200 with 2 year contract, or a cheaper phone for free. The other part is that AT&T and Verizon had much more reliable signal so it wasn't worth going to another provider.
> Have none of you used Eclipse recently on an SSD?

Yes. It's still so slow that I'm faster by using Vim with the javadocs open in a browser window.

It's not just disk I/O. CPU overhead and memory consumption are crippling, too.
Sure, but the concentration of capital and the leverage a GAI is likely to have should streamline the project-management and fund-raising aspects.

Imagine if you didn't have to convince anyone else to fund your experiments.
So it's totally possible, my Eclipse journey ended about 3 years ago and I've never looked back.

Also for the past 2 years I haven't been coding much java, mainly python django / javascript. And I will say the tooling for django debugging in PyCharm is really excellent, both in setting it up and daily use. The Eclipse plugin might work but really PyCharm is the meth of debugging setups: It'd be hard to leave.
I thought this about myself until my first "real" job. I was really nervous and wanted to make a good impression and memorized 20 peoples' names in one meeting, remembering them at least for the next couple days. (After that, those I didn't see were forgotten.)

Point is... I was super-focused on paying attention, and poof my "Hi, George. Nice to meet you. Wait, what was your name?" problem was gone... though only for that day.
There are acceptable risks and unacceptable risks.

Hiring a tax evasion convict as a truck driver sounds fine.

Hiring a fraud convict as a CPA sounds pretty risky.

Hiring a murder convict as a beat cop sounds unacceptable.

Positions of trust and power over others will always deserve scrutiny for the sake of the life & liberty of ordinary people...
Registering a corporate name doesn't mean you can use it
This mirrors my experience precisely. I was very excited about async/await, hoping that this would integrate coroutines into regular Python scripts, without the need to manage some complex dispatch engine. I was equally disappointed to learn that it's business as usual, with painful and inadequate semantics out of the box.

At least we have pypy. The community should really be rallying behind that project.
But what if you weren't going to buy it because you were not aware it existed?
When you see an ad for an interesting movie and decide to check it out, you go watch it, and love it, are you really worse off?
Maybe you see an ad for a new restaurant and decide to check it out. Are you worse off?
Aren't these examples of positive ads?
I'm not talking about 3rd parties spending people's money as the people wish.

People are better off spending their own money in the sense that they get to choose how their money is spent – but their lack of competence/expertise can for instance make them make bad choices (as in choices that don't lead to the desired goal), and resources will thus not be better spent.

Don't get me wrong, though – it's not like politicians are experts either.

Things are seldom as simple as ideological hardliners claim that they are.
Show HN: Pure HTML5 Dom Game – Bridge the Gap #js13kGames
Ask HN: Installing Linux on a Mac. Fedora or Ubuntu?
https://github.com/davidhalter/jedi-vim perhaps?
I've chuckled a few times in this discussion where people have been asking "Have you tried Eclipse on an SSD?" Know what makes an IDE work even better than an SSD? Being able to fit the entire thing in RAM and not have to page out all the time.

Other than the speed part, the main reason I keep using Emacs is because of the easy-to-access-remotely part of it. I've got a nice beefy Linux box at home that I can ssh into. Tmux keeps my sessions alive. Emacs lets me do all of the code editing. And the nice little Surface 3 is easy to carry around and makes a fantastic SSH terminal.
Ask HN: Drop in visitors after name change?
Have you changed name/domain on a website with thousands of visitors? Can I expect a significant drop in visits, or should everything work just fine or perhaps even to the better as long as all 301s are in order?
Thanks! This was very useful. PeerCube looks awesome. Quick usability note--I am unable to get past the captcha to register (tried about 6 times).
The Life of a Professional Guinea Pig
Admittedly my last interaction with the NHS was three years ago, but the GP had to go away and research what to do. I have no problem with that, they can't be expected to know everything offhand! The human mind is a complex thing.

My own hangups make it difficult as I find the whole thing hard to talk about. I have no reason to complain in the grand scheme of things, "Some people have real problems!"
In Israel, prison jobs pay minimum wage. So, businesses do not suffer from competition with slave labor as in the US, and prisoners learn the value of labor.
> Isabelle is definitely type-based by any definition I could think of.

It certainly has types, but I don't think it bases its proofs on type theory in the same way Coq/Agda do (but I really know nothing about it, so you may be absolutely right).

> I still stand by the idea that these tools should be more widely used.

I agree. But it's important to remember that correctness is often not boolean, and is often yet another requirement, which varies across domains and projects, and with it the effort to provide it.

> I also don't understand a position where they're in opposition to type theoretic approaches.

They're not. I simply stated that type-theoretic approaches (including Haskell) have so far gained little traction, that's all. If they one day become more popular -- I'm all for it.

The problem is that proof assistants -- be they type-based or set based -- are rarely used, and the reason is that they are notoriously hard to use, and hardly ever justify the effort. That kind of effort for correctness is only justifiable in niche applications, so those tools will always be niche tools. There's just no-way, no-how you can realistically expect large swaths of the industry to adopt them (and I'm trying to be optimistically realistic rather than a wishful-thinker). Model checkers, OTOH, are qualitatively different, and are much closer to writing tests. If the industry could be trained to write automated tests (and that has contributed greatly to the rise in software quality we've seen since the nineties, when we had a "correctness crisis"), then it can be trained to write a formal spec (a "lightweight model" as Pamela Zave calls it, or an "exhaustively-testable pseudocode" as Leslie Lamport calls it) and run a model checker. It is both more applicable, much cheaper, and much more familiar than formal proofs, and so it has a real chance at adoption. Dropping costs of computation have made it far more practical, too, for ever larger models.
The truth is with a bad economy the more a president with lagging approval ratings gets involved in some issues the less likely their passage.

More importantly there's a limited amount of political capital you have as POTUS. While you may think Obama should have directed more of this to closing Gitmo, I think the big ticket accomplishments he spent that political capital on such as ACA were more important.
That first gee from Netflix made me read the rest as mortys voice.

Gee rick!, were pretty busy here ya know? I mean like uhm maybe next year?
I want to enjoy the programming language im working with though. I don't enjoy js, but thats where all the work is! makes me sad
>I did this for two reasons, the first being that I cannot, for the life of me, figure out how to use asyncio to do local file IO and not a network request, but maybe I'm just an idiot.

I don't think you are an idiot I just think you didn't search well enough. There is a reason there is no local file IO with asyncio.

Check these links for more info:

* https://stackoverflow.com/questions/87892/what-is-the-status...

* http://blog.libtorrent.org/2012/10/asynchronous-disk-io/

From what I understand the way libuv (what node.js uses) gets around OS limits is with a thread pool.

Also, this documentation might be helpful:

* https://docs.python.org/3.5/library/asyncio-dev.html#handle-...

My experiences don't seem to mirror your frustration. I found asyncio quite useful for tinkering with a simple web scraper that hit multiple sites at once (each with a different response time) and munged all the data together into one data set.

Thanks for the write-up!
Thanks, I just wasted a whole hour reading this, its comments section, and a variety of Wikipedia'd searches around the subject and offshoots.

Armchair General, indeed!
So what you're saying is that parents (e.g.) punishing their children for playing with the wrong toys ("Boys can't play with Barbies") is something that is desirable in a society because the only other option would be "let anarchy reign?"

Seems like a fragile argument to make.

I'm not saying that we need to force people into some sort of agender roles, but the way we run society now with these ideas that there are "proper" toys for a child to play with, re-enforces the ideas that lead to people beating up their kids because "I'm not gonna raise no fag." What you seem to be saying is that we as a society throw those kids under the bus as part of some sort of "plan for stability" and because you benefit from that stability you support the plan. Am I reading that right?
Brain cancer eat themselves with blood thinners and anti-depressants taken togethr
Why Doesn’t Every App Autosave?
> Realize that you are basically lending money in unsecured loans, so I wouldn't let this become a huge part of your overall assets.

Great point, thanks for underscoring that. 8% definitely beats the 1.5% I'm getting in a CD. Thanks!
Likely a moot point. Even if MS did anything, China would say, "nah it's just a coincidence" or, "doesn't look similar to me!"
You are so right, wish more people saw the potential for reform more clearly!
Agree,

what about settings and configuration...
export your eclipse settings from one workstation to another can be half day of work.
JustFab: The Billion Dollar Startup with a Dark Past
>Upper class white people

Your racism is showing.

Upper class people like Cocaine too, care to inject a racial undertone as to why that is illegal?
First Indigenous Foreign Agents in Barents
beats, rye, types
wait, wait, don't tell me
this american life
planet money
We see people hyping all the time for NodeJS mainly because it can handle millions of concurrently open connections. Now we get a much cleaner (IMHO) way to achieve the same thing in python (of course python is slower) - i.e. see aiohttp as websockets server. I would not call it a disaster.
That's the part that worries me more.
Tim Ferriss's method focuses a lot on eye movement. I question the decision of lines/keeping lines over making the words move instead of your eyes. On the web - we can move text to where our eyes are, instead of focusing on imaginary lines to aid in speed reading.

I use something similar to Squirt [0], unfortunately I forgot the name as I failed to properly name the bookmarklet. Unfortunately Squirt is a little buggy and doesn't strip out connecting/useless words (just, basically, a, etc.) but it gives a good idea of what I'm talking about.

I typically have it set to 850wpm~ which is good enough for comprehension so long as the material is within my vocabulary. If it doesn't parse well (punctuation like parenthesis often breaks the parsing) or the vocab isn't in my reach - I drop it down to 450-550wpm.

[0] https://www.squirt.io/install.html

Edit:

Spritz is another speed-reading bookmarklet that I recommend over Squirt, as the parsing is better:

http://www.spritzinc.com/
According to the kickstarter - spring 2016
I'm always so confused by comment threads like this page. I used Eclipse daily for 6 years then was forced to switch and now I've been using IntelliJ daily for the past 2 years. So I think I'm qualified to make a fair comparison and I still vastly prefer Eclipse. But then I look at comment threads like this page and it's all about how superior IntelliJ is. It always leaves me confused, like I'm missing something about IntelliJ but I don't know what it is.
I know it's not easy to graft multicore onto Python. So why pretend? If you're serious about web programming you're not using Python anyway. You're using JS or Golang. And if you insist on python, we have plenty of options to do async i/o already. Optimising async is like polishing the doorknobs on the titanic. Waste of effort.

What we need, is a concentrated focus on the only two areas where Python beats the competition hands down. Numerical computing, and newby accessibility. The first gets a token "@" operator (great, thanks), the second is moving backwards with 3.x. Asyncio, type annotations, and unicode, are answers to questions nobody is asking (except by those who refuse to use the right tool for the right job).
Talks by UI Patterns
I'm not sure how much I agree with that... I'd much rather have headphones listening to music on a plane/train/bus than trying to listen to something in the open... likewise for watching video... watching on my phone isn't too bad, but being able to get a "big screen" view with a similar experience to headphones for your eyes, I'm happy to see it.

To me, it doesn't need to be so "VR" but that could lead to some cool UI/UX for interaction. I think that this could be something that takes off first for heavy commuters, and second for gamers... It will just come down to marketing this appropriately. If they can get a version for iOS and advertise in the airline magazines, for example, I think it could sell very well.
I'm wondering if the downvoters really think that plain text will be unreadable in 35 years? Seems strange. I can open asci files from the 1970's just fine today...
My understanding after talking with Rauchwerk today is that the boards are shipping out on the timeline they've outlined on the kickstater page. The only divergence from that schedule is that Kernel Hacker Backers will get their first board in 5-9 days and their second -- which is a bonus board -- in mid-October.
I'm lucky.
Perplexing Pluto: New ‘Snakeskin’ Image and More from New Horizons
In the UK many don't even allow them. Especially at peak hours.
I like advertisement.

I use Tasla before they are popular; Windows Mobile while they are not in the news steam; The first iPhone; The very first Gen Intel SSD; 64GB rams while 256 MB is the standard, and still can go on.

Advertisements in a media act as an amplifier that fit the majority in our social system.

Now go back to our topic: Can the Google Ads show me the next SSD? Will it show me the next self-drive car? No it cannot at this stage. But when it can, I will desperate or probably pay to read those advertisements.
> 1. Content creators have to be paid, or much of the web I know and love will cease to exist. 2. Life without ads is much better.

Yes – content creators should get paid. Also, not all ads are bad. Some campaigns even make such an impression on popular culture that they have their own place in history. But the campaigns that won't? Well, basically anything coming out of ad machines like adsense and what not.

Ads can be tasteful, even enjoyable, but most of the internet ads aren't. Unlike broadcast tv, you can block internet ads; it's easy to do, and you should. Not because it'll kill content creators or indie app makers[1] or whatever, because it won't. It'll hurt the revenue streams of shitty ad mongers like adsense and doubleclick and facebook and admob and what have you. These are – in my opinion – on the same shitty level as porn peddlers. They sell crap for pennies, but they win because you just won't reach out to everyone otherwise. Google and Twitter and Facebook and all of the shitty ad platform snake-oil salesmen are the broadcasters of today – and their messages suck.

Not only do their messages suck, but people – good people – spend valuable time they'll never get back in order to produce these shitty ads. Time they could have spent doing something useful. Instead they made a shitty flash banner that won't play anyway because everyone blocks flash.

Ads of this kind need to be blocked so we can get to a point where advertising can be good. Where it requires thought, effort, research. Where it requires smart people, creative people, coming up with things that matter and are contextually relevant. The shitty ads we have today need to be blocked to preserve bandwidth, and to help make our planet perhaps die a little bit less every year. Blocking ads on the internet is easy, and doesn't require fancy heuristics or anything. It just requires black lists and hive minds. Ads that are not peddled through "platforms" or however you'd like to describe it – sponsored articles like those on Daring Fireball or increasingly in news papers these days – are less easy to block, and require more effort. But those ads aren't annoying, and they may not be entirely relevant but at least you don't want to throw up because you're fed up with their bullshit. So it becomes a cost/benefit calculation – is it worth the time and energy to block all ads, or are some ads ok?

To me the answer to that is simple: ads are ok. The ad-porn that inflicts the internet today, through adsense and the rest of the ad-platform mob, can die a painful death in fire. Fuck 'em, I'm blocking their shitty ads left-right-center.

[1]: http://blog.desk.pm/df/
Agreed. Ppl have an initial impression that simpler software is faster but once that software gets all the required features (if it ever does) the speed has, in my experience, rarely been as good.

I saw the same thing in the early HTC/Samsung smartphone wars. Lots of negative comments/reviews but once you added all the required Sense features via 3rd party apps to comparable Samsung/Google phones the speed was seldom as good.

Turns out in that case, it was actually paid astroturfing on samsung's part:

http://www.idigitaltimes.com/samsung-fined-340000-fake-htc-r...

Sadly I find the android studio (intellij) spped about the same as elcipse and I don't have any plugins loaded in Android Studio.
This is unfortunately an old idea expressed openly by politicians in the US.

Rahm Emanuel, President Obama's former chief of staff was quoted as saying:

> You never let a serious crisis go to waste. And what I mean by that it's an opportunity to do things you think you could not do before

At least he's honest about his political opportunism.
Yeah, I added one of the add-ons for a video adapter, so I think my order will be shipped much later. But, I'm excited to play with it, and see what other people can do with it.
Whenever I try to switch IntelliJ I hit a few roadblocks that force me to turn back to eclipse, sadly.

* No true multiproject/workspace support (with maven integration)

* Slower compile times than in Eclipse, somehow

* Have to hit an extra shortcut after editing a file for a hot reload to happen while debugging

Am I just crazy, or are these really areas that IntelliJ is weaker in than Eclipse?
New Pluto images reveal mountain ranges textured like 'dragon scales'
Didn't Redhat complain that the company behind RedFlag didn't distribute source?
How big is that one on Ebay? I don't see any specs.

Also - if you click on Shipping -- it says "free shipping" then it says "$300 shipping"

Which is it?
The media overplays it. Scary news articles are gobbled up.

Convince the general public they are unsafe and boom you have a market ready to buy your replacement experience.

Don't try to use facts and numbers against the average citizen. They won't have it.
Right, because things were so awesome back in the day...not. Sowell has made a great living out of pandering to white conservative nostalgia; his rhetoric relies almost exclusively on emotional arguments, wrapped in a thin veneer of objectivity and disinterested logic. Note, for example, the assertion of a vanished status that 'worked,' sidestepping the question of why there was any impetus to change it in the first place.

A reading trick that I find incredibly useful (no matter what your political affiliation) is to mentally highlight all valuable adjectives and implicit adjectives - valuable being 'nice car' as opposed to purely descriptive adjectives like 'blue car', and implicit adjectives being things like 'worked' above, which implies something that worked well rather than worked badly. Some writers, and I think Sowell is an exemplar here, specialize in stating a bunch of logical non-sequiters as a frame for a purely emotional, subjective argument. This is the rhetorical equivalent of the stage magician drawing your attention to the absence of anything being up his sleeve in order to distract your attention from what he's doing with the top hat.
I wonder how they would handle a Muslim physics student doing what in the 1970s was a perfectly ordinary exercise, that is, calculating the minimum quantity of U235 necessary for a self sustaining chain reaction? What would happen if he had to write an essay on how to optimize the yield of such a reaction (add tampers, boosting). All such things are relevant to the understanding of the peaceful uses of nuclear energy.
Gnome 3.18 Advanced Review – New Application, Features and Improvements
I didn't think this comment would blow up so much. Thank you for clarifying my point. I should have cited sources, but NSA specifically literally directly serves the POTUS. He can _literally_ shut it down tomorrow, among other things.
I can't think of an example of when you would want "embedded stuff" running a webserver. Do you have any examples?
(Not saying its not needed, but I am struggling to see where)