skysight-inc/HackerNews huggingface dataset:
Considering I think C++ has many problems because it is overly complex because it grew on top of a very low level language, I have to say I can't agree with your statement. Just because something has features, doesn't mean it's great, because some of these features can make everything unstable. And PostgreSQL is great because it is solid and reliable and doesn't have anything like that.
Doesn't the RPI have a HDMI port? Can you pull digital audio from there? Ie why the need for a USB dac?

Also, any chance of an arm port of some room correction dsp software?
>In any case though, basically everyone knows how to use the computer and the web now. The general UI elements and their rules - links, buttons, sliders, etc, are all known to just about everyone. At this point since we've trained everyone, we get to drop some of the frills around the UI without suffering a substantial drop in usability.

Chiming in as well with, this isn't exactly true. Just the other day in a DMV I watched a woman really struggle with a touch screen because she didn't realize that two of the "flat" buttons, were options she could click, she thought they were just information.

I'm a big fan of the flat look, but I do see how it can be confusing for some people.
Newsgrid - a minimal RSS reader
I imagine an AppleTV capable of playing iOS games (not necessarily iOS touch games, but possibly using iOS devices as controllers) is in the works, or at least has been tinkered with.

It seems to me Apple might have plans to pull the trigger on this at a strategic moment, i.e. when it would be most "disruptive" (or to put it another way, have the greatest chance of success and do the most damage to rivals). If so, I think this is the moment -- we're about to see a console platform transition, Wii U has failed. Imagine if Apple releases an A7X-powered AppleTV with bluetooth controller support tomorrow -- or in the next month.
Reminds me of App.net but with many price points and a Bitcoin twist. I hope they succeed because we need all kinds of new ideas experimented with.
Thank you! Very happy to learn that for once, science backs up my mental model of something.
So essentially Marissa took the bevel along with her from Google to Yahoo?
Cute: "Incidentally, this also makes it possible to set up 'cycles' where replication is going in a circle. Whether that's a feature or a bug depends on your perspective."

Is there any context in which it would make sense to set up circular replication? This would necessitate that all of your nodes be read-only, so I'm not sure what there would be to replicate.

In any case, a bunch of these new features are hot. Particularly excited about fast failover and custom background workers.
Thanks but no thanks. I suggest that you come up with a github repo and ask people for pull requests.
If you would like a response, it's best if you're not anonymous. I am a hiring manager and I've interviewed (at this point) hundreds of techies, and I'm sure I'm not alone in being in this position on Hacker News. However, the only way we can really help is to know more. Post your Github profile and your LinkedIn profile, and let us know what you're looking for. Who knows--you may even score a job!
Macros vs. Monads
Growth hack: How to reach 20+ countries with less than 10 minutes of work
Yahoo's change was more the CEO deciding that she can redo it in a weekend. I would think any change from Google would go through a UX/UI design team and a ton of redundant meetings... not sure which is worse.
Ask HN: Contract or not to contract?
I currently have a permanent web developer job which pays £2.3k per month after taxes (£37k per year before taxes). I have never done any contracting and not really attracted to setting up my own company, however I heard about possibility of working under an umbrella company. By my rough estimate I think I could get a job which pays from £300-£350 per day, and after calculating Net pay on some of the umbrella websites it looks like I could get something from 3.6k - 4k.

Can somebody who has been in a similar situation advice, whether I should jump ships? I know this is quite abstract question, but I have no idea what questions should I ask in order to help myself to decide whether I should start contracting or not.

Thanks
Yeah, seriously, what's the verdict? And where's the formalization itself? Show me the code, I have a whole worldview I need to re-evaluate here.

Edit:
Seems like this is the code - https://github.com/FormalTheology/GoedelGod
This sounded like an Onion article on Groupon!
I had heard about the JS runtime restriction (which is why I was interested if Opera had avoided it somehow), but never heard about the JIT restriction. Is the JIT disabled for all third party apps?

I was going to make a joke about Soviet app stores, but realized this isn't the place.
Ask HN: Need help with promoting a startup...
We recently launched a crowdfunding platform aimed at Muslim community. We chose this niche for various reasons..

We are now looking for some advice on how to get the word out to organizations & individuals -- who can post their campaign on our platform.

We are bootstrapped company so resources are low but we are willing to put in the effort (and money) for the right campaign.

Any advice from the HN community would be great. You can check us out at www.ummahhub.com -- we are currently working with two active campaigns and are in talks with 5 other organizations to bring their fundraising campaigns to UmmahHub.
So does that mean it's possible to make a living from exciting VCs about latest / trendy / tech whatever, without really needing to sell product?

Like I could pitch a new social, HTML5, WebGL, mobile, NodeJS platform framework API that links to Twitter, Facebook, blah, blah, blah and these VCs would fund it if I make the PowerPoint presentation sexy enough?

Do people really make a living from not actually making any money?
"God" doesn't necessarily mean one that cares what you ate on Friday.....or if you pushed the elevator buttons on Shabbat.
I agree. Although I haven't done much freelancing, I find that there is a group of people who simply won't pay until there is a consequence.
> That and it's just the style.

I think that's really all there is to it and that's OK.
We presented at the hackathon, but how did you get the ticket to Disrupt? We asked and they told us that they were going to email them to us, but so far, no ticket in the email ... ;-/
I'm with you. The fun part of funemployment only lasts 2 weeks or so, or when the first rejection comes in.

That said, I found unemployment to be a great time to get fit. It's a rare time where working out for 90 minutes doesn't unduly impact other parts of life.
I don't think they went through any UX team here. Google needs a new face, a new logo. The colorful serif-font logo looks very childish and 90's.
I'm getting 502 and 404 errors...
I didn't even know who you were until your third comment, which sounded eerily familiar. And there are certainly no circumstances under which I would voluntarily associate with someone who displays your pattern of lashing out whenever they don't understand something.
Indeed- I teach car control clinics, and it's alarming how many people simply freeze when put in a panic situation behind the wheel.
What if Apple releases a $499 AppleTV / iOS game console / Mac Mini? Heck, they could probably make it more expensive and still sell a buttload.
> selective, loaded definition of "god"

Well, you can't really win here. It's either a hand-wavey definition you could never formally prove, or a rigid, 'loaded' definition.

That said, the basis of the proof does seem to be that 'if god exists, then he must exist', which is not really groundbreaking.
I hope besides all these lawsuits asking for "disclosure", all these companies are also working (lobbying) hard to push the "Repeal of the Surveillance State Act" in Congress:

http://holt.house.gov/index.php?option=com_content&task=view...

It's a much better and much more effective "fix" against all of this, for us individuals, and for the corporations, too, if they want foreign (and local) customers to trust them again.

The real prize is ending the mass surveillance, not just being able to "disclose" it.
5 Things Executives Should Say More About The Budget
Detroit and host of rivals aim to be top picks for start-ups
Looks great - going to try it out.
Why link to #p3? Let me read the post from the top without making me scroll up.
Our thing is that we: (1) extend RSS to support self-signed/self-encrypted entries, (2) specify rest apis for http servers to exchange RSS entries (kind of like NNTP).

We'll make a reference implementation, but we want and need many providers to experiment with price points and service options.

More importantly, anyone can roll-their-own provider on their server.
Yes, I agree with this. Google touts that they 'dogfood' their designs. Well, have you been on campus? It's like the Valley of Clones. I have no doubt a sea of 20 something, somewhat bright people find flat gmail and the like very usable. 60, glasses, and can't tell if a button press worked or not because there is no visible detent and such? Not so much.
Everything I Know (a kickstarted book on creativity & working for yourself)
So if I were to offer you $25 or $1000 which
would you take?

That's not a great analogy.

For much of the life of the internet, we had the experience where everything was slow and awkward. Modems sucked. But now, people have things they want to do online and they find it's fine - they can access their email, and websites, and youtube, and play games.

There was a similar transition with computers. All computers used to be slow, and they used to suck. Then during the Windows XP era, the slowness and suckiness of a computer started to decline, and people didn't think about it any more. They stopped buying new desktops and wanting OS upgrades.

You can point out things that would be possible with faster computers or bandwidth - fine. Regardless, for the things that people are doing now, people tend to be content about things where ten years ago they were unhappy, often very unhappy.

The opposition case to the NBN claim that the government was forcing taxpayers into a vast, unbudgeted public works scheme, and that it wouldn't even be delivering something that was strongly needed by the people. The opinion of the man in the street about their current internet is a reasonable metric in estimating the value of the NBN.

Maybe the reason that Australians only have the speed that they currently have is because there isn't a pressing need for more speed. Imagine that. Billions of dollars saved with no effort.
My wife's step-dad is a surgeon, and an excellent one. Very methodical and careful, as you'd expect a surgeon to be. But his home life is often quite chaotic. E.g. instead of paying his electric bill on time, he just writes a big check every six months and hopes it works out. The lack of mental bandwidth is definitely a real phenomenon.
Replace "God" with "burrito" and it's the same thing.
I think it's a sensible, low-risk, clever move. It does fragment the Vita platform by creating a Vita runtime that doesn't support the touchscreen. If it's successful as a kids' room device, it further argues for an AppleTV with gaming capability since that's exactly what a lot of folks do with AppleTVs.
Now, lets not compare 18th century science with what we have today. Now we understand the systems approach, the nature of life and DNA, we actually construct new plants and creatures routinely, and on and on.

To say "ancient man was arrogant; modern man is arrogant; we'll make the same mistakes" is silly.
I'm super-excited that this release includes the FOR KEY SHARE lock granularity (used by foreign keys) - this is a big win for web app developers - I've blogged about it here 3 years ago: http://mina.naguib.ca/blog/2010/11/22/postgresql-foreign-key...
It's not really a logical proof, it's completely masturbatory.

I can set a definition of money that all money belongs to me, and your money is money, and therefore your money is mine. That doesn't mean that all your money is my money.

Following a false premise through to its logical conclusion doesn't mean the premise is true.
I always thought that the percentage of "land-grab" companies was very small, and that most companies would need a better business plan than that. Wouldn't it be a warning to any potential VC that a company's intent was "we're going to get big and then we'll work out how to make money".
I agree with your points, however, the major differences is what each spends their 60 hour work weeks on.

The busy professional works on activities that has social prestige (even if it is a lot of useless meetings and e-mail) and ultimately, these activities build career capital which can be leveraged. Not to mention, they pay a lot more.

The working poor may also work 60 hour weeks, but their work does not carry social prestige, build career capital, or pay particularly well. Ultimately, their work can not really be leveraged into opportunities to focus on the big picture.

Again, I agree from a cognitive processing view that yes, both the working poor and the busy professional partake in activities that distract from higher value work, but the latter has much more opportunity to give himself breathing room to focus.

Good post!
pv is a great tool and one of the first things I install on new machines. I hate having no idea how long an operation is going to take. For example, loading a SQL dump

pv foo.sql | mysql
Amazing web chart library with great documentation
Phone verification - Basecamp help
I'm someone from an older generation (and I'm also a non-Aussie), so forgive me for asking:

What do you need to do at 1Gbps that you can't do at 25Mbps?
I would have killed Muhammad instead.
The bigger problem is that using cat destroys the file size information.
It's worse than that, he's mortgaged his children.
Application Performance Monitoring: A First Line of Defense Against Attacks
Gödel is so overrated. How is this actually science? "This work has been supported by the German Research Foundation under grant BE2501/9-1."
I am a Christian, and I think this argument (and more simple ones of the same general form -- notably St. Anselm's) are good examples of the limitations and abuses of logic; they are superficially attractive in isolation, but if you accept the basic form (and, particularly -- as pointed out Kant's critique of Anselm's argument, which is equally applicable to Godel's -- accept the erroneous idea that existence can be treated as a predicate) you can "prove" the existence of pretty much anything.
Do you have any more anecdotes like this? From him or from other people?
I like the original title Political Strategy Master Session in 6 Minutes better than this one, but so be it.

Deeply understanding prisoner's dilemma helps explain a lot of office politics. Why are people at software firms more willing to ruffle feathers than at insurance companies? Because their prisoners dilemma games are shorter. How do you make sure that someone doesn't reneg on a deal? Make sure they see the game is longer than just 1.

It's not the be-all end all of strategy, but it's very interesting.

Further reading on coopetition:

http://en.wikipedia.org/wiki/Coopetition

http://www.amazon.com/Co-Opetition-Adam-M-Brandenburger/dp/0...

I hate the word co-opetition, because it's a much deeper topic than "Why can't we all get along?" or "Why can't we manipulate each other into not competing?" That said, it's worth understanding.
This one is my favorite:

"Prevent non-key-field row updates from blocking foreign key checks (Álvaro Herrera, Noah Misch, Andres Freund, Alexander Shulgin, Marti Raudsepp, Alexander Shulgin)

This change improves concurrency and reduces the probability of deadlocks when updating tables involved in a foreign-key constraint. UPDATEs that do not change any columns referenced in a foreign key now take the new NO KEY UPDATE lock mode on the row, while foreign key checks use the new KEY SHARE lock mode, which does not conflict with NO KEY UPDATE. So there is no blocking unless a foreign-key column is changed."
Personally it seems faster to work with the rebate -i todo list than to search the log for a commit message retype it with "fixup,". And hope I got the message right.
This was paid for by tax-payer money? Wow Germany. Awesome.

I've only just begun studying Gödel's proof of incompleteness and so I'm not qualified in any way to verify this paper. However it seems to me, as a layman, to be a very large stretch and mostly a tongue-in-cheek exercise of various logic proof verification software.

Or possibly a troll. Hard to tell. :)
This would appear to be a more formal version of Thomas Aquinas' Argument from Gradation of Being, borrowing some elements of the Argument from Possibility and Necessity.

Logically proving the existence of God is a very old game. Modern atheists tend to ignore these proofs in favor of attacking superstition and the more obvious theological nonsense.

Which is a shame, because they can be refuted, with interesting consequences for one's worldview. The stance that most powerfully refutes any Ultimate argument for God (of which there are a few good ones) is, imho, Madhyamaka Buddhism, which holds that everything is empty because all phenomena dependently co-arise.
The JIT restriction is because the OS won't let you mark data pages as executable for security reasons (Safari, as a trusted app, is the only exception).

EDIT: changed wording for clarity
"The requested URL /ru/frontpage was not found on this server."
HMRC sees umbrella companies as potentially dodgy. Wikipedia has a good overview here: https://en.wikipedia.org/wiki/Umbrella_company

You don't just jump ships, you build your business on the side, then decrease the number of hours at your full time job.

Don't forget pension contributions.
Sorry to hear that...

We moved at least every 5yrs - my dad was in the military... I also don't have a hometown and went to plenty of different schools around the world. I don't have any of the negative feelings about moving or not having a real hometown... nor did I have any issues keeping friends long distance or otherwise. Just to give you some perspective... not everyone has the same experiences.
I enjoyed reading this article (and am excited to read future comments) because it resonates almost exactly with my current lifestyle and way of thinking.

This happened to me ~8 years ago. Solution was to spend 5k on a solo trip, all economy/hostel accommodations with a single backpack, walking around Europe (Poland, Budapest, Portugal) with a quick trip to Japan. Inner peace levels and happiness went up 10x what a 20k bonus ever provided me. It also helps to realize how small we are, how truly big an impact we can make by via technology, and that every single person you love, respect, run into will eventually die in some misery, with regret that brings tears to their eyes no matter how well they lived. So enjoy yourself, but don't take it too easy.

I'm a solutions engineer for tech startups which is generally very fun, challenging work, but tech really is like heroin (wasn't there a HN link about it?) and needs to be kept in-line.

If you anyone wants suggestions re. Europe travel, I'd be happy to share.
Just noting that a "Nitrous", available on Cydia for jailbroken iPads, enables Nitro (JIT compiler for Safari) on all browsers.
http://en.wikipedia.org/wiki/Ontological_argument

There are obvious (and not so obvious) problems with such an argument even when formalized, some of which are discussed on the Wikipedia page.
I Don't think that he does not want to pay – because his major part of the business depends on that application I created and manage for him.
So my ask is to use a tactic that makes him pay on time without creating bad impression for either of us.
Donation, Patron Services Help Fans Support Their Favorite Authors
That's not quite the same thing. The 4 colour theorem was proved by boiling it down to several thousand test cases and using a computer program to test those by colouring them. This paper is about using theorem provers to check axioms for consistency and proofs derived from those.
No, since they don't fall under CALEA. It's possible Google Voice specific stuff would need CALEA access, but I'm sure they handle that at a higher level in the application.

Google needs this kind of stuff not to defend against just NSA but also every other intelligence agency out there. For 0.1% of the IC's annual budget, I could give a third-tier country (Belgium? Nigeria?) about 5% of NSA's capability. That, IMO, is the true risk here.
Of course not. This is all based on circular logical fallacies.
Once again, the graphics folks get the coolest demos. Pretty impressive :)
Since you seem to have some insights on the topic -- the article points out that

> Lavinto and co say that when light enters a Tardis region, it is deflected sharply by the greater curvature there. That’s not what astronomers observe at all

Given that "light" is, I believe, our only way to observe the universe, how can one tell that it is not deflected?

I mean if for instance the heliosphere had some unknown refractive properties, how could we discover it since we only have light to determine the position of objects outside of the solar system?
The problem approaches a solution asymptotically: Once I bought my third tablet charger, it was, in practice, impossible to leave behind.
Basically because you need a DAC somewhere. If I want to put speakers around my house, I don't want to run a full receiver with HDMI and a DAC to do so. I want a small, low powered device I can plug into a small T-amp and some speakers. That's why the DAC has to bet there.
Answering myself:

"Yes, it's possible indeed. To use HDMI output on Raspberry Pi, instead of the analog jack just type (in SSH)
amixer cset numid=3 2
or
sudo amixer cset numid=3 2
(without a USB DAC plugged in )
"
http://www.raspyfi.com/forum/wish-list/hdmi-out-to-use-recei...

Bits are bits - plug the hdmi into your receiver and you are done. Not sure why there is such a focus on USB dacs on the site...
Re: What they've discovered is that shortages lead people to make poor decisions. That's because the brain can only process so much.

That's a real problem. Interestingly, I've experienced the opposite while working on several things in parallel - not having "enough time" forces you to make decisions instantly.
In that case, iOS 7 isn't flat either
General Assembly now offering classes in DC
The odds that you or your organization will do a better job of Dev Ops than Google are effectively zero. You'll leave some port open that you shouldn't, have an easily guessed password on a router, forget to update a kernel, you won't set up two-factor authentication...
Opera Launches Coast - A WebKit-Based iPad Browser
Telstra won't be sharing it, NBN Co. will be purchasing the copper network.

One of the benefits of having an NBN Co. is you don't have the retailer/wholesaler conflict of interest as we did with Telstra and as the UK did with BT

The solution in the UK was to mandate open access in regulation with BT OpenReach. The solution in Australia is NBN Co.
This is one version of the ontological proof, which has a long history. For an overview:

http://en.wikipedia.org/wiki/Ontological_argument
> If there's anything that need to be open source from day one, it's prosthesis.

My mom had her leg amputated 8 years ago, and seeing her go through the process of getting a prosthesis I couldn't agree more. Due to wear and tear, she has to get a new prosthesis approximately every 2 years. We're in the US, and with insurance it ends up costing $10,000. I'm unbelievably excited to see new and innovative approaches to tackle this problem.
I spent 2 years programming on a 13" Macbook Air while traveling...it was doable, but I'm definitely a lot more productive now with a pair of 27" monitors! (Still plugged into the MBA though.)
I believe that a "Formalization, Mechanization and Automation" of any logic proof would enter in the definition of science