Grad student pursuing a PhD in mathematics. Outside of math, I'm interested in cognitive science, ecology, permaculture, and political theory.
Interested in Conceptual Space Theory, NLP, analogy & metaphor, and cognitive/developmental robotics. Perhaps Category Theory can help me become a better AI engineer?
I have been looking at RedPRL quite a bit, and am very interesting in learning more about it. I was wondering if you had thought of domains or applications wherein the language might be useful, but is not currently be used. For example, if I were working to apply Category theory to some areas of biology, do you think the language would be particularly suited to computational models of this area? I guess I am wondering if there are things that can be expressed elegantly in the language, that are maybe not being done currently. Do you have any thoughts? I apologize if this may be too speculative of a question, but I am genuinely curious. Thank you.
Computer science Master student at the University of Zagreb, Croatia. I'm interested in understanding how intelligence works in the most universal way possible - which seems to be the language of category theory. I have plenty of experience with deep neural networks (see my github ) and now I'm attending the ACT course and getting solid foundations in CT.
I'm happy to talk about anything related to CT or machine learning - feel free to drop me a message!
Mathematician (with master thesis about Atiyah-Hirzebruch-sequences and Postinkov systems). Since then worked within IT projects for 20 years. Last 10 years as teacher at Universities for applied sciences mainly on economics mathematics. Now retired. Interested in System Dynamics, simulation and Causal Loop Diagrams (CLD) and Archetypes. I'm trying to understand CLD in a categorial manner.
I’m interested in expanding the intersection of functional programming and machine learning.
Changing the units is an isometry so it's pretty straight forward.
Introduction: Peter Goodall Hi Everyone, I'm a long-time developer and application architect. Spent several decades as a Smalltalk engineer, also did some serious Occam II, and some recent work on applications of Formal Concept Analysis. Have been enjoying the Sydney Type Theory Meetup for more than a year. Tinkering with Haskell, Idris, and Pharo Smalltalk. I'm likely to volunteer to build a import/export for SVG into Pharo's bloc vector graphics system.
Interested in practical applications of Category Theory - In particular I'd like to be able to understand, critique and apply Conal Elliot's "Compiling to Categories" http://conal.net/papers/compiling-to-categories/ - I have would liket to tray to apply it to my SVG I/O application.