Lynx Roundup, March 13th 2018

Lynx Roundup, March 13th 2018

Cool guide to the proof-assistant Agda! Monte Carlo methods! Deep Learning style transfer!

Matthew Alhonte
Matthew Alhonte

https://plfa.github.io/

https://medium.com/ibm-watson-data-lab/art-ai-the-logic-behind-deep-learning-style-transfer-1f59f51441d1

https://www.reuters.com/investigates/special-report/usa-spying-raven/

https://phys.org/news/2019-01-metallic-wood-strength-titanium-density.html

https://towardsdatascience.com/back-to-the-metal-top-3-programming-language-to-develop-big-data-frameworks-in-2019-69a44a36a842

https://neurosciencenews.com/cognition-organoid-brain-10797/

https://pbpython.com/monte-carlo.html

Roundup

Matthew Alhonte

Supervillain in somebody's action hero movie. Experienced a radioactive freak accident at a young age which rendered him part-snake and strangely adept at Python.