o Rust for writing system code. o Haskell, for writing applications, and learning more about programming itself. o Idris really sounds interesting, but I’d tackle it only after Haskell. o Racket also sounds very interesting :)

Barcelona ?

Hi everyone!

Work (GSoC): Code emission and generation for almost all the rules of the JIT'ed firewall has been completed! The two commands left are the ones that modify the control flow of the firewall. These two are going to be harder. I might as well go and try to test the firewall at a different environment than my laptop, where FreeBSD-CURRENT(ish) just panics.

Non-work:

• I’ve been mostly reading when possible “Quantum computing since Democritus” which is a really really really interesting read.

• I’ve also been trying to choose a functional language to stick to (I’ve chosen Haskell). I’d like to work on a unikernel implementing something interesting as OSS (I’ve been thinking in Dark Internet Mail Environment), but all this sounds a little bit optimistic: there seems to be an eternal lack of time, I should organize my time better… (Maybe is time to finally move on and learn GTD, or something like that).

I’m working on a version of netmap-ipfw with a bulit-in JIT compiler (which uses LLVM’s libraries). So far, I managed to get it working with LLVM 3.5 (kind of old, but I had to port it from what was last year’s llvm-devel to today’s standards, without using too much time).

I’ve found a bug in netmap that makes packet filtering something impossible. It worked last summer with a low number of packets, but it seems everything falls apart now when trying to filter anything.

Since all the rules are executed by “calling” inlined functions in LLVM’s IR, there are some issues with any change in the control flow. That’s why I’ll also have to implement by hand with IR a pairs of commands (skipto, and call/return).

Just FTR, this is a Google Summer of Code for FreeBSD.

Research Gate is a good place.

Since you mentioned a slight interest in PL there’s this list curated by Pierce. Lots of fun papers in there :) Otherwise John Reynold’s papers on parametricity and separation logic are phenomenal.

The first thing that comes to my mind is Papers We Love: http://paperswelove.org/

I just wanted to say that this is really awesome.

I’m working on a JIT-compiled version of ipfw using netmap and LLVM on FreeBSD. I finished killing the bugs of the infrastructure (JIT-ed) code. I’m starting to test it on my laptop. So far…kernel panic! I want to check out what’s happening there.

Once I’m done with making it run for good, I’ll start with some the code generation (the bit corresponding to the actual actions executed for each rule, very simple, and easy to implement). When I have a little subset, I’ll start with some benchmarking. Hope to get to benchmark it this week.

I’m continuing the work on JIT compilation of the ipfw firewall for FreeBSD on netmap using LLVM (theoretically the work is aimed to work on FreeBSD, but it’ll be compatible with Linux as well).

I hope I get it to compile this week, and have some rules written.