QuackingTheQ

9 ms·

1. 1.▲
   by QuackingTheQ 3y ago

   I'm not sure how far into Diaspora you made it, but the further you go the more mathematical or physics-based it gets. Computability/complexity theory show up later, there's a large portion of the book dedicated to an alterna
2. 2.▲
   by QuackingTheQ 3y ago

   I would also go to bat for Diaspora, single-handedly re-invigorated my interest in science fiction
3. 3.▲
   by QuackingTheQ 4y ago

   knowledge base is buzzwordy. it's a very elaborate (and good!) note taking app.
4. 4.▲
   by QuackingTheQ 4y ago

   A pet peeve of mine is that differentiable programming is co-opted almost entirely by deep learning + neural networks. The idea of differentiable programming is much bigger than SGD, and in fact neural networks are typically a simple progra
5. 5.▲
   by QuackingTheQ 4y ago

   Julia's AD is compatible with control flow. They have their own issues, but Zygote + ChainRules actually work pretty well
6. 6.▲
   by QuackingTheQ 4y ago

   It's possible to hack interface verification into place at test-time, but that has a couple of problems: 1. Running the whole testing framework to determine if you implemented an interface is a high overhead when you're developing
7. 7.▲
   by QuackingTheQ 4y ago

   I've spent a lot of time developing large computational codebases in Julia, and I think the most insidious of these issues is a product of no formal way of enforcing interfaces. Using one of the common packages to build a trait system