211
Bitcoin transaction malleability: looking at the bytes
"Malleability" of Bitcoin transactions has recently become a major issue. This article looks at how transactions are modified, at the byte...
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 230 posts.
212
An alternative Haskell home page
The web site has since been through various iterations and changes, therefore I include some screenshots below for posterity (because my design is much more beautiful than what is now online ;-).
213
Arrakis: The Operating System Is the Control Plane
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, and Thomas Anderson, University of Washington; Timothy Roscoe, ETH Zürich
214
No more `grunt watch` – faster builds with the Broccoli asset pipeline
Broccoli is an asset pipeline for building JS+CSS apps running in the browser. Read about the architecture, and how it compares to other build tools.
215
A Story Of realloc (And Laziness)
A Story Of realloc (And Laziness) 05 April 2014 A Simple Macro It...
216
A shallow survey of formal methods for C code
Two interesting things in formally verified software happened recently. The big one was the release of SeL4 - a formally verified L4 microkernel. The second was much smaller, but closer to my usual scope: a paper which showed the correctness of sections of a couple of the assembly implementations of Curve25519.
217
Why I am switching to promises
I'm switching my node code from callbacks to promises. The reasons aren't merely aesthetical, they're rather practical:
218
How I Judge the Quality of Documentation
As a developer, you develop instincts for judging quality of code. One of my favorite interview questions is: When you look at a project’s code for the first time, what are the things you look for?...
219
220
Sacrificial Architecture
Sometimes it's a good thing to be writing code that you expect to throw away in a couple of years time.
221
Move Fast, Don't Break Your API
Amber on Rails
222
Edit: A Relaxing Mix of Vi and Acme
Disclaimer: This software is not ready. I am using it and it is stable but I still have to make it feel great , if you have suggestions I would be glad to take them. I wrote a list of work that I will attempt in the future.
223
224
Hermitage: Testing the “I” in ACID
tl;dr: I have created a test suite for comparing the transaction isolation levels in different databases. I did this as background research for my book . This post explains why.
225
Compiler Design in C
Compiler Design in C Download a copy! My book Compiler Design in C is now, unfortunately, out of print. You can download a complete copy, with the above button (pdf 19.1Mb OCR/Searchable—thanks to Marvin Hernández for adding the OCR). If you don’t want to print it out (the book is 984 pages long), you can…
226
Why I Left the .NET Framework
The .NET Framework was good. Really good. Until it wasn’t. Why did I leave .NET? In short, it constrained our ability to choose (which is a huge deal for
227
An upgrade to attoparsec, Haskell parsing library: more speed, more power
I’m pleased to introduce the third generation of my attoparsec parsing library. With a major change to its internals, it is both faster and more powerful than previous versions, while remaining backwards compatible. Comparing to C Let’s start with a speed comparison between the hand-written C code that powers…
228
Unicorn Unix Magic Tricks
This post is based on the talk of the same name I gave at the Arrrrcamp conference in Ghent, Belgium on October 2nd, 2014. You can find the slides here and the video recording here .
229
230
How Python 3 Should Have Worked (2012)
As a workaday Python developer, it’s hard to shake the feeling that the Python 2 to 3 transition isn’t working. I get occasional requests to make my libraries work in 3 but it’s far from clear how to and when I try to look it up I find all sorts of conflicting advice, none of which sounds very practical.