1531
Gödel, Turing and Cantor: The Math
This is mathematical section of the parent essay Gödel Incompleteness for Startups Gödel Numbering A formal system is just a collection of axioms and rules. Just like we did before we can record ax…
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,129 posts.
1532
The trouble with timestamps
Some folks have asked whether Cassandra or Riak in last-write-wins mode are monotonically consistent, or whether they can guarantee read-your-writes, and so on. This is a fascinating question, and leads to all sorts of interesting properties about clocks and causality.
1533
1534
1535
Systemd: The Biggest Myths
Posts and writings by Lennart Poettering
1536
"TLDR" is unnecessary
If you summarize your idea in your first sentence, writing "TLDR" is superfluous. The English Language already has tools to summarize and communicate your thoughts. Leverage existing conventions, which are accepted by a larger population, and you will engage more users and succeed in communicating your idea. "TLDR"…
1537
1538
1539
Wysiwtfftwomg
I get the content in Word, copy into the various boxes in the CMS and then see how it looks. Normally I spot a few typos, or it doesn’t appear where I want it to, then I have to go back and find the article again – which isn’t so bad, it’s normally at the top. The real pain is when I have to add another link to that…
1540
1541
How blind people use Instagram [video]
Tommy Edison shows how he uses Instagram on the iPhone. So we’ll just take a picture of the crew. Why I’m holding the thing up to my face like I can look throug
1542
Distributed systems for fun and profit
git , Single page HTML , Kindle .mobi , PDF , .epub , HTML for printing , book cover .
1543
Build your own summary tool
After Yahoo! acquired Summly and Google acquired Wavii, there is no doubt that auto summarization technologies are a hot topic in the industry. So as a NLP freak, I decided to give a quick overvie…
1544
1545
Optimizing Nginx TLS Time To First Byte
TLS is not slow, it's unoptimized. A hands-on tour of optimizing nginx to deliver one-RTT Time To First Byte (TTFB) with TLS.
1546
1547
1548
1549
Fallback from CDN to local jQuery
There's a great website called http://whoownsmyavailability.com that serves as ...
1550
1551
1552
1553
What I've Been Thinking About
I’m starting to think about my next book, which will be about power and the Internet—from the perspective of security. My objective will be to describe current trends, explain where those trends are leading us, and discuss alternatives for avoiding that outcome. Many of my recent essays have touched on various facets…
1554
How Erlang does scheduling
In this, I describe why Erlang is different from most other language runtimes. I also describe why it often forgoes throughput for lower la...
1555
1556
1557
Node.js Stream Playground
This summer I had the opportunity to attend NodeConf and it was a fantastic experience. I really appreciated how every session was a hands-on coding session: I felt like I walked away knowing how to put a bunch of advice directly into practice.
1558
Licensing in a Post Copyright World
Some thoughts about the absolute madness that is currently going on with licensing in the Open Source community and how github’s license chooser is making it worse.
1559
1560
Clojure vs. Scala
Last week, someone posted a question on the Clojure group asking for a comparison between Clojure and Scala. Since my most popular blog pos...