skysight-inc/HackerNews huggingface dataset:
> Also, I don't think it's right to declare things "useful" only if they're useful to the particular problems you're trying to solve.

Pray tell, what's the use of a computation without paying attention to its meaning? My use case is simply “knowing the meaning as early as possible”, and there ought to be no discussion that this should be everyone else's use case as well. Nobody performs a computation without some sort of expectation about the relation between the inputs and the outputs.

> BTW, any logical formalism forces you to pay attention to meaning

I never said types are the only way. For instance, you could use Hoare logic, but it's notoriously more difficult to use, precisely because it gives programs no a priori meaning.
I think this is overstated. This only falls apart if you cannot get buy-in from your development team, and are not applying proper version management to your tool chain.

First, we use Ansible, not just for development, but for deployment. Because of this, if the time comes to upgrade Ansible, everybody upgrades, and any incompatible playbooks are immediately addressed.

Second, Parallels is a bad choice. They do not have a sufficient enterprise focus, and their product is updated too often. It's great for desktop virtualization, but not for much else.

We use VMWare Fusion, have no performance issues, and have never experienced the issue of hypervisor bit rot. On the one occasion when we upgraded VMWare, we also upgraded the corresponding Vagrant plugin, and everything worked fine.
Comps are a lot easier with those assets.
Of course I would say it to someone directly involved in the project. I've had projects I worked on go south through unavoidable externalities, of course I felt disappointed but there' no irreversible loss as when someone dies or is permanently disabled. Save your emotions for things that actually matter, an economic/operational setback doesn't qualify.
The question nobody is answering....
I believe there was also some issues with management outside of the Appllebaum stuff.
Binary Trees are a bad idea from the POV of cache use, and from your analysis, Splay Trees are much worse. However, this has nothing to do with the generalized meta-strategy of continually reducing the amount of work it takes to fetch items. It has to do with why Binary Trees are bad from the POV of cache use.
Kaggle | San Francisco | Full Time | ONSITE or REMOTE | Software Engineering

Technologies: C#; ASP.NET MVC; React; TypeScript; Docker; Azure.

You can read the job req and apply here:
http://kaggle.applytojob.com/apply/GjSjOi/Backend-Engineer

Kaggle is best known as a platform for machine learning competitions. We have a community of over 600K data scientists. Now also building a sharing-and-collaboration platform (closest analogy is Github for data science: https://www.kaggle.com/kernels)

Particularly interesting opportunity for software engineers looking for exposure to data science/machine learning. Three of our engineers have come via HN posts, so we take HN referrals very seriously.
General Assembly (http://generalassemb.ly) | New York, NY | NYC ONSITE + US/UK REMOTE | Multiple Positions | Fulltime

General Assembly transforms thinkers into creators through education and opportunities in technology, business, and design. We offer classes, workshops, long-form courses, and events in worldwide markets including New York where we are headquartered, Atlanta, Austin, Denver, London, Hong Kong, Sydney, San Francisco, Singapore, Los Angeles, Boston, Chicago, Seattle, Melbourne and Washington DC.. We also partner with Fortune 500 companies to spur innovation through increased digital fluency and more effective approaches to collaboration. We have small, cross-functional product teams that are developing innovative new solutions to online education, and currently we have various open positions across the engineering organization that we are looking to fill. If you want to be part of a diverse team, working on challenging tasks, and want to help the world expand their knowledge to better themselves and their careers via education, drop us a line. If you're in New York City, let's grab a drink or a coffee and chat!

- Senior Software Engineer, Infrastructure (https://boards.greenhouse.io/generalassembly/jobs/29901#.V8h...)

- Data Engineer (https://boards.greenhouse.io/generalassembly/jobs/50830#.V8h...)

- Operations Data Analyst (https://boards.greenhouse.io/generalassembly/jobs/264266#.V8...)

See our full list of open positions ranging from engineering, to design, to teaching opportunities at https://generalassemb.ly/careers. Please feel free to contact me directly with your resume or any questions at elliott . carlson - at - generalassemb.ly
Renovo Motors is hiring software engineers to work on automotive systems. San Jose, CA. Full time, onsite.

Renovo builds both hardware and software for next-generation vehicles and the automotive applications that run on them. Renovo has already launched an electric supercar and an autonomous drifting Delorean in partnership with Stanford.

Currently hiring engineers to work on low level embedded/OS systems and high level cloud based applications.

Check out http://www.renovomotors.com and https://angel.co/renovo-motors or contact me directly.
Is is indeed more of an observation, and one that's helped me learn, but I won't agree that makes it less useful :) Plenty of beginners (not all, but certainly some) jump to copy&pasting too quickly.

Automate for speed, not for lack of understanding :)
This is 2016 calling, we have much better build tools than Gnu Make. Let's start with pretty popular Cmake, which has no problems with whitespace.
They have a launch escape system. Although even when it works the human cargo might need cigarettes and "shots of vodka to help them relax"

https://en.wikipedia.org/wiki/Soyuz_7K-ST_No._16L
How to target your competitors with online ads (the right way)
That's quite a lens, assuming the sound is correctly synchronized with the image.
Engineers are not paid overtime. Technicians often are paid overtime.
There are engineers out there who actually care about their work, and put years into it. It's really most sad for them.
There are some nice examples here: https://cloud.google.com/endpoints/docs/frameworks/python/cr...

It seems like an interesting and useful approach, and it can optionally handle some of the OAuth2 stuff for you when clientIds managed by google. I've been staying away from GCP, but now kind of interested how this works.
Compiler transformation can solve most of these concerns, but it is not perfect due to undecidability. Compiler transformations will always be conservative, falling back on runtime enforcement.

The main edge cases I've run into -- hence my need for building a tool like this -- is dealing with tight performance concerns found in realtime and embedded applications. Falling back to runtime enforcement is not an option, and neither is trusting developers to be able to fully analyze complex control-flow and data-flow paths without solid tooling.

For general-purpose applications, of course, compiler transformation with runtime fallbacks is perfectly acceptable.
This is pretty much it. The rules for Go are known. A perfect game of Go is an NP problem. We don't know how to frame the problem of Natural language interaction like that. We don't if it's even possible to do so.
Battle of Social Networks in Asia: Who Is Winning?
The Catch 22: Why you should never do a startup
I think the most important thing is to know your target market, how to reach them, and to be talking to them about how best to solve their problems.
Tabs get munged by quite a few tools, including clipboard managers, webpage forms and more...
Only a few PS/2 -> USB adapters are fully functional according to the PS/2 specification. I use an adapter from Sanoxy [1] with my Model M and it works superbly. I have read of other Model M enthusiasts using the same one.

[1] https://www.amazon.com/SANOXY-PS2-Keyboard-USB-Adapter/dp/B0...
What if someone tampers the CD before it is delivered to you?
Unrest in Gabon leads to Internet shutdown
Are we allowed to go 60 years back to find something on everyone else we have a beef with as well? ;-)
> In reality, the opposite is true even though it burns up FSF folks. Linux is alive and well. You can download, read, edit and contribute back to the kernel for free. Maybe your patches won't be accepted, but the license doesn't guarantee that they will be anyway.

This isn't untrue, but it does not take away the main point: the community that drives the development agenda and dictates priorities is no longer a community of independent programmers (in the broad sense of the word; many contributions used to come from people who were hired by commercial entities, but they were still relatively small groups, and contributions were limited to small pieces that were specifically interesting for their small-ish employers: a driver for this or that network card, improvements in this routing protocol and so on).

This is no longer the case, and the development agenda of the Linux kernel is almost completely dictated by large players, at the expense of small ones and, to a large degree, individual users.
In my experience, crappy drivers were a frequent reason for crashes. ISA Plug and Play was the worst kind of hack and it bluescreened many machines in its day. But also, computer hardware in general was just crappier back then and the drivers were often just total shit.

These days there are lots of standards to help compatibility, and for simple things (like mice) you have the built-in drivers that work fine. But back in the day everyone had to write their own drivers and most of them were poorly tested and thanks to the lack of process isolation could very easily step on other crappy drivers written by other hardware companies.

Application bugs could also overwrite parts of the kernel by just accidentally dereferencing a null pointer. Those pre-NT Windows systems were built on a house of cards, and every card was made by a different person who never got to look at any of the other cards.
the Powerwall product uses the same battery for home storage.

also, a sweet deal like: "charge your electric car for a discounted rate m when your home already has SolarCity brand electricity" is a much easier sale than "Oh, you've got a Tesla... don't you want to charge it with your standard meter rate from Vivent?"
Wouldn't that person just use a markov chain to generate the article instead of wasting their time writing every point out by hand ;)
There's no sensible way to shield a satellite from projectiles at orbital velocity.
Patients Know Best, REMOTE-only. Full-time, with occasional exceptions. Core working hours: within a few hours of GMT (current IRL span: Costa Rica to Bangalore).

See my other posts for more depth on work-life balance (& hiring working parents = many of us), building something that improves life/health, our culture (collaboration and good communication, not competition).

Superb communication skills required -- we all need to be highly articulate, clear, and at ease talking through complicated concepts with each other (skills talking with strangers: useful, but not an everyday requirement). Sometimes remote work tools are (nearly) flawless, but with some bad luck you might be explaining something complicated over a choppy connection with a punishing 3-second delay and a marching band in the background.

If you're interested in PKB's growth, funding, profitability, contracts, etc., ask -- our CEO is also active on HN. Or Google us. I'm in the CTO role.

We're hiring on & off -- currently we're on hold for full-stack devs; but our lead frontend engineer is going to be motorcycling up the South American coastline in a few months, so we need to hire someone with a front-end focus.
We need: solid JavaScript skills and you know, the normal front-end skillset; a little behind the times because we need to support IE8+.

Bonus points for JSP experience (the backend is pretty solidly Java-based at present), HighCharts. We're in PoC stage for front ends that build on our REST API (to escape the Java-based stuff entirely).

Bonus points (all positions) for experience in the medical world (as an intelligent patient counts!), as well as some history building things from scratch.

More details (and to submit an application): https://www.patientsknowbest.com/careers.html
it is nothing new to see Huawei with vulnerable devices... they have a long history of backdoors and spying over telecommunication devices (http://www.zdnet.com/article/is-it-safe-for-americans-to-buy...).
I'd be really interested in this, but in reading the description, it sounds like you want German and English. Could you live with English and Italian, provided that everything else is there?
If someone made a bad choice, hurt someone, and was sued and had all of their assets taken from them, that would be a great motivation for everyone else to get insurance.

Insurance companies, being eager to not pay out, would adjust their premiums based on the riskiness of the drone driver.

Carrying heavy payloads above people? If you mess up, the insurance company could pay out many millions. Your costs go up accordingly.

Carrying a camera above fields for crop imagery? Almost no insurance risk, tiny premiums.

There's no way for _regulation_ to cover the massive potential drone market without relying entirely upon a Procrustian Bed [0] form of "responding to the market".

[0] http://www.dictionary.com/browse/procrustean-bed

Oh, and re: #2, the person killing themselves to avoid liability - I doubt they'd be that swayed by regulation in the first place. They've got other problems than a lack of insurance.
Temboo | New York City | Onsite | Full-Time

Temboo is an NYC startup that generates code for IoT Applications. Our platform enables users to innovate at the intersection of hardware, software and human aspiration by providing the building blocks for connecting the physical world to web services and cloud-based processes. Our software currently ships on devices from Samsung, Texas Instruments, and Arduino, with more to come.

We’re continually amazed at how people are applying our technology - our tools are used by people who are fundamentally changing how the world works. From life sciences and farming, to energy, aviation and smart infrastructure amongst others, Temboo is empowering people to build an amazingly diverse range of physical computing systems. Our customers use Temboo to make everything from small, incremental improvements to transformative shifts in how we live our lives - reducing waste, increasing efficiency and enhancing quality of life. If you want to be involved in the next major wave in technology and help build tools that can change how the world works, then Temboo might be the place for you.

We have open positions in Engineering and Product.

Full details here: https://temboo.com/jobs
SGI boarding the Itanic
Haha same here.
How is your explanation better? What studies and research support that?
This is an interesting development if the speeds hold up and remote areas in India come online.
Thanks for the update – has any of that been described in public?
I run my real databases on non-standard ports in docker and put honey pots on the standard ports. In those I fill it with dialog from love scenes in popular movies, it's not a ton of data but it's certainly interesting.
RedCarpetUp | Delhi/Gurgaon, India | Full Time | On-Site

We are a YC-S15 startup (one of the few based out of India). Our mission is to expand access to credit for the Next Billion Users - using the power of machine learning and the smartphone.
Our stack is Python, Celery, Postgres, Redis, PySpark, Pandas and Neo4j. Our internal apps are all built on Reactjs and served statically using s3. On Android, we use a lot of RxJava and on-disk queues for our data pipeline.

Read about our culture here - https://www.redcarpetup.com/jobs/

We are looking for full-stack hackers and android specialists.
Prerequisites:
* Github profile
* You have shipped production code
* You appreciate and respect unit testing and continuous integration.
Contact: sss [@] redcarpet [dot] cash
Ctrl-C is how you exit insert mode when you're typing something in, obviously. :-)
I remember buying version 1 of Duet back in the day. I also remember you taking it off marketplaces and stop supporting it for your existing users. I hope you have bettered your ways since then, but I wouldn't count on it.
Can this be solved by configuring the local system (e.g. Debian?) to blacklist any DNS resolution that ends up being a private IP address? Is this is possible to configure at the firewall level?
Fixed in dev, will be part of 1.0 release:

https://github.com/LeadDyno/intercooler-js/commit/1cd5809126...
Google to de-monetize YouTube videos considered “inappropriate for advertising”
This site [1] translates desventurado as "unfortunate, ill-fated", which is the same thing that the "star-crossed" metaphor is trying to convey [2] -- outside forces beyond their control are condemning their relationship. The "star" in context was recognized as controlling fate.

I think it translation is lacking the poetic beauty of the original -- in being more literal -- but gets the meaning across. I couldn't find it quickly, but it looks like the professional Spanish translations refer to them lovers "with stars opposed" [3] ("enamorados con estrellas opuestas").

[1] http://www.wordreference.com/es/en/translation.asp?spen=desv...

[2] https://en.wikipedia.org/wiki/Star-crossed

[3] https://es.wikipedia.org/wiki/Romeo_y_Julieta#Tiempo
Frankly there is something off about the separation and pricing of internet vs "internet via wifi/hotspot" on their service.
Well, everyone would die, though :)
they're backed by customers paying electricity bills. seems safe for 18months, as I don't see much risk for a whole tranche of credit worthy homeowners electing to turn off their electricity.

*edit swypo
SpaceX Rocket and Its Cargo Explode on Launch Pad in Florida
Not at the moment, but we're always excited to chat with anyone that's got a passion for the craft.
You must be fun with to hang around.
Rustdoc meets the self-documenting editor
Location: Washington DC
Remote: Yes
Willing to relocate: Yes
Technologies: Python,Blockchain,Cryptocurrency development,DevOps,Flask/Django,AWS,Jenkins,Travis,Puppet,HBase
Résumé/CV: https://aburan.io/resume.pdf
Email: aburan28@gmail.com
LinkedIn: https://www.linkedin.com/in/adam-buran-66277a35
Announcing Graylog v.2.1.0 GA
It seems to me that they should quit on reading any input that they can't parse. At best silently ignoring bad input leads to software not doing what it's supposed to do. At worst it leads to attacks like this.

I realize this is contrary to "be conservative in what you do, be liberal in what you accept from others", but I never thought that was a good way to write software.
AT&T’s throttling victory may hinder FTC’s power to protect consumers
> getting people to recognize that the tool is important enough in terms of time/hassle to pay for is super hard.

In my experience if it doesn't solve a top of mind burning problem for your customers, selling is going to be uphill all the way. When do people have the pain that your tool solves? And how would they go about finding a solution to that pain? And how do you harvest that intent?

Hiten Shah has a good framework for marketing:

1. “Who are your customers?”
2. “Where do they hang out?”
3. “How should you engage?”

You can read more here:
http://home.profitwell.com/saas-dna-project/hiten-shah-saas-...
Portland Oregon – Full Time – Senior Software Engineer - On Site/Remote from Portland - Axiom Data Science - www.axiomdatascience.com

Axiom Data Science is recruiting for a senior software and cloud infrastructure engineer to contribute to the advancement of the organization's web based scientific data management tools. This position will be located in Portland, OR.

The following is a non-inclusive list of technologies that we use in our product development and infrastructure management. Applicants are not required to have experience with these technologies, and future projects are not limited to these technologies. These examples are provided only to inform applicants of our current technological focus.

Docker, Ansible, GitLab, GitLab CI, Python, Java, Scala, Postgres, PostGIS, MongoDB, Gluster, InfiniBand, Elasticsearch, Prometheus, Redis, Apache Spark, NetCDF, GeoServer, ncWMS, D3.js, Backbone.js, Marionette, Webpack, Grunt, Conda, Play Framework, Node, Maven

More on this position here - http://www.axiomdatascience.com/jobs/

Email Rob Bochenek – rob+careers@axiomdatascience.com with questions or to submit an application
How to Create a New WebSite/ Blog with Blogger
Hi -- PM on the product here.

Both of our API frameworks have been open sourced (Java[0], Python[1]). Those used to be available only on App Engine Standard Environment but can now be used anywhere. This was a top request of people using Flexible Environments.

But we've added a bunch of functionality to the platform (logging, monitoring, user authentication, tracing) that people can use whether or not they're using our frameworks -- for example, Python+Flask, NodeJS + Express, etc. To use it, you set it up with an OpenAPI Specification (FKA Swagger Spec). We've seen tons of interest in OpenAPI and even joined the Open API Initiative to foster that community.

If you are interested in a walkthrough (that uses Python and Flask), see [2].

[0]https://github.com/cloudendpoints/endpoints-management-java
[1]https://github.com/cloudendpoints/endpoints-management-pytho...
[2]https://cloud.google.com/endpoints/docs/quickstart-app-engin...
That doesn't make sense in this context. Presumably, in your example, the Israelis knew the answer would have been "no." In this case, the Israelis could've just themselves said "no" -- which would've been the result they wanted.
The chart also shows realized versus unrealized.

It's analogous to GAAP accounting. GAAP accrual based earnings are good, but until you see the cash, it's just a best guess.
I'm pretty sure you don't need to virtualize anything. You can switch out of long mode and then use all the pre-64 modes as normal.
So do you have to run on Google Cloud or can it work as a proxy Cloudflare-style?

I was always wondering if there was a "Cloudflare for APIs", i guess like what Mashery sort of was.
Tesla will be the owner of the gigafactory, a factory in which Panasonic will own a small portion of the manufacturing space inside. I suppose an advantage here is the willingness for the two companies to work together.
Preppers often say, you don't have it, unless you have two of it, and you don't have a backup until you have three.
I thought also that back in the olden days beer was preferable to water because it wasn't contaminated.
The thing is, giving Apple an unfair advantage over other firms operating in Ireland is the same as giving Apple an unfair advantage over firms operating in the EU. Damn, there's a law against it, which has been signed by all EU members - that's hardly overstepping.

I guess you would prefer that law didn't exist and I hear you, but whether we like or not, reality is that Ireland broke the law and Apple colluded with them, hence they have to pay back what they owe (and hopefully a fine to not try again).
Author's reply concering that:

Back when I made that post I thought it was an 8253. But I checked the sources for the function that Beep.Sys uses to program the timer and it claims that it’s an 8254 so I went with the source code.

How hard would it be to use the chip? Not hard but now that Win7 has shipped, the number of machines with an 8254 that’s actually wired to something is going to dwindle to around 0. The machines will still have an 8254 (it’s on the SuperIo chip in every PC) but it won’t be connected to any hardware.
So glad to see some of these openings in Minneapolis!