skysight-inc/HackerNews huggingface dataset:
#22 - "system should write code that sorts a list, rather than just being able to sort lists."

Using symbolic techniques, synthesizing algorithms is tractable. See Sec5.3 on pg11- of http://saurabh-srivastava.com/pubs/popl10-synthesis.pdf - Figure 2(b) is the synthesized selection sort algorithm, and Table 3 has QuickSort synthesis time at 160seconds. Very old work (2010) and used templates to guide synthesis. SAT solvers have improved, and much more CPU cycles are available, so in 2016, exhaustively exploring the template space will be trivial.

I.e., rather than reconstructing code from concrete program execution traces, giving the synthesizer (AI?) the ability to manipulate symbolic spaces leads to a tractable search space. Finding specification-matching programs within this symbolic space is doable.
When did blog comments die?
Oh yeah. It's those pesky little things that push the width beyond 100% at least here it was easy to find. Sometimes you have to use the console>inspect that highlights parts of the page to find what is causing the width overflow.

Also yeah Nexus 4 isn't bad, too bad they don't update it anymore :(
I can't wait for Q2, Intelsat 35e, that's my company woot woot.
> It's also pretty exceptional to think that there are apps constantly listening for ultrasonic cues, even when not being actively used.

It would not need to be constantly listening for it to be useful. If the point is identification, why would you leave it on after you have reasonably identified the person?
After Mirai botnet disaster, government decided to step-in to IoT security landscape. I am not sure how far they can go to force consumer electronic manufacturers to add security to their products. Some CE manufacturers do not control the bulk of the software in their products. They just take kernel/libraries/binaries provided by SoC vendor and glue them together. SoC vendors are even more careless about security and they often provide out-dated and unpatched software. Even if SoC vendors or CE manufacturers start patching the vulnerabilities, it is very difficult to implement a secure firmware upgrade mechanism. A glitch in automated firmware upgrades can be very risky.

Perhaps FCC could start addressing these issues as part of certification requirements. However there are many challenges. How will FCC enforce SecureBoot and secure firmware upgrades and longterm product support? What will be the penalties. How will they deal with unbranded (or foreign) brands.
Theranos slashes another 41 percent of its workforce
Anywhere from forever (towing heavy trailers on long-distance highway trips, urea injection to reduce NOx) to less than 10K (heavy pickup truck, no load, frequent short trips, exhaust gas recirculation to reduce NOx).
I do not care about the rearrangement of deck chairs on the Titanic that is ES6. I wouldn't care if JS were uglier than Erlang, if it worked as well.

The only people who care about ES6 classes are the ones who couldn't be bothered to learn how to use duck typed prototypes and were always trying to shoehorn in polymorphism. Prototypes were one of the few things Javascript had going for it, but adding classes means now there are two OO systems that don't interoperate. This is a new problem, not an improvement. There's a similar problem with callbacks and promises.

Other problems added in ES6: imports don't give an error when the thing I'm importing, continuing the JS tradition of handling errors by pretending everything is okay.

And this is in addition to the rotten core of JavaScript. There remains no integer type. Basic operators still take arguments of all types and return something regardless of whether it makes any sense. "this" still has little to do with this.

In any other language I'd complain about the lack of threading, but given JS can't handle easy stuff like implementing a sane comparison operator, it's probably better that they don't try anything legitimately difficult like threading.
I can't wait until this whole saga is made into a movie.

I also can't believe anyone is willing to give them the time of day with a new product.
Comprehending Good Front-End Design
I believe we already do the same thing. As I've said, we use the proactor pattern and map it onto the readiness one.
> according to a new USC-led study on mice
What's the main thing you look for in a YC application ?
and in YC Interviews...??
I'm not sure that mdo and the rest of the team get enough credit or thanks for all the work they put into Bootstrap, so here's another:

Thank you!

I'm loving the changes made in v4, especially switching to 100% SCSS. Bootstrap itself has had such a huge impact on getting projects off the ground.
That selection thing sounds kind of interesting, though tbh I almost never use vertical splits in the Terminal. The only place I do is in MacVim.
Beware of the monster that shows up when you think things are going swimmingly easy.

Super well done!
> if diesel as a technology turns out to not be that practical anymore for small cars, then so be it.

This is tricky because, in the US market at least, one of the major appeals of small diesel cars was their performance / low end torque. There aren't really any other options on the market right now that can offer the same mix of performance/efficiency. Diesel cars are definitely on their way out in the US but I'm not sure it will be a net gain in the end. Lots of people such as myself are choosing to replace their small diesel cars with bigger, less efficient, similar performing cars.
The argument is they could use the same materials and sell it for 30$. At 300$ they are already going to be out millions. So, the difference in price is just not going to be meaningful until they start selling 30,000+ copies.

The bugatti veyron for example sells for ~$1.5 million, but it costs more than twice that to make ($6.25 million). However, as VW only sold ~50 veyron's per year it's was just not an issue for VW compared to the 10.14 million cars they sold per year.
It certainly does. You can't win the Presidency unless you have appeal across several regions.

Hillary crushed the northeast and the west coast but that was mostly it regionally and she didn't win. A little appeal in the southeast or midwest and she would have won.
The way I prefer to do this is we have our own SCSS files which get compiled along side bootstrap, and they are all more specific than the Bootstrap SCSS so they get precedence.

For example, we might want our default alerts to all be purple or something. We can add a class "my-namespace" to the body, or to a closer parent of the alert and then add the following to our "my-namespace" SCSS. If I wanted to change the "alert-info" background to orange I could also include a rule for that.

Hopefully in production you'd be using color variables instead of hex codes, but:

.my-namespace {
.alert {
background-color: #aa00aa;

.alert-info {
background-color: #dd8800;
}
}
}

Now you're overriding Bootstrap without touching Bootstrap's SCSS. I far prefer this method than the method I see a lot of folks using where they just go mucking around in the Bootstrap SCSS directly.
KillDisk evolves into ransomware
The main ingredient is bacteria feeding on the hay, which causes an exothermic reaction. Above a certain temperature the thermophilic bacteria get happy and a runaway reaction occurs. These bacteria need moisture to survive.
But isn't the truth a little more complex? In terms of CO2 emissions, those diesels are about twice as efficient (distance traveled on the same volume of fuel). So they are potentially better for the global environment at the same time they are worse for the local one...
That said, I am happy to have just switched from an old diesel to a PHEV, but even it can't beat riding my bicycle to work...
I've been developing in C, in the finance industry as a high frequency trader as well as being a father. My son is home schooled and is typing elementary level sentences at 3 years old, he can also strum the guitar playing notes C D E F G A B on request.

The down side is I work 10-12 hour days, but I get a performance bonus between 400k and 800k every year. I'm hoping I can retire in my late 30's, but I do miss out on a lot of time with my son and I always ask myself is it really worth it... Who know's though, I'm going to ride out the HFT route as long as it exists.
I've been Learning Elixir and Phoenix as well. I'm planning to start building an app starting next week.
Damn I didn't know that they were grounded. Glad to hear that they'll be flying again.
You ever watch svseeker on youtube? He's a DBA building a boat; I've been watching him for years now and he touches on how his job is just a means to an end in his goals.
I live paycheck to paycheck on six figures in the midwest. I'm not broke but I'm certainly not living it up. People act like 100k is life changing money.

I think it depends more on circumstances before you get to $100k. If I had parents who paid for school I'd probably be living it up too.
Of course it can be automated. The problem is that everyone involved in the process is extremely resistant to automation because clients are billed by the hour and automation would result in fewer hours spent on the case, which means decreased revenue.
I sometimes power up Netbeans for one feature - it's local history feature. Any time you save a file, it stores a little diff of the changes and has a very nice visual diff function that works with it. The same feature works for history stored in git or svn too.

I've not seen this replicated in any other editor as well as with this. It's like having an embedded Meld function.

Generally though: Vim, Geany, Atom, Gedit
Here are the things the FTC faults D-Link for (https://www.ftc.gov/news-events/press-releases/2017/01/ftc-c...):

1. “hard-coded” login credentials integrated into D-Link camera software -- such as the username “guest” and the password “guest” -- that could allow unauthorized access to the cameras’ live feed;

2. a software flaw known as “command injection” that could enable remote attackers to take control of consumers’ routers by sending them unauthorized commands over the Internet;

3. the mishandling of a private key code used to sign into D-Link software, such that it was openly available on a public website for six months; and

4. leaving users’ login credentials for D-Link’s mobile app unsecured in clear, readable text on their mobile devices, even though there is free software available to secure the information.

There are pretty common-sense mitigation techniques for all of these.

For 1,

* Don't ship with default credentials (change credentials per-device and slap a sticker on the device with user/pass)

* Force credentials to be changed on first login.

* To avoid attacks targeting specific devices via crafted search engine queries, add a robots.txt and/or use HTTP authentication.

For 2, sanitize user input

For 3, don't publish private keys on your public-facing website

For 4, encrypt stored credentials (or don't store credentials at all)

None of these are particularly difficult to implement. In fact, they're all pre-Freshman-level, obviously boneheaded security mistakes. That we've known about and how to prevent since at least the 90's...
It sounds absolutely fascinating, but it's a little sad that it did not go beyond the research stage. Like building a flying car and then hiding it in a garage. I understand how difficult it would have been for Microsoft to turn Midori into a product, but still I would like to see what that would have been like.
Having experienced that same situation metaphorically too many times to count, I think getting it literally would actually be a refreshing change of pace.
Fort Lauderdale airport shooting: Five people shot dead by Florida gunman
they pretty much died with the rise of community sites like reddit and such. people post links and comment there.
They don't really have any. It's likely that they're focusing their last bits of investor money back onto their hardware testing platforms, expecting to go back to market in two years and then ramp staffing back up as needed.
Parsing json is sneaky because it can show up in apps that are otherwise IO bound (where Node shines) and don't seem like they should be CPU intensive on the surface.
Check out the Withings Steel HR. No ticker tap display, but it does have a small inset LCD to give you connectivity, but with style/class of analog.

https://www.withings.com/eu/en/products/steel-hr
They don't give much information on what "minimal" battery drain means. I'm skeptical. Keeping an app running in the background and keeping a stream of audio data piped into it to be processed on the CPU is not cheap. Google has a dedicated DSP on phones to do hotword detection (among other things), and IIRC that's not exposed to unprivileged apps. Hell, even iOS needs to be charging to get "hey siri" support (not sure about now; it was like this in previous versions, though).

Either way, it doesn't sound like that's what the article describes: they're talking about collecting and sending all audio wholesale. Sending that much audio data over 3g or LTE would be expensive (transcoding it to decrease payload would be expensive, too), and would surely be noticeable looking at data usage charts.

> using wi-fi, there was no data plan spike

Uh, yeah. Because it's using wifi. Phones are on wifi far less often than you'd imagine.

It's certainly possible, but it's just not plausible.
Out of curiosity, why are you going to communicate to the FPGA over Ethernet vs PCIe or SPI or USB? It seems like you'd have to do a lot of high level processing on the FPGA to get it behave nicely on an Ethernet network.
I'm not sure if I would feel quite the same about high school - one time I showed up to work and there was a green construction paper heart in my mailbox that had YOU CAN HANDLE THIS SITUATION sloppily printed on it.

No - you're right, this is all still fresh to me - second year has been even better than the first. Let me know if you ever write up your feelings, I would love to hear about your full experience.
My life since age 30 has been a slow odyssey away from a tech career.

After many years of software engineering, I switched to part-time in order to dabble in board game design on the side. It was fantastic - enough money to live comfortably, lots more free time - but also a little bit like golden handcuffs: in order to switch tech jobs, I'd have had to find another place OK with me working 3 days/week.

After doing that for 6-7 years, I talked it over with my wife and quit my tech job to do househusbanding instead. It got her more time (fewer chores) and me even more time (household work didn't take nearly the 30 hours/week that 3 days work + commute had), which let me ramp up the board game design. My wife works in tech, so one income was more than enough for us, even socking away plenty for retirement. It took some psychological adjustment on my part, but she was really good about vocally appreciating the work I did, which helped a lot with the transition. (Plus, I got to give a big middle finger to gender stereotypes, which was a source of satisfaction. :)

Then we decided to have kids, and I became a stay-at-home dad. Help from family and babysitters means I'm still able to spend some time pursuing game design (note: this is not cost-efficient - either "I parent full-time" or "daycare" would be cheaper - but it works for us, for now), and parenting is fantastic. Also frequently exhausting and frustrating - there's a heavy tradeoff of immediate-gratification happiness for life-arc happiness - but very rewarding, and the sound of my kids laughing together is pretty much the best thing in the world.

I still love programming, I just don't do it much. (Little side projects for fun every once in a while, or simple tools supporting my game design.) And I think I enjoy it more when I do, because I'm doing it intermittently of my own volition. Once both kids are in school and I have a little more time, I'll probably start messing around with mobile development - I find it slightly disconcerting to look at a computing device and not have the bone-deep certainty that if I chose to invest the time, I could make it do just about anything I dreamed up.

With financial reasons as your main barrier to quitting the industry, much of my experience won't apply to you - my wife's salary is the only reason things work as they currently do. But if you can fix your budget so that you can live (and save!) on 40-80% of your current income, you can try to find/make opportunities to switch to part-time work. I found that when I did, the benefits of the extra free time made me more focused during my working hours, and happiness with my life situation made me more excited about my job in general.
Its weird, I never missed the key when I hit it but it always felt strange due to lack of feedback. I ended up binding Capslock to Escape and training myself to use that instead. Now I don't care at all.
Long but well worth the read
Active submission: https://news.ycombinator.com/item?id=13338996
Don't forget it's not uncommon for two college grads to have $100k in student loan debt today.
Show HN: Grantmakers.io – Making charitable data more accessible
The quality of the current line of surfaces is pretty good. A few friends who have needed a replacement computer/laptop but need to use Windows for work have opted for the Surface. Gives them nice portability and they don't really need an iPad (or can't afford a laptop and iPad).
Whole bunch of stuff: http://caniuse.com/#compare=ie+9,ie+11

CSS Transitions is probably the biggest one, but there's a lot, and a ton of javascript improvements too.
I love getting advice like this. Now added to my list! thanks.
What are we doing?
IBM is preparing for an automated future relying on 'new collar jobs'
The 5X only comes with a C-C cable. The 6P comes with both an A-C and a C-C cable.
Wonderful tips, not really much to add!

Just maybe the fact that we traditionally sell beer (our special OpenBuildService brand;-) at the openSUSE booth (and that's the only place you can get one on the campus).
Purism sounds nice in theory, but in practice I have yet to come across a project where at some point an `!important` (or 2) NOT becomes necessary, where it then NOT seems utterly acceptable and in fact fully in line with "the proper natural purpose of !important" (subjectively+situationally perceived, of course) and moreover the only solution to not spend 1-2 weeks refactoring the entire project's very own ad-hoc CSS philosophy/entirety-of-interactions..

(In a framework, different matter quite possibly. Don't they use only-their-own-class-names anyway? Nevermind..)
hentrep, my startup solves this exactly and we are now live at three Fortune 1,000 firms. Previously, I was a healthcare consultant with mckinsey so I understand the unique challenges in pharma. I would love to chat. Feel free to ping me at jl@thevetted.com.
I was going to complain about the unreadably thin text, but apparently that's the default font-weight. WTF.

(And by the way, there's a typo in your font-family.)
I can't remember the last time I thought that my terminal was too slow, except maybe when I tried that Electron-based program a while back (Hyper, I think it was). My priorities are more like the following:

1. Stability. I crashed Alacritty thirty seconds after opening it; possibly related to issue #12.

2. Emulation correctness. In Terminal.app, the cursor often gets out of sync when I "turn the corner" (i.e., backspace across a line boundary).

3. Font rendering. Text in some terminals just looks ugly.

4. Features. Alacritty doesn't seem to show the number of rows and columns when I resize. Scrollback!

This looks like a really interesting project, but it seems really strange to make performance such a high priority. I tried the find /usr test, and it seemed equally fast in Terminal.app and Alacritty.
Open source collaboration across agencies to improve HTTPS deployment
When founding a startup, is being a college student an advantage or a disadvantage. Does it matter at all?
Sounds like an interesting architecture. What UAV project is this?
How's this for a good way to evaluate a startup while looking for employment at one: Do they talk crap about investors?
As a founder of company in the early stages, how should you identify a target customer base and how do you recommend developing a plan to market and sell to them?
How was traveling until you ran out of money? Do you regret it? Also, what do you mean by 'pivot into something else?' Do you intend to take your Grad school knowledge and start a business?
Still can't beat turbodiesel fuel economy, especially on the highway. Chevrolet Cruze diesels routinely get >60mpg on the highway, and that's the last generation, which unlike VW diesels were fully emissions compliant.
220 employees left, 155 in today's layoff, 340 cut in October. So, today there are only 30% of the employees who were there in October, or laying off 70% of the workforce.
That's good news, I've missed that.

Does userChrome.css work with e10s? I remember that there were some issues with that in the past.
I am learning JS myself and here is the order that seems to work for me:

1. DO not start with ANY framework. None. Forget about react, vuejs or whatever the flavor of the month is. Just don't pay attention to it.

1. Start with plain ES5. One good resource:

http://eloquentjavascript.net

2. Once you have a good grasp of ES5, then learn ES6. Again, for ES6, don't worry about Babel or shit like that. Just learn the syntax and new things about ES6 and directly test in Chrome

3. Learn how to compile ES6 into ES5 (Babel etc)

4. Learn Typescript (the daddy of all). Typescript will convert to ES5 or ES6 both. So make sure your concepts of ES5/ES6/ES(n) are clear before you do typescript so that it is not all magic for you.

5. Then, start learning about the bundlers and compilers like webpack and Babel etc. For bundlers, webpack is hot right now. Babel is good for ES6 to ES5 conversion but then again, typescript could take care of that.

6. Finally, time for frameworks. Start with one. React is good. Vuejs is good. They are all good at something. By the time you are at this step and you did all the steps before it, you will know what you are doing.

My 2 cents. This could change depending on which month/year are we talking about :)
The current situation?
For batches of transactions where each transaction has a service call that depends on the response from a previous service call, async especially outperforms.

Rate limiting is not hard either way, but single-threaded async is slightly easier because your counter is automatically thread safe.

The larger and more complex your system gets the harder it gets to keep it thread-safe. For me this is the big advantage of single-threaded async, and I like node because this single-threaded async is idiomatic in JavaScript.
How about all these smartphones being sold with unsupported broken versions of Android?
According to http://caniuse.com/#compare=ie+9,ie+10 there's a bunch of the HTML5 form stuff, reliable use of CSS calc(), web workers, WebVTT (subtitles for video), classList, etc.
This is going to open up a wonderful can of worms that will hopefully ask some interesting questions about the future of trading and investment from the average person.

This will be really cool to see. Now don't get me wrong, I'm nearly 100% sure anything like this is going to end horribly but it's good to be optimistic, right?
The alternative to strict product liability is to make sure the IOT decide you provide has a clearly defined and enforced end of life.
Storytelling is so critically important for everything in business and life. If you have new ideas or want to create something new you need to be able to captivate the audience with a good story.

You could equally apply this framework to pitching investors, job prospects, customers etc...