skysight-inc/HackerNews huggingface dataset:
"SOMA, SF, valley, San Francisco, there is way too many ways to describe this one location ;) Also there not much of a difference when you are looking from Europe if it's Palo Alto or San Francisco."

I would venture that the lifestyle is far different from one or the other, and that "valley" is distinct from the other three terms you list. Similarly if I'm looking at Dublin or Kildare there's a pretty substantial difference.

However, your site is AWESOME and I use it often. Thanks for making it!
Interactive graph of most talked about items on the BBC and how they relate
There's been enough of buggy systems written in Ada, the most infamous perhaps leading to Ariane crash. It's no guarantee of anything.
Agreed; after just now reviewing the Wikipedia article for The Mythical Man-Month [1], I was going to mention the No Silver Bullets point, which, IIRC, he added in the 25th anniversary edition of the MMM book.

https://en.wikipedia.org/wiki/The_Mythical_Man-Month
Maybe not so computerish, but it reminded me of the Biathlon World Championship 2016 Title Sequence

https://www.youtube.com/watch?v=a1jHiptBZoo

Result: https://youtu.be/a1jHiptBZoo?t=594
You are correct. But the setup.py for Supervisor noted support for Python 3 starting in May of 2014: https://github.com/Supervisor/supervisor/commit/ad5cd0849a5f...

I don't know why PyPI isn't updated yet.
OpenStudio: https://www.openstudio.net

A desktop application and API for whole building energy simulation. Estimate energy consumption and identify opportunities for energy savings.
Monitoring You
We spent the py3k budget (almost all of it) on delivering pypy 3.2. If someone is very unhappy that it was either too expensive or we didn't deliver enough for the money we received, I can apologize.
From my quick read of tao, it seems to be doing essentially what graph databases do but with the data storage layer being in sql rather than some other object store. And with the interface layer being not quite as feature complete. So the query layer in tao seems to lack a way to follow multiple edges without first returning to the application code, which graph dbs present as a native feature. The other thing that's lacking, which some graph dbs provide, is labeled edges - that is edges that contain data besides just an "edge type".
Agreed - I was ready to sign up until I realized it was slack alerts, not emails.

I'm wondering if it's related to Slack providing seed money for startups [1].

[1] http://fortune.com/2015/12/15/slack-app-investment-fund/
> One of the reason I don't bike to work is that we don't have showers at work. Most of days in this part of US are hot and humid and I don't feel like sitting at work drenched in sweat.

Microfiber towel and a change of clothes?

I typically wait the 30-45 minutes needed for me to physically cool down in my air conditioned office. Then I towel off and change and I'm good to go.

Probably wouldn't work for everyone, but it works for me.
> Are you really arguing that I should not be able to buy a bagged salad because I can chop my own damn veggies?

Not "shouldn't be able to," just "shouldn't."

The underlying problem is that we're not pricing externalities correctly. If the environmental and energy impact of plastic containers was required to be paid up front then the price would increase significantly and companies would stop using them in many cases. But until that happens, if you want to be environmentally conscious, you avoid such products where practical. And if you're an environmentally conscious company, you avoid selling them.

> You do realize most of the people reading this work in an industry that spends billions on giant space heaters to provide snapchat and online poker and bitcoin and HFT and...

...and people are spending billions of dollars to make those space heaters as energy efficient as possible going forward. And some of those practices (like HFT) are criticized for being incredibly wasteful and people have suggested curbing them.

And hypocrisy is not, in any event, a logical fallacy. Two wrongs don't make a right.
Sometimes you have a pretty niche tool or plugin with a small number of stars (few hundred) and just a few committers. The community of that tool is typically too small in that case to have vocal personalities recommending forks.
Hook Forms – https://hookforms.com

Super simple form processing that starts attacking spam the moment a user (or bot) hits your page. Captchas, no matter how "smart" are no longer necessary with Hook Forms.

Just generate a form, copy the id into your own <form> tag, embed the JS and it starts working.

See all form submissions in one place, and have people emailed any time a form submission passes our crazy spam checks.

We're in beta for a very short time and almost going live, so TRY IT FOR FREE and let us know what you think!

Thanks YC :D
Test Automation
What are the test automation tools that you use in your projects?

I know Selenium is the most widely used, i recently came across http://nightwatchjs.org, it looks easy to build and integrated with Selenium webdriver API.

Your thoughts?
The Translated Digital Marketer: Terms Defined – A List of Definitions
The Mythical Man Month [0] hit me at a perfect time - I was working at a company that was obsessed with tracking everything in man-months without considering who was doing the work, or when they were added. The book gave me the academic support to back my intuition when I would push back on management.

Now on the other side, I take his advice in There is No Silver Bullet [1] very seriously. Improving software engineering is a slog, not a shiny buzzword.

My favorite quote [2] of his "The most important single decision I ever made was to change the IBM 360 series from a 6-bit byte to an 8-bit byte, thereby enabling the use of lowercase letters. That change propagated everywhere."

I guess the one surprising thing for me was that he was still actively working. Even 15 years ago I thought of him as a grand dean from a past generation. Great to see him stay so vibrant for so long.

[0] https://en.wikipedia.org/wiki/The_Mythical_Man-Month

[1] https://en.wikipedia.org/wiki/No_Silver_Bullet

[2] https://en.wikipedia.org/wiki/Fred_Brooks
Static Hosting - http://www.statichosting.co/

It's a static website hosting service for making hosting jekyll/hugo/etc. sites way easier in terms of setup and updating. It's coming out of beta soon, but if you want to try it out sign up for the beta list and I'll let you in ASAP.
It's possible to separate bike lanes from traffic lanes without building more infrastructure. In fact the entire article was dedicated to that concept. I suggest you read it.
Thanks for the suggestion. If you click on them, they'll pop out to the full size. Otherwise, I couldn't figure out how to get it to appear OK on both desktop and mobile (because I"m not really a web developer).
Writer of the post here I can answer any questions or dig up any data you might be interested about me in Gyroscope
YES! I almost always find myself digging through the network graph of cordova plugins hoping to find one that works.
To me the book was always about Go taken to the extreme. The Game is the Empire and visa-versa. Imagine if Japan had been more dominate in previous war, then conquered space - then you had the Player of Games.
This particular issue is not really worthy of being reported in the media. Yes, there are radar problems that require it to be rebooted. But the issues have been identified and a fix is in work and will be rolled out soon. This story is a non-starter.
Sigh. And also someone who should never be cited about anything, unless in the context of a humorous anecdote.
Show HN: Renter Be Aware – View 311 complaints while browsing NYC apt listings
Triple Entry Accounting
I don't think that AlphaGo was trained more on Lee Sedol's games, than on others' games. The team said that they can't find computer weaknesses until AlphaGo plays against top caliber.
I saw that Symmetry Labs did the Generate music video! I honestly thought that was CGI! Do you have any tips of getting started with the type of LED display work you do, with regards to the control software?
There is no such thing as "you need a raise"

There is only "Holy crap, we cannot afford to lose John, we better give him a raise NOW"
I'm working on BankBotsBank (https://github.com/bankbotsbank/bankbotsbank), an open effort to develop a collection of open-source bots that provide API access to accounts on any bank.

I developed the first bot, which can be used as a sample, with JavaScript (ES6, and ES7's async/await) and Nightmare (based on Electron, so on Chromium).

It's awesome because free API access to this data for any bank in the world may enable new and interesting fintech apps (actually, for me this project is a stepping stone towards another project that I plan to build on top of it), and I think that the open-source approach is the most effective way to achieve that (i.e. free and comprehensive API access to accounts data on any bank of the world).
I'm working on an online learning platform I'm calling Academiac. Teachers with some expertise can write and publish text-based courses which user then pay to enroll in.

Very similar to Udemy but really focused on text-based courses instead of videos. The goal is to create a high-quality alternative to regular ad-supported courses and tutorials

Not available yet but will be launching to course teachers soon!
That might have detection implications though.
In modern Silicon Valley, we can do that without pants.
> They don't cost enough (like cars) to have a reasonable bottle neck on purchase.

I'm not sure I agree with this one. A decent commuter bike is going to run ~$500 new, and one can easily spend $2.5k on a bike. Obviously that's not as expensive as a car, but a nice new bike is approximately as expensive as a beater car.
Your link goes to localhost:8000
Cloudcraft - https://cloudcraft.co

It's a free tool for creating AWS architecture diagrams in an isometric style. You can snap together AWS services as if they were LEGO blocks. The latest development is that you can now scan an actual live environment and import your real resources.

Right now (when not reading HN...) I'm working on making the grid infinite, adding zoom & pan, so it becomes usable for really large architectures. It's a lot of fun.
I hope this goes through!

A while back, I was trying to explain in what ways Scala is more typesafe than Java for a friend (which was one argument to why I prefer Scala so much), and ended up realizing how important type inference is in this regard.

The reason was this:
quite often type signatures correctly modelling a domain ends up being pretty hard to read. In a good and proper API, this happens in particular whenever something is composable and is, in fact, composed (if one can say that). I suppose one can say that, for Scala, it took a bit of time before people figured out how to do this properly, rather than just hacking the type system, but I feel that the ecosystem is more or less there now... YMMV though...

As an example: in something like Slick (a functional-relational mapper) in Scala you end up with monads to model your SQL query. One advantage this has is compile errors whenever you're doing something wrong (i.e. more typesafe), but the types that a SQL query representation ends up with will necessarily be pretty hard to read and practically impossible to write (you could have a Query of a long chain of other types for example if you're querying multiple columns).
In this example, somebody writing the query might not care about the type of the query. They will care about what the query will end up returning when executed though. I suppose it will lead to trouble when you can't read the type signatures well enough and try to figure out the compiler error, but I reckon it's better to have an error, than to see it fail runtime (at least in my world :). It's easier and safer to do maintenance too, since the compiler and IDEs can know how things should work.

In any case, you could conclude that, in a statically compiled language where you do not have type inference, you'll end up trading in preciseness in the model of the domain, in order to have readable code from the callsite. In turn, this leads to less typesafe code.

One challenge that Java will have even when implementing this though, is how to move the entire ecosystem to something that is indeed more typesafe. This only works if the APIs are doing this right.

EDIT: typos, language and less parens
What I find fascinating about this is that the system was programmed by people who were presumably not as good at Go as Lee Sedol.

So if the first comment in this thread (about how it's a completely non-human approach) is true, it's really interesting that humans can enable computers to come up with non-human ways of solving complex problems.

Seems like a big part of this story, if I'm not being completely dumb here.
SRI's Micro Robots Can Now Manufacture Their Own Tools
You joke, but for so many things in aviation, this is the answer. There are also a lot of problems where the answer is "re-poll all your interrupts, that problem you (the computer) think is a problem shouldn't be anymore".
This makes a lot of sense - also makes me laugh about how many times they've previously duplicated software in different offices.
ModelMod: modify art in games

https://github.com/jmquigs/ModelMod

I posted this as a "Show HN" a few months ago. It's awesome because for the vast majority of commercial games, there is no way to customize the art, since the Developer doesn't provide an end-user art pipeline. There are older programs that allow texture customization, but as far as I know, ModelMod is the first program that lets you snapshot models, edit them, and the reload the edited version in game.

Currently I'm working on CoreCLR support (a lot of the code is F#) and experimenting with pixel shader transplants.
Haven't run into any issues on a ThinkPad T420. There's a number of more recent ThinkPads on their Hardware Compatibility List[1] as well.

[1]: https://www.qubes-os.org/hcl/
The result of the shoulder hit coordinated with black's bottom formation, and the extension on the 4th line that threatened to cut white's stones off was flexible and could have easily formed an impressive moyo on the bottom. It did not play out that way, but I think that black's strategy was as cosmic as anything Takemiya might have played. His games did not always end with a giant moyo, he was also very flexible. I hope to see written reactions from professional players, and maybe Takemiya will give AlphaGo's style his endorsement :)

Some examples of 5th line early shoulder hits in recent professional play - these situations are not the same as the one seen in today's game, but something like a 5th line shoulder hit is always going to be highly contextual and creative.

http://ps.waltheri.net/database/game/26929/ (move 23)
http://ps.waltheri.net/database/game/69545/ (move 22)
http://ps.waltheri.net/database/game/71408/ (move 22)
http://ps.waltheri.net/database/game/4663/ (move 9)
Indeed. Hence Tandem's success with hardware and Erlang's with software.

Crashing doesn't have to be crashing.
The OP (flexie) said "gorilla" rather than "guerilla". Probably either a typo or not native English, though it could have been intentional. jqm merely copied it.
Dr Kodama - https://itunes.apple.com/us/app/dr.-kodama/id1060934796?mt=8

My first (iOS, very simple) game. Got to learn Swift and some basic game dev principles - was fun (save for encountering this issue: http://stackoverflow.com/q/24223572/548170). Thanks for trying and please hit me with any feedback if you got it.
The best places I've worked had 1-on-1 meetings that were only rarely useful, and no daily standups, no scrum, and weekly team meetings where people mostly were trying to stay awake.

Those also happened the most productive places I've worked, by far, because we had a ton of on-the-ground collaboration. We were all on the same floor, and we talked all day, looked at each other's code, worked hard, and had fun.

The 1-on-1s were a distraction. Every once in a while it was useful, but it could have easily been a monthly thing.
I am ashamed that I had to look up this reference.
Try riding the Minuteman Bikeway in the north of Boston.

It was installed in the 80's. It's not been repaved since. Bikes just don't add enough wear and tear. There are some tree root issues that have to be addressed now and then, but that's it.
This statement infuriated me:

> "...And bike lanes are a dangerous lure, giving would-be riders a false sense of security that it’s safe to ride on streets"

Proponents of vehicular cycling would state that the safest place to be is in the street. Bike lanes are dangerous because they give cyclists the impression that it's safe to ride in bike lanes.

(http://bicyclesafe.com/ outlines some of the dangers)
Ask HN: If a previous startup failed with your same idea, is that a bad sign?
The app we are currently wanting to develop has competitors, but none of them have any traction on the app store. Hardly any downloads or reviews.

Is this a sign that no one wants this type of app or is this a sign that they failed due to not enough people knowing it exists (bad marketing)?

Also, what percent of a startups (let's say app company) success is reliant on marketing?
Right, I definitely didn't say "drivers pay for all roads." They pay more through registration and gas taxes, that's why those programs and taxes were created...

There may not be an official "road use tax" but that's the gist of what has been implemented.
Being conservative about what you add to the language is a feature, not a bug. Not all languages need to be on the cutting edge (even if I personally prefer the languages that are)
Ask HN: What do you find frustating when commenting on documents?
I'm working on a cloud word processor, implementing a commenting system. While it's a simple thing to work on, I want to go further and hunt down problems & innovate in this space.

Any toss of ideas/frustrations/problems could help me make the product better.

P.S English is not my primary language, so please excuse.
CANtact - http://cantact.io

Open source hardware for communicating on CAN buses, which are the main network used in today's automotive systems. Hardware has been around for about a year, but I'm currently working on new open source software for visualizing and communicating on CAN buses. Hoping to demystify automotive electronics and make them more accessible!
Would you be interested in actually using it and being one of our beta testers? What we need most right now is a small group of people to get feedback from so we can improve the product. We'd be shaping the product from your suggestions and pain points. Thanks!
It's a decent idea but this is not the way to solve it.

Think about how many people you met during your college experience? It was easily hundreds. Out of that you came away with many friends but likely only a few really great friends. I don't think simply introducing 6 random people will even result in 1 successful friendship on average.

I've spent a lot of time thinking about this and recently won a chunk of money at a hackathon with an idea in this space. Ping me if you want to talk more.
I'm not sure, but that's why I would want to read a comparison to find out! For example, if their Linux VMs had a price/performance advantage in some category (networking, CPU, whatever), that would be interesting information to know. Or if the tools were better/worse.
> Is this a sign that no one wants this type of app or is this a sign that they failed due to not enough people knowing it exists (bad marketing)?

You tell us. This is your niche, you should get to know it better than any of us do. Use the apps, see if they have issues. See if there is interest for a better app than what currently exists.
Carefully chosen language on my part:

"soldier of choice when it comes to fighting."

Once you've got your intel, know where your target generally resides and are going to strike, instead of cluster bombing, send in some multi-rotors.
Pavlok -- (http://buy.pavlok.com) --- a wearable device to change behavior. We just integrated with IFTTT and now it has become a haptic feedback platform. The device can vibrate, beep, and send electric shocks.

And we are releasing a developer API later this month :)
> do we have any ideas what the limits are on the algorithm side of things?

I've always believed that humans do not have the ability to program things smarter than themself, because we do not understand our own intelligence, so we have no way to reproduce it.

At the time, I said the only alternative I can think of is make random permutations and pick the best one, and go from there. But I said this as a ridiculous suggestion that no one would actually do.

But then Google actually did exactly that with their Go machine!

So, that's what I think: The future of computing will be based on randomness and the job of the programmer will be to guide it, but not program it directly. (Can you imagine programming a webpage this way? Or writing a book this way?)
You forgot to update the HCL with your NUC ;-)
Agreed, interest has ceased to mean anything significant. And don't forget to report your pitiful interest as ordinary income on your taxes! (Well, Americans at least; in the UK they tabulate that for you and don't make you figure it out yourself on top.)
“We drank Soma, we became immortal”
I'm 19 and I launched in January a productivity app Proud (https://itunes.apple.com/us/app/proud/id891726847?l=pl&ls=1&...) My main mission is just simply help people organize their life, goals in the easiest way.
Proud contains all the best tools in one place.
- through reminders we teach people how to create habits and routines.
- timer lets you track your time workflow and remind you about the breaks.
- destress superpower lets you be present for a while, tibetan bowls influence your thoughts and emotions.
- weekly performance dashboard shows you how many tasks you did in the last 7 days.

I believe that our greatest asset is time, so we have to learn how to manage it to grow day by day.
There are many, many reasons that a startup may have failed (or is failing) and there still may be a product-market fit.

Some products & markets require you to go out and get users more than others, and they may not have done that.

It's on a case by case basis, just be sure to get validation for your project. Make sure that you're making something people actually want, and if they want it, how much they will pay for it. Can't stress it enough how important it is to go out and talk to potential customers, ideally hundreds, and figure out if they'll pay and tell their friends about it.

Marketing is important -- having a good landing/marketing page, getting press, etc. But at the end of the day the product is what will create retention. Looks get the first date, but your personality is what will get you the 8th date.
Would be nice if the numbers on the home page were more representative of the current situation, then.
> Hence we can work around the theorem, by either turning the questions we care about into trivial questions, or by turning questions of the function into questions about the implementation.

You're quite right that my omission of 'non-trivial' makes the theorem as stated wrong; sorry!

I like your statement of the second work-around (elaborated below (https://news.ycombinator.com/item?id=11260034)), as (essentially) what type systems do, especially with the emphasis on why it must be over-conservative.

Although your statement of the first work-around is technically correct, I think that it is important to emphasise (as you clearly know, but others may not) how useless it is (on the program level): questions of this sort are necessarily about the language, not about the program.