/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

leanprover-community.github.io
| | pavpanchekha.com


4.8 parsecs

Travel
| |
| | bitshifter.github.io

[AI summary] The text discusses the development and performance of the Rust linear algebra library 'glam', which leverages SIMD for optimized computations. It compares 'glam' with other libraries like 'cgmath' and 'nalgebra', highlighting its efficiency, especially when using SIMD. The text also covers benchmarking tools like 'mathbench' and 'criterion', and the use of assembly inspection for performance analysis. The author plans to enhance 'glam' over time based on community feedback and explores future optimizations using crates like 'packed_simd'.
4.9 parsecs

Travel
| |
| | blog.burntsushi.net

I blog mostly about my own programming projects.
8.1 parsecs

Travel
| |
| | accu.org

What is C++ and why do people still use it? Bjarne Stroustrup provides a short note answering these questions.
33.6 parsecs

Travel
|