chombier

14 ms·

91.
by chombier 5y ago
It reminds me of a former colleague joking about NIRS being "one of the most complex ways to generate white noise" during an experiment :)
92.
by chombier 5y ago
A functor is two things: - a parametrized type, like for instance List: you can have lists of integers, floats, functions, or any other type - a way of mapping (in the sense of List.map) between instances of the parametrized type, given reg
93.
by chombier 5y ago
I've used "A General Construction Scheme for Unit Quaternion Curveswith Simple High Order Derivatives" in the past, and while not perfect it was generally good enough and fairly easy to implement. Basically it extends Hermite
94.
by chombier 6y ago
1. each case of the pattern matching is encoded by a lambda (the ones passed to "shape" in function "area") 2. each possible shape instance is a function that will accept these case lambdas, picking the one corresponding
95.
by chombier 6y ago
Looking at the replies the difference was not entirely clear to me, but the book has a nice explanation https://doc.rust-lang.org/stable/book/ch19-03-advanced-trait... > "The difference is that when using
96.
by chombier 6y ago
From the documentation of the Eigen library [0]: > If the quaternion is used to rotate several points (>1) then it is much more efficient to first convert it to a 3x3 Matrix. Comparison of the operation cost for n transformations: &gt
97.
by chombier 6y ago
Thanks!
98.
by chombier 6y ago
I agree with all of this, and to sibling reply as well. My point is that these advantages are seldom (if at all) discussed in most online introductions to GA I've read so far, yet to me they're the real selling points of GA.
99.
by chombier 6y ago
Yet another Geometric Algebra introduction claiming GA is better than quaternions, yet ending (section "Problem Solved" near the end) with the exact same formulas. Really I like GA and it sure brings a unified treatment for geomet
100.
by chombier 6y ago
Same here, I had to actually do it to check the keys :)
101.
by chombier 6y ago
For those wondering about the "breathing technique", figure 2 has a link to a movie.
102.
by chombier 6y ago
Thanks, that could explain why I was struggling so much to connect these two.
103.
by chombier 6y ago
Seven Sketches is a nice introductory read, giving examples of how CT may be used model practical problems and introducing concepts along the way. "Programming with Categories" [0] is probably the best resource to start, the cours
104.
by chombier 6y ago
About the stack/monoid structure, there was a nice talk by Conal Elliott recently describing how it can be used to implement a compiler [0]. He also mentions parallel computations at some point. [0] https://www.youtube.com&#
105.
by chombier 6y ago
I guess that when working with 3D orientation data, this could be useful?
106.
by chombier 6y ago
This is one example of a monad, probably not the most compelling if your language supports exceptions already (apart from having more explicit types). But there are many other examples that are useful in practice (IO, streams, parsers, li
107.
by chombier 6y ago
Monads are literally the simplest/smallest abstraction that makes all these examples compose nicely. It will be hard to come up with something clearer I think. What is so unsatisfactory about them?
108.
by chombier 6y ago
Exactly what I needed, thanks!
109.
by chombier 6y ago
nice work! you could probably speed the computation quite a lot by using a small deformation basis (e.g. using modal analysis) and optimize in this smaller space instead.
110.
by chombier 7y ago
Also, the swift ABI [1] should make it fairly easy to distribute compiled networks, right? [1] https://gankra.github.io/blah/swift-abi/
111.
by chombier 7y ago
If you don't box all your closures, functional programming in Rust gets tedious quite quickly. But if you do, I guess it's no longer that fast...
112.
by chombier 7y ago
A survey of geometric algebra and geometric calculus, A Macdonald - Advances in Applied Clifford Algebras, 2017 - Springer edit: link http://www.astro.umd.edu/~jph/GAandGC.pdf
113.
by chombier 7y ago
It is somewhat strange that all these articles/blogs claiming that Geometric Algebra is inherently superior to Quaternions spend so much time on how Quaternions are isomorphic to the even-subalgebra of GA3 (hence for all intents and pu
114.
by chombier 7y ago
Well of course, but arguably there's not much space between "monads-as-containers/burritos" and "monoids-in-the-category-of-endofunctors" presentations... If you know a better one in between I'm all ears :
115.
by chombier 7y ago
A monad is for composing computations with effects: let's say you have some function f:: a -> b returning some b, but now you need the computation to happen with some extra effect (throwing exception, changing state, futures, etc).
116.
by chombier 7y ago
You're right, my bad.
117.
by chombier 7y ago
He says that eigenvalues of A are the lambda_i(A), so it's pretty obvious that lambda_i(M_j) is the i-th eigen value of M_j. What might not be obvious is the ordering of the eigenvalues, which must be the same for the formula to make s
118.
by chombier 7y ago
Once you've seen this one, it's difficult not to rank it first :)
119.
by chombier 7y ago
A few years back I read Gallier's notes on matrix Lie groups, this was definitely the most accessible (yet complete) introduction to the subject I found.
120.
by chombier 7y ago
I completely agree: for pen/paper computations it is probably hard to beat. I was more referring to computer applications, where once you've coded data structures for point/lines/planes/etc you don't really car

More ›