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.
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
<whitequark> !wpn egg
* Qboid gives egg a dubious coda
<egg|cell|egg> !Wpn whitequark
* Qboid gives whitequark a C# ␆
<egg|cell|egg> Bofh: did you ask the cat about the cube roots
<UmbralRaptop> cubical roots are a typical feature of concrete trees?
<bofh> egg|cell|egg: not yet, let me do so now (give me a sec to formulate tweet)
<iximeow> it computes better! in the future
<iximeow> nice :D
<egg|zzz|egg> !wpn iximeow
* Qboid gives iximeow a capacitive exception which vaguely resembles a laser
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a hoisted vtable
<bofh> !wpn egg|zzz|egg, iximeow
* Qboid gives egg|zzz|egg, iximeow an oscillating repeater
<iximeow> i want laser exceptions
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a tangent falchion
<egg|zzz|egg> !wpn -add:wpn root
<Qboid> egg|zzz|egg: Weapon added!
bofh has quit [Ping timeout: 186 seconds]
bofh_ has joined #kspacademia
Fiora has quit [Ping timeout: 186 seconds]
Fiora has joined #kspacademia
tawny has quit [Ping timeout: 190 seconds]
Ellied has quit [Ping timeout: 383 seconds]
Majiir has quit [Quit: CUT THE HARDLINES!!]
Snoozee has joined #kspacademia
Snoozee is now known as Majiir
Ellied has joined #kspacademia
<egg|zzz|egg> !wpn bofh_
* Qboid gives bofh_ a csh-compatible Mewtwo
<egg|zzz|egg> bofh_: blargh started writing down my rootn stuff now I'm swimming in LaTeX madness again :-p
tawny has joined #kspacademia
tawny has quit [Ping timeout: 198 seconds]
* egg|zzz|egg stares at an overfull hbox
<egg|zzz|egg> !wpn -add:adj overfull
<Qboid> egg|zzz|egg: Adjective added!
<egg|zzz|egg> !wpn -add:wpn hbox
<Qboid> egg|zzz|egg: Weapon added!
<egg|zzz|egg> !wpn -add:adj underfull
<Qboid> egg|zzz|egg: Adjective added!
<egg|zzz|egg> !wpn -add:wpn vbox
<Qboid> egg|zzz|egg: Weapon added!
<egg|zzz|egg> !wpn bofh_
* Qboid gives bofh_ a disassembler
Ellied has quit [Ping timeout: 383 seconds]
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a conducting Hurricane which strongly resembles a bus
awang has quit [Ping timeout: 383 seconds]
Ellied has joined #kspacademia
awang has joined #kspacademia
<awang> You guys read about the recently discovered galaxy without dark matter?
tawny has joined #kspacademia
egg|zzz|egg is now known as egg|tex|egg
tawny has quit [Ping timeout: 182 seconds]
<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
<UmbralRaptop> Hah
<UmbralRaptop> Attempted murder? https://photos.app.goo.gl/P8Q79FV4tHiWuJ8n2
<UmbralRaptop> (Lots more, but they're avoiding me)
<UmbralRaptop> They're getting fries (and chicken) out of that box. (Some opened the lid, another dumped it out)
<UmbralRaptop> #crowcognition?
<egg|tex|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a magnetic ruby which vaguely resembles a chlorofluorocarbon
<egg|tex|egg> !wpn bofh_
* Qboid gives bofh_ a Tillinghast kingfisher
<UmbralRaptop> !wpn egg|tex|egg
* Qboid gives egg|tex|egg a ███████
<egg|tex|egg> !wpn atlas
* Qboid gives atlas a coastal Darboux inequality
<UmbralRaptop> Anyway, the crows(?) have emptied the box, flown up to nearby trees/power lines, and eaten everything.
<SnoopJeDi> “a core responsibility of SEs here is "create more SEs"” 🙌🙌
tawny has joined #kspacademia
<egg|tex|egg> !seen bofh_
<Qboid> egg|tex|egg: Value cannot be null.
<egg|tex|egg> thuboid
<bofh_> egg|tex|egg: ?
* egg|tex|egg pokes bofh_ in the underscore
bofh_ is now known as bofh
<bofh> whoopsiedoodle
<UmbralRaptop> bofh does not have a tail. Therefore bofh is either a manx, or not a cat.
<whitequark> !wpn bofh
* Qboid gives bofh a banal range
<egg|tex|egg> bofh: any news from atlas?
<bofh> negatory thusfar
<SnoopJeDi> oh neat, Rocky Kolb is speaking here next week
<SnoopJeDi> ALSO OH MAN the Festival is next week and I'd forgotten how close it is >:D
* UmbralRaptop pokes VizieR with a 2ish gig tarball.
<UmbralRaptop> … oh. 68% of my stars are in the Washington Double Star Catalog.
<egg|tex|egg> double!
<UmbralRaptop> double _RA_J2000
<egg|tex|egg> !wpn whitequark
* Qboid gives whitequark a conjugate symplectic Kozai banana
xShadowx has joined #kspacademia
<UmbralRaptop> !wpn xShadowx
* Qboid gives xShadowx a RFC 2549 ink bottle
* xShadowx lights UmbralRaptop on fire
* UmbralRaptop asks for help via UDP implemented in smoke signals.
<whitequark> lol
<bofh> a symplectic Kozai banana sounds like the sort of thing this channel *would* try to compute orbital dynamics of.
<egg|tex|egg> oh hey I haz a CVE https://support.apple.com/en-gb/HT208693
<UmbralRaptop> !choose congratulations|condolences
<Qboid> UmbralRaptop: Your options are: congratulations, condolences. My choice: congratulations
<UmbralRaptop> ;choose congratulations|condolences
<kmath> UmbralRaptop: condolences
<egg|tex|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a caffeinated Александров pointer
<egg|tex|egg> bofh: for scale
* UmbralRaptop eats the pointer.
<kmath> <bofh453> @taviso Honestly I get the feeling that fuzzing CoreText will reveal *tons* of low-hanging fruit. :/
* UmbralRaptop wonders what egg|tex|egg is documenting.
<egg|tex|egg> UmbralRaptop: nth roots!
<UmbralRaptop> ah
<egg|tex|egg> https://twitter.com/whitequark/status/979418887652438016 so halfway between Principia releases,
<kmath> <whitequark> i know someone whom i only get the urge to contact during full moon. we're friends
<kmath> <ctrlaltcreep> One day my human is broken forever.
<egg|tex|egg> !wpn bofh
* Qboid gives bofh a burnt hedgehog
<egg|tex|egg> bofh: I'm honestly surprised that no-one else found this in the wake of the telugu thing
<bofh> egg|tex|egg: *stare*
<bofh> I'm honestly tempted to try installing OSX in a VM & throwing afl at CoreText now, since it seems nobody else seems to be doing that??? >_>
<egg|tex|egg> bofh: AFL will suck I think, but have fun?
<iximeow> ;choose congratulations egg|condolences egg
<kmath> iximeow: congratulations egg
<iximeow> \o/
<egg|tex|egg> :D
<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.
<egg|tex|egg> bofh: http://lcamtuf.coredump.cx/afl/README.txt section 4 (instrumenting binary-only apps) this uses QEMU and that doesn't work on mac
<bofh> ah. drat.
<egg|tex|egg> UmbralRaptop: star kitty
<bofh> whitequark: oh man I forgot how great of an album INTERRUPT REQUEST is (currently listening to IRQ4 on a loop).
* UmbralRaptop μs at egg|tex|egg.
<iximeow> UmbralRaptop: star cats? i wanna pet em
<UmbralRaptop> iximeow: first you must cross the ocean, and consult with the VizieR in Strasbourg.
<iximeow> hmm okei
<egg|tex|egg> bofh: okay I have a first extremely rough draft of those rootn approximation calculations if you want to stare at it
<egg|tex|egg> bofh: also it has eggstremely silly notation
<egg|tex|egg> (well, I could do far sillier)
<egg|tex|egg> (I just realized I've never tried using CJK ideographs, although they sound like a great idea)
<bofh> k, sec.
<UmbralRaptop> who wants to be disappointed in 7 years? https://twitter.com/giddgvb/status/979440017222356992
<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
<bofh> https://twitter.com/NWSLincolnIL/status/979455952956067842 I am loving how the local NWS at this point is just phoning it it.
<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
<bofh> Nice.
<kmath> <dasharez0ne> https://t.co/ts5pVJHOuG
<egg> bofh: doesn't it make sense to use ♯ and ♭ for inverses (see also musical isomorphisms)?
<bofh> I mean it does, quite a bit, tbh.
<egg> bofh: now of course I'm tempted to try to use CJK
<egg> !choose 定 and 浮 are good names for those functions|this is too silly
<Qboid> egg: Your options are: 定 and 浮 are good names for those functions, this is too silly. My choice: this is too silly
<egg> ;choose 定 and 浮 are good names for those functions|this is too silly
<kmath> egg: this is too silly
<egg> bofhchoose 定 and 浮 are good names for those functions|this is too silly
<egg> †choose 定 and 浮 are good names for those functions|this is too silly
<egg> (does † ping UmbralRaptop)
<bofh> It's acceptable, lol.
<egg> bofh: hmmmm
<egg> bofh: now with improved notation, https://github.com/eggrobin/Principia/blob/rootn/documentation/Approximate rootn.pdf
<bofh> ooh, snagging.
<egg> rqou: notation!
<egg> rqou: CJK!
<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: like this: https://i.imgur.com/RZKiONn.png
<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