# Key Points from IRC Log (November 30, 2013)

• PCBmode, a Python-based PCB design tool using JSON, SVG, and Inkscape, was shared (https://bitbucket.org/boldport/pcbmode), though one user questioned whether the creator had researched existing open-source PCB tools.

• ProofPeer (http://www.proofpeer.net/), a version control system for theorem proving, was mentioned as a potentially useful tool for collaborative mathematical work.

• A discussion occurred about TellSpec, a spectrometer device that can analyze food ingredients and send the information to a smartphone app, with commentary on how this represents an improvement over traditional food frequency questionnaires.

• Users noted that Library Genesis (libgen.org) was down, with some concern expressed about the fate of their donation drive, and alternative links were shared (http://lib.freescienceengineering.org/).

• A drone navigation system using eye gestures was briefly mentioned, with a link to a Hacker News discussion (https://news.ycombinator.com/item?id=6826086).

• "Bananaphone," likely referring to a Tor-related privacy tool, was mentioned with a link to a Tor development mailing list (https://lists.torproject.org/pipermail/tor-dev/2013-November/005737.html).