Lynx Roundup, March 13th

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

Lynx Roundup, March 13th

    Resident Scientist Snkia works tirelessly towards robot utopia. These are his findings.

    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

    Matthew Alhonte's' avatar
    Center of the Universe
    Super villain 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.
    Matthew Alhonte's' avatar
    Center of the Universe @MattAlhonte

    Super villain 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.