VirtualTam's bookmarks

1. Numbat - A statically typed programming language for scientific computations 2025-02-07

   tags: mathematics, physics, programming-language, programming/rust, science

   [ permalink ]
2. LEAN - Programming Language and Theorem Prover 2024-12-23

   tags: mathematics, programming-language, programming/functional-programming

   [ permalink ]

   • leanprover/lean4
   • About Lean
   • Lean FRO (Focus Research Organization)
   • The Lean FRO Year 2 Roadmap
   • Functional Programming in Lean
3. Leonhard Euler's letters to a German Princess 2024-11-22

   tags: history, language/french, mathematics, writing

   [ permalink ]
4. Blackboard bold - Writing bold symbols on a blackboard by doubling certain strokes 2024-10-23

   tags: mathematics, programming/latex, research, science, text, text/font

   [ permalink ]

   • Mathematics Meta Stack Exchange - Why do people use blackboard bold here and elsewhere in print?
   • LaTeX Stack Exchange - Looking for a blackboard bold (\mathbb) math font that is thicker than Latin Modern or Computer Modern
   • The LaTeX Font Catalogue - Fonts with math support
   • CTAN - bbold – Sans serif blackboard bold
   • CTAN - amsfonts – TeX fonts from the American Mathematical Society
5. Desmos - Graphing Calculator 2024-03-31

   tags: calculator, mathematics, mathematics/equation, plot, visualization

   [ permalink ]

   • Getting Started: Desmos Graphing Calculator
   • Desmos: A Definitive Guide on Graphing and Computing
   • Des-blog
   • /r/Desmos
   • /r/Desmos - Wiki
6. Supercharged LaTeX using Vim/Neovim, VimTeX, and snippets 2024-02-22

   tags: document/pdf, editor/neovim, editor/vim, mathematics, programming/latex

   [ permalink ]
7. xaos-project/XaoS: Real-time interactive fractal zoomer 2022-12-14

   tags: image, image/fractal, mathematics, programming/c++

   [ permalink ]

   • https://xaos-project.github.io/index.html
8. Burning Ship Fractal 2022-12-14

   tags: image, image/fractal, mathematics

   [ permalink ]

   • https://en.wikipedia.org/wiki/Burning_Ship_fractal
   • https://www.youtube.com/watch?v=CD9yNFmb2FE
   • https://news.ycombinator.com/item?id=12581569
   • https://news.ycombinator.com/item?id=32210140
9. Gonum - a set of packages designed to make writing numerical and scientific algorithms productive, performant, and scalable 2022-06-21

   tags: calculus, mathematics, programming/go

   [ permalink ]

   • https://github.com/gonum/gonum
10. Manim | Python framework for creating mathematical animations 2021-08-21

    tags: graphics/2d, graphics/3d, image, mathematics, programming/latex, programming/python, visualization

    [ permalink ]

    • https://github.com/ManimCommunity/manim
    • https://docs.manim.community/en/stable/examples.html
11. Linear Algebra | Mathematics | MIT OpenCourseWare 2020-03-12

    tags: course, linear-algebra, mathematics

    [ permalink ]

    • http://math.mit.edu/~gs/linearalgebra/
    • https://ocw.mit.edu/courses/mathematics/18-06sc-linear-algebra-fall-2011/
12. How I teach physics using open source tools | Opensource.com 2020-01-31

    tags: blender, calculus, document/pdf, krita, mathematics, physics, programming/latex, programming/latex/beamer, visualization/d3.js, visualization/matplotlib

    [ permalink ]

    • http://www2.pd.infn.it/~fontana/
13. Qalculate! - the ultimate desktop calculator 2020-01-31

    tags: calculator, calculus, mathematics, physics

    [ permalink ]
14. Maxima, a Computer Algebra System 2020-01-31

    tags: algebra, calculus, linear-algebra, mathematics, physics

    [ permalink ]

    • https://wxmaxima-developers.github.io/wxmaxima/
    • https://wxmaxima-developers.github.io/wxmaxima/help.html
    • https://github.com/wxMaxima-developers/wxmaxima
    • https://sourceforge.net/p/maxima/code/ci/master/tree/
15. Acme Klein Bottle 2019-12-30

    tags: bottle, mathematics, physics, shape

    [ permalink ]
16. Immersive Math - Immersive linear algebra 2019-03-31

    tags: linear-algebra, mathematics, matrix, visualization, web

    [ permalink ]
17. Introduction to Linear Algebra, 5th Edition 2019-03-30

    tags: linear-algebra, mathematics, matrix, programming

    [ permalink ]
18. The Julia Language 2019-03-30

    tags: mathematics, performance, programming-language, visualization

    [ permalink ]

    • https://docs.julialang.org/en/v1/index.html
    • https://julialang.org/blog/
    • https://julialang.org/blog/2012/02/why-we-created-julia
19. Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares 2019-03-30

    tags: julia, linear-algebra, mathematics, matrix, programming, programming/python

    [ permalink ]

    • http://vmls-book.stanford.edu/
    • http://nicholasdwork.com/teaching/si2016/session2/
20. The Coq Proof Assistant 2019-02-08

    tags: algorithm, logic, mathematics, proof, software

    [ permalink ]

    • https://github.com/coq/coq