skysight-inc/HackerNews huggingface dataset:
If the user isn't using ssh tunneling into the vagrant vm, then this attack still works if the attacker uses the correct IP address instead of localhost.
I use wordpress, but I'm not happy.

I really wonder why there is nothing that really streamlines things for the enduser.

What I want (some of which can be botched in to wp with plugins):

- pretty forms without much php (ACM does the job for wordpress here, but with some PHP)

- lego blocks of form fields, repeatable

- a nice rich text editor

- hide every button that is not necessary

- display instructions next to the editor

A few CMS I tried:

- wordpress: bloated and you still feel the blog inside, no lego blocks, a few strange quirks (try explaining how to make an empty line in the editor, haha)

- Concrete5: (is this still a thing?) the nicest, true inline WYSIWYG editor, but too small (few plugins, back in the day a bit buggy)

- modX: (is this still a thing?) too basic, you don't want to reinvent the wheel

- markdown based flat file CMS': Markdown is just not sufficient, so these have to make a non-markdown header in the files, often just maintainable through a editor interface. Here i tried: yellow CMS and Grav.

- - Grav: quite nice except the mentioned quirks. Really nice image handling, currently not client-friendly but a (payed) admin interface is in the making and might close this gap. Feels a but young here and there (e.g. can push via git, but than need to clear the cache manually in the admin interface)

- - yellow: poorly documented, breaking updates, small
Perhaps they implemented such a restriction afterwards. Fortunately I never found out; perhaps they did.
do you have any uses in mind for F*? i went through the tutorial a while ago, and it looked very nice, but i couldn't think of anything i wanted/needed to use it for.
But you can leave long mode with a couple instructions. Was that not possible at some point? A good old triple fault should always work, shouldn't it?
On brain surgery, the worst case scenario is one dead person. Rockets tend to inflate the body count prodigiously.
You genuinely don't know how to write a TM that implements the identity function, or is there some technicality that it fails? If the latter, I'm not sure how it's relevant to my phrasing of the CTT.

>Types determine what computations make sense, even before any program is written at all.

>What category are you working on?

I have no idea what point you're trying to make with either of these comments.

>I'm not refuting the Church-Turing thesis! Why would I want to? I even believe it's true... in some models. ...

Regardless, my point is that the limitations you're bringing up seem to be very trivial and understate the extent to which it does apply. You're still wrong if you think the CTT is "true, but false if applied to matrix functions. No way could a computer handle that. They only know binaries numbers, not the matrix type. I mean, come on, I gave them a different name and everything!"
no CMS, a fight if you want pixel perfect design
Why is he being sentenced? Clinton and FBI said she had nothing to hide.
If I don't have my nice Petersen handy, I use Pitchlab on my iPhone. It has pre-sets for just about anything with strings, and I just looked to see how much the paid version is: there isn't one (really? 'cuz if he'd take my money I'd happily give it). Free, and I don't recall ever seeing an ad.
Really good write-up (about a year old) on precisely that subject, here:

https://sematext.com/blog/2015/01/30/solr-elasticsearch-comp...
For example, tech companies that spend a few hundred on a pluralsight subscription for their employees will face having to spend thousands more in the near future for demands for higher salaries.
Last week we had mailstorm with ~11k people. A significant fraction of the company.
Gamalon | Cambridge, MA (Near Boston) | ONSITE | http://gamalon.com

We are building a probabilistic programming language to perform bayesian program learning at scale. Learn more about our technology here: http://gamalon.com/technology/

We are looking for one Research Scientist to join our team. People who enjoy joining our team are:

- Generous

- Deeply interested in the fundamental architectures of cognition and statistical machine-learning

- Hackers who invent, brainstorm, and build stuff that works in the real world

- PhD (or exceptional undergraduate) in Physics, Math, Applied Math, or CS

- Comfortable with complex mathematical derivations

- Proficient with Python, C++, and any other programming languages that they encounter

Email us at jobs@gamalon.com for more information
Do developers often run things on localhost? I mean sure, you'll have things running on your dev machine, but for me at least, http://127.0.0.1/ will just show the default webroot, with its placeholder index.html. All my actual sites listen for custom hostnames (since otherwise you only get one site per machine or have to do silly things with port numbers on the url).

So unless somebody has crafted a page specifically targeting me and my naming convention for local sites, this wouldn't be an issue. And of course, once you hit a site, you'd still need to deal with the same security that the public facing version sees. You certainly wouldn't go out of your way to disable that on your local machine.

Databases are named, and often live within named database server instances, so they'd need to be specifically targeted as well. And, again, they have authorization to deal with. It's not like you'd leave that open either.

Is it common to do it any other way?
FWIW, the same situation would exist on iOS, at least to some degree. The removed apps will no longer show up in the store, but will still be available to users who had previously downloaded them.
I wonder what the crews on the ships do. You're a crew, you know that you aren't going to get paid by the company, and you've got thousands of metric tons of cargo on board. The terminal where you are supposed to take it won't unload it. The people who shipped it can't get to it, and eventually you are going to run out of food on board.

Do you go privateer? Sell the cargo to pay off your goods and then sell the boat and by tickets back to your home port? Do you just load up into a life boat and drive into shore and leave the abandoned ship for someone to salvage?

If you're reading this and have some knowledge of how maritime law handles this, I'm really curious!

Some interesting thoughts from the BBC here http://www.bbc.com/news/business-37241727
How many years experience do you have? If you're fresh out of college and making 55K that sounds reasonable unless you're in some insane location like Silicon Valley.
HRCloud2 - Host your own Cloud server from home.
https://github.com/zelon88/HRCloud2

Upload files to your own home-server from anywhere. Run your favorite Bash commands on any file, from anywhere just by selecting checkboxes and clicking buttons.

Currently the project has a relatively finalized GUI and about 50% of it's functionality complete. Currently, users can...
Upload multiple files.
Download multiple files.
Convert multiple files to other formats.
Archive selected files.
Dearchive files to a directory.
Copy multiple files.
Delete multiple files.
It also has a plugin-enabled chat-bot/personal assistant named HRAI that has a built-in (but under dev) load balancing system for autonomously creating Cloud networks (even if the servers are on separate networks).

It uses WordPress for user-creation and management, and DOES not interact with a database other than calling wp_get_current_user(); for the users identity. This is NOT a WordPress plugin. It requires it's own directory and DOES NOT interact with WordPress other than to identify a logged-in user.

I'm looking for help and advice in every department, but immediately if someone wants to help me troubleshoot the Python scripts for DocScan (the Microsoft Office Lens-like app) working when PHP calls it (works fine in Bash) that would be awesome! :)
"Undervalued" is relative. To Google your skills might be worth $150k because you'd add $1.5m to their revenue. To the business you're in you may 'only' add $500k, so you're paid accordingly. You aren't undervalued so much as under-utilised - the company you're at isn't maximising the value they could get from you in the way Google could (or maybe they are; there is an upper limit). Either find a way to make a bigger impact on your company's bottom line, or change company.

To draw a startup analogy, if you decide you want to take 25% of an established $100m market that's unlikely to happen because that's really hard to do, so people don't value your startup as having a potential $25m revenue. But if you can think of a realistic way to grow that $100m market to being a $125m market then people will readily accept you potentially have a $25m revenue business. Same result, very different impact.

Within your company you need to grow the market for your skills.
How to debug Java using a decompiler
> > Which tool satisfies the following criteria? ...

> TLA+, and far more elegantly and simply than any typed language you've seen.

Still eagerly awaiting your elegant and simple explanation of this! It sounds groundbreaking (genuinely).
My reading of it: there's a continuum in production philosophy from throw-away culture to built-to-last products, and the broken-window fallacy (which Krugman, IIRC, doesn't think is a fallacy at all) is the extreme end of throw-away culture.

Building to last means high up-front costs, little flexibility (think of the Empire State Building and how much it must have cost to install air conditioning in it), but beautiful products with low total cost of ownership; throw-away goods are low on up-front costs, and they make it easy to respond to new technology, but they have a high total cost of ownership and they tend to be pretty ugly as well. A society which focuses on quality will be wealthier and more beautiful (look at Europe's low GDP and high standard of living), but one that's constantly rebuilding junk will be more equal; every 1970s Volvo still owned by an old-money family in 2016 is a Ford assembly-line worker without a job, or thereabouts...
The Psychology of Report/Issue Templates
Curious about how the business is not tech but you have a dev/design team. I'm guessing it's a publicity agency but I'd be curious if it's another kind of business.
Truebill (YC W16) is hiring a senior back-end JavaScript engineer
Truebill is an early stage startup backed by YC, Social Capital, and others.
We're fixing subscription commerce for consumers.

Our current stack is React + Redux + Relay on the front-end and GraphQL + Express + Postgres on the backend.

We're looking for an experienced developer who can get things done (code-wise) but who will also help us improve our infrastructure, security, and architecture.
That means coding, but also some devops, etc.
Experience with data science and/or machine learning is a big plus.

To apply, email jobs+hn@truebill.com with your resume, any past projects you want to highlight, and a note about yourself.

Note: At this time we are not hiring anyone straight out of a coding bootcamp.
New Startup | San Francisco | Onsite, Visa | Full-time | http://justinkan.com/hiring-ios-programmer-for-stealth-video...

I'm starting a new video startup that has yet to be launched. Small team of 5 people. Looking for talented, self motivated iOS dev to join our team.

You will learn a lot about startups! I'm one of the cofounders of Justin.tv, Twitch and a couple other startups, and also a partner at YC.

email: jobs@justinkan.com
I want to say it was the highest 1.6.x around Feb/March of this year with a few PB (a sample of the real dataset) over an infiniband network. It just broke miserably. Also, java was never terribly good when you want to speak native ibverbs as the jni stuff is just slow.
> AFAIK, the only languages that fully express the com meaning formally with types are the dependently typed ones.

I said “formally”, not “with types”. I firmly believe in using the right tool for the job, and some things are best handled with manual proofs. As helpful as types might be for computer-generated proofs (type inference), I'd rather carry out my manual proofs using good old-fashioned predicate logic. Some proof techniques still need to be backed up by type structure, though (e.g., induction over datatypes).

> Every other program in every other languages has most of its meaning expressed informally, in the mind of the programmer.

Unfortunately, I can't read minds. I can only read proofs that have been explicitly written down.

> Unless you believe that no programs work, then nearly all programs that do express most of their meaning informally.

My definition of “work” is “works in all cases”. No bugs. No unforeseen cases.
This is all excellent advice! The one about the startup that struck a deal early and then was hamstrung in pursuing its business is, sadly, a classic.
Cool - drop me an email if you're ever up in Bend - there's a nascent startup industry here which is pretty cool.
PC-BSD Evolves into TrueOS
Anybody could see that Nokia were going under as soon as the first Android and Apple handsets came out.

I'd been a Windows Mobile enthusiast for years - even though they had unaccelerated display drivers and were for all intents and purposes crap they had proper calendars, task lists etc.

For simple phone I loved Nokias, and owned at least 9 of them. Rugged, reliable, they were brilliant. But at the time the Windows Mobile stuff were something nebulous called 'smartphones', whereas the Nokia ones were 'phones'. These things were very distinct and different at the time. A Nokia was a great phone, it lasted 6 days on battery and you could type whilst driving (yeah) from muscle memory.

The iPhone came and blew this up. It was a smartphone, it updated the screen at 60fps, it was done properly, it synced your calendar etc and like the Nokia it was a fucking good phone. Windows Mobile was shit for too long and paid the price, as was Nokia - but for very different reasons.

Nowadays I can't stand Apple and their products, but you have to respect how they sorted the crap out of the smartphone and phone markets and gave us a whole new market that has pretty much changed the world.
On OSX (and, I suspect, vanilla FreeBSD), this looks like (replacing 127.1.2.3 with the address you want to use; 0xff000000 must stay the same, since netmasks of all addresses on an interface must not confict if they're on the same subnet):

sudo ifconfig lo0 alias 127.1.2.3 0xff000000

And then, when you're done:

sudo ifconfig lo0 -alias 127.1.2.3

to tear it back down.
Astranis (YC W16) | San Francisco, CA | Full-Time | Onsite | US Citizen or Green Card

We’re building small, low-cost telecommunications satellites. Our mission is to help bring the 4 billion people online who are without internet. And to pull it off we have to reinvent 30 GHz radios in space using SDRs.

Work with incredibly smart people who have flown things in space before. Well-funded, but still a very small team that moves fast. No prior space experience needed, you just need to enjoy getting your hands dirty with real hardware and be ok with struggling to do things that seem impossibly hard.

Roles we’re hiring for include:

* Embedded software -- write mission critical software that runs the spacecraft. Should have experience with microcontroller driver-level code and basic PCB design.

* Electrical -- PCB design, layout, bringup, test. Bonus: experience with fault-tolerant electronics, power systems, or high speed digital design

* Mechanical -- design, build, and test deployables and mechanisms. Should be experienced in stress and thermal analysis

* Aerospace/controls -- implement solutions to 6 DOF, non-linear control problems. Experience with spacecraft controls is a plus but not required.

* RF/Microwave -- work across a broad range including microwave system-level design, design of LNA's and SSPA's, RF PCB design, and antenna design, simulation, and characterization.

* DSP/FPGA -- program FPGA hardware, develop custom DSP IP cores and integrate off-the-shelf IP cores

Please email john@astranis.com if you’re interested in learning more.
Or the employee spends the $25 per month on their own subscription and ends up either leaving for another employer that will give them a more beneficial package or using that as leverage for promotion/salary increase.
Youtube's rules doesn't apply to CNN and other corp accounts. They can continue monetizing while breaking the new rules.

That's the real story here.
Seems like an inherent conflict of interest when he hacked the head of State Department, and they're the ones that would be dealing with his extradition.
My advice to you would be to stick out at least 2 years at your first job, so you aren't labeled as a job hopper off the bat by prospective employers.

After that, start applying everywhere to feel out what your more accurate market rate should be, unless your current company offers you a significant raise to stay.
Chameleon | PST REMOTE (Seattle / Portland / SF / Vancouver / LA etc.)

We're looking for 2 full-stack engineers. Prior remote and startup experience required.

Hate terrible user onboarding? Chameleon (https://www.trychameleon.com) allows you to build data-driven product tours without writing code.

We're VC-backed, with revenue and strong growth since our launch 5 months ago. You'll be joining as our first full-stack engineer and could become Head of Engineering here.

Let's have a 10 min chat to start. Please email me pulkit@trychameleon.com with some info about yourself.
God forfend anyone should try to maintain a quality of discourse that encourages thoughtful people to stick around.
Consulting company | Buffalo, NY | On Site or Remote | https://mainstreetcomputing.com/job_posting_list

We are a Rails and Mobile dev shop based in Buffalo, NY, servicing clients around the U.S. and on 4 continents. Willing to train the right person.
Lawgix, Inc. | Austin, TX | Junior Software Developer | ONSITE Full-time

Lawgix is a "hybrid entity," a tech company and a law firm working together to provide high volume legal services. We took the best part of traditional law firms, the legal expertise, and kicked tired, old practices to the curb.

Our web and mobile platforms manage attorney workflows to make us more efficient and cost effective than traditional firms. We also leverage the talent of smart, hard working attorneys who have taken an unconventional career path. We currently service the collection litigation market.

We're looking for developers with Ruby/Rails and React experience. We try to keep our dev workflow as close to agile as possible, using tools such as JIRA, GitHub, etc.

Please email austin@lawgixlaw.com for more information. Thanks!
I forgot another one:

* No Atom editor (no binary package, and I went through hell trying to compile from source but was unsuccessful).
> This is bad for people who are good at self promotion (whether or not their is a real basis in that self-promotion), but great for women generally and men who do more than they talk about doing.

On the other hand, it seems that improving one's skills and increasing one's value to one's employer goes unrewarded.
The pictures of the aftermath speak for themselves. The strongback is a mangled wreck, and all of the fuel tanks blew up. The vast majority of the launch complex, expressed in economic terms, is going to need to be rebuilt.
Guidance on the portion of salary to invest?
As a manager, when an employee comes to you with another offer, you (or the company) have already failed in some way.

This situation is not a root problem, it's a symptom.
There's no "rock solid stability" in defense contracting. You're only paid as long as there's a contract in place for you to work on; as soon as something goes wrong there, you're on furlough.

As least with government jobs, when you get furloughed, you usually get back pay after the dumb government passes a new budget and fixes the problem. But with defense contractors, there's no such thing. The only advantage to being a contractor is more pay (while you're being paid). The downside is more risk. It's also much easier to lose your job; if the client doesn't like you, they can have you leave at any time, and if your employer can't find a place for you to work (a contract for you to bill your hours to), then you get furloughed, and if that goes on too long (they can't find another department that wants to bring you in to work under some contract), then you get laid off. The main advantage to this line of work is that the expectations are pretty low: as long as you're doing at least as well as the government workers (who are usually either not great, or are fresh out of college and only there for a little while until they get a better-paying job in private industry), then you're pretty safe. But I would not call this "rock solid", not like actual government jobs.
Wow, there have to be some investment banker of the year awards for whomever convinced him and Rockefeller to bail them out after it was blatantly obvious the entire market was on fire.

It's telling that when it happened again in 2007 the problem had grown so big that not even sucker billionaires could help, they had to be bailed out by the federal government. This time the sucker was the American people.
Austin's a pretty hot market, from what I understand. Sounds kind of low to me.
I think you may have replied to the wrong comment
Which is where I get hung up. If the company is paying for it and using it like a perk then the company is investing in the employee and losing/risking that investment. If the employee is using their own earned income for it then the employee is investing in themselves and should expect being compensated for their increase in value. So, should companies bother paying for things like pluralsight or leave it up to the employees to invest in themselves?
I really appreciate this code example. I've been using 127.0.0.1 for all my local dev stuff, relying on ports. This is pretty awesome!
Discrimination against women isn't just discrimination against current hidden talent. It can start in early childhood when a girl is discouraged from men-dominated careers, or in school when the same thing happens, or later when participation in the industry is discouraging for social reasons.

A log of discrimination can go beyond simply perceived inequality, but manifest in actual inequality.
I once saw

using namespace std; // using namespace standard
Perhaps so. I'm certainly an outsider to both, and I'm unaware of incidents such as you mention. Scientology's abuses, on the other hand, are well publicized.
1) WordPress isn't the greatest, and I think you are right in that there is a lot of bloat for some simple sites. It would be nice if there was a "WordPress Lite" or something similar.

In the meantime, I favor WP for small clients for a couple reasons. It is fairly easy to teach them to use and you can lock it down somewhat with user roles. This can help prevent accidental alterations to the layout.

Because WP is fairly common, if for some reason the client moves on from me, the next developer is not handed some custom code they have to figure out.

However, if it is only a 1-2 page site I typically just do a static HTML or simple PHP site depending on needs.

2. For VPS, it is so cheap now, I just give them each a VPS. I just bill out the hosting costs to them each month with a couple extra $$ for "management costs".