News for hackers. Stuff that matters.
Re:Show HN: I'm working on an open-source Gmail replacement by jlgaddis on Thursday November 07, 2013 @11:47AM (#6690426)
> starting with our clean protocol implementations (SMTP, POP, IMAP) and does not require external projects.

I'm curious of the reasoning behind your decision to reimplement SMTP instead of just using Postfix, for example. I run mail servers for an ISP (and myself) and take advantage of a lot of the "advanced" functionality that Postfix has acquired in the last 15 years.

Re:Show HN: I'm working on an open-source Gmail replacement by hbbio on Thursday November 07, 2013 @02:04PM (#6691629)
The initial goal of the project was to have a total control on the TCB (Trusted Computing Base) of a webmail for high security environments, in order to be able to pass certifications such as Common Criteria (EAL).

Our protocol implementations use a specific DSL, that generates Opa code which is strongly statically typed with high-level types such as variants/rows. Although we currently lack many features or optimizations, the approach is clean and much easier to certify.