« first day (827 days earlier)      last day (2285 days later) » 

user21820
user21820
08:56
@Holo In particular, see hotstrings.
Holo
Holo
09:13
@user21820 heh, you're late. I already created hotstring for basically everything I can think I'll need
 
3 hours later…
user21820
user21820
11:48
@Holo So fast! I was going to suggest using backtick as the escape character, since it's practically useless, along with some examples, but obviously you don't need them anymore. =)
 
3 hours later…
Holo
Holo
14:20
@user21820 Heh, I had some free time yesterday so... I read, a lot :D
 
4 hours later…
Leaky Nun
Leaky Nun
18:48
If r1 and r2 are real numbers such that {q rational | q<r1} and {q rational | q<r2} are Δ[1], must {q rational | q<r1+r2} also be Δ[1]?

« first day (827 days earlier)      last day (2285 days later) »