« first day (1039 days earlier)      last day (1323 days later) » 

15:45
@VyxalBot Please run this Vyxal code - Puts in a link to the interpreter, but the code is just lyxal, so you get rickrolled
1 message moved from Vyxal
 
2 hours later…
18:02
@Peter I don't know what you're trying to say. I already explained adequately why it is meaningful to define ratios with 1:0 and 0:1 being on equal footing.
I even gave you examples of actual mathematical use of this concept.
People who wish to define a:b as a/b are free to do so, but they lose the benefits of having a separate concept of ratio. In particular, ratios with more than two coordinates are completely unavailable, despite its use in homogeneous coordinates and projective spaces.
 
2 hours later…
19:39
uhhh
lol
µ should be take
@VyxalBot run `I λ↓ ¬µ λ„ λλ ƛ†!`
5 messages moved from Vyxal
 
2 hours later…
21:22
@VyxalBot ping everyone
nononono
Wait it can do tha
t
That's useful
@VyxalBot ping everyone
@hyper-neutrino Nobody is on the ping list.
@VyxalBot ping me
21:22
@hyper-neutrino I have put you on the ping list.
@VyxalBot ping everyone
@hyper-neutrino ^
@VyxalBot ping me
@Ausername I have put you on the ping list.
@VyxalBot ping lyxal
@VyxalBot ping math
@VyxalBot ping user
Wait you can't do that?
21:23
@VyxalBot ping me
@user I have put you on the ping list.
@Ausername It's opt-in
Oh ok
@VyxalBot ping everyone
@hyper-neutrino @Ausername @user ^
Can you put a message after 'ping everyone
21:25
@VyxalBot ping everyone
@Ausername @hyper-neutrino @user ^
@VyxalBot rm ping Ausername
@VyxalBot ping everyone
lol that broke
@VyxalBot don't ping me
Gah, how do you opt out of this?
You don't/
@VyxalBot don't ping me
21:27
@hyper-neutrino I have taken you off of the ping list.
@VyxalBot pingn't me
@hyper-neutrino I have taken you off of the ping list.
@VyxalBot ping me
@hyper-neutrino I have put you on the ping list.
@VyxalBot ping everyone
21:27
@Ausername @hyper-neutrino @user ^
@VyxalBot rm ping user
@hyper-neutrino done
@VyxalBot don't ping me
@user I have taken you off of the ping list.
@VyxalBot rm ping Ausername
21:27
danke
@VyxalBot run lyxal
@VyxalBot ping everyone
@VyxalBot rm ping user
@Ausername @hyper-neutrino ^
21:28
@VyxalBot rm ping user
only i can do that lol
Mod abuse
??
@VyxalBot rm ping Ausername
@VyxalBot ping everyone
@Ausername @hyper-neutrino ^
???
@VyxalBot rm ping Ausername
21:30
@hyper-neutrino done
wait i'm dumb
@VyxalBot rm ping Ausername
@hyper-neutrino done
@VyxalBot ping everyone
@Ausername @hyper-neutrino ^
???
@VyxalBot ping everyone
21:31
@VyxalBot u good m8?
@Ausername I am doing well.
@VyxalBot ping everyone
@Ausername @hyper-neutrino ^
how the fuck
@VyxalBot rm ping Ausername
@hyper-neutrino done
21:33
@VyxalBot ping everyone
@hyper-neutrino ^
finally
79 messages moved from Vyxal

« first day (1039 days earlier)      last day (1323 days later) »