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.

22h
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 Autobiographer
May
4
awarded Supporter
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
30
awarded Popular Question
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
Mar
25
accepted Typesetting molecular transition lines, like CO 5-4
Mar
22
comment Overfull hbox on a tiny equation?
Oh, this is very convenient. I will use this in order to correct the biggest problems first.
Mar
22
revised Typesetting molecular transition lines, like CO 5-4
Repaired broken link.
Mar
22
comment Typesetting molecular transition lines, like CO 5-4
@Johannes_B That would be nice, I would then be able to accept it. I fixed the dead link in my question.
Jan
9
awarded Nice Question
Dec
31
comment How can I make animations "snap" between transitions in Unity?
Thank you very much for pointing out the Debug mode! I had been fighting with the animation speed of some UI elements for a couple of days, now everything's fine.
1 2 3 4 5