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…
I would also go to bat for Diaspora, single-handedly re-invigorated my interest in science fiction
knowledge base is buzzwordy. it's a very elaborate (and good!) note taking app.
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…
Julia's AD is compatible with control flow. They have their own issues, but Zygote + ChainRules actually work pretty well
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…
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…
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…
I would also go to bat for Diaspora, single-handedly re-invigorated my interest in science fiction
knowledge base is buzzwordy. it's a very elaborate (and good!) note taking app.
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…
Julia's AD is compatible with control flow. They have their own issues, but Zygote + ChainRules actually work pretty well
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…
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…