JoeCamel

6 ms·

1.
by JoeCamel 6y ago
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 means a lot, not only for "safety" which is
2.
by JoeCamel 6y ago
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 n
3.
by JoeCamel 6y ago
I'm a beginner in proof assistents, can you give some examples of many kinds of math ruled out? And what is UIP?
4.
by JoeCamel 6y ago
> 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 scalar field (usually
5.
by JoeCamel 6y ago
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 don&#
6.
by JoeCamel 6y ago
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
7.
by JoeCamel 6y ago
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 and it can also repr
8.
by JoeCamel 6y ago
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"?
9.
by JoeCamel 6y ago
I don't have this impression. Can you explain?
10.
by JoeCamel 6y ago
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 complexities will often ha
11.
by JoeCamel 6y ago
Do you have examples of languages which don't encourage you to use array of structures?
12.
by JoeCamel 7y ago
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).
13.
by JoeCamel 7y ago
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.
14.
by JoeCamel 7y ago
* "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 convince you
15.
by JoeCamel 7y ago
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 languages or de
16.
by JoeCamel 7y ago
Usually in Rust community zero cost means zero runtime cost. Obviously, there are many other costs you could define.
17.
by JoeCamel 7y ago
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 have a basic knowledge
18.
by JoeCamel 7y ago
What is a modern passphrase? Or modern OpenSSH?
19.
by JoeCamel 7y ago
How do you enforce it?
20.
by JoeCamel 7y ago
I've just run it and it works! I didn't know about the macro.
21.
by JoeCamel 8y ago
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 negative numbers (t
22.
by JoeCamel 9y ago
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).
23.
by JoeCamel 9y ago
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.
24.
by JoeCamel 9y ago
There is of course fair use policy https://en.wikipedia.org/wiki/European_Union_roaming_regulat...
25.
by JoeCamel 9y ago
Which telcos and in which country? Everything seems fine here in Croatia.
26.
by JoeCamel 9y ago
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.
27.
by JoeCamel 10y ago
I loved this video https://www.youtube.com/watch?v=XFDM1ip5HdU "An exploration of infinite sums, from convergent to divergent, including a brief introduction to the 2-adic metric, all themed on that cycle between disco
28.
by JoeCamel 10y ago
They probably forgot to mention because all Fuji X-series mirrorless cameras are APS-C. There is also a rumor that Fuji will release medium format mirrorless cameras soon...
29.
by JoeCamel 10y ago
Why "JOIN foo USING (bar)" shouldn't be used?
30.
by JoeCamel 11y ago
What do you mean by "reflectDOM method"? Can you explain a little bit how will you deal with this? I've searched the repo but couldn't find anything regarding reflect. Thanks!

More ›