Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
Antoine Levitt
@antoine-levitt
2+x2+x
hey this is actually pretty nice, there are also subchannels called rooms, and you can make them private
Michael F. Herbst
@mfherbst
$2 + x \neq \frac{x}{2}$
Ah too bad no latex support
Antoine Levitt
@antoine-levitt
double dollars
Michael F. Herbst
@mfherbst
2+xx22 + x \neq \frac{x}{2}
Ah .. like in markdown ... I should know that
eric-cances
@eric-cances
Hi there
Michael F. Herbst
@mfherbst
Hey
Be welcome to our little chat :)
tzsuzsi
@tzsuzsi
Hi! I am here too, from Prague :D
Antoine Levitt
@antoine-levitt
yay, it's a party
one thing clearly missing from slack is the reaction emojis, though
Michael F. Herbst
@mfherbst
You mean like in github ... :smile:
Read :smile:
:fireworks:
:rocket:
Not sure what you are missing
Michael F. Herbst
@mfherbst
@tzsuzsi and @eric-cances You are now also invited to our github repository :smile:
Antoine Levitt
@antoine-levitt
in slack you can add emojis under people's comments, which is of course very important
Michael F. Herbst
@mfherbst
Ah ... true. Otherwise how can you express yourself
eric-cances
@eric-cances
Thanks! I accepted the invitation
gkemlin
@gkemlin
Hi all ! Hope you are all going well after this complicated week-end. Ready for the DFTK-meeting. How do we proceed ?
Michael F. Herbst
@mfherbst
Hey @gkemlin I guess we use some means of videochat? Skype or Jitsi should work best I guess. Any objections either way?
Sami SIRAJ-DINE
@samisirajdine_gitlab
Hi everyone! I don’t know Jitsi... Free software?
Michael F. Herbst
@mfherbst
Basically ... it's a web link and there you have a meeting room. I made good experiences with it.
gkemlin
@gkemlin
Yep. I have a slight preference for Jitsi but Skype is okay either way.
Antoine Levitt
@antoine-levitt
fine with either, my skype handle is antoine.levitt
Antoine Levitt
@antoine-levitt
doesn't seem to work here
let's go to skype
Michael F. Herbst
@mfherbst
ok
Sami SIRAJ-DINE
@samisirajdine_gitlab
Apparently needs Chrome on my laptop