661
What is static program analysis?
The halting problem asks whether the execution of a specific program for a given input will terminate.
New
The latest blog posts to take off on Hacker News. 3,076 posts.
662
663
Yale scientists explain how ketamine vanquishes depression within hours
Ketamine may regenerate synaptic connections between brain cells damaged by stress and depression, according to new Yale-led research.
664
Clearing up some things about LinkedIn mobile’s move from Rails to node.js
There’s an article on highscalability that’s talking about the move from Rails to node.js (for completeness: its sister discussion on Hacker
665
666
667
668
The Most Revealing Job Interview Question
Not all SaaS referral programs are built the same. Learn how B2B SaaS, consumer SaaS, and partner programs each need a different approach, plus examples.
669
670
Do You Really Want to be Doing this When You're 50?
It's not about technology for its own sake. It's about being able to implement your ideas.
671
672
673
674
675
676
A Modern Space Cadet
I spend a lot of my time (easily over 8 hours a day) at a keyboard. As you might have guessed from my previous entries about Vim and Mutt I'm not averse to spending a few hours to improve an environment I'm going to be spending tens of thousands of hours in over the next few years, so it shouldn't be a shock that my…
677
Why Startups Die
Startups die due to a variety of causes. Over the course of the last three years, I've watched many of my friends pour their hearts and souls into companies that, for one reason or another, just fizzled out of existence. In 2007, Paul Graham gave a variety of causes for…
678
679
680
The Z3 theorem prover is now open source
Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.
681
Drupal's Golden Handcuffs
DRUPAL Bootstrap Upgrade: MIKE IT
682
683
Social Login Buttons Aren’t Worth It
Browse how-to articles on starting, running, and marketing your business, plus thought-provoking podcasts and films to inspire your inner entrepreneur.
684
685
The Story of the New Microsoft.com
Rainypixels is Nishant Kothary's personal web site — a 100% Cruelty-Free Petting Zoo for Pixels.
686
Understanding Postgres Performance
Update theres a more recent post that expands further on where to start optimizing specific queries, and of course if you want to dig into optimizing your infrastructure High Performance PostgreSQL is still a great read For many application developers their database is a black box. Data goes in, comes back out and in…
687
How To Build A Blog Readership
Discuss this post on Hacker News Despite the recent success of this blog over the past year (250,000 uniques, hundreds of new subscribers, republished in L
688
Seriously?
Business of Software has long stood as a unique conference for me: while nearly every tech conference I attend focuses on the technological side of delivering a solution, Business of Software focuses on actually delivering the goods . How do you reach people? How do you know you’ve reached people? How, if you’ve…
689
Rethinking caching in web apps
Having spent a lot of the last few years worrying about the scalability of data-heavy applications like Rapportive , I have started to get the feeling that maybe we have all been “doing it wrong”. Maybe what we consider to be “state of the art” application architecture is actually holding us back.
690
Myths about Hash Tables
A hash table is data structure that is used to search for exact matches to a search key. For searching, they work like this: Take a search key (example: the word “cat”) Hash the search …