Presentation: I'm a mathematician moving towards data science topics, based in Chile. Some interests:
#geometry #datageometry #discretegeometry #materialscience
#hyperbolicneuralnetwork
#GraphNeuralNetwork #GNNs
#topology #TDA #metricspaces
#equivariantneuralnetwork #enns #convolutionalneuralnetwork #networkscience
#computationalchemistry #dft #pinns
#optimaltransport
#learningTheory #generalization
#expressivity
#marinescience #biodiversity #oceanscience
#phylogenetics
#geometry #datageometry #discretegeometry #materialscience #hyperbolicneuralnetwork #graphneuralnetwork #gnns #topology #tda #metricspaces #equivariantneuralnetwork #enns #convolutionalneuralnetwork #networkscience #computationalchemistry #dft #pinns #optimaltransport #learningtheory #generalization #expressivity #marinescience #biodiversity #oceanscience #phylogenetics
Just ordered an Exquis. Can’t wait to play with it !
#Music #Controller #expressivity #midicontroller #musicproduction #hardware
#hardware #musicproduction #midicontroller #expressivity #controller #music
#Haskell combinators for impure yet hygienic #CodeGeneration
"The goals of #expressivity, #composability and #StaticAssurances are in conflict, which so far has remained unresolved. This paper reports the first approach that simultaneously achieves these goals. We express #optimizations such as #LoopTiling, we change optimizations without rewriting the rest of the generator, and we assure the #WellFormedness, #WellTypedness as well as #WellScopedness of the generated code
http://okmij.org/ftp/tagless-final/TaglessStaged/
#WellScopedness #WellTypedness #WellFormedness #LoopTiling #optimizations #StaticAssurances #composability #expressivity #codegeneration #haskell