подъехала книга года

Mathlib is an online, evolving, collaborative project, aiming to be a foundation for all of modern pure mathematics. It is fully searchable, and here is its homepage. It is hosted on github, and it is all checked with the Lean Theorem Prover.

https://mathoverflow.net/questions/369863/online-evolving-collaborative-foundational-text-projects/370105#370105

https://leanprover-community.github.io/mathlib_docs/geometry/euclidean/basic.html#inner_product_geometry.angle заебись

Прекрасно. Номер билайновский, кстати

почему уравнение круга график не круглый?

и как найти пропорции по оси х и у (для координатной сетки) что бы получился круг?

потому, что там нарушен скейлинг у графиков? (орты не единичные)

т.е задача сама перескейлила?

и надо вернуть исходное положениe?

тебе надо определить, как перескейлить соотношение сторон, чтоб круги были круглыми

да

у нас таких задач не было никогда, кста, что это за предмет? алгебра?

да

а каким образом найти пропорцию?

> This text is about my adventure writing a small CLI application (twice) using two languages I had little experience with.

There is a large set of languages you can use to write CLI tools.

In this case, I wanted a language I had little or no prior experience with, I also wanted one that could easily compile to a native executable, which is a nice perk to have on a CLI tool.

My first obvious choice was Go, maybe because a lot of CLI tools I use are implemented using it. But I also had little experience with Rust, and I saw it could also be a good fit for this project.

So... why not both? Since my main objective here is to learn, could be a great opportunity to implement this project twice and find what are the pros and cons of each one from my point of view.

#go #rust

Personal opinion: Rust!

+