Hacker News new | past | comments | ask | show | jobs | submit login

We're in the process of writing a specification (https://github.com/TokTok/spec) and new implementation in Haskell (https://github.com/TokTok/hs-toxcore). There is also a Rust implementation in the works (https://github.com/zetok/tox).

As for security risks and mitigations, I'd like to do that when we have a web presence with space for it. Right now, the web presence is fairly poor (http://toktok.github.io/). The specification contains some security risks and mitigations.

Rust seems reasonable, but why Haskell? Also why not improve current core while writing new implementation?

We are doing exactly that: we are improving the current core and at the same time modelling the behaviour in Haskell. The Haskell version does not do networking and only represents an executable model of the environment. We use that to test core functionality. See http://toktok.github.io/design/testing.

When I was thinking about contributing to Tox it was way too hard to find out its development is alive at all: https://www.reddit.com/r/projecttox/comments/4vmfhn/is_tox_d...

P.S. Now I see activity in new core repo,that's cool

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact