skysight-inc/HackerNews huggingface dataset:
All equations are facts (or, more accurately, propositions) and solving an equation is deriving another proposition that is implied by that proposition (or perhaps that proposition and another proposition, such as when solve an equation in one or more unknown for a set value of one unknown.)

OTOH, you are correct to the extent that we don't usually use both the "fact/proposition" language and the "solve" language at the same time when discussing equations.
I'm the Author of “Beginning JQuery”, AMA During Codementor Office Hours on 7/29
Effing – function functions
Department stores in the U.S. (At least in Minneapolis) used to ferry payment via baskets on wires from the clerk up to an accounting room where the money was counted, change made, and delivered back to the customer via the same contraption.
What makes you think they never did? Maybe its are rare thing to do in the US, but with foreign governments, especially those where corruption is rampant I'd imagine this is nothing unheard of.

By the way, TPP is circulating within many governments. For example it could have been leaked by a Vietnamese government official.
aesthetically pleasing != technically advanced

It's all about how you use your tools at hand, https://www.youtube.com/watch?v=Tp6DjATqEzg preferably enjoyed with surround speakers on high volume. Today the graphics looks like a joke and even for it's time this graphics was considered mediocre, the gameplay is actually quite boring and the artwork isn't the greatest either. But even today, and by just watching, the immersion is so intense and the tension is still there. I remember when we first played this as kids my heart rate was at max for hours afterwards, everybody at school just kept talking about how incredible this game was and that it was just like playing in the saving private ryan movie. Today you could surely improve the immersion in this scene tenfold but do you really need to? What makes this scene is the intense ambient sounds, the camera shaking effects and the overall feeling of pressure, nothing that requires any new graphics technology.

The article also brings this up with the discussion of artwork in sims 2d looking better than the 3d equivalent.
Very cool. While I'm sure others found this explanation clear, I believe I should now feel dumber...
could be a reporting issue -- these things take time to show up in the data?
Proprietary development tools are a trap. And this software is just a proprietary wrapper around a real community product. Doesn't matter if you rewrote the library for interacting with the database... standing on the shoulders of giants.

Are we really at the point where "professional engineers" need to buy a GUI as a substitute for a fast, extensible, cross-platform command line tool that is so easy to use that even I could figure it out?
Win 7, IE 11 -- there's a mass of overlapping text and images.
Isn't it better to have two companies that have partial information about you than one company that knows it all?
You got the same download as you'd get from Audacity itself. SourceForge is acting as a mirror. Unfortunately, the Audacity installers are not digitally signed, but they are bit-for-bit identical on the SourceForge download to the Audacity website download.

SourceForge never modified installers of projects. Even of ones like FileZilla participating in the program. They push "download offer installers". So, if you try to download FileZilla, you get a 750K download that shows you offers when run and downloads the actual FileZilla installer in the background and runs that after you accept or decline the offers.
This team is hiring, by the way:
https://www.facebook.com/careers/department?req=a0I1200000G4...
its impossible to clean up the mess when the US government continues to fund and arm ISIS which is Obama's private little army keeping Iran in check. Ever notice how ISIS is only bombed when they get outside the lines? Ever notice how ISIS keeps getting air drops of weapons on "accident?"
kinda weird that all the timeseries charts have time going backwards. going lower to higher is certainly the standard way to do it. for eg: http://data.jobsintech.io/companies/google-inc
Ignoring for the moment the active jamming, it's interesting to consider otherwise how perspectives on cell phones have changed over time. When I was in high school (circa 1998), the administration would suspend students caught in possession of cell phones, and their phones would be confiscated. This policy was explicitly in the official student handbook, if I recall correctly. The argument that students needed the cell phones for "emergency" purposes was also deemed by the administration not to be credible.
> A miner could put no transactions in a block, and still get the 25 bitcoin block reward, but if they do that, they are hurting confidence in the bitcoin network

I don't think that's true at all. Even if some would not clear any transactions people would still be okay with that for as long as the rest does. And there are definitely some zero transaction blocks being minted.
Actually, oddly enough, I did not think about that. Thanks for the tip. We have changed the email address from time to time, when one gets picked up by spam.

We do like the subject line to be a pass/fail test though - especially on jobs that require attention to detail (i.e. bookkeeping or junior developers who are on support/punch lists).

The instructions are pretty clear and if someone cannot follow step one, they are probably not going to be able to follow our internal checklists.
"Tweet nearby" & "Encrypted tweet nearby" & "P2P Tweet": These three functions would blow the lid off active user growth. Across the globe Twitter remains a key means for promoting events, demonstrations and encouraging political action. Give users the means to reach by locale (Concert), and securely by locale (Flash mob), and P2P (Iran, Syria, China) -- and sit back and watch the audience skyrocket.
How is it easier to change a service interface than an API within a single app? The former requires a specification and tooling around serialization/deserialization to have any meaningful guarantee of correctness, it requires error handling to reap the benefits of decoupling, the latter can be covered with a unit test.

I'm sorry but this is pure hype to say that microservices make refactoring easier: that is true if and only if your boundaries stay static. It is a huge assumption that anyone can draw those boundaries correctly for a large microservices architecture in its infancy.
Regular Google search get's them all correct.
So you say, but if that's what everyone thought then GPL would have won instead of MIT. In every thread, the amount of "GPL is viral" people far outnumber the GPL defenders. It's clear that most people prefer to be able to build proprietary tools on top of open source ones.
Yeah, I was coming here to post that Git is already painless. It's a tool you are intimately using if you're doing anything other than Hello World projects with your team; it doesn't seem too much to ask to actually learn how it works. And once you know it's painless.

Edit: I was thinking about it a bit more and it's actually one of the least painful tools I have ever used on a computer...
I love it! How can I pay for it? You should've kickstarted this!
That's the Git repo itself :)
This makes me think I should pick one of these up for my daughter to carry around. She can't rotate her hands to a palm-up position, which causes no end of hassle and confusion when getting change from retail transactions.
Actually I can't even imagine handing cash directly to someone - this kind of seems rude to me. It would be even worse if the note was folded. Doing this also might involve hand contact (which again might make someone uncomfortable). (I'm from Northern Europe).
Steampunk Stratocasters
> if I could drop by her office to talk about making her life easier through the use of software

That is exactly what I always intend to say, but my brain has this awesome tendency of not knowing what words to put together in what order. Not dyslexic, just very happy all the time.
For reference, in the US there have been 470 people killed by the police just this year; that's ~3 people a day. Not debating just/unjust - just facts as compiled by The Guardian [1]

The Economist wrote about this divergent trend between America's police and other nations, including in this potent chart [2]:

"Deaths from Police Shootings" (latest year available)
Japan = 0
Britain = 0
Germany = 8
America = 458

[1] http://www.theguardian.com/us-news/ng-interactive/2015/jun/0...

[2] http://www.economist.com/news/united-states/21636044-america...
Not as cool as the original, which had a rabbit fishing for rabbits, and a picture of the cow jumping over the moon inside the picture of the three little bears sitting on chairs.
You are correct, sort of.

However, there are a number of differential equations where to simulate it requires exponential complexity w.r.t. to the given degree of accuracy or amount of "time" to simulate it for. For instance, pretty much any chaotic problem.
That's exactly the example I was thinking of as precedent.
Javier Soto gave a great talk on Promises/Futures at Swift Summit. There's an edited transcript with code samples, if you haven't got time to watch: https://realm.io/news/swift-summit-javier-soto-futures/
It's normally ~10 days, with most of that time in the "Waiting for Review" state, and then just one day for the "In Review" state.

There's a public statistic on http://appreviewtimes.com/ driven by people tweeting their review times.
SF Startup bringing Chinese mobile games to US market
What did you build this in?

Looks very cool!
I'm a SourceTree user on Mac. Just tried GitUp out for an hour.

Here are the problems I have with SourceTree:

* Slow as hell

* No/bad keyboard shorts, and setting up custom ones is annoying and buggy

* Uses tons of memory — it eventually gets up to 1 GB after running for a day or two, and my repos are not very big.

My thoughts on GitUp:

* Crazy fast (almost disarmingly so – I think it needs more visual confirmation when things happen)

* Excellent commit/staging view. Reminds me of GitExtensions, a nice Git GUI for Windows

* I love the focus on keyboard shortcuts. They work really well in the commit view

* Map view is truly awful. I get that it's a work in progress, but I have no idea what its organizing principle is. Too much pointless whitespace. It radically overprivileges old branches and commits. I don't see a way to focus on what I did most recently.

* The list of commits (Cmd+D) in the map view is useless
Corporate Welfare or the Next Fannie-Mae: Export-Import Bank of the US
I've seen them everywhere I've visited in Germany. An image search came up with this¹, which says they're called "Zahlteller" (counting plates).

1: http://www.schnitzelbahn.com/homepage/2010/11/25/the-evil-za... (scroll down a bit)
Some information for people who don't know; this is about the Shenlanguage.org; a Lisp with a novel (to me anyway) implementation (it is written on top of a kind of minimal Lisp called KLambda and thus very easy to port) with some great features and many target platforms, all under BSD license.

Nice work with the REPL Ramil, however, the site could use some testing on at least Safari, as it looks like this; http://i.glui.me/1deY5lR (Safari 8, latest update).

This is good work towards getting people working with Shen faster. There is a long way to go but it's worth it!
umm.. Red Hat seems to be doing ok.
Agreed! There's a reason that non-linear equations are regarded as much harder than linear ones, and I don't mean to gloss over it. However, possibly just because I am a mathematician and not an engineer or hacker, I still find the distinction between "solution that is hard to find" and "no solution" meaningful and important. (It is the difference between "we can't predict the weather" and "there is no such thing as weather"!)
I actually did skip several math classes (calc 1/2) by taking exams. There was a limit to how much you could skip though as they wanted you to earn the degree.
Perhaps I'm misunderstanding your point on Iran, Syria, China, but you are talking about subverting authoritarian governments, right?

Why wouldn't those same governments require Twitter to cut those off? I don't see how a centralized service like Twitter can ever provide that.
Yeah, Red Hat is really bleeding money from the all the lost sales caused by CentOS. I can't believe they only made a puny 1.53 billion dollar in revenue last year..
</sarcasm>

http://investors.redhat.com/financials-statements.cfm
The 'salary' feature is pretty telling. I just looked up a former coworker by searching for the company and narrowing down by the hire year. I knew what country he was from so I was able to see his (starting) salary.
The Y combinator followed from of the invention of λ-calculus whereas formal logic predated both Russell as well as Curry/Haskell by a large margin. Also, the idea of a "fixed point" (consider x^2-3x+4 where there's a fixed point at x=2) had already been recognized.
How clothing can be so much more than just clothing
P2P doesn't necessarily have to mean more CPU and bandwidth usage, especially while in the background.

Modern P2P designs often have measures to disable participating in aiding network routing completely for devices with limited network/processing, which effectively only leaves as much traffic/processing as messages you explicitly send/receive.
Beverlywood / Culver City, CA - Stasis Labs - http://www.stasislabs.com | INTERNs OK

Stasis Labs is a health technology company building connected medical devices. Our first product is a vital signs monitoring system for non-critical patients. We’re initially targeting middle-class Indian hospitals, and our business model is especially suited for that market. We’re starting in India but have global plans long-term, including coming back to America.

Our tech:

— Electrical engineering, analog circuit design
— C++ code on ARM microprocessors
— Bluetooth 4.0 (BLE) networking
— Android app: Java, material design, information display
— Web: Sails.js (node.js framework which includes Express), React.js

Your role:

— Work with a microprocessor and Bluetooth 4.0 chip running C++ code and an Arduino stack to send data to an Android application
— Research Bluetooth capabilities and help design an effective data transfer implementation
— Work with Android developers as well as hardware designers. You'll be on the software team, but very close to the hardware

Ideally you'd have strong skills in C++ or Java, with experience working with Arduino or a similar stack. Having Bluetooth experience is a huge plus. You should be comfortable in a quickly changing environment. You should be willing to collaborate with everyone in the team, and potentially to play a larger part in the company as it grows.

We’re very early stage, but have had a lot of success at business competitions at USC and elsewhere. We’re now taking this full-time and raising money on a convertible note. We're working out of a house in Beverlywood (near Robertson and Pico). Salary and equity compensation both flexible based on experience and skills. Less than 10 employees this summer.

We're fine with working from home a few days a week, but we'd like you to start in the office for a week or two. We're still figuring out this policy, but we don't believe in micromanaging people and want our engineers as comfortable as possible.

If you're interested, email me (Clayton) at: stasislabs+hn@gmail.com
Google runs docker in a VM? Why would you do that?

I understand you might want to play with it in a lab environment, but in production at scale (especially Google-scale) sounds very strange.
Yes! Javi is a friend and this is a wonderful talk. I highly recommend it for anyone who is interested in this topic!
Peer-To-Peer Streaming Peer Protocol (PPSPP)
Combine both: Go for the degree. If you have spare time and feel like you can give at least 10-15 hours per week in a remote job, do it.
So I look at the photos and yup, still hairy.

(This is a joke.)
If you make something great you don't need to brag, it's just great, and people will get that.

If the "brag" is factually correct and doesn't spin or otherwise misrepresent, what's the problem? Some people might be repelled by "brags." Others might be repelled by being overly concerned with someone else's style.
I don't understand the downvotes.

Information is too important to be siloed and dominated by a single service. Identities are too valuable to be contracted into an @whoami which is more or less owned by one organization.
Yes, I definitely consider the time of the applicant. I would hate to miss a good person by making it tough to apply.

I am thinking it should be five minutes or less to apply to our job. 30 to 45 minutes seems like A LOT. I am not sure I would even take that amount of time to apply for a job. I would rather introduce myself personally via email or social networks to the employer than spend that time.

One point is that Indeed.com and other job boards make it too easy to apply. I believe, that within a few clicks and someone can apply to a posting, so often the person may not have read the ad fully.

This is turning more and more into a blog post. I should run the stats on our last posting of craiglist vs. indeed and showcase the data.

Oddly enough, I think our final choice came from indeed. But out of the eight actual interviews, I know the other seven came from craigslist posting (or blog post). Of the other indeed candidates, I remember going on a roll of saying "nope" to about 10 to 15 in a row because they did not meet our needs (no experience, etc). Probably need to add a filter in the job posting.
Party Chairman are different they are meant to be backroom establishment fixers with tons of contact's who will pony up 100k -1 million. Grant wasn't that at all.

At one industry conference in Brighton the other year when his name got mentioned 1500 people collectively groaned.
Excellent stuff. I'm working on a framework right now for creating web documents like these!
"Swift is here to stay, but Objective-C is not going to fade away quickly. Many developers have existing codebases, but they also have deadlines, and business decisions. There is no fast way to rewrite an app in Swift. So let’s face it, many of you will probably be writing in Objective-C for a while yet."

Nice to see an honest opening!
I still like a GUI from time to time. I use SourceTree. I can use GIT on the command-line and I'm a competent developer but I like to be able to click files and see the changes and just drag them into a commit. It may not be the fastest way, or the most advanced but it works for me.
College Admissions are exactly an IQ test of sorts. Getting in is all that matters.

I'll make the argument that a college CS degree does very little to prepare you for practical software engineering or being a good programmer. I do not have a CS education, but I know many people that do, from top schools. They are productive, but I would never consider them to be "A" players.

Someone who passes the IQ test and then gets battle-tested at some startup, even if it's a few years of cobbling shit together, is more valuable than some PhD student who cannot engineer their way out of a cracker-jack box.
Most of aerospace lives in a 6mo-1year time between deployements/launches. And then Elon and SpaceX "deploy" every week or two it seems, absolutely blows the mind how they are going about it.
Out of curiosity aren't condo fees based on the debt the condo coop has? In which it fluctuates based on current interests both on the loan as well as the condo fund?
hey did yall get you're supposed to click and drag around the dots? it's cool to make a crazy v(t)
I disagree, except for the "that's insane" part, which I think I agree with for different reasons.

I think what you've done is (a) play a semantic game with the word "slavery" and (b) took the 13th Amendment wildly out of context. There are 13th Amendment restrictions on the circumstances in which a prisoner can be forced to work. Further, when prisoners refuse to work, they lose privileges; they are not sentenced for additional crimes.

There is no useful comparison to be made either to the Soviet penal labor system or to US slavery. The use of the word "slavery" in this context detracts from understanding, and serves to derail the thread.
You know that GWbasic was developed without the hardware on a PDP and cross complied.
My website i blocked by Facebook
If you're trying to maintain guaranteed uptime, you're probably better off with machine-level redundancy rather than disk-level redundancy.

> Mirrors are ideal, but it is hard to justify the upfront cost.

The upfront cost of redundant backups can also be high, but that doesn't mean one should forego them (unless their data isn't worth it, in which case, why bother collecting it?).

Going cheap on things is fine in the home computing realm, but once you're in the business realm, going cheap almost inevitably becomes more expensive in the long run.
If you want to chat with me, hit me up on Pittsburgh Code & Supply's Slack chat (http://www.codeandsupply.co/chat) or email me <my hn username> at us · ibm · com.
This is a common practice that started out in Western culture. It was, and still is, considered more polite to receive your bill and put your change on a tray. Go to an extremely expensive restaurant and you'll see. Here in America, we now prefer the billfold instead of the tray for privacy reasons, but the concept is exactly the same.
Professor honored for famous long-term study on delayed gratification
How did you start out without having a background from school? I've always been really curious how people were able to gain a reputation in consulting or gain expertise starting off
An Open Source Alternative to Mailchimp
We can play "Six Degrees Of Kevin Bacon" with this and connect injustices in the US to virtually any story through virtually any starting point. For instance, you could just as convincingly have argued:

"But given that economic inequality in the US is so high, and given the demographics of the kinds of people sent to prisons, we should be asking questions about the parallels between Soviet slave labor and US prisons."
Marketing automation can be a complex system. Sometimes starting with just the email marketing is a great first step. Then, when you're ready to do more Mautic is waiting.
Professor Stuart Russell – The Long-Term Future of (Artificial) Intelligence
LHC animation – The path of the protons [video]
Download PanGu8 jailbreak for install cydia
> Refactoring across the call stack is orders of magnitude easier than refactoring across a socket.

Yes.

> Sacrificial or not, you can still write the Monolith as "Service Oriented", just that boundary is the call stack.

Or just "modular". Obviously you should always make things as modular as you can, but at some point there are irreducible logical dependencies where increased modularity decreases cohesion more than it helps anything else.

Certainly it's a good to strive for the ideal, but at the end of the day a "service-oriented" monolith is not going to enforce the architecture the way a true SoA will. It's sort of like Haskell's purity guarantee—you can write functional code in a lot of languages, but the benefits you reap from having a compiler's guarantee of a certain code's purity is an order of magnitude more useful than browbeating a team of cats to always follow the style guide, because no matter how good your training your "guarantee" is always subject to human error.
Nothing. And don't worry. If this turns out to be successful, the OSS community will copy this idea in no time.
Google's Navigation Bar Removes Google+ Integration
They are competitors, but life isn't simple. The reality is many frameworks currently only run on Mesos or YARN, and Kubernetes has not reached V1, so larger installations typically need multiple frameworks. Mesos is a proven way to run multiple frameworks side-by-side. Ebay's YARN on Mesos is another example. But where this all leads remains to be seen.