skysight-inc/HackerNews huggingface dataset:
That anything can be induced from nature is a scientific assumption, and cannot be readily reconciled with logic. This is the "problem of induction".
In any case, even if you decide to accept induction (and therefore causality) as "axiomatic truths of nature", even then you cannot reconcile mathematical deduction with scientific induction. Worse: induction is a constant "working assumption", as laws of nature "induced" from observation have often been shown to be false, or at the very least inaccurate, making even axiomatic induction (if you prescribe to that notion) a theoretical, yet unattainable ideal. This holds regardless of whether or not we live in the matrix.

I don't quite get your distinction between "real" and "made-up" mathematics, but I think you're affirming the consequent by presupposing a "true math", and then arguing that some set of axioms is "false" simply because it is not your own. In particular, the concept of truth and falsehood are not induced from nature because they are properties of statements about nature. Therefore, your own claim about the only possible truth values is not any more "real", or even induced from observation, than any other.

[1]: http://en.wikipedia.org/wiki/Problem_of_induction
> Please occasionally read /newest so interesting stories that don't solicit upvotes can still get on the front page.

In theory this is good, but in practice it's hard. Here's a suggestion for how to make it easier in practice: redirect 1/3 of the visits from the start page to /newest. As a regular and medium-karma user, I would know why this happens, and I personally wouldn't mind it.
I believe there's a bunch of unreleased code to do with voting rings and other abuse protection.
I like the idea of adding a sample of new stories to the front. It would guarantee a number of extremely low quality submissions on the front though, which might affect the overall percieved quality of HN.

It also might be a problem if simply submitting to HN guarantees a decent number of pageviews.
yes, yes
That would be pretty awesome if they could do it. From what I understand of genetic modification the enzymes which are used to cap or splice the of DNA strands can be very expensive.

I'm guessing $15k is a fraction of the money they'll need and they are hoping to pick up a substantial amount more.
i would rather see they dump the crappy products that now dominates their catalog and amazon's.

the world does not need yet another 500 models of USB powered ventilators.
Good idea, a great and seemingly sensible competition to RemoteStorage. But it's not going anywhere unless the docs come in JSON-LD format too, and unless in that form the work is semantically expressive and sensible.
Object Partners - http://www.objectpartners.com/ - Minneapolis, MN / Omaha, NE (full time)

Object Partners, Inc is an IT consulting firm specializing in Enterprise application development services since 1996. Our success is based on a model of full-time employees and a strategic focus on the JEE technology stack including Groovy/Grails, and open source technologies - as well as iOS. Our consultants have, on average, 12+ years of experience in software development utilizing mature, repeatable development processes.

Our services include project outsourcing, co-development, staff augmentation, and technology and process mentoring. OPI helps companies of all sizes build and deploy applications that are scalable, reliable, and can be easily extended and maintained.

Grails Developer - https://www.smartrecruiters.com/ObjectPartnersInc/72810421-j...

Java Developer - https://www.smartrecruiters.com/ObjectPartnersInc/72810421-j...

Mobile Developer - https://www.smartrecruiters.com/ObjectPartnersInc/72810417-m...

Senior Java/Grails Developer (Omaha, NE) - https://www.smartrecruiters.com/ObjectPartnersInc/77393077-s...

Awesome Benefits

- Free Healthcare
- Profit sharing
- Paid OT
- PTO + sick time
- You work with the best
- Small company vibe
- Company lake home and condo

Send an email to ehren.seim@objectpartners.com if you are interested.
It actually works quite well if you pick the right font. Stroustrup uses it in The C++ Programming Language and it is easier to read.

You're just much more used to monospace.
Google buys Songza
I think sans-serifs are better for small body text because of the limited amount of available pixels, especially ones that are created with screens in mind and are specifically handhinted to facilitate clarity and crispness.

Serifs are generally more appealing to the eye, but with limited resolutions (say, to 150ppi) can be shown in their full glory only in bigger sizes, making them great for titles on websites. My favorites are slab-serifs (Rockwell and Chunk Five work nice) or transitional serifs (I like Playfair Display) for titles, and something like Open Sans or Helvetica Neue for body text. Looks great :)
Google Acquires Music Streaming Service Songza
Well, there was a definite rocker component to their actions, something possibly not compatible with the idea of programming idol. At least the number of times breaking keyboards was mentioned was quite high ;).
i think that still had the 8bit card. but i may be wrong. also, i never had U$20k to pay for it when it launched, so i never saw their marketing :)
Of Two Minds – A neuroscientist balances science and faith
This is my situation as well. I can't just decide to go take a nap, and when I do nap it's sort of spontaneous while I'm watching sports or reading a book. My wife on the other hand can pretty much just choose to go to sleep.
Thanks for the feedback on the Facebook login.

We don’t really want to use fake accounts, but we could have some admin account that has information that’s interesting and just be a “Spiral News” or “Spiral Events” account? Would that be something that you’d find interesting or is content most interesting if it comes from a user only?
I don't think there are any salaries here, but the DNA that codes for the enzymes can be synthesized de novo for way less than $1,000 so this should be enough money for a prototype. Bio is getting cheaper and easier to do all the tiem. Getting high levels of expression will take longer however and that will cost more!
We have seen a number of customers who improved their overall signup rates by adding OAuth as an option. The effect is even more pronounced on mobile and consumer web.

Most people do not log out of Facebook and Google on their devices, so they do not have to sign-in. They just click "Facebook" then "Approve." That's much easier than filling out your email and password -- particularly on a mobile device.
Yiftee - Menlo Park, CA

We're hiring AngularJS Developers! Learn more here:-
http://yiftee.com/YifteeJobDescFrontEndEngineer.pdf

We're a series A backed startup, disrupting the $110b gift card market. We are looking for a front end developer to join our engineering team.

This is a full time position located at the Yiftee headquarters in Menlo Park, CA, walking distance from the Caltrain station. Compensation includes stock and salary.
Two Letters, Two Hours: Inside Yo's first hackathon
Google Buys Songza
Well, how exactly does this prevent malware? Oh, that's right: by shutting down thousands of malware-serving DNS records. (And, btw, millions of legitimate records - but hey, that's just collateral damage; a thousand, a million, same thing, right?)

Using the same logic, let's just prevent malware altogether by blackholing all of the Internet traffic - problem solved!
On a full sized monitor, most titles go only about halfway across the screen. I think with a little tweaking, you could have two columns on the front page: One with the current front page code, one with the newest stories. You might have to have titles wrap for longer titles or make some other tweaks to make this work. But that might cut back on the need to ask folks to look at new stuff.

Generally speaking, if you can write the code, you can make the rules people have to follow (though it does require some deep thinking, data, etc at times). If you want to compel x behavior, then compel it. If you want to forbid y behavior, then deny the ability in some way where possible. Writing the code makes you "god" for your little world: You decide the local "physics". Deciding the local physics is going to generally get you better results than asking people to please do x or please don't do y.
I used to do the same thing and filter search results by prime for the shipping benefits. However since they've started using UPS Sure Post with hand off to the USPS I've been having nothing but trouble getting my packages. I'm just about done with Amazon Prime due to it.
Great point. To give you a look into the future: Version 1 helps you wake up, Version 2 will help you fall asleep too. Stay tuned.
Disclaimer: I work on dart2js.

Dart2js is not conformant. You could, maybe, twist the meaning of the spec this way, but it goes against the spirit of the sentence and the spec.

Tbh we never implemented a fully compliant dart2js backend. We have seen how slow the output is when some of our optimizations don't trigger (i.e. when we have bugs) and numbers are not correctly inferred.

Eventually we would like to give it a try, but there are much more important and useful issues we want to fix first.

In practice, numbers are a surprisingly small problem. Programmers have learned to look out for big numbers, and, while a nuisance, they are rarely the source for bugs.
I think its appropriate for somebody to figure out if a potential employer is likely to fire them because of personal donations or political beliefs.

Given what happened with Brendab Eich its clear some organisations are more activist and polticial than tech. The recent history of npm's founder (and those at Joyent) suggests he will discriminate if he doesn't like your politics.

So why bother wasting time and effort trying to interview and get a job at such a politically charged environment?
If you have ideas on how to improve the front page, a great thing to do is to send them to hn@ycombinator.com. Dan and Nick are super responsive, and you might be able to have a more productive conversation in email than on a thread.
Extensive discussion: https://news.ycombinator.com/item?id=7968833
If they're already logged into Facebook/Twitter, they don't have to type a single thing -- they just hit the "Accept" button and they're done.
Engineering Groupon - Dismantling the Monoliths
Internet Of Things Brings Harry Potter’s “Marauders Map” To Life
Now I really want to know the story behind the name 'monkey patching'
Your point that entry into the Apple ecosystem isn't that difficult would be correct when they first opened up the app store, which simplified how app development for phones was done. But today, they seem to have the most friction compared to joining other stores/platforms/ecosystems.

As for the Mac mini that you talked about, that's a far cry from the 27" iMac with the i5 that you originally described.
AppNeta - Boston, MA and Providence, RI

It's getting harder and harder for developers to deliver a consistent experience to their users. That's why we're working on making the internet faster for everyone. This isn't a job for just anyone — we're looking for people who are passionate about performance of all kinds. If you're passionate about technology, performance, and transforming how people write applications on the web, get in touch with us.

We're hiring, fueled by growth, for a number of positions:

* Python/JavaScript hackers to work on our D3-based visualization frontend

* Technical Product Manager (if you're a web dev who's looking to get into product, this is the role for you)

* UX/Design leader

More information: http://dev.appneta.com/jobs/

Or just shoot us a resume: devjobs@appneta.com
Even if money goes in, you can't be assured someone didn't just deposit it for the lolz, or if it was the perpetrators just moving their own coin around.
Time to regulate Big Data?
Timely since the Switzerland game just happened and Messi only got an assist. The Swiss goaltender was impressive, especially compared to the Argenine goalie who made a few bad fumbles that could have been goals with slightly different luck.
Songza is Joining Google
Google Acquires Songza
YC companies complain the most often because they trigger the voting ring when they ask their batchmates to votes them up :)
Of course, the alternative is just to submit something to HN and..... hope for the best? Sure, THAT sounds reasonable to a bunch of type-a founders.

I think it's reasonable that somebody promotes their HN post. The takeaway is just to be careful about how you share and how widely and with whom.

I made the front page last week (for a few hours) for a side project that I launched with a friend. Several up-votes shortly after we posted it got us to the bottom of the front page, and organic traffic took it from there.
FYI, you don't need to run go behind anything, the http server can handle thousands of requests per second. Of course you can if you want.
good ideas here and in the responses. we will consider.
I don't know what's "fair" or "unfair" in this context, but suggesting that Sam's comment is "disingenuous" is unproductive, because the voting ring detector isn't going anywhere. It's one of those things where most of us only see the occasional annoying side effect, but we don't notice the avalanche of crap that it's keeping off the front page.

You can probably safely assume that the decision to keep aggressively penalizing voting rings (and things that to the detector look like rings) is made and isn't changing.

With that in mind, read Sam's comment as "here's how not to get stung by the detector", not as an appeal to change your behavior for his sake. He's trying to help.
When I read the newest page I usually ignore the points. Most of the stories are 1-point or 2-point anyway. What I scan for is the comments. If the story is on newest and already has a few comments it's often worth reading in my experience.
I get the feeling most of these commenters who think the words "modern C++" indicate some kind of near insulation from writing security bugs are, in fact, writing security bugs.

They probably think they aren't, but by definition, we are not smart enough to immediately understand the bugs we write. Otherwise we wouldn't write them.

But hey, it's not like a programmer who overestimates his own skills is a new thing.
When you create an account and the username already exists, the website tells you that. How is this difficult for someone to do this instead of guessing the username on the login page? It's the same.
What I always found fascinating which is not addressed here, is how the visible light spectrum is a straight line with other "colors" at its ends, yet somehow our brains cut out that segment of the EM spectrum, and manage to bend it into a circle, so that color "wheels" make sense to us and flow nicely, when in fact red and violet are quite separate on the EM spectrum. It's our brains that play a little trick
People have very different workflows, it's very dangerous to assume that the way you use the site is the way everyone uses it. (Probably 90-95% of my article votes are from the comments page, and I never use the back button to return to the front page.)
Makes it rather hard to debug or avoid posting in a bad way.
I think at this point, they have a network large enough to kick off the newest page to the front page pretty quickly.
I prefer /newest. I'd rather see stuff unfiltered. Plus you can comment on stuff without 150 other comments. so it feels like your comments are heard.
my brain is blow by reading this, after years of not touching an iphone if not to see how my farm games are (not) doing or testing how something looks like in the browser.

Android has this solved in the platform level. Click share (whichever icon it has... sigh) and select your hearts desire sharing medium. even another app. in fact you can do - notes app -> share -> pgp app -> share -> email.

IOS sure is dead in the water.
the reason for it is specifically addressed in the article...

"But after some further consideration, we decided that it was a false risk, as the username reminder form already tells you if a username exists"
M.S. in C.S. with four years of professional software engineering experience. I'm looking to solve challenging problems at the intersection of data science, machine learning and HPC. While my academic research has been in biomedical imaging and neuroscience, I'm open to just about any problem domain except advertising. I'd love to work for a young company or startup with significant opportunities for creativity, responsibility and equity.

Location: Atlanta, prefer to relocate.

Remote: Yes, but prefer on-site.

Willing to relocate: Absolutely.

Technologies: I've worked with about everything from Java to PROLOG to PL/SQL, but my most recent projects have been C, CUDA and Matlab with MPI, OpenMP and HDF5.

Resume: Drop me an email.

Email: andrew.champion@gmail.com
Also announced today: Dart to get async/await syntax sugar to simplify async programming:

foo async => 42;

https://groups.google.com/a/dartlang.org/forum/#!msg/misc/xF...
Posting it here helps accumulating other people upvotes, which, presumably, Dan and Nick can see on their end. It also opens subject to a wider discussion, which is hardly a bad thing. Meta threads are pretty damn useful if you ask me.
Twitter: Introducing mobile app promotion
Yes it does. You take the good with the bad. You can always ask hn@ycombinator.com about your submission; if it gets a bunch of upvotes but winds up 30 pages down the site, that's a pretty good indicator that something happened.
The alignment I should fix. Thanks for catching that.
Not sure what you mean by breaking backward compatibility. It generates js. Does e.g. Clojurescript break backward compatibility with js?
Google buying Songza
Don't expect your past inapplicable experience and eagerness to mean anything to potential employers. Everyone who applies has eagerness, or at least claims to, and since your experience isn't really applicable, it's fairly meaningless.

I'd strongly recommend actually doing programming. If you can have some semblance of a portfolio to show people that you CAN program, that will help.

Look for non-profits in your area that need help and do some work for them. Do a personal project on the weekends, etc.
any thoughts on actually creating a discussion board/forum. because there are a fair many of those types of posts. (Show HN, questions etc.)But,there are a lot of news/off site type posts and they don't seem to go together.
Just a curiosity: the word Ronaldo appears 27 times in the article.

edit: Whoa, why the downvote? I'm justing pointing it out that is impossible to talk about Messi without talking about CR7 (and vice-versa).
Excellent idea. Except it's not. Another parallelism model with shared variables, so everyone can stuck on more locks, which is difficult enough already. You guys in Cray know that there are parallel computation models with message passing? Like Erlang or Scala?
RocketU
I agree, and I actually like the meta-threads, but I've had much more success talking to Dan privately than I have in trying to motivate changes with public comments. I think if you're really serious about a suggestion, mailing Dan is the right way to go.

If there's one consistent thing I've read from Dan in his tenure of publicly moderating the site, it's "please mail hn@ycombinator.com about this stuff". I'm just heading him off here. :)
15 pages... what's the tl;dr?
There is some logic of burying wallet.dat files in various places in your systems and monitoring them. If/when they go missing, you know you have a problem.

Possibly set-up a periodic cycling system that drives the intruder to move them now, before they get cycled and might lose their bounty forever.
http://goread.io
Hacking Liberty.co.uk
How I managed to elude Liberty's poor code.
Tinder is "casual sex: the app". Sexism is a very real and very serious problem in the IT world. But Tinder is not the most boringly neutral tech company you can find, especially in this particular sense.

It's good to keep the special-ness of this case in mind. For instance, sexism usually doesn't get this bad. On the other hand, an atmosphere that isn't as hostile as this can still be, well, bad.
If composability, avoiding mutation, and eliminating loops are the focus of what you want from a language, then Go is definitely not trying to solve your problems.

But maybe, rather than just carping, you should wait until you really understand why Go is trying to solve the problems that it is actually trying to solve. Because I don't think you do understand that yet.

Go is trying to solve the kinds of problems you run into when you have a multi-million-line code base that you have to maintain over two or three decades. At that scale, you get new problems - not just more of the same old programming-in-the-small problems.

I'll give you this much, though: Loops are easier to screw up than the grandparent seems to recognize.
Regulation doesn't spark anything. It snuffs thing out. Especially when it is touted as a solution to problem created by previous regulations.
Could be useful if triangulated with other information.

And it's always possible that whatever mailbox they dumped them in was in view of a video camera or perhaps their car passed video surveillance (or walked by). Or maybe used an ATM nearby. Or paid a toll. People slip up. For that matter what about all that stuff about embedding things in printers (micro traces or whatever they are called).

Otoh, I constantly get all sorts of scams from overseas wanting to charge me ridiculous amounts of money for trademark registries (approx. $2000 USD iirc) of zero value. They have been pretty consistent over the years and I'm guessing that even with the cost of foreign postage they are a net win for the perps. Otherwise I can't imagine they would keep sending them.
Just to nitpick, it's not `__subtract__` in Rust, it's `Sub::sub`.
Google acquires Songza
somewhat related, you could use collaborative filtering. I've blogged about my thoughts and experiments with it in the past: http://williamedwardscoder.tumblr.com/post/15581427232/self-...

You can show some random unrated stories at the very top of the list, and then stories sorted by collaborative filtering.

In my prototyping it worked super-well.
Hacker News predates reasonable web browsers on phones by a few years.
Austin TX, AcademicWorks, Senior Ruby Engineer / Systems Architect

We are looking for someone to help us scale, automate, and maintain our SaaS application that is used by some of the largest and most prestigious universities and foundations. We operate a heavily sharded environment and process millions of scholarship applications for our customers. If you love working on interesting problems while knowing that your work is actually helping students pay for school, we'd love to talk to you.

We are a close-knit, pragmatic group. We have fun solving hard problems by tackling them as a team, relying on open communication, and a consistent willingness to pitch in. As a member of our team, you will be given ownership over key projects and entrusted to lead them through to completion. The contributions you make will have a real impact, and will be recognized by both our customers and other team members.

Examples of the work you might do are:
* Writing and assisting with the design of new core features for both existing and new products;
* Optimizing application and system components for performance and reliability;
* Creating tools to automate the scaling of certain components of our AWS-backed infrastructure; and
* Instrumenting our application and systems to capture performance and business metrics.

Our technology stack includes:
* AWS EC2, Route53, S3, and ElastiCache
* Ruby/Rails
* Cassandra
* Elasticsearch
* Postgres
* Chef
* Redis

If these types of problems and technologies interest you, please contact us at careers@academicworks.com . Experience in one or more of the technologies mentioned is preferred. Passion (and a basic understanding of Linux) is required.
Email attachments today, browser 0-days tomorrow.
This seems like the best option to me.