Recent Activity
-
Welcome Aboard!October 2
-
-
Grad student pursuing a PhD in mathematics. Outside of math, I'm interested in cognitive science, ecology, permaculture, and political theory.
August 10 -
-
-
Alex Cui, Dimitris Re, Sandeep Narayanaswami, James Gien Wong, Harlan Woodring and Eric Easley joined.Welcome Aboard!July 24
-
Interested in Conceptual Space Theory, NLP, analogy & metaphor, and cognitive/developmental robotics. Perhaps Category Theory can help me become a better AI engineer?
July 19 -
Hi Robert,
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.
Best, Grant
July 18 -
-
Welcome Aboard!July 15
-
Simon Charlow, Sriram Bhat, Enrico Borba, Konstantinos Kokos, David Bruce Stockton and 5 others joined.Welcome Aboard!July 13
-
-
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!
June 23 -
-
-
-
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.
June 12 -
I’m interested in expanding the intersection of functional programming and machine learning.
June 10 -
Welcome Aboard!June 9
-
Hello - I studied Measure Theory, Stochastic Calculus and Information Theory 1985-1988 and mainly worked in financial risk management of derivatives businesses. I came across OCaml and heard about 'abstract nonsense' in about 2006 but didn't study it and am still often lost in terminology. However, Bartosz Milewski series of videos has been extremely helpful to get going. I appreciate John Baez's evangelism and his ability to link ideas from physics and other domains with interesting maths. Mike Stay's early posts demonstrating many concepts in Javascript (rather than Haskell) were also accessible. I'm interested in the Categorical point-of-view applied to convex optimisation (dual problems), time-series databases (immutable streams) and image processing (convolutional operators).
June 5 -
Welcome Aboard!June 4
-
-
Changing the units is an isometry so it's pretty straight forward.
May 27 -
-
-
Welcome Aboard!May 23
-
Welcome Aboard!May 17
-
Welcome Aboard!May 6
-
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.
--Cheers...
April 30 -