Physics in Clojure - Colin Smith
ClojureTV2 HN recommenders · recommended in 2 months, 2019–2023
talk · intermediate · evergreen · 2019–2023 on HN
Colin Smith introduces Structure and Interpretation of Classical Mechanics and his Clojure port, sicmutils. He shows how higher-order functions and a symbolic algebra system can represent Lagrangian mechanics.
Recommended as the best introduction to SICM and sicmutils and a showcase of what such symbolic systems can do.
Up next
2 mo on HNYour Brain Hallucinates Your Conscious Reality | Anil Seth | TED
TED
2 HN recommender · 2017–2026
5 mo on HNgolden balls. the weirdest split or steal ever!
spinout3
5 HN recommender · 2012–2025
4 mo on HNSYMBOLICS S-PACKAGES 3D GRAPHICS AND ANIMATION DEMO
Red Martian
4 HN recommender · 2014–2026
5 mo on HNSymbolics Lisp Machine demo Jan 2013
Kalman Reti
5 HN recommender · 2014–2024
12 mo on HNWilliam Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
11 HN recommender · 2017–2026
18 mo on HNRuby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommender · 2013–2026
14 mo on HNThe Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
GOTO Conferences
16 HN recommender · 2019–2024
14 mo on HN"Simple Made Easy" - Rich Hickey (2011)
Strange Loop Conference
14 HN recommender · 2022–2026
13 mo on HN"Making Impossible States Impossible" by Richard Feldman
elm-conf
9 HN recommender · 2017–2026
11 mo on HNThe Value of Values with Rich Hickey
InfoQ
10 HN recommender · 2014–2023
12 mo on HNWhy Isn't Functional Programming the Norm? – Richard Feldman
Metosin
12 HN recommender · 2019–2025
11 mo on HNMaybe Not - Rich Hickey
ClojureTV
14 HN recommender · 2018–2025
3 comments from Hacker News
Computer Algebra is criminally underused - it has the potential to make math-heavy critical-path code a lot more clear, testable, observable and bug-free by design. I feel I need to mention "Structure and Interpretation of Classical Mechanics" by Wisdom and Sussman, and the accompanying "scmutils" library, which first implemented in Scheme many of the same features, although this Julia library seems to be more complete. There's also a great one-to-one port to Clojure by Colin Smith [2] in case you want to use it on a more production-friendly environment. The Strange Loop talk [3] is a good showcase of the power and simplicity of these kind of systems. [1] link [2] link [3] ▶ this video
Thanks, this is a nice port! I worked through SICM using sicmutils as a backup. The MIT Scheme version sometimes "locked up" on my solutions to exercises and sicmutils did not (the Foucault pendulum problem comes to mind). This video is an introduction to SICM and sicmutils: ▶ this video
> static typing helps everywhere I think "Structure and Interpretation of Classical Mechanics" is a good example of the kind of software a dynamically-typed Lisp is superior at, beyond the usual suspects like SQL, R, Python, etc. Here's an example of SICM in Clojure: link And a talk about it's implementation here: ▶ this video