Subversion
Written by: Lorna Jane Mitchell
Featured Refcardz: Top Refcardz:
  1. Git
  2. DNS
  3. Data Mining
  4. Spring Data
  5. Subversion
  1. Spring Data
  2. Subversion
  3. Spring Config.
  4. Spring Annotations
  5. Data Mining
150+ Refcardz Available · Get them all

Link Details

Previous | Next

Surprise Me!

Link 879285 thumbnail
User 225256 avatar

By mswatcher
via spin.atomicobject.com
Published: Nov 18 2012 / 22:49

Unifying Programming and Math – The Dependent Type Revolution
The way that programmers and mathematicians work seems to be very different. Programming is about making computers do something, whereas math is about describing things. Programming involves state that changes over time, whereas math deals with Platonic theorems that are always true, even if not proven yet.
Vote up
Vote down
  • 8
  • 0
  • 463
  • 670
SaveShareSend Tags: , ,

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (8)



Voters Against This Link (0)