151
New
The latest blog posts to take off on Hacker News. 744 posts.
152
153
154
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.
155
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 …
156
The Homely Mutt
Now that Sparrow is effectively dead many of its users will be looking for a new email client. If you're not afraid of the terminal you may want to give Mutt a try.
157
158
Things That Turbo Pascal is Smaller Than (2011)
It's not about technology for its own sake. It's about being able to implement your ideas.
159
Python 3.3.0 released
The official home of the Python Programming Language
160
161
Alligator Eggs
In 2007, I met Philip Wadler at a conference, who mentioned to me that he wanted to teach lambda calculus to his eight-year-old children.
162
163
Use Zsh
Zsh is the new hotness. Well newer and hotter than Bash anyway, since the first version of Bash was released in June 1989, while the young and peppy …
164
165
166
Why I think Rust is the "language of the future" for systems programming
This four-post series on Rust is intended to introduce you to the language, to teach you about Rust's cool language features, and to give a...
167
Bret Victor: Learnable Programming
Khan Academy recently launched an online environment for learning to program. It offers a set of tutorials based on the JavaScript and Processing languages, and features a "live coding" environment, where the program's output updates as the programmer types.
168
Go Bloviations
This post was written sixteen months ago, when fish briefly explored Go with the intention of writing a new command line shell. ( fish abandoned Go after discovering that terminal programming is what makes shells so horrible, and term programming is least horrible in C.)
169
170
Learning to Learn
I believe the key thing that has helped me to become successful and will continue to do so, is my ability to learn how to learn about a subject and self educate. When you take ownership for the learning process, you start putting knowledge into action.
171
Reading Other People's Code
I really enjoy reading other people’s code, it allows you see how others solve common problems, and sometimes even provide parables on what you shouldn’t do with yours. It also teaches the much needed skill of reading other people’s code. Now, ask yourself two questions: 1. how
172
Why I’m not leaving Python for Go
First of all, Go seems like a great language. It has an excellent tutorial which I joyfully went through and found: Go is Fast. Concurrent by design. Typed (important for JIT and IDE’s) but n…
173
World `countries` – database table for MySQL
So today, I was buzzing around and searching for a `countries` table script that I could use in MySQL database. As you can imagine, it wouldn’t make any sense to add all world countries into …
174
175
Vim Koans
These koans have been independently translated into Chinese (archived) , thanks to Wanzhang Sheng, and into Spanish (archived) , thanks to Daniel Campoverde Carrión.
176
Ruby’s magic underscore
I discovered today that Ruby treats underscores a little bit differently when it comes to variable names.
177
Parallelogram
Parallelogram is a demo running on the Commodore One extender board, which contains an Altera Cyclone III FPGA and an SDRAM chip. The logic design was made from scratch, including a homebrew CPU, FM synth and blitter with pixel shader support. The demo won the wild compo at Revision 2012 .
178
Storm's first birthday
Storm was open-sourced exactly one year ago today. It's been an action-packed year for Storm, to s...
179
180
