skysight-inc/HackerNews huggingface dataset:
Not sure if this post mentioned acquiring customers, but a hackathon can be a good sales channel.

Our last hackathon landed us a fortune 500 company as a customer. They were on the judging panel.

I think we were disqualified from winning due to adding new features to an existing app.
I'd be very interested to see an example of an embedded theorem proving system here. My understanding is that unless your language lives and breathes type theory you cannot embed a proof system.
The worst pizza I ever had was at a Datageeks meetup in Munich (absolutely great meetup, by the way; generally over-booked). It was covered in some kind of microwaved, poached chicken, drowned in gloopy curry-sauce-from a tube. I felt so sick and ashamed after the third slice.
"Headlight Restoration"?
"Door Knob Installation"?
"Power Washing"?
This is not only possible in Lisp, this is also possible in Prolog. In Prolog, Data is code. LISP can be viewed as a specialization of Prolog, where the data structure just lists. Prolog has more complex data structure compounds, where a list is nothing more but one type of said compound structure. One can write Prolog code to emit 6502 code or any code as well, and I suspect with as much ease as he did.

Here is a sample of code generation in Prolog for register machines,
https://github.com/segmond/PrologThingz/blob/master/clause_a...

An example for accumulator based machines which the 6502
https://github.com/segmond/PrologThingz/blob/master/clause_a...

The examples I posted is from an awesome Prolog book I read called "Clause and Effect"
C# still better than F#
Well, for what it's worth, I'm actually Australian, and our cities are very similar to those in the US. What I said holds as much for Perth or Sydney as it does for Paris and London. The key is that traffic congestion reduces average car speed to something roughly equivalent to what you do on a bike, ie 15-20km/hr...
Yes, and I don't know why I've been downvoted for it. Read this: http://www.paulgraham.com/submarine.html

Then this: https://www.google.com/webhp?sourceid=chrome-instant&ion=1&e...

Uber's PR agencies are Westbourne and FleishmanHillard: http://www.prweek.com/article/1295173/uber-bring-european-pr...
It was more of a genuine question than of a criticism. There are obvious advantages about having a public repository if one is distributing the source code. But there might be disadvantages too, even as little as the setup time. I should have made the question more explicit.
Thanks for wasting away the last 30 mins of my life (really it's fantastic, great job!).
Developer to Manager course on Pluralsight
I once went to a dinner party at someone's house where the toilet was just off the dining room. That was... awkward.
Theorem proving doesn't require immutability it anything like that—its requirements are far more severe. Your language must have at least some fragment which is the internal proof language of a complete and consistent type theory! This is why, for instance, these languages are always Turing incomplete.
As somebody from the Anglophone world, the only good after-hour team-building exercises involve lots of really good food and getting hammered.
Also tweets: https://twitter.com/ActuallyNPH/status/528251303794069504
author of Transit here. Velocity actually has a comparison over in its page (top right area) that makes velocity a good choice for animating multiple elements at once.
Not my game, just posted the link!
That's essentially what you get from monad transformers in Haskell.
Is it possible to set up a local server for tarsnap, or is the client only for usage with the tarsnap service? And since the client isn't open source (but is distributed as source code), would it be a license violation if someone reverse-engineered the protocol to write an open server component?

For cloud-based backups, my preference would be to backup locally first, then sync that to a cloud service, since restoring from a local box is faster than remote. It might be a fun project to create an intermediary server which the tarsnap client talks to, and have that server then forward everything to the cloud service.
Good article for dating about eye contact
Wouldn't you do the same if you had a time machine?
Creative Commons to pass one billion licensed works
Startupblink the Global Startup Ecosystem Map
Show HN: Tindddle – Tinder for Dribbble shots
A few lowballs of Jameson on ice combined with a heavy 3D shooter on the XBox is my meditation.
I'd imagine applications even with a low res, blurry display might include directional indicators and notification lights in the periphery of the users vision. This would only require a ring of a few LEDs round the edge of the device and would be more discreet than e.g. glass.
I'm assuming this is referring to the UI.
Focus on Profits Is Not Enough for a Great Business
Law ends the need for regulator logos on devices
Here's what Simcity 3D ought to look like! http://media.tumblr.com/tumblr_m1ouer157w1r3qp3f.jpg

(Found it http://www.darkroastedblend.com/2012/03/retro-future-gloriou... here and used it as a desktop wallpaper for ages!)
Ask HN: Any deals on learning this holiday?
Courses, books etc?
Say goodbye to (most of) those arcane symbols on your gadgets
That's an interesting question, I'll run an experiment when I get back from work and see how much it quotes me.
Maybe the process has change but when I worked to one of these "big corps" afew year ago (2013), our app (game) had to wait like everyone else.
.edu domains are still popular targets in Western Europe, and access to webservers in .gov and .edu TLDs is the most priced there.

The cause for this is the belief that Google gives more weight to content and backlinks from these TLDs.
It's nearly killing my whole computer. What are the requirements to run it?
> Clang support is only planned as compile target for Android and eventually iOS.

I know they plan to officially support only Android and iOS. However, even today I can use Clang to create Windows executables from the command line. Once the support for Clang will be included in VS, it is only a question of time until someone will swap the Clang from the Android NDK with a Clang compiled for Windows.
I'm generally agreed with you about the evils of excessive syntactic sugar, though I'm not sure about this particular case (I'd have to, like, go read the blog article or something...) The general problem is that the interface that is optimal for the experienced user (terse, lots of syntax) is not best for learning. All UIs (such as programming languages -- an interface to the machine) must determine where they fall on this particular continuum.

My personal beef is the use of the Latex extended character set to typeset Haskell code in papers. It has the awesome effect of making it impossible to type in and run code if you're not already familiar with Haskell. This greatly hampered my learning of FP.
Related, from two months ago

https://news.ycombinator.com/item?id=8349721
The developers, Laurent Thillet, blog is here:
http://3dflashlo.wordpress.com/

including other crazy stuff like this:
http://3dflashlo.wordpress.com/2014/02/17/png-to-script/
The only commercial tool I've heard people excitedly rave about is Veeam, which is specifically targeted at backing up VMs. The big feature draw of it is that it backs up the .vmdk image files directly, and incrementally. And you can spin up a VM directly from a backed up image without having to restore it first.
This is an excellent piece that goes into some detail:

https://leatherbarrowa.exposure.co/chernobyl
Could you expand on what aspect of deep linking requires Apple whitelisting?
I recently deleted my twitter account and I don't miss it a bit. Slowly getting there with Facebook but it's harder because I use Messenger a lot.
Isomorphic-hot-loader: Isomorphic React app with react-router and react-hot-loader
http://c2.com/wiki/history/FutureOfProgrammingLanguages/
Maybe you should just stop using the internet altogether if you are this worried about being "spied" on.
I think it is worth mentioning that DeaDBeeF is also one of the few players which has support for OPUS.
Security Breach Hits Banks in Virgin Islands
I don't see what the problem is, exactly. If you have a secure hash function taking some string into a point of elliptic curve E, multiplying said point by the cofactor is also a secure hash function into the relevant subgroup of E. See §6.1 of [1].

[1] https://eprint.iacr.org/2009/340
That is strange to hear for me. I also always thought that taxi's disliked short rides. However since they receive a fixed amount for all rides, it is actually a good deal for them since they are making more per mile on that small trip.
The costs of coal are externalized, and, historically, higher than nuclear --- not in the abstract, but in deaths per year. But practically nobody is afraid of coal.
Ask HN: An Online Incubator – What would be a good way to build one?
What would be a good way to build an Online Incubator enabling startups to be incubated Remotely?
And, if possible, see every video by Raymond Hettinger.
He is a great teacher.
Yes, people really do. If your workflow works for you then great, but it's a very unusual one.
PHP 7: Introducing a domain name validator and making the URL validator stricter
I think you overestimate how much email real people receive. Especially because a lot of people use separate business/work and personal emails.

My mum for instance will absolutely at least see, if not open and reply to, anything that hits her inbox.

These people also actively teach spam filters that they like the email you or I would consider spam. Think "Fwd: Re: Re: Fwd: Fwd: Re: Re: Look at this slideshow somebody made 10 years ago"

And the more I observe people, the more I see that every demographic out there religiously checks their email semi-regularly while everything on Facebook, Twitter and the like goes mostly ignored and/or filtered out so they can't see it. Email is the last bastion of "User actually sees your stuff". The only more reliable way of reaching people than email is sending them an SMS.

Anecdata: I run an email list with 50% average open rate.
That's like a proof by induction but skipping the induction step; how to get the k'th user to leave? The alternative should be free, easy to use, 100% control to start, imo.
A week of iOS bugs
How do you handle a scenario like this...

I have a Redmine install that I want to backup. It uses both a database and the file system. If I attach a file to an issue, the attachment is stored on the FS with a reference in the DB.

I don't know how Redmine deals with keeping the FS vs the DB consistent, but assume it uses some type of transaction across both when an attachment is added.

How do you back that up without possibly getting the FS and the DB out of sync. Ex: What if you snapshot the FS right after an attachment is written, but before the reference is added to the DB? The transaction in the app will succeed, but your backup is inconsistent compared to what the app expects.

How can you get a truly consistent backup without either a) stopping the app or b) integrating with the app to make sure you're not breaking assumptions needed for consistency?

Basically, almost every backup solution I've ever seen is crash consistent at best. How is yours different?
Fully agree. I always try to avoid them with some kind of excuse, but it doesn't work all the time.

I really hate that some top level managers try to come up with "lets be friends for a few hours" and forget about office politics.

I already have enough from those guys at the office. No need to expend my private life as well.
The Retina(tm) retina!
People have being working on things like this since the early nineties when there was sufficient point and click graphical power to make it sensible.

The issues is that now the code document is incredibly fragile. It can only be viewed, edited and manipulated with the one particular tool suite.

Raw text files suck but have amazing interoparability.
There's always the option of not taking the hackathons that seriously. The one I did some stuff for I popped in in the morning, found out what it was about, went home a wrote some code for about 6 hours and then popped back the next day to present. My team mates were non coders. We didn't do to bad though not in the top 10%. It was quite fun though. I'm noticeably over 39.5 and think I'll skip the all night there stuff.
Doesn't work on Safari on Yosemite, as Apple seems to have fixed/broken their JPEG decoder, usually can't display glitched images.

I had a similar problem in an app I'm working on and I had to use libjpeg for the decoding, not sure if there are ways to handle it in JS...

PS. but it's a cool idea :)
You don't have to focus on a screen that's that close to your eye. The pixels are so small and so close to your eye that the light doesn't disperse much before it hits your retina. That means the dots of light will seem to be in focus no matter how you focus your eyes.
Cyber Monday: the most pointless marketing holiday of the year
OS X still has a great basis for interprocess communication via NeXTSTEP's PDO: http://en.wikipedia.org/wiki/Portable_Distributed_Objects it's existed for over 20 years now and is IMO unjustly ignored in spite of its simple implementation and low-overhead.
Well, once we have fusion we'll certainly discover taht it isn't completely safe.

That's because nothing on the scale we need is safe.
Material Design Preloader
Yeah, some people do. I ignore a lot of them but I always read through the newsletter from my tea store. It's like tea porn and even though I order infrequently I like seeing the pictures.
Paying for FB ads probably makes sense for Nike, Coke, etc. but I live in an area with a little smaller population. Local businesses I like subsist off a core of maybe a couple hundred customers max. My local family-owned wood-fired pizza shop and a new wine bar in the area are struggling little places where one or two sales makes the difference between profit and loss for the day. A FB message posting a promotion or tasting opportunity because the day is slow may make them a few bucks more, but it often does not. When they ask me about advertising, FB is probably not the right solution for them, ROI speaking.
Random feedback weights support learning in deep neural networks
pretty nice! The exit button doesn't work for me though.
This looks more like flame war starter, than post with any essential argumentation. tl;dr - "I've tried to write C# code in F# and I think that writing it in C# is better."
This is beautiful, thank you for posting.
This whole language of the future concept is just mistaken. The era of being able to choose a language, for most operations, is over. That's because the future will be (already somewhat is) the disappearance of PCs, the minimization of overt gadgets, and the rise of ubiquitous, invisible, small, smart, with no user serviceable parts. And in most cases with no option on programming languages. Embedded? You'll probably have a choice of C, C++ and maybe Rust. Android? Java. Apple? ObjC. You don't like the tools? Suck it up, there's too much momentum to re-invent the wheel even if you think square is a terrible shape. They already laid the roads in inverted catenaries.
How an Android Wear Appstore Fits on a Smartwatch
Of course it is. AFAIRF Valgrind works by replacing malloc() and free() that way.
Frankly the musicians should be creating events and inviting you to them. That's how my friends do it and I always see them.
I've been struggling with this myself in various cases. The conclusion I've come down to, is that the app has to take some responsibility to provide for consistent backups, either via checkpoints / write barriers, or via a quiesce command that can finalize in-flight transactions, and pause / buffer operations long enough for a volume snapshot to take place. The other thing I've seen apps do is provide a data export functionality, so you end up backing up the export file not the live data. But that requires extra time and disk space. Another option is to run the app in a VM, and do a live VM snapshot which includes the running state of the VM.

Bottom line is if you can't live backup your app, file a bug report with the app vendor. Although it would be really nice if there were standards in this area, so that a backup tool would just need to call one operation to put all supported apps into a hot-backup mode.
Which python?
her, but anyway.
YouTube has redirect loop on one user
Ruby 2.2.0-preview2 Released
> F#'s pattern matching for example would be put to good use in log analysis.

No, it would not. It was not intended for text analysis. Even regexps would be
better at this than pattern matching.

> I like the ability of C# to define arbitrarily complex cyclic data structures with clean code.

It's difficult to be concise when one writes C# in F#. It's like in the old
saying that "good programmer can write in Fortran in any language".

The author apparently didn't grasp what functional programming is about.
The List of WordPress Plugins Lists
One wonders if I have a large quantity of ad bucks to spend, and I'm willing to sign a NDA, if I could "target users who have installed X, Y, and Z competitors' apps?" (ditto for FB)
She, but anyway.
Introducing Spider 0.1
Sony E-ink Watch to Make Low–Power Screens the Next Big Thing in Fashion Fabric
The worker code is interesting. Looks like a single observer that watches everything and dispatches to methods on a global state object. One would expect one observer per subject. Is there some implementation detail in web workers that makes this design more efficient than registering an observer per event?
When large crowds assemble, is there a way to keep them safe? (2011)
Micromax YU grabs exclusive rights to Cyanogen OS device support in India
This is nothing new. I learned more than 20 years ago that it is less pain to just use the languages that are part of the OS vendor SDK than spending development time writing yet another FFI wrapper.

This is how C got where it is now, as the language got adopted by OS vendors outside the UNIX world.
Black Friday – Free promo codes for apps
> Yellow taxis in New York also face competition from new green “boro taxis,” which may pick up fares only in the boroughs outside Manhattan and in northern Manhattan. That program has been in the works for three years, including during a period when medallion prices were still rising. The vast majority of yellow cab pickups occur in Manhattan below 110th Street or at airports, where yellow cabs face competition from Uber but not from green cabs. Still, the green cab program has faced strong opposition from yellow cab medallion owners, and the start of falling medallion prices coincides with a June 2013 court ruling upholding the green cab program.

Did anybody read this? My understanding is that green taxi medallions started selling at around $5,000 when they were introduced, and green taxis are now fairly common in the outer boroughs. You also see them quite a bit in lower Manhattan as well (dropping off fares).

Also, did anybody look at that chart? Prices haven't been stable for the entire time span that the chart covers, and the current price isn't even the min for the data set.

Uber's been operating in New York since well before 2013. It just so happens that the (three month as indicated by the chart, mind you) decline coincided with a court decision that upheld a city policy that would put more cabs on the streets in areas of the city that are booming right now.

On top of that, I wonder if there are any other macroeconomic trends that might be affecting medallion prices and ridership overall. Mind you, if total taxi-like revenue for the last given period is R = T + U, where U is Uber's share of the revenue and T is the rest, and the next period's revenue is R' < R, then it's completely consistent to have T' < T and U' > U. In other words, total taxi-like revenue can be on the decline even as Uber's revenues are increasing. This could be because the Uber service is cheaper, or because people are overall using taxis less. Who knows if this is actually happening? I don't. But it'd be interesting to see the question raised and pursued, even to be quickly dismissed by some obvious fact.

Don't mistake this article for economic analysis. It's a puff piece.
Designcode.io (80% off) - https://designcode.io/
Bitfountain iOS Bundle (97% off) - http://bitfountain.io/course/iosbundle/?couponCode=blackfrid...

I don't have any experience with Bitfountain, but Designcode.io is a great course for designers looking to get into actually building their ideas.
Two years ago. http://infotrope.net/2012/10/29/no-i-still-dont-want-to-work...
It's for better ad targeting http://blogs.wsj.com/cmo/2014/11/26/twitter-is-tracking-user...
"If the Constitution did not permit the current situation, then it did not prevent it. Thus it has failed."

This will be the justification used to dismantle the idea of American national sovereignty then. I see your point and am trying very hard to understand, but I always understood that the constitution was something that needed protection, hence the various oaths of office, not that the constitution was expected to simply stand on it's own structure.

It was designed such that the various branches of power would cancel each other out. The bankers realized they could buy all the branches, including the fourth estate, and I think it is the people who are sworn to defend the constitution who have failed, not the constitution itself.

Your outlook scares me that it may be more widespread than I previously realized.
Firefox is the only application that regularly crashes (due to running out of memory) on my system. I could increase memory limits and it'll end up causing so much swapping I wish it had just crashed.
BestBuy.com is down
https://www.udemy.com/courses?pmKey=bfriday14
It's time to say Thank You
Preferably a WebGL capable browser and video card, otherwise Three.js could potentially switch to HTML5 canvas.
Why does the signal handler have to interrupt a thread? Why doesn't the OS just create a new thread to run the signal handler in? This would avoid this whole reentrancy problem and make the concurrency explicit.
Thanks for the headache, it was worth it - cool project! What's your stack?
Well, considering the c2 entry spoke of a dynamically typed language as base, the authors probably meant something more along the lines of SOURL: http://soft.vub.ac.be/SOUL/
If you conducted brain surgery on the guy next to you routinely then it makes it routine. Even if it's a really silly thing to do.
The first thing asked by the "private" way is to log in with facebook.. well yeah thanks wont buy
I've found myself doing this for most social networking on my phone. I only wish to give most of these apps a subset of the permissions and data they seek, and I honestly don't want to be bothered rooting and installing one of those permission gatekeeper apps, so I just use the mobile site. My Nexus 5 is sufficiently fast, and I have unlimited unthrottled data anyway, so why not?
502 Bad Gateway

http://downforeveryoneorjustme.com/browser.yandex.com/future...

Cached: http://webcache.googleusercontent.com/search?q=cache:https:/...

Edit: back online after 5 minutes
Good find!

I knew the name/logo sounded familiar.
So yeah, definitely some kind of fake.
iHasApp: detect installed apps on a user's device
Nice lab, guys. Love the bondage. We should work together sometime. :)

Level 3 wouldn't be a problem, that's tamper evident really. Nothing is tamper-proof for an attacker with physical access, resources and time. You're looking at Level 4 for even any kind of real serious roadblock, but even then...