Viewing profile — JoeCamel

I don't read it like that at all. Rust is mentioned only once. Nevertheless I do care if a tool I am considering to use is written in JavaScript, Rust or some esoteric language. It…

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 a…

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 fu…

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. Mathem…

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 math…

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 …

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 a…

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 e…

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 of…

* "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 y…

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…

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…

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 le…

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...