Mauricio Fernandez

Conclusions about Wide Finder, C , OCaml, JoCaml, Erlang and friends


almost 11 years ago by Mauricio Fernandez on Eigenclass.
The Wide Finder project is coming to an end, as it quickly becomes a micro-optimization race. Unsurprisingly, the JoCaml solution is much faster than those...

Legitimate uses of micro-benchmarks: parameter passing and function call costs


almost 11 years ago by Mauricio Fernandez on Eigenclass.
So, everybody knows about the Fibonacci pissing contest by now. From the moment you mention two programming languages, this is likely to happen, and the...

rcov 0.8.1: compatibility with Ruby 1.8.6-p11[01], intentional testing with RSpec, etc.


almost 11 years ago by Mauricio Fernandez on Eigenclass.
Version 0.8.1 of the rcov code coverage tool for Ruby addresses the problems experienced by ruby 1.8.6-p11[01] (and in particular Leopard) users, and includes...

The mechanically verified Ruby 1.9 changelog


almost 11 years ago by Mauricio Fernandez on Eigenclass.
As you probably know, I have been maintaining a list of the differences between Ruby 1.8 and 1.9 for the last two years, summarizing over 50000 lines...

Efficient low-level VMs implemented in high-level (functional) languages


~9 years ago by Mauricio Fernandez on Eigenclass.
The 2006 edition of the ICFP programming contest, one of the most enjoyable to date, introduced the Universal Machine used by a fictional society to program...

Math typesetting with jsMath


over 9 years ago by Mauricio Fernandez on Eigenclass.
This entry uses jsMath to display mathematical expressions. Please go to the main site if some fail to render.I've added math typesetting...

Hash tables: separate chaining vs. double hashing


over 9 years ago by Mauricio Fernandez on Eigenclass.
This entry uses jsMath to display mathematical expressions. Please go to the main site if some fail to render.In my earlier finite map...

The lightest lightweight threads, Protothreads


over 10 years ago by Mauricio Fernandez on Eigenclass.
Last week, I used the Lwt cooperative lightweight thread library to implement a benchmark that measures context switch performance, determined that it...

gibak 0.3.0 (backup tool using Git): OSX support, extended attributes, bugfixes


over 10 years ago by Mauricio Fernandez on Eigenclass.
gibak is a backup tool based on git. Since gibak builds upon the infrastructure offered by Git, it shares its main strengths: speed: recovering your data...

Comparing lightweight threads


over 10 years ago by Mauricio Fernandez on Eigenclass.
The Computer Language Benchmarks Game includes a benchmark that measures context switch performance. The entries can be classified into three categories...