Back in the fall of 2011, we took a targeted look at Firefox responsiveness issues. We identified a number of short term projects that together could achieve significant responsiveness improvements in day-to-day Firefox usage.
Identity, Persistence, and the Ship of TheseusIdentity, Persistence, and the Ship of Theseus Heraclitus’s “river fragments” raise puzzles about identity and persistence: under what conditions does an object persist through time as one and the same object? If the world contains things which endure, and retain their identity in spite of un
Performance of Linux IP Aliased Network InterfacesTL;DR ‐ I put together a setup to measure the performance of IP aliasing in Linux. As the numbers at the bottom of the post describe, observed throughput increases as the number of aliases increase.
dotPeek 1.0 is ReleasedFree .NET decompiler and assembly browser from JetBrains is now officially live! Please download dotPeek 1.0 and enjoy high-standard decompilation with ReSharper-inspired navigation and search! Haven’t you downloaded dotPeek yet? Please do. Decompile with pleasure!
Is an open-source pacemaker safer than closed-source?Richard Stallman recently collapsed; he’s OK. But it did of course get attention in the programming world.
Spec#Publications The Spec# programming system: An overview. [PDF] Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte. In CASSIS 2004, LNCS vol. 3362, Springer, 2004.Describes the vision and architecture of the Spec# programming system. Boogie: A Modular Reusable Verifier for Object-Oriented Programs.
Why should I have written ZeroMQ in C, not C++ (part I)Just to be clear from the very beginning: This is not going to be a Torvalds-ish rant against C++ from the point of view of die-hard C programmer. I've been using C++ whole my professional career and it's still my language of choice when doing most projects.
C! - system oriented programmingThis is a first article, intended to be an introduction to to C!, more articles presenting syntax and inner parts of the compiler will follow.
Effective similarity search in PostgreSQLHello my dear friends. In “PostgreSQL most useful extensions” I showed a list of some useful extensions for PostgreSQL. Of course, that article didn’t cover all useful extensions (in my humble opinion) and some extensions I want to describe in separate articles.
Google GroupsThis Read-It-Later-list is just that, bookmarks of stuff I intend to read or have read. I do not necessarily agree with opinions or statements in the bookmarked articles.
This list is compiled from my Pocket list.