« first day (2570 days earlier)      last day (2670 days later) » 

Martin Sleziak
Martin Sleziak
10:58
Diagram with AMSCD:
$$\begin{CD}
K(X) @>{ch}>> H(X;\mathbb Q);\\
@VVV @VVV \\
K(Y) @>{ch}>> H(Y;\mathbb Q);
\end{CD}$$
Do I need to include \require{AMScd}?
$$\require{AMScd}
\begin{CD}
K(X) @>{ch}>> H(X;\mathbb Q);\\
@VVV @VVV \\
K(Y) @>{ch}>> H(Y;\mathbb Q);
\end{CD}$$
Ok, this works. Since I am not familiar with AMScd syntax and I more often use xypic, probably a more natural solution for me is to use presheaf website and then include the picture.
user image
The above is what I get after typing this into presheaf:
K(X) \ar^{ch}[r] \ar[d] & H(X,\mathbb Q) \ar[d]\\
K(Y) \ar^{ch}[r] & H(Y,\mathbb Q)
Presheaf provided me also with this link - I am not sure how stable it is: presheaf.com/?d=d436d21r6r3h1w5p565g6o2i5m5l2c1v
If I want the diagram to be oneboxed, the picture has to be the only thing in the message. So if I want to share both diagram and xypic source or preshef link, I need two separated messages.
Socratic Phoenix
Socratic Phoenix
12:02
TIOBot logged in!
#TIO shnap println("Hello World") 
@Socratic Phoenix
Hello World
#TIO do shnap println("Hello World") 
@Socratic Phoenix Hello World
TIOBot logging off!
TIOBot logged in!
#TIO run shnap println("Hello World") 
@Socratic Phoenix
Hello World
#TIO do shnap fpraos 
@Socratic Phoenix
#TIO run shnap fpraos
#TIO java-openjdk public class Main { public static void main(String... args) {System.out.println("Hello World");} } 
@Socratic Phoenix
Hello World
#TIO shnap fpraos
TIOBot logging off!
 
2 hours later…
Socratic Phoenix
Socratic Phoenix
13:45
TIOBot logged in!
#TIO version
TIOBot logged in!
#TIO version
@Socratic Phoenix TIOBot v 0.0.3
#TIO help
@Socratic Phoenix TIOBot command list
#TIO shnap println("How are you today?") 
@Socratic Phoenix
How are you today?
#TIO nolang stuff
@Socratic Phoenix sorry, but I couldn't find any languages matching "nolang"
Adám
Adám
@SocraticPhoenix Thank you so much for your work. TIOBot greatly enhanced my APL learning session.
Socratic Phoenix
Socratic Phoenix
#TIO do shnap importTo("shnap.math",this) println(list(fib(10))) 
@Socratic Phoenix [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
@Adám sure no problem :) it was fun
Adám
Adám
@SocraticPhoenix YOu didn't make your code open source, did you?
Socratic Phoenix
Socratic Phoenix
@Adám github.com/SocraticPhoenix/TioBot
TIOBot logging off!
Adám
Adám
@SocraticPhoenix Ah, cool. I'd like to have a dedicated APL bot called "APL" for the APL room, so that I can just write: @APL 2+2 and it inserts run apl-dyalog ⎕← automatically.
When I told my boss about your bot, he said we should get a twitter bot too.
Socratic Phoenix
Socratic Phoenix
13:54
@Adám I could probably add an option to add simple commands that delegate to a specific language
@Adám I don't know how do to twitter :(
I did make one for discord tho
Adám
Adám
@SocraticPhoenix These days, a lot of mobile apps are just thin wrappers on websites or webservices. It'd be cool to have an APL Android app…
@SocraticPhoenix Ah, so I could do #TIO #APL means #TIO run apl-dyalog ⎕←
And that would cause it to start listening for messages that begin with #APL
Socratic Phoenix
Socratic Phoenix
@Adám Ye something like that
I'm a bit busy right now but I'll look into adding that later :)
oh also there is a chat room for the bot, so we don't have to keep using the sandbox xD
Socratic Phoenix
Socratic Phoenix
14:45
TIOBot logged in!
#TIO alias command Shnap #TIO run shnap println(%args%)
@Socratic Phoenix you do not have permission to edit settings for this room!
-_-
TIOBot logging off!
TIOBot logged in!
#TIO alias command Shnap #TIO run shnap println(%args%)
@Socratic Phoenix you do not have permission to edit settings for this room!
TIOBot logged in!
#TIO alias command Shnap #TIO run shnap println(%args%)
hmm
why tho
TIOBot logged in!
#TIO alias command Shnap #TIO run shnap println(%args%)
@Socratic Phoenix Added alias for shnap
#Shnap "Hello world"
#Shnap "Hello world"
#Shnap "Hello world"
TIOBot logged in!
#TIO alias command Shnap #TIO run shnap println(%args%)
@Socratic Phoenix Added alias for shnap
#Shnap "Hello world"
TIOBot logged in!
#TIO alias command Shnap #TIO run shnap println(%args%)
@Socratic Phoenix Added alias for shnap
#Shnap "Hello world" 
@Socratic Phoenix
Hello world
oh
nice
TIOBot logging off!
 
2 hours later…
fejfo
fejfo
16:52
MathJax test:
psi $\psi\Psi$
phi $\phi\Phi$
epsilon $\epsilon\Epsilon\varepsilon\Varepsilon$
$\alpha_{\alpha_{\dots}}$
MathJax test:
psi $\psi\Psi$
phi $\phi\Phi$
epsilon $\epsilon\Epsilon\varepsilon\Varepsilon$
$\alpha_{\alpha_{\ddots}}$
fejfo
fejfo
17:20
$^ab$
$\eta$
 
5 hours later…
Socratic Phoenix
Socratic Phoenix
22:13
TIOBot logged in!
#TIO alias command #shnap #TIO run shnap %args%
@SocraticPhoenix Added alias for #shnap
#shnap println("hello world") 
@SocraticPhoenix
hello world
TIOBot logging off!
Socratic Phoenix
Socratic Phoenix
22:51
TIOBot logged in!
#TIO alias view
#TIO shnap println("hi") 
@SocraticPhoenix
hi
#TIO alias view
@SocraticPhoenix expected more arguments...
TIOBot logging off!
TIOBot logged in!
#TIO alias view 
Command Aliases:#shnap -> #TIO run shnap %args%Languge Aliases:
TIOBot logging off!
TIOBot logged in!
#TIO alias view 
Command Aliases:
#shnap -> #TIO run shnap %args%
Languge Aliases:
#shnap println(1) 
@SocraticPhoenix
1
TIOBot logging off!

« first day (2570 days earlier)      last day (2670 days later) »