I found this guy in a random recommended on youtube[1], he is working on a great books curriculum type course that incorporates literature from cultures from the Middle-east, India, Far-east, etc. The complete reading list is in his homepage.
Pro tip: Alt+E takes you directly to the search bar, then you can press Tab for selecting the search engine. The best part is that you never use the mouse this way. You can also use ddg bangs, they contain every search-engine/site by pressing Alt-D if you remember the bang for the site.
• The book shows that a semantics is not a collection of abstract symbols on sheets of paper but formal text that can be checked and executed by the computer: Isabelle is also a programming environment and most of the definitions in the book are executable and can even be exported as programs in a number of (functional) programming languages. For a computer scientist, this is as concrete as it gets.
• Much of the book deals with concrete applications of semantics: compilers, type systems, program analysers.
• The predominant formalism in the book is operational semantics, the most concrete of the various forms of semantics.
I found these lecture notes by David Tong to be really good at a glance [1]. A free introductory physics book [2].
I don't have much physics stuff and I know almost nothing about it, I mostly focus on Math/CS, this is some stuff that I had bookmarked. Maybe someone else here can share some good Mechanics resources.
[1] https://www.alexanderarguelles.com/great-books/