skysight-inc/HackerNews huggingface dataset:
Yes, this is absolutely correct. If you give up on Turing-completeness you can prove that a subset of programs halt. A computer could search this infinite space for programs that solve a particular problem. However, there may not be a program P in this space that solves the problem in question so the problem of finding P in the subset of provably haltable programs does not necessarily halt.

My argument stands. Unless the halting problem is overcome, there will still be jobs for humans to write Turing-complete programs.
For most of this problems that they mention you need AGI, we do not know how to attack this problem also.

Solving any coding challenge is NP-hard problem. You need to understand not only what you need to do but also how language in which you need to do it works. For example in game of Go you have huge amount of possible states but you have only couple of moves to transition to this states. In programming language every line of code has large space of states and it grows exponentially with every new line of code. Sure you can brute force "hello world" program but good luck with writing 1000 lines of code that work together to solve complex problem. Pattern matching will not help you, training based on github will not help you.
I won't speculate as to their motives, just the evidence I see that Tesla is deploying their own battery know-how to the project, so some sharing of some sort must be going on.

Edit: Found some info straight from the source[1].

Panasonic executive vice president Yoshihiko Yamada thought Elon and Co. were crazy initially when they proposed this idea. Eventually he saw the light and now the companies are closer than ever. Here’s how he put it: “Three years ago I thought this gigantic Gigafactory idea was crazy. Because then the production of the factory would exceed production of the industry. I thought it was a crazy idea. But I was crazy, and I was wrong after seeing extreme success of the announcement of the Model 3 and the strong demand…I want to explain to you the relationship with Tesla and Panasonic. I used to be in charge of components five or six years ago. At that time our relationship with Tesla was one of supplier and customer. A conventional business relationship.“But since we started discussion on the Gigafactory that’s completely changed. One example, is production capacity is now two or three times more. Why? Because Tesla and manufacturing people worked together. We are discussing these details. This type of relationship is quite new for business. We are not the simple buyer and supplier relationship.” (emphasis mine)

1. http://electrek.co/2016/07/28/tesla-gigafactory-tour-roundup...
Except that DF Dwarves are, by definition, not long-lived.
Apple created Apple Maps and at the same time did not approve Google Maps for iOS6 (they obviously later approved it because the uproar was deafening). Like I said those were only the first few things that came to mind. Apple steals ideas, Google steals ideas, Microsoft steals ideas, Facebook steals idea... They all do it, that was my only point. And yes I stole your words, please pay me for them.
Bss
Logan Act, as amended in 1994: asking foreign hackers for help may be a felony
Great comparison. Insane that Squarespace scored so much worse than WordPress and Wix, and yet is so popular.
and you don't have it during the onsite.
Not OP, but I'd like to offer up a reframing. Progress gives us the opportunity to grow, to adapt, and to learn new things. Do you want to be the person who is stuck as the person they were when they first entered the workforce? Wouldn't you rather be someone who remains present in whatever moment in history it is now, and constantly redefines themselves according to the environment they are.

There's no reason why you have to think "I'm a software engineer, therefore any attack on software engineers is an attack on me." You could, just as easily, define yourself by "I'm a person. I do software engineering because the money is good right now and that is what the economy happens to need right now, but if in the future society ceases to need software engineers, I'll retrain with whatever skill is highly valued then."

I remember coming out of college, happy to learn about the world, and thinking how sad it was that people's identities were so wrapped up with their jobs that they were broken when their jobs were eliminated. I felt that shift happening soon after I turned 30, where I started to get just a little bit too comfortable and too proud of what I was rather than what I did, and then quit so that I'd have that opportunity to grow again.
Thats probably why.
Who is "we"? Also why would it be a code monkey job?
Indeed, hunger is still a problem in the US. Our welfare system is so fragmented and conditional that there are numerous cracks where people of the wrong class/gender/neurotype/etc. can fall undetected and unhelped, and even in cases where resources are available, there is such a strong stigma against using them that some people don't even realize they have the option.
Your link here, and the link in the article, both work for me.

This is a really nice write up of an impressive project!
Yup.

Heat loss via radiation never stops. So if it outcompetes other heat transfer mechanisms, the net result is cooling.
My main point on making the comparison was the scale at and frequently with which it's done rather than the investment strategy.

(1) Core technology & monetization -> (2) Cash Flow -> (3) M&A to Fuel (1) -> (4) Goto 2

Looks different at that size than it does for smaller entities. And if you have a revenue stream generic enough to feed on a variety of inputs, then you have huge flexibility in what you can purchase. And you can likely afford to pay more because you've got efficiencies of scale on your side (including access to hyper-scale amounts of data).
That's a slippery slope right there. I don't care about Yahoo or celebrity CEO culture at all. But I also feel like people should be able to express their opinions on a CEO and not be worried that doing so constitutes being labeled a sexist if the CEO happens to be a woman. There have been many males CEOs that have been derided as well - Bezos, Jobs et al so lets keep this in perspective. Star CEOs with their insanely outsized pay packages and their carefully cultivated public images make them targets for derision, not their sex.
Show HN: Coffer, when Docker is just too much
If I had an AI that could write code better than I it would be AMAZING. As a solo game dev I could be 1000000 times more productive and spend all of my time designing and balancing the game with the help of the greatest dev of all time!
https://news.ycombinator.com/item?id=12165878
Excuse me, but even free Virtualbox's performance is adequate for web development work. (I use a Macbook Pro and deploy into a local linux VM. I can snapshot a full VM in less than 10 seconds.)

You may be referring to graphics performance, but not a lot of people use a VM for gaming.

The huge advantage of free Virtualbox is that once you buy VMware Fusion, you're on an upgrade cycle for every new OS release. With free Virtualbox, you just download another one and you're golden.
They started diverging at MySQL 5.5.
The worst I've seen is a recruiter that didn't tell me I had been accepted. I found out when someone at the company followed up on why I hadn't responded to the offer.

I have no idea how a commission-based business manages to do something like that.
He mentioned all of those things because there are active twitter accounts who use all of those words and more and yet avoid suspensions themselves.

You didn't answer my question.
I agree but legitimate results are quickly extrapolated to Skynet by the media.
I don't think this is actually true. Can you cite any sources referring to copyright as inalienable in the US?
I mean, you've described vanilla WordPress and most vanilla blogging platforms (easy to use, nice to look at, and not bloated). It's only when you need functionality outside of the vanilla features that things get hairy. If I need to extend PostLeaf in any way, it will probably end up a bloated ugly mess too, no?
I don't think I am advocating blindly pushing forwards.

Less crappy Apps, more fundamental research in sciences, more investment in clean energy, more "radical" politics that supports communities not commuting, more equality and diversity, better representation in politics, I probably should have a long list of specific policies (might be an idea) but "good work life balance, an appreciation for the natural world and the benefits it provides" is definitely in there. But so is antibiotics and not having wars.

Golden future basically. I want it all.
Newrelic: The New Stack  Scale Podcast: 10 Insights on Agility at Scale
Some context for the "Long Telegram" can be found here: https://en.wikipedia.org/wiki/X_Article
Amazing project!

1. What are your plans for it? Aside from high altitude balloons.

2. Do you plan to turn this into a sort of "shield" add on?

3. What will you work on after this project is done?
Not inferring that others do! ;)
Still a Big jump from CarPlay to an actual car though.
I would love feedback on this. I wanna take a secure software design course and my C is lacking. Everyone recommends Learn C the Hard Way.

http://c.learncodethehardway.org

tptacek, who is obviously hot stuff here on HN for his infosec knowledge, recommends this book on Amazon favorably on his recommended InfoSec reading list.

C Interfaces and Implementations: Techniques for Creating Reusable Software

https://www.amazon.com/review/RMXKDJNH8UOPU/ref=cm_cr_dp_tit...

He said it is the most advanced C book in existence. If only I had enough time to not only read but understand it all! Haha.
This map shows how many people are getting high near you
Thank you - this interaction will help me as I move further in ML.
Make sure you have a good understanding of the standard library - in C, this should not be thought of as a black box (because, unlike in some languages, it is written in the language itself, and also it's rather small and minimal).

You should familiarize yourself with the source for a C standard library (not necessarily the one your're using, maybe uclibc, something simple), and work towards being able to implement the functions yourself. For some functions like malloc(), printf(), etc, understanding the implementation tradeoffs will help you understand problems with your own code.
There exist equivalent problems for human minds, though. E.g. the Riemann Hypothesis - people keep trying to find the proof, but noone knows if the proof exists, so it's not a given that the search will ever finish.
I remember noticing it when I first moved there but you get used to it very quickly. I was always amused at how much my family commented on it when they came to visit because I didn't really register it anymore.
Maybe it's never a good idea at a species/progress level. But it's acceptable that trying to stop progress is a good (albeit selfish) idea at the individual level.
I'm not sure how re-inventing the form factor of the phone in combination with an aggressively touch-friendly operating system is "copying". That Apple abandoned hardware buttons almost completely had a lot of people reeling. They hated it.

By that definition the Ford F-150 is a copy of the Porsche 911. I mean they both have four wheels and an engine and things like door handles and windows.

The Sony x505 has "chiclet" keys, but they didn't invent them. These things were on calculators decades prior, and infamously the IBM PC Jr.'s wireless keyboard.

What I'm talking about is the peculiar arrangement of the arrow keys and other subtle things that are very distinctly Apple. Given how quirky some keyboards can be, where seemingly every vendor has their own spin on how big the Caps Lock key should be or where backspace should be positioned, they're all using Apple's keyboard as a blueprint going forward, literally copying it.

Apple's fairly unique arrow key layout showed up in early versions of the iBook and other Apple machines in the 2000-2001 era, possibly earlier.
As someone who clearly belongs to the Seers category, went to Physics school, then ended up in a different field, that quote struck a chord.

I'll have to read that book.
No one is saying the experienced individuals cannot code. Based on OP's comment I am going to assume he/she is young based on my personal experience hearing these types of comments throughout my career. They stem from only knowing one way of approaching a task, to which they respond negatively to anything different, particularly if it is outdated. Instead they should seek to learn from the experienced individuals and understand why they are solving the problems in that particular manner.
> An open source blogging platform with inline editing, handlebar templates, and a beautiful user interface.

Why oh why handlebars?

Also, why submit the .net if it just redirects to .org?
This is true absolutely true -- my post was a bit of a snap judgement of the management's skills, but it is indeed possible that the person was just as much to blame, though I think it's unlikely
This is a pretty interesting article! I have some questions, though:

1. What properties of space facilitate quantum experiments more than terrestrial environments? Reduced gravity? Vacuums?

2. How does the satellite create pairs of entangled photons? I missed the memo that we could control entanglement...

3. When two photons are entangled, what kinds of properties about them are useful to observe/control, that give us information about or control of the twin? All I can think of are positional properties like position, speed, acceleration, etc...
Hi, I'm a researcher in program synthesis.

I think you meant to say "NP-hard" . And indeed, there are many program synthesis problems which are NP-hard, 2EXP-complete, or undecidable. But there are also many program synthesis algorithms which are polynomial time. If you use Windows, there might even be one running on your computer.

We've been studying this problem for close to 50 years. I think you see the basic problems, but we know a lot about what to do about them.
Corrupt stuff in third world countries do not get entire chapters in CERT books - that's where things like these are expected to happen. Over and over again.
We updated the title from “Today I launched an open source blogging platform that doesn't suck” to something that fits within the guidelines.
Agreed - I just recently stopped using Eat24, I was a whale for them as well (~4-5 orders a week), using ubereats + grubhub now.
This was the final nail in the coffin for any reasonable interface. This creates an environment where the user can never know what options are fully available without hitting the option key. So when in doubt, on every single panel, perform an extra action to find something that could be available to you. Nonsense.
>I'm not going to deny there's a rise in misogyny on the internet recently with the MRA b.s.

I'm not going to deny there's a rise in misandry on the internet recently with the feminist b.s. but personally I have no objections to her pay in particular, I feel CEO''s in general are completely overpaid. She took a sinking ship and tried to right it and failed - I don't really think anyone could have realistically turned around Yahoo anyway.
in what scenario would docker be too much? it's easy to install, easy to run, and highly documented

"Coffer is a platform for creating isolated filesystem containers. It is intended to be used to create isolated development environments without having to worry about doing any network configuration. Applications that are run in Coffer can be accessed outside of a Coffer environment through localhost without having to do anything more than coffer create <name>. This makes it easy to get environments up and running for those of us who do not need network isolation, and only wish to islolate an app and its dependencies."

easily accessed at localhost:8888

mkdir workdir && docker run --name apache -d -p 8080:80 -v `pwd`/workdir:/var/www apache

easily attach

docker exec -it apache bash
Medical research has been taken over by this type of hype. It infests the journal articles as well (although the hype there is usually more sophisticated). The signal to noise ratio is very low right now.
Have you read RP1? If you haven't and that's your impression of Snow Crash: Don't.
MobileDoc might be interesting to you: https://github.com/bustlelabs/mobiledoc-kit
That sounds like more of a way to learn x86 assembly than a way to learn C. For all we know, this guy is writing his C for an ARM or a m68k - who knows?
So far I've got database errors and a douchey landing page that tells me all about how Postleaf has no truly differentiating features and then asks me for money.

"doesn't suck"
It is really nice. Thanks for sharing.

Is there any particular reason you did this?
Jekyll plugin to easily embed maps with locations from posts or data files
The book: Expert C Programming: Deep C Secrets
by Peter Van der Linden

This book is great, full of good code and even better writing.
BrainCert Moves from Flash to WebRTC
That's true - this all assumes that the existing "no resources but a whiteboard" system is even worth reproducing.
DARPA's already put 10s of millions into #3. What do you know that they and their teams don't?

https://cgc.darpa.mil/
The Best Hotel Coupons, Vacation Packages and Last Minute Deals for July
WikiLeaks is not serving malware. I checked it today. Gary Miliefsky, CEO, www.snoopwall.com - sounds like someone wants you to NOT VISIT WikiLeaks.
The Dyson 360 Eye is the best robotic vacuum, which is why it's $1,000
I was living in a place with spotty internet, so I wondered about these issues. It was fine to code online, but if the video got choppy would they blackball me?
It is definitely not a loss for the academic world, but it could be a gain for some, time will tell.
WikiLeaks.org is NOT SERVING MALWARE today. I validated this against 210 malware URL block lists with over 2.4m domains loaded in real-time in our NetSHIELD appliances. www.snoopwall.com Gary Miliefsky, CEO
That is some high praise coming from someone who's opinions I respect. I may have to pick that book up - thanks for mentioning his review.
Thanks. That WAS hard to find.

PSA: if you put open source in the title of your product but don't put a link to the source on your front page, you are doing it wrong.
No but that sounds like a good idea!
Netlify is now offering Free Hosting for Open Source projects
Jack actually responded to accusations re: wikileaks #DNC-leaks censorship (people, myself included, have speculated that Twitter banned the hashtag from trending):

https://twitter.com/jameshemphil/status/756924975546765312

To be clear- I am not sure if I believe Jack's denial or not. This situation appears to be a big opaque mess to me.
https://lwn.net/Articles/673724/
Network Close to NATO Military Leader Fueled Ukraine Conflict
You merely defined halting problem. You did not argue the following:

Turing machine X can produce programs that meets certain specifications => Turing machine X solves the halting problem.
A Taxi driver can't become an Uber driver when all Uber cars are self driving, which will happen and likely happen far sooner than programming gets automated away.

HN doesn't bat an eye at Uber, AirBnB, Netflix, Amazon disrupting and taking away jobs. But it's interesting once programming jobs are threatened, some become defensive.
From README.md

## Requirements

- PHP 5.5+
- MySQL 5.5.3+

The "doesn't suck" claim is starting to look pretty dubious.
That's an awesome list of features. It knocks a few entries out of my list of "Features I wish MySQL had". (Yes, I actually have such a list.)

I am curious as to how features get prioritized, though. I would think certain things would be higher priority, such as supporting a full outer join and ensuring that cascaded deletes/updates fire triggers.
Doctors weigh in on Theranos:'Elizabeth Holmes to have benefit of doubt'
> An anecdotal counterpoint would be that Einstein was working as a patent examiner in 1905, his "annus mirabilis"...

Presumably he worked on big physics problems while also performing his job as patent examiner.
Scrum Master Job Descriptions and Responsibilities in Agile Methodology
In that specific case, Jobs had just come back from NeXT, and Mac OS hadn't yet incorporated elements from NeXTSTEP. It sounds as though Jobs used some early precursor version of Keynote, which may have been more easily ported onto a Thinkpad than onto a Powerbook at the time.

Also, in fairness, the circa 1997 Thinkpad was the best business machine on the market. Period. Macs had to catch up. The Macbook wasn't even a figment of anyone's imagination back then. The Powerbook 3400 (c. early 1997) was faster than the Thinkpad, but the productivity suite available at the time wasn't anything to write home about, let alone use for serious presentations.

All that is to say, I'm not as shocked on reading this as I guess I should be. From everything I've heard, Jobs only took dogfooding so far. If he didn't believe an internal product was the best for a given purpose, he didn't dogfood it. (I would be curious to know if he used Mail, for instance...)
In any case, HN is not one person, and you will not find me defending those businesses.
Post-Partisanship Is Hyper-Partisanship
It'd probably be a more accurate version of reality to accept that CEOs and Presidents have relatively little to do with either kind of results. That'd require that we give up the very human tendency to believe in Great People and force us to believe in Ordinary People involved with Great Things.
I had a similar realisation recently. I had to learn Smalltalk recently (for my new job, believe it or not!), and Smalltalk really does strike me as image-based programming find right. My previous exposure was Common Lisp, but the image and the source code getting desynchronized was a recurring pain. After deleting a function, but missing some uses for example, the code might work fine until you reloaded the source into a clean image. In Smalltalk, that doesn't happen, because the image is the code.
The basic definition [1] is not about failing to know the risk but rather failing to exercise care. Can one not deliberately fail to exercise that care?

I am not versed in law, so please accept this as a request for clarification, not a debate.

1. https://en.wikipedia.org/wiki/Negligence
To be honest, I have to thank Google's work on Android Studio and Gradle for making me enjoy Eclipse again.

As for Scala I don't know how good the support really is, as I never managed to use anything besides Java for production code on the JVM.
>var f = 0.0015974
Where did this number come from? Is it arbitrary?
Unfortunately that is not a reality. Once you go public, the entire focus of a company is paying out to shareholders. Everything else is secondary.