Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Functional Physics and the Preservation of Society

Functional Physics and the Preservation of Society

This talk (from re:Clojure 2020) makes the case for why Clojure and Clojurescript might be the perfect tool to construct life support systems for our society's scientific discoveries.

I present the detective work I had go through while implementing "numerical methods" routines in Clojure (for taking integrals, derivatives, and finding zeros and minima of functions). People usually imagine that this sort of scientific computing has to be implemented in confusing, obfuscated black-box programs, preferably written in FORTRAN. This is NOT true, and that, in fact, writing these algorithms in functional, immutable style makes them much easier to understand, and easier to modify and experiment with.

This work is part of a larger effort to turn Gerald Sussman's "Structure and Interpretation of Classical Mechanics" into a world-class interactive textbook that runs in the browser via Clojurescript.

Cd378611a91eb7852ae19cd582de718a?s=128

Sam Ritchie

December 04, 2020
Tweet

Transcript

  1. Sam Ritchie (@sritchie) re:Clojure 2020 Functional Physics & the Preservation

    of Society
  2. The Trouble with Physics • All is not well in

    Scientific Communication! • Code for the Serialization of Ideas • Lisp as a Life Support System for Science
  3. None
  4. Hal Abelson, Structure and Interpretation of Computer Programs “Programs must

    be written for people to read, and only incidentally for machines to execute.”
  5. None
  6. None
  7. None
  8. None
  9. None
  10. SCMUtils refman.txt “We personally like Brent's algorithm for univariate minimization,

    as found on pages 79-80 of his book "Algorithms for Minimization Without "Derivatives". It is pretty reliable and pretty fast, but we cannot explain how it works.”
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. !!!

  24. None
  25. None
  26. None
  27. None
  28. Code as Communication

  29. ?

  30. None
  31. None
  32. None
  33. Dynamic Notebooks

  34. None
  35. Thanks! Sam Ritchie (@sritchie) re:Clojure 2020