91
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
New
The latest blog posts to take off on Hacker News. 1,895 posts.
92
93
Candy Japan 2015 Year in Review
2015 was a nerve-wrecking year for Candy Japan, with some dramatic ups and downs.
94
To predict the future 1/3 of you need to be crazy
In a rapidly changing world those who copy the past have doomed their future. When companies or agencies search for disruptive and innovative strategies they often assemble a panel of experts to ad…
95
Why I no longer use MVC frameworks
神の領域10作品まとめページに戻るはじめに総合まとめと称して、100作品とか50作品とかのまとめ記事を書いているが、作品が多すぎて選びきれない！候補10本くらいに絞ってくれ！という要望からこの記事を作成している人間は選択肢が多すぎると逆に選...
96
97
The Sad State of Personal Knowledgebases
A Personal Knowledgebase (PK) is any system that you use to store and retrieve general information. The key here is that the system should be capable of storing a large amount information on any number of topics and, ideally, provide some type of way to view relationships between the information.
98
99
A simple explanation of Chinese characters
This was originally posted as an answer to a Quora question about how long it takes Chinese kids to learn their “alphabet”. I’m editing it…
100
Craig Federighi talks to John Gruber about Swift
Craig Federighi: I always end up seeking back to figure out what part I missed where the podcast started, and then I realize it just starts.
101
A domain move disaster
Changing my valuable domain name was a cock-up of epic proportions.
102
103
My adventures in medical tourism
One of the things I like most about India is it's medical system. As an American, I've experienced both the Indian and US medical systems, and at this point I have a very strong preference for the Indian one. Somewhat surprisingly, the Indian medical system is based on free market …
104
Regression to the mean is the main reason ineffective treatments appear to work
Jump to follow-up “Statistical regression to the mean predicts that patients selected for abnormalcy will, on the average, tend to improve. We argue that most improvements attributed to the p…
105
How I wrote a self-hosting C compiler in 40 days
I wrote a self-hosting C compiler which I named 8cc in 40 days. This is a log when I was writing it from scratch by myself in 2012. The code and its history are available at GitHub .
106
107
Why 18th century books looked like smartphone screens (2014)
A weblog about politics, technology, and culture
108
109
110
111
112
113
Hi, I’m from the games industry. Governments, please stop us
This may not be popular, but its how I feel. First, some background and disclaimers. I run a small games company making games for the PC, strategy games with an up front payment. We don’t make ‘free to play’ games or have micro transactions. Also, I’m pretty much a capitalist. I am not a big fan of government…
114
Files Are Hard
I haven't used a desktop email client in years. None of them could handle the volume of email I get without at least occasionally corrupting my mailbox. Pine, Eudora, and outlook have all corrupted my inbox, forcing me to restore from backup. How is it that desktop mail clients are less reliable than gmail, even…
115
Why I decided not to enter the $100k global warming time-series challenge
Interesting applied project for your students , or as a warning for decisions under uncertainty / statistical significance. Real money on the line so the length of time and number of entries required to get a winner may be an interesting dataset after this is all done.
116
Stop using gzip
Everytime you download a tar.gz, Zod kills a kitten. Everytime you generate a tar.gz, well, let's keep this family-safe. In 2015, there s...
117
118
Philosophy of science books every computer scientist should read
When I tell my fellow computer scientists or software developers that I'm interested in philosophy of science, they first look a bit confused, then we have a really interesting discussion about it and then they ask me for some interesting books they could read about it. So, I thought I should turn my answer into a…
119
120