Saying Lean "rules out many kinds of mathematics" and not giving a single example, sounds more sensationalist to me. I also don't see what's wrong with anonymous comments as long as they are constructive and people are…
I'm a beginner in proof assistents, can you give some examples of many kinds of math ruled out? And what is UIP?
> Why start calling things 2-vectors, when you could call them 2-forms and people would know what you were talking about? There is more to 2-forms. Also, to be precise, they are functions from a vector space to the…
I would argue that trying to describe our physical world and reality has only one "axiom" which is: your description has to be consistent with our observations of the world. Mathematics doesn't have this limitation so I…
I don't understand what "LEM is false" means. What are your starting assumptions that lead to the "LEM is false" conclusion? You can use/assume LEM in your system or not, most mathematicans assume LEM (without even…
I also think that this point should be emphasized more. It helped me a lot when I realized it. I also liked the abstract approach to vector spaces. Of course, a matrix is just one way to represent linear transformations…
Obviously "more powerful" doesn't imply the capability of solving the halting problem. What exactly do you want to say? You are not impressed with "differentiable programming"?
I don't have this impression. Can you explain?
I think you are wrong. Yes, better understanding of hardware implementation (cache sizes and latency, branch prediction and pipelines, specialized instructions) is important. But also in real life those asymptotic…
Do you have examples of languages which don't encourage you to use array of structures?
To clarify, I use "programmer" when speaking to very non-technical people, usually elderly. Many other languages have a similar word but it might have different connotations, for example, be less negative (pejorative).
What does the word "developer" mean to other people? If you want to keep it simple, why not "programmer"? Depending who I talk to, I use "programmer" or "software engineer" most often.
* "Engineering is the use of scientific principles to design and build machines, structures, and other items" * Mathematics isn't only about calculation and applied physics. When you write a simple algorithm and…
I think it's both about abstraction and compile time optimization. The point was that by default you can write code that uses higher level abstraction but compiles to the same code as an imperative-style loop. Most used…
Usually in Rust community zero cost means zero runtime cost. Obviously, there are many other costs you could define.
It seems the post is a response to SIGGRAPH 2019 course “Geometric Algebra for Computer Graphics” and not a stand-alone introduction to GA. Maybe the title suggests otherwise. That explains why there are no figures. I…
What is a modern passphrase? Or modern OpenSSH?
How do you enforce it?
I've just run it and it works! I didn't know about the macro.
I teach people that there are many ways to encode numbers into 0, 1 symbols (state of switches). One obvious way for natural numbers is base-2 (with more significant bits on the left). It get's more complicated with…
Didn't notice any price changes in Croatia. I pay ~15 EUR for unlimited calls, SMS, and mobile data (it's limited to 10 GB in roaming).
You should check if your unlimited plan applies to roaming. I have a unlimited data plan in Croatia, but in roaming it's limited to 10 GB.
There is of course fair use policy https://en.wikipedia.org/wiki/European_Union_roaming_regulat...
Which telcos and in which country? Everything seems fine here in Croatia.
No, calling foreign numbers costs the same in both your country and abroad. And it's usually more expensive on mobile networks, but that doesn't have anything to do with roaming.
Saying Lean "rules out many kinds of mathematics" and not giving a single example, sounds more sensationalist to me. I also don't see what's wrong with anonymous comments as long as they are constructive and people are…
I'm a beginner in proof assistents, can you give some examples of many kinds of math ruled out? And what is UIP?
> Why start calling things 2-vectors, when you could call them 2-forms and people would know what you were talking about? There is more to 2-forms. Also, to be precise, they are functions from a vector space to the…
I would argue that trying to describe our physical world and reality has only one "axiom" which is: your description has to be consistent with our observations of the world. Mathematics doesn't have this limitation so I…
I don't understand what "LEM is false" means. What are your starting assumptions that lead to the "LEM is false" conclusion? You can use/assume LEM in your system or not, most mathematicans assume LEM (without even…
I also think that this point should be emphasized more. It helped me a lot when I realized it. I also liked the abstract approach to vector spaces. Of course, a matrix is just one way to represent linear transformations…
Obviously "more powerful" doesn't imply the capability of solving the halting problem. What exactly do you want to say? You are not impressed with "differentiable programming"?
I don't have this impression. Can you explain?
I think you are wrong. Yes, better understanding of hardware implementation (cache sizes and latency, branch prediction and pipelines, specialized instructions) is important. But also in real life those asymptotic…
Do you have examples of languages which don't encourage you to use array of structures?
To clarify, I use "programmer" when speaking to very non-technical people, usually elderly. Many other languages have a similar word but it might have different connotations, for example, be less negative (pejorative).
What does the word "developer" mean to other people? If you want to keep it simple, why not "programmer"? Depending who I talk to, I use "programmer" or "software engineer" most often.
* "Engineering is the use of scientific principles to design and build machines, structures, and other items" * Mathematics isn't only about calculation and applied physics. When you write a simple algorithm and…
I think it's both about abstraction and compile time optimization. The point was that by default you can write code that uses higher level abstraction but compiles to the same code as an imperative-style loop. Most used…
Usually in Rust community zero cost means zero runtime cost. Obviously, there are many other costs you could define.
It seems the post is a response to SIGGRAPH 2019 course “Geometric Algebra for Computer Graphics” and not a stand-alone introduction to GA. Maybe the title suggests otherwise. That explains why there are no figures. I…
What is a modern passphrase? Or modern OpenSSH?
How do you enforce it?
I've just run it and it works! I didn't know about the macro.
I teach people that there are many ways to encode numbers into 0, 1 symbols (state of switches). One obvious way for natural numbers is base-2 (with more significant bits on the left). It get's more complicated with…
Didn't notice any price changes in Croatia. I pay ~15 EUR for unlimited calls, SMS, and mobile data (it's limited to 10 GB in roaming).
You should check if your unlimited plan applies to roaming. I have a unlimited data plan in Croatia, but in roaming it's limited to 10 GB.
There is of course fair use policy https://en.wikipedia.org/wiki/European_Union_roaming_regulat...
Which telcos and in which country? Everything seems fine here in Croatia.
No, calling foreign numbers costs the same in both your country and abroad. And it's usually more expensive on mobile networks, but that doesn't have anything to do with roaming.