VirtualTam's bookmarks

1. Inigo Quilez - Computer graphics , methematics, shaders, fractals, demoscene

   2025-03-24
   graphics/2d graphics/3d graphics/voxel hardware/gpu image/texture mathematics

   Permalink
2. Numbat - A statically typed programming language for scientific computations

   2025-02-07
   mathematics physics programming-language programming/rust science

   Permalink
3. LEAN - Programming Language and Theorem Prover

   2024-12-23
   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
4. Leonhard Euler's letters to a German Princess

   2024-11-22
   history language/french mathematics writing

   Permalink
5. Blackboard bold - Writing bold symbols on a blackboard by doubling certain strokes

   2024-10-23
   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
6. Desmos - Graphing Calculator

   2024-03-31
   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
7. Supercharged LaTeX using Vim/Neovim, VimTeX, and snippets

   2024-02-22
   document/pdf editor/neovim editor/vim mathematics programming/latex

   Permalink
8. xaos-project/XaoS: Real-time interactive fractal zoomer

   2022-12-14
   image image/fractal mathematics programming/c++

   Permalink
   • https://xaos-project.github.io/index.html
9. Burning Ship Fractal

   2022-12-14
   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
10. Gonum - a set of packages designed to make writing numerical and scientific algorithms productive, performant, and scalable

    2022-06-21
    calculus mathematics programming/go

    Permalink
    • https://github.com/gonum/gonum
11. Manim | Python framework for creating mathematical animations

    2021-08-21
    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
12. Linear Algebra | Mathematics | MIT OpenCourseWare

    2020-03-12
    course linear-algebra mathematics

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

    2020-01-31
    blender calculus document/pdf krita mathematics physics programming/latex programming/latex/beamer visualization/d3.js visualization/matplotlib

    Permalink
    • http://www2.pd.infn.it/~fontana/
14. Qalculate! - the ultimate desktop calculator

    2020-01-31
    calculator calculus mathematics physics

    Permalink
15. Maxima, a Computer Algebra System

    2020-01-31
    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/
16. Acme Klein Bottle

    2019-12-30
    bottle mathematics physics shape

    Permalink
17. Immersive Math - Immersive linear algebra

    2019-03-31
    linear-algebra mathematics matrix visualization web

    Permalink
18. Introduction to Linear Algebra, 5th Edition

    2019-03-30
    linear-algebra mathematics matrix programming

    Permalink
19. The Julia Language

    2019-03-30
    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
20. Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares

    2019-03-30
    julia linear-algebra mathematics matrix programming programming/python

    Permalink
    • http://vmls-book.stanford.edu/
    • http://nicholasdwork.com/teaching/si2016/session2/