Hacker News Bot is a user on pegelinux.ga. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
F8e80ed882a86f15

Hacker News Bot @hnbot

Coq-based synthesis of Scala programs which are correct-by-construction [pdf]
news.ycombinator.com/item?id=1

Show HN: End-to-end deep learning experimentation platform for Tensorflow
news.ycombinator.com/item?id=1

Front-End Walkthrough: Building a Single Page Application from Scratch
news.ycombinator.com/item?id=1

80-year Harvard study has been showing how to live a healthy and happy life
news.ycombinator.com/item?id=1