# Key Points from #hplusroadmap IRC Discussion

• A discussion on bone remodeling revealed that pelvic bones change shape before and after menopause, indicating that significant bone remodeling continues to occur post-puberty.

• Participants shared a 200-terabyte mathematics proof (http://www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-1.19990), which was clarified as an exhaustive verification of colorings for numbers ≤7,825 that, through induction, proves the theorem for all numbers.

• Technical conversations about computational geometry explored clockwise/counterclockwise orientation of polygons and its relationship to determining convexity in geometric shapes.

• BRLCAD (a 3D modeling system) was discussed alongside methods for converting 3D geometry to G-code for manufacturing, with emphasis on ray-shooting techniques for interrogating 3D geometry.

• A novel approach to DNA synthesis was proposed, suggesting stencil templates with micro cutouts instead of microwells for inkjet DNA synthesizers, with debate about the practicality of centrifugation in this context.

• Participants contrasted DNA isolation methods, noting that while ultracentrifugation is impractical for at-home work, alcohol precipitation methods would be more accessible for low-cost applications.

• Google Brain's new TensorFlow paper (arXiv:1605.08695) was shared, discussing TensorFlow as a system for large-scale machine learning, with participants highlighting the advantages of data-flow based systems.

• The Keras library was recommended as a valuable abstraction layer on top of TensorFlow that makes it more accessible to developers.