Viewing profile — QuackingTheQ

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 larg…

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 SG…

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 i…

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. Us…