chombier

6 ms·

31.
by chombier 3y ago
So I guess this a way for Google to gather (more/fine-grain) data on paper skimming/research interest?
32.
by chombier 3y ago
Yes, you need to keep track of which is which (most likely using the type system) but you don't risk adding vectors to covectors without converting explicitly. Each of vectors/covectors is 3 dimensions, but there is no 6-dimension
33.
by chombier 3y ago
Off-topic, but this whole website is a gold mine. I just finished reading "Coordinate-Free Linear Algebra" and "Hamiltonian and Lagrangian Mechanics", making tensor products, Lie derivatives and Poisson brackets finally
34.
by chombier 3y ago
A somewhat simpler way of keeping track in the case of normals is to use row vectors for, well, covectors, which is what normals are anyways. What GA brings is the ability to express linear combinations of scalars, vectors, bi-vectors ... W
35.
by chombier 3y ago
I remember reading somewhere that the amount of caffeine in the cup is also proportional to the brewing time, therefore an espresso may not actually contain that much caffeine in the end (for the same initial amount of ground coffee, of cou
36.
by chombier 3y ago
For those interested, the ACM page for the paper has a good introductory video https://dl.acm.org/doi/abs/10.1145/3485513
37.
by chombier 3y ago
This article is about a technique "Copy-and-Patch" for just-in-time (JIT) compilation that is both fast to compile, produces reasonably efficient machine code, and is easier to maintain than writing assembly by hand. The section &
38.
by chombier 3y ago
Nope, sarcasm was pretty obvious from the "iceberg jumping at the boat" part.
39.
by chombier 3y ago
> I’ve used nonlocal 0 times ever. Same here, but I got bitten by weird scoping rules quite a few times. Separating variable definition from assignment (e.g. with 'let') would probably help a lot in this case.
40.
by chombier 3y ago
I would say Python won because IIRC it was meant to be a glue language between C libraries (something between C and bash) from the beginning. This made it fairly easy for anyone to provide Python bindings for existing C libraries, so users
41.
by chombier 3y ago
To compose generators I use `yield*` (or `yield from` in python) https://developer.mozilla.org/fr/docs/Web/JavaScript/Referen... * (note that last star is actually part of the link) The main drawback with
42.
by chombier 3y ago
When I need something lightweight I usually implement state machines using generators/coroutines when the language provides them, as they compose well and I find it easier to follow to control flow anyways.
43.
by chombier 3y ago
Here's the video of the talk: https://www.youtube.com/watch?v=yUtZwdGhxhw
44.
by chombier 3y ago
The method described looks similar to [0] which extends Euclidean spline curves to Lie groups using the exponential map (here the conversion from/to scaled-angle-axis) [0]: A general construction scheme for unit quaternion curves with
45.
by chombier 3y ago
This is my understanding as well. There a somewhat accessible introductory video I found useful [0]. The algebra makes it possible to encode sets, key/value associations and sequences to build a knowledge base, and the dot product prov
46.
by chombier 4y ago
Indeed, with lambdas you don't need to deal with locks outliving the underlying object (though I think std::unique_lock has the same issue with the underlying mutex?) The downside with lambdas is that you cannot lock across function bo
47.
by chombier 4y ago
Or you could give `MutexLocker` pointer semantics to access the underlying object only through the lock, which would probably be more idiomatic c++ anyways.
48.
by chombier 4y ago
To me, one of the best thing in Rust compared to C++ is that I no longer have to be super careful all the time to avoid common pitfalls, I just write stuff and fix compilation warnings/errors until the compiler is happy, and things mos
49.
by chombier 4y ago
Worth the read, thank you very much.
50.
by chombier 4y ago
> I am not sure what stops you from using a wrapper script (in Python, portable) and invoking it as a custom target Nothing, when applicable this works and we're doing it already, thank you. But it doesn't as soon as one needs
51.
by chombier 4y ago
> type inference This means muon can fairly easily implement user-defined functions without making the language Turing complete. If they did this I would happily (re)consider switching from CMake.
52.
by chombier 4y ago
Same story here: complex build scripts in CMake, horrible language but at least it has some form(s) of user-defined abstraction. Tried to look into Meson, bumped into this issue, and decided against it for the same reason. I kinda get the
53.
by chombier 4y ago
> This is a very funny question, "Why use Comic Sans?" So, all my talks use Comic Sans and I frequently see remarks like 'Simon Peyton-Jones, great talk about Haskell but why did he use Comic Sans?' but nobody's
54.
by chombier 4y ago
If anything, I would say that geometric algebra (with its vector division) confuses the group/torsor situation even more since they're both part of the same algebra.
55.
by chombier 4y ago
What does effect handling bring compared to building/evaluating an expression tree? Is it faster/terser/more easily extensible?
56.
by chombier 4y ago
What about ReScript? As far as I understand ReScript has a sound type system which would make it an even better foundation?
57.
by chombier 4y ago
If one thinks of vectors as the matrix of some linear map over the scalars (and similarly covectors as linear maps to the scalars), and assuming the usual composition order of maps then it seems there is no choice as to the column/row
58.
by chombier 4y ago
Thank you so much, watching that talk finally made it click for me as well!
59.
by chombier 4y ago
> but List operations cannot. They can, the effect modeled by the list monad is non-determinism.
60.
by chombier 4y ago
> Is Maybe/Option an effectful computation Yes, Maybe/Options are a way of encoding partial functions/exceptions. List is a way of encoding non-determinism.

More ›