> Dunno, what do moths charge these days?
No idea. I moved recently, so I lost touch with the interesting ecosystem
of my previous flat.
> That aside, you mentioned a while back the possibility of re-doing polipo
> on top of a continuation / state / something framework. Did you go
> anywhere with that? Just curious...
Yes, CPC[1] is progressing pretty nicely. Gabriel Kerneis did an M.Sc. on
the subject (which he passed with flying colours, by the way), during which
he proved the correctness of the more tricky parts of the algorithm.
Gabriel spent some of his M.Sc. benchmarking CPC and Polipo, and it turns
out that CPC is fast, but not the fastest, and that Polipo is fast, but not
the fastest. I recomment the pretty figures in Gabriel's thesis[2].
Gabriel is now doing a Ph.D. on CPC. He has started by rewriting the
translator from scratch (which I take as a personal insult ;-), and his new
translator is almost complete. In a few months, we should have
a production-level compiler for CPC, at which point I intend to rewrite
Polipo.
Juliusz
[1] http://www.pps.jussieu.fr/~jch/software/cpc/
[3] http://www.pps.jussieu.fr/~kerneis/recherche/rapport-m2-kerneis.pdf
------------------------------------------------------------------------------
SF.Net email is Sponsored by MIX09, March 18-20, 2009 in Las Vegas, Nevada.
The future of the web can't happen without you. Join us at MIX09 to help
pave the way to the Next Web now. Learn more and register at
http://ad.doubleclick.net/clk;208669438;13503038;i?http://2009.visitmix.com/
_______________________________________________
Polipo-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/polipo-users
