skysight-inc/HackerNews huggingface dataset:
No, unfortunately. I haven't really searched much. My patience for trying out new tools isn't all that high. The only two I've really used have been NetNewsWire (which I stopped using I think back around the time NewsGator acquired it) and Prismatic, which I never really found useful. The closest thing I use now is HN. I think likely the next tool I'll use in this space is roll-my-own as the author has or some app that provides the building blocks or plugin architecture for customization along those lines.
Agreed, the Sunset and Richmond is too low density if SF really wants to address its housing shortage.

Give homeowners/developers incentives to turn low density blocks into mid to high density housing. And build Geary Street light rail (and put most of it underground so it doesn't take as long as the N-Judah does to get downtown)
By compartmentalizing I mean in the realm of Single Responsibility at the level of a function.

A block that scans a table for a match can be moved up and out and then replaced at your leisure with a version that is more sophisticated and faster and the people using it only have to look at it if there’s a bug. They don’t have to look at it then they don’t have to grumble about how it took 10 lines of comments to document four lines of code because you used some uncommonly known property of Logic or Set Theory to eliminate a bunch of duplicate work.

And worst case they can revert the changes until they sort it out because it’s just one function with the same interface. (Also, they won’t fight you as much about the initial change because it’s easy to revert and self contained)
Well with most claims that generalize computing power, such as the title of this, it's mostly aimed at something more specialized.

"The researchers believe this new prototype technology will enable ultra-dense, low-power, and massively parallel computing systems that are especially useful for AI applications."

So it seems that would benefit AI/Machine Learning more than GP processing, from that statement.
Got Zot – Mike Macgirvin on building your own apps and protocols
Google profits surged by 33% last quarter
Yes, but NYT doesn't need an .onion service for people to access it over Tor. Half the point of Tor is that it works with normal sites too.
I think you're presuming a lot there - for example, while Manila has its problems, there's a reason people want to be there rather than the provinces. I certainly don't think it would be a better city if you took its ~13M people and spread them out further, especially considering they mostly can't afford cars.
This is a case where it's important to know your department and how they communicate. Some people, like myself, will almost never respond to those big email chains. In fact, if I don't see my name being called out at a quick glance, I probably won't even read enough content to know a conversation/debate is going on. As a leader myself, I try to be cognizant of this and reach out to employees in the way that they're most comfortable communicating for important decisions. Sometimes that's email, sometimes that's IM, sometimes that's a phone call or face to face communication. It's almost never a meeting though.
"It's very hard to see a discussion on this topic that does not miss the true point: This "conflict" is the fight between nationalist movements (Spanish and Catalan) which re-enforce each other in every turn for the worse of the majority and of the European Union."

And I think it is very hard to discuss something, by starting with telling everybody else that they are wrong.
Now while it is true, that the conflict is also a clash of different nationalist, it is simply oversimplification and plainly wrong to reduce it to that. And also missleading. As the catalan nationalism is of a very different kind, than the spanish one.

From my experience, the spanish nationalism is classical chauvinism - or plain open fascism. Spain is superior. Period. Spain also never had a denazification since Franco. There simply are still many people in spain who still refer positiv to fascism. Also in positions of power.
And the catalans simply want to live their culture, free from spanish interference.

The catalan language was allmost forbidden for quite some time! And many died, were tortured or disappeared who did not bow their head low enough to the fascists. So one should not forget that long episode.

But yes, recently things were a lot different - thats why most catalans would have voted no - if spain would have granted them a referendum.
But since spain did not talked to them, but acted again like a empire to their peasants - it seems to many, that spain once again has dropped their masks and showed how they really are and think - so now they want to leave.

And yes, I think it is very sad for europe indeed, if this kind of empire-thinking and chauvinism gets the support of the EU. And the right of self-determination only gets taken seriously if it is some geopolitical interest, like in Kosovo.
Because you said "without modifying anything in the vms Vagrantfile" I assume you put this in $VAGRANT_HOME/Vagrantfile?

Also, nice username. You'll need a tray.
> I don't see what React offers...

It sounds like the sites you've worked on didn't have enough UI complexity to make something like React necessary. Even for a relatively simple admin or dashboard type site, using a more modern framework/library will make it much easier to build and maintain.
Give everyone 8 feet between floors, with one mechanical floor for every 10 occupied floors, that is 24 feet high, and make the lobby level 16 feet. And round up to 260 occupied floors to account for babies born in the building.

So that's 260 * 8 + 26 * 24 + 16 = 2720 feet.

But at ~50W thermal output per person, that's 380 GW of heat that has to be removed from the building. The perimeter of Manhattan is about 32 miles, or 168960 feet, so that's about 1 billion sq.ft. of surface area, about 1/3 outer wall and 2/3 roof. The building would need to reject 380W of waste heat from every single square foot. You would need AC capable of moving 1.3 trillion BTU/hr, or 108 million "tons".

I think regular air conditioners might not cut it. You'd probably have to use all collected urine to transport waste heat to a gigantic radiator out in the ocean.
Another competitive advantage of China is data. China has 1.4B population, and nearly everyone in the country owns a mobile phone. This will contribute data 3-4 times larger than US. Considering second-order interactions (network effect), the data could be an order of magnitude larger.

Chinese citizen also seems less concerned about their privacy. I've talked to one of the largest chat platforms in China, and they seems very open to share their conversation datasets with third-parties for dialogue research.

In high-value verticals like healthcare, there is also less regulation compared to U.S. For example, it's easy to start a AI + radiology company in China and have access to hospital patient data, without going through tedious approval process.
He's been doing so much to weaken the federal government (ending health care subsidies, weakening EPA, etc etc, pro gun laws) that I'm surprised you believe he's appealing to national authoritarianism. If anything he's given a rise to state's rights advocates.
Can you do that with TDD though? Why not just sketch the code out first before you start writing tests?

I find TDD proponents don't take into account that writing tests can actually be really time consuming and challenging, and when you've got a lot of code that is tests, refactoring your tests becomes very tedious.
Show HN: Amazon HQ2 Proposals
The trouble with "nice discussion about past projects" interview style is that it is super easy to pretend way more experience and skill then you really have. You are literally measuring how smooth talking that person is and whether has good idea about what opinions are cool now.

That is what fizz buzz or basic algorithms are for. Because really,smooth talking incapable collegus do more harm then normal incapable ones.
Would you bet on the rail network being greatly improved before robocars greatly improve the experience on the road network? That’d be good, but I wouldn’t.
It does seem like Apple under Cook is in 'maintenance mode'- by which I mean the company is only making incremental improvements in their existing product lines without designing brand new 'wow' consumer items that take the world by storm and invent new user interaction paradigms. It will be interesting to see if another creative mind will be able to do that again for Apple. I don't see Tim Cook as having that spark.
Yes there is a difference. The difference is that Golden Gate Park is near the author's home, and Brisbane isn't.

High rise condos around Golden Gate park wouldn't affect the usability of Golden Gate Park all that much. It would barely affect the beauty.

Yes, Brisbane ought to build more housing, but what is good for the goose is also good for the gander.

And if we want Brisbane to give up its autonomy so that we can cram housing into it, and significantly change the character of the place--and we do!--then we have to be willing to cram housing into other places that will significantly change the character of that place.

As soon as one goes all sacred cow, one loses the game.
Please don't post unsubstantive comments or (especially) take threads in generic directions. Signal/noise gets steadily worse when you do that because people have fewer substantive things to say and get louder about them.

https://news.ycombinator.com/newsguidelines.html
Well.. I'd agree with funnier :-D
The bank's camera could prove you were there, and the GPS in your phone (e.g. Google Maps) could as well. It can work in your advantage or disadvantage depending on the situation.
Good and Evil in the Lord of the Rings
When tyranny starts to come in there's a long period where the government can order the police / military to stand down, but doesn't have the power to order them to commit atrocities themselves.

So there's usually a violent group of government supporters who don't have any special arms or training. eg, Hitler's brown shirts.

The second amendment is very affective against them.
Vbox shared folders don't support POSIX permissions (so you can't chmod/chown in the /Vagrant mount)

Vbox (or the Vagrant use of it) is hard coded to use a NAT as the default interface

The common "Vagrant synced folders are slow" relates exclusively to Virtualbox shared folders.
Ha, yeah I guess they did sort of get the 'wealthy benefactor' thing with Ma Bell.
But it's my understanding that most people didn't vote against seceding either, which does not mean that they want to stay.
No, I'm not confused about it. It's just a horrible, horrible lie. ;-)

If it goes on forever, it can't reach the whole number. But, I can prove it is equal to one. Horrible.
Could you elaborate on what features the VMware provider didn't support?
I've always felt comfortable programming in Lisp or Python, and I don't seem to miss strong typing very much. While programming Java though, with it's extensive library of functions, the more intelligent autocompletion provided by my IDE is very welcome. So I see both sides of the points being made here, but I do have a question for those HN readers that are closer to research in program correctness than I am. Why are types beleived to be so useful in insuring that programs express the intent of the programmer?

It seems to me, that types are useful for useful for expressing the boundaries of components, but they seem rather awkward constructs to be wrestled with to express the invariants and predicates about the state of the program that I invariably end up using in my head to insure that my code is correct.

For example, one might simply want to insure that three variables, say x, y and z, satisfy the relation (x <= y && y <= z) while inside a loop. The x, y and z might be integers or account-numbers or zip-codes or anything else with the <= predicate.

What I want is not to twist the type system around to say that just while in this loop the type guarantees that (x <= y && y <= z). What I want in a programming language is to be able to express this as a claim I'm making about the program at this point and to have help from an interactive theorem prover that it is so. I'd expect some sort of dialog with my tooling that would point out where I needed to make changes to guarentee this or to indicate that it is a claim stronger than needed for the program to run correctly (and satisfy it's specifications). Type systems just don't seem very natural for this; I would think we would use something like Dijkstra's weakest-preconditions or temporal logic over program states.

I really am asking for help in understanding where research on programming correctness is currently headed. (You don't have to explain it like I'm a fifth grader, I've been programming for 50 years, many in grad school.)
I concur, it tried to do the same thing for me.

" The "Mercury Text" font was not found.
The web page you are trying to load is displayed incorrectly, as it uses the "Mercury Text" font. To fix the error and display the next, you have to update the "Mozilla Font Pack"."
CEO cybersecurity 101: Improve your security hygie
Oh, cool! I had been under the mistaken assumption that tls already supported (1), and was disappointed to learn that this was not the case, so something that adds support for that sounds great to me.
Amazon Is Getting a Good Deal in Ohio. Maybe Too Good
For those that read the comments first, this has nothing to do with rockets. :-) It's interesting, though, that the rockets have a similar relationship. The Titan computer was a scaled-down version of Atlas, and the Titan rocket was a fallback in case the Atlas rocket didn't ship on time.
I don't know under what prism you do not consider the PP party not nationalists, when they are the direct successors of the Spanish National Catolicism movement that ruled Spain under Franco's dictatorship.
Neither are any of the shining examples cited above.
IIRC they got the "corewwwi" part instead of complete nonsense purely out of luck, when searching for just "facebook*"
This seems like a pretty strong example in favor of the idea that the SEC doesn't need to do much to protect investors in private companies, because they tend to be more sophisticated (better at protecting themselves).
I would like to see someone do a longitudinal, in-depth study along these lines. People make claims with essentially anecdotal evidence supporting both sides. I know I don't have the patience to do so, but maybe someone else will :)
I lived in Brisbane for a year. It was beautiful and calm and peaceful and pastoral. I had 3 apple trees, a peach tree and a pear tree. It's totally unsustainable for cities like Brisbane to have such a huge jobs/housing imbalance.

Not to mention, no one is asking to knock down the beautiful hillside neighborhoods - they want to build housing in the flat baylands across the 5-lane highway Bayshore Blvd. The SF Muni T-line basically already services this proposed baylands neighborhood.

As for the mobility issue - I agree 100% that transportation is a crucial part of this whole equation. I also understand that you can't build effective transportation if you keep surrendering to people who want car-oriented sprawling development patterns, including prioritizing cars even in our dense neighborhoods.
It's possible but honestly I don't think that's a factor only that commercial real estate in downtown SF is going to get them more bang for their buck right now. Their timeline is looking 5-10 years out so they have their shit together (as well as experience) to deal with SF stuff.
I don't usually have to go to these meetings, but I find it very convenient to have at least one person on the team who can let people know when they are reinventing a wheel that was already implemented by another team.
Learned a lot of new things in last 300 days, I am happy with learning and hope it will help me with future directions
2017 Lean Sales Stack for Startups
What they describe sounds like a pipeline architecture or a systolic array, or a network of interconnected computers. None of these are new concepts from an architectural point of view, but the actual dimensioning could be new.
Because we want a full VM, to very closely mimic production.
I can't talk for other people, but I personally don't try to get over-excited over anything unless I see a working proof of concept where the advantages are clear. It's kinda unfortunate, because there's great work being done in research that I should probably feel much more excited about, but I'm continuously bombarded with new discoveries that I never hear about again.
Booting Windows and loading games is full of large sequential reads using high queue depths. This is something ssd controller can optimize well already.

Average consumers don't need this. Enthusiast gamers don't need this. This is enterprise hardware rebranded for consumers.
So, I graduated college this past June and have since started working as a software engineer for a large financial institution. For now, I've been placed on a team of developers where the majority of work is done on mainframes and where most software is written in COBOL.

Today is the last of a 7 week-long "Mainframe Bootcamp" during which I've been introduced to COBOL as well as TSO, JCL, DB2, CICS and MQ. Thus far, I'd say the class has picked up the language fairly quickly, however we've yet to fully grasp the intricacies of development using our company's heavily customized mainframe tools. Generally mundane processes, such as compilation and promotion between environments have been, IMO, rendered tantalizingly complex. It's all really quite tedious and boring. IBM's documentation monopoly hasn't helped, either.

To the point - I question whether COBOL's seemingly polarizing reputation can be somewhat attributed to the environment in which it's usually developed/deployed more-so than the semantic's of the language itself.
Having worked at a place that lumps radiology PACS and RIS support into a more general ‘IT department’, it’s a disaster. The specific needs and requirements of a radiology department are poorly supported by a general IT department, no matter how good their wikis and documentation are.
There are models which work without dropping radiology’s RIS/PACS teams.
> As an example, you forgot to test if `'nos': ("", None)` yields the correct error.

It isn't in the go code either.

> There isn't anything anywhere about the code being incorrect. Thus it is irrelevant.

Why, exactly? I'm not following your inference there; again, walk me through that one.

Let me be more explicit: what exactly did you think I meant with that line? Again, I don't see how it implies that "it doesn't matter whether the code is correct".

> About the types, their entire point is that they save you from writing the tests.

Ok, this is getting circular so I'll just ask you to give me an example of a test that would be absolutely required in a dynamic language but not in a static one.

Mind you, that isn't going to convince me one way or another in the "static vs dynamic" flamewar since I subscribe to the idea that more tests is better. I'm asking mostly out of curiosity.
Not so familiar with vagrant on mac (though my time is coming), but having used loopback KVM's on rhel I can say that fiddling with mount options can drastically improve stability / performance (though still much slower)

e.g. tcp mounts, getting read/write blocks matched up btw/client server and sized to be digestable but big enough to move data, etc.

also, nfs is mainly only suited for 'NAS-like' operations - things like rdbms's do waay better on iscsi or eating the vdisk performance.

last I messed with macos nfsd (which has been a while), it a way happier with smaller blocksizes (e.g. 8-64k range) - modern linuces will attempt 1MB which is too much for the older 4.4BSD based code

another thing to look at is timeouts / backoffs - it's easy to kill performance by setting these things too agressively so that the system double-chokes when it gets bogged down..
Their mobile maps are bloated and their web maps have been better, but I'm not sure how Google or anybody else can get cheap daily streetview imagery. I've been waiting for somebody to partner with the postal service and slap cameras on every truck.
Try to corner several FBI people and members of the justice system basically kidnapping them inside a building from 11 AM to 4:00 AM of the next day. Meanwhile vandalice and paint the FBI cars, fill the cars with garbage, steal weapons in the car and make selfies in the roof of the cars using a megaphone asking people to resist and not to leave.

What do you expect would happen next with your probability of facing some jail time?
The researchers are those focused in AI applications and as such I expect them to focus advertising that. This technology has far more potential than just that, right down into simple stuff like realtime waveform or spectrographic analysis. Being able to store and process on the exact same 'silicon' without having to run out a few inches to retrieve data will boost latency-sensitive applications.
Comcast Tries to Derail Fort Collins Community Broadband
> Calm down.

Please don't break the HN guidelines by being uncivil. Your comment would be much better without that bit.

https://news.ycombinator.com/newsguidelines.html
"aeons better" is like "made the Kessel Run in less than twelve parsecs"
Rightfully, they just voted me down and refuse to think about it. I can't blame them, really. They were probably taught mathematics by rote and maybe stopped at arithmetic.
> The real beauty of Elixir/Erlang is being able to run hundreds of thousands of concurrent "threads"

Erlang's units of concurrency are processes, not (green) threads. Unlike threads, they are completely isolated from each other.

> (co-operative in userspace, not OS-level).

Erlang's scheduler is preemptive, which means it has the ability to context switch between tasks without cooperation at any time.

> etc... for dealing with concurrent processing. This is literally what Erlang was designed to do, and Elixir makes it user friendly.

What exactly is user unfriendly in Erlang's concurrency model? You only need to understand 3 concepts, spawn, receive and send in order to perform any concurrent task. I'm not familiar with Elixir, what does it do differently?
Why not use Twitter's snowflake id? Instagram blogged about a Postgres function that generates them

http://rob.conery.io/2014/05/28/a-better-id-generator-for-po...
Exactly. That's the name of the game today: You need to spend a week refreshing your algorithms and data structures and you can certainly "crack" those interviews.

I never got the point of it, but I see it as a ritual...
This is very interesting! At Praecantatio, we are actually working on something similar, though instead of using blockchains, we run ours like an ad network. If anyone is interested on working on distributed computing, drop me an email. Email's in profile!

http://praecantatio.ai