Niriel

Groningen, Netherlands

niriel.wordpress.com

Age: 36

I can't find any game I like to play. Except Minecraft, I like that one. So I have to build my own game I guess. One day I'll finish it. Maybe.

2d
awarded Popular Question
Aug
23
awarded Yearling
Aug
23
awarded Autobiographer
Aug
18
answered Can Python optimize this simple variable call?
Aug
10
comment Does Python have a string contains method?
That's because there is a bajillion ways of creating a Product from atomic variables. You can stuff them in a tuple, a list (which are forms of Cartesian Products and come with an implied order), or they can be named properties of a class (no a priori order) or dictionary values, or they can be files in a directory, or whatever. Whenever you can uniquely identify (iter or getitem) something in a 'container' or 'context', you can see that 'container' as a sort of vector and define binary ops on it. en.wikipedia.org/wiki/…
Jul
13
awarded Enthusiast
Jun
4
awarded Notable Question
May
29
comment Real world applications of category theory
I know I am resuscitating a very old discussion. Still I am curious about how things went for this project of yours. I write a lot of Python code for work and fun, but my code is more and more 'functional' because I have learned of lot of mathematics lately. I am not trying to write a Python implementation of Haskell, but I am slowly building a library of arrows that feels nice to use. It's not very pythonic anymore, though. How did your transition do?
May
22
comment How to give floats/figures titles?
I found these two web pages very useful to produce the plots of my thesis with Matplotlib: wiki.scipy.org/Cookbook/Matplotlib/LaTeX_Examples and wiki.scipy.org/Cookbook/Matplotlib/UsingTex . However I would not do it again; instead I would let LaTeX produce the plots itself (see ticz package for instance). Advantages: (1) actually looks like LaTeX; (2) fix typos, resize and restyle without having to rerun your 4-years-old python code and (3) no need to deal with Matplotlib's maddening API and documentation.
May
20
awarded Supporter
May
18
awarded Autobiographer
May
8
awarded Critic
May
4
awarded Supporter
May
4
awarded Autobiographer
May
3
comment Difference between tuple and row matrix
(1) I found angle-brackets used to denote ordered pairs of objects (tuples?) and Bourbaki-style structures: $\textbf{Mycategory}=\langle X, A(X), \circ \rangle$. From wikipedia, using angles or parenthesis is a matter of taste, but maybe there is something more that I missed? (2) Are the comma-separated objects in sequent calculus (i.e. $A_1, A_2, \dots, A_n \vdash C_1, C_2, \ldots, C_m$) isomorphic to tuples as well?
Apr
23
awarded Famous Question
Apr
16
awarded Popular Question
Apr
6
comment What environment to use in writing formal deductions?
As @Guido's link seems broken (missing column?), I repost it here logicmatters.net/latex-for-logicians
Mar
29
awarded Student
Mar
29
revised 3D rotation by a complex angle around a complex axis.
added 525 characters in body
1 2 3 4 5