D4S Sunday Briefing #143

Issue #143

July 4, 2021


Book of the Week
introduction to automated reasoning

introduction to automated reasoning


Links of the Week
  1. 1. The House of Graphs [hog.grinvin.org]
  2. 2. A gentle introduction to automated reasoning [amazon.science]
  3. 3. Faster Python calculations with Numba [pythonspeed.com]
  4. 4. AI Overcomes Stumbling Block on Brain-Inspired Hardware [quantamagazine.org]
  5. 5. Static B-Trees [en.algorithmica.org]
  6. 6. Include diagrams in your Markdown files with Mermaid [github.blog]
  7. 7. The Unreasonableness of Math is Context Independence [bellmar.medium.com]
  8. 8. A deceptively simple plotting library for Streamlit [github.com/tvst]

Papers of the Week
Video of the Week

Kubernetes: The Documentary

Kubernetes: The Documentary

All our videos are also available in our YouTube playlist.


Enjoy the newsletter?

Forward it to a friend, or subscribe to get it straight to your inbox.

Subscribe Free
← Back to Newsletter

Subscribe to get our latest content by email.
    We won't send you spam. Unsubscribe at any time.