egg|nomz|egg changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer.
<kmath>
<mhoye> Hey, so we have senior engineering positions open. Remote-friendly but North American timezones preferred, C++, Rus… https://t.co/CY2euQwAYU
<UmbralRaptop>
(It's for Mozilla)
<e_14159>
I think I'd be disqualified on the C++, Rust, and webdev experience fronts alone, although I'd nail the "solve really hard problems while being a jerk about it" (sic!) part :P
<bofh>
egg|tex|egg: well ideally you'd want something just unicode-aware *enough*
<egg|tex|egg>
bofh: the thing is AFL can't instrument CoreText, because you don't have the source, and it can't instrument the binary blindly because that's not a thing on mac
<egg|tex|egg>
bofh: so then it's just a very slow way to throw stuff at CoreText without knowing about Unicode
<iximeow>
speaking of cves i have a thing i want to test but i'm a coward because if i build my kernel module wrong the box will go oops
<iximeow>
and the box i was going to try it on is the same as the one i irc from :(
<bofh>
egg|tex|egg: wait, why can't it blindly instrument the binary?
* UmbralRaptop
gives iximeow a dozen star cats for moar random acronyms.
<kmath>
<giddgvb> Today's new MPC obs push the C/2017 K2 curve further up. Disclaimer: This one is still *very* far out (>14.2 AU) an… https://t.co/z8QdioWlTT
<SnoopJeDi>
disappointment in 7 years? I'm good, grad school has that checkbox covered already
<kmath>
<✔NWSLincolnIL> Sun returns tomorrow, but rain returns for Saturday. After a cold front moves through, dry & chilly weather expecte… https://t.co/YRmpudRJ1x
<SnoopJeDi>
holy butts, Donald Knuth is speaking here next month!!
<bofh>
Nice!
<egg|tex|egg>
!wpn bofh
* Qboid
gives bofh a treasonous pogonip
egg|tex|egg is now known as egg
* egg
pokes bofh in the roots
icefire has quit [Quit: gone]
kmath has quit [Remote host closed the connection]
kmath has joined #kspacademia
icefire has joined #kspacademia
<SnoopJeDi>
awww heck yea he's also giving a private talk to our dept :D
<egg>
bofh: how do you like the notation ⌉γ⌈ :-p
<egg>
!wpn UmbralRaptop
* Qboid
gives UmbralRaptop a descending Algol
awang has quit [Ping timeout: 182 seconds]
<bofh>
egg: I mean, "like" is a strong word but it's acceptable notation, yes.
<bofh>
:P
<egg>
hah
<egg>
bofh: what about the ♯♭ :-p
<bofh>
okay that I'm somewhat morally opposed to for reasons of that'd be written as ♮ in any sane notational system
<egg>
bofh: should I have called them 定 and 浮 instead,
<egg>
cc rqou
<egg>
bofh: wait why would ♮ be better
<bofh>
b/c ♯♭ cancel each other out when interpreted as transpositions of a note
<egg>
bofh: well, yes, that's the point, they're supposed to be inverses
<egg>
bofh: also now I'm looking at how to typeset CJK in mathmode and apparently the package for that is documented in chinese only https://ctan.org/pkg/xecjk?lang=en
<egg>
bofh: but yeah, basically from there you can pick γ minimizing the maximum of |ε|; when it is minimal it is always reached at the endpoint of the interval, so as a function of γ that's the intersection of a line and of the weird function of γ that is the maximum at the endpoint (which has that floor so isn't smooth)
<egg>
*handwave handwave* bofh: up to some fancy rescaley thing the lines ride up the non-smooth thing as n increase, resulting in the bumps in the line (the Nice roots are those nearest integer γ, where things are not differentiable)
<egg>
bofh: omitted the plots of the smooth maxima in here since I think they're never maximal for n>0 (haven't bothered proving it though)
<bofh>
it's interesting the Niceness seems to be periodic with period 23
<egg>
that is what makes it so nice,
<egg>
cc Fiora
<egg>
bofh: I mean it's obvious why the blue curve is periodic in γ with period 1 for fixed n, and it's always the same up to the "scaling" of ε -> 1 - (1 - ε)^n; it's less obvious why the intersecting lines move up that bumpy slope ~uniformly, and with this rate that is close to 23
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptor has quit [Client Quit]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 190 seconds]
<egg|cell|egg>
Bofh: I should zzz, but with those calculations you should be able to poke at it some more yourself
<egg|cell|egg>
I wonder whether we can say things about what happens after some householder iterates, you mentioned you had a recurrence