UmbralRaptor 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> … one of the other grad students just compared me to nomal O_o | <ferram4> I shall beat my problems to death with an engineer.
<egg|df|egg> UmbralRaptor: AncientBird is beginning to have a large population of pigs and grizzlies
<UmbralRaptor> Bears!
<egg|df|egg> UmbralRaptor: "Breathing in the modern era"
<egg|df|egg> UmbralRaptor: they haven't written "Breathing in the era of JWST"
<UmbralRaptor> egg|df|egg: I recommend against trying to breath at ESL-2,
<egg|df|egg> UmbralRaptor: Nomal: "I have been discussing bodily fluids. It makes me very anxious."
* UmbralRaptor can think of multiple ways for that to be the case.
<egg|df|egg> so now I have a goblin mayor, and a dwarf is literally standing on top of her bed while she's sleeping waiting to talk to her about getting citizenship
<UmbralRaptor> o_O
e_14159- has joined #kspacademia
<egg|df|egg> UmbralRaptor: there's still a forgotten beast in the caverns, occasionally picking fights with the giant spiders
<egg|df|egg> it's a pink-feathered stegosaurid
<egg|df|egg> covered in scars, broken toes and feet and legs, all sorts of bits dented
e_14159 has quit [Ping timeout: 383 seconds]
e_14159- is now known as e_14159
<egg|df|egg> but still quite dangerous apparently
<UmbralRaptor> hrm
<egg|df|egg> UmbralRaptor: there seems to be correlations between the themes of successive books: Summaries when it counts, The true summaries, Errors in summaries
<egg|df|egg> UmbralRaptor: also Probing and beyond, Mastering probing, The future of probing, The hidden meaning of probing
<egg|df|egg> the latest book seems to be Pathways to Daylight and the Seasons, on the variation of daylight with the seasons
* UmbralRaptor wonders if the dwarves are discovering planetary eccentricity and/or axial precession.
icefire has quit [Read error: Connection reset by peer]
<UmbralRaptor> ;kmath should I learn vim digraphs?
<kmath> UmbralRaptor: Don't count on it
<Ellied> I *finally* figured out why diodebot was crashing
<Ellied> Twitter rejects duplicate tweets, so it was throwing an error every time it tried to post something it had posted before.
<Ellied> Not sure what the details of the associated criteria are, but it was trivial to except out anyway.
<UmbralRaptor> I think it's posted 3 nociceptive diodes. >_>
<Ellied> all diodes are pain
<egg|df|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a contingent turbo gun
<egg|df|egg> !wpn Ellied
* Qboid gives Ellied a gatling refractor
<Qboid> egg|df|egg: I'll redirect this as soon as they are around.
<kmath> <johnregehr> @whitequark @bofh453 I was worried that "cat interferometer" might be an entirely new phrase but no! https://t.co/mg5RqiXlV0
egg|df|egg is now known as egg
<soundnfury> egg: wow, that thesis overloads a lot of acronyms
<soundnfury> AI, CSS, SQL... heck, even GSO has a different meaning to me (albeit in a somewhat narrow context - Generalised Segmentation Offload ;)
<soundnfury> oh also MOT, I guess
<egg> GSO?
* egg pokes Qboid
<egg> there's Guan Sheng Optical :-p
<soundnfury> GSO is like TSO but implemented by the network stack instead of by the hardware. Among other things, it losslessly reverses GRO (Generic Receive Offload), which is important for forwarding workloads.
<soundnfury> (However, GRO for forwarding is a dumb idea, which is part of why I'm pushing for SKB-list handling to replace GRO.)
<soundnfury> Kernels are fun! And I don't mean the FP kind!
<soundnfury> Or the linear algebra kind!
<egg> soundnfury: kernels of the numerics kind are fun too
<soundnfury> lies! lies and algebra!
<soundnfury> ^Wslander!
<soundnfury> !wpn egg
* Qboid gives egg a roasted compactification
icefire has joined #kspacademia
<egg> !wpn
* Qboid gives egg a Lovecraftian planar lamp
<UmbralRaptor> !wpn egg
* Qboid gives egg an oxidizing diprotodon
* egg pets the marsupial
* egg is oxidized
<UmbralRaptor> ow
<egg> UmbralRaptor: hmm, I am starting a comment by // This function does unnatural things
<UmbralRaptor> Is it a Weierstrass function?
<egg> UmbralRaptor: nah it just does things like that because we don't have the right abstractions for rendering
<egg> UmbralRaptor: yet
<egg> UmbralRaptor: but phl is writing some projective geometry as we speak
<egg> UmbralRaptor: yes that means principia is going to have its own rendering code in a sense
<egg> (because the current implementation has to horribly misuse our abstractions in order to get back to the Unity cameras
<egg> aaaaaaa)
<UmbralRaptor> o_O
<UmbralRaptor> Best article name in a while https://arxiv.org/abs/1607.03495
<egg> UmbralRaptor: see, we transform to some plotting frame (say ECEF); and instead of saying "the camera is fixed in ECEF, we do the projection of the ECEF trajectory", we go back from ECEF to """world""" coordinates (via solar system barycentric coordinates), but at a fixed time (basically pretending that there are actual positions marked in low earth orbit with a cosmic fluorescent marker)
<egg> and then the C# does the rendering from those world coordinates
<UmbralRaptor> hrm
<egg> UmbralRaptor: so clearly just saying "the camera is fixed in ECEF" is saner
<egg> so that's where we're heading
<UmbralRaptor> ECEF?
<Qboid> UmbralRaptor: [ECEF] => Earth-Centered, Earth-Fixed
<egg> that will also allow us to implement a downsampling algorithm to render a decent number of points instead of making things grind down to a halt as soon as history is plotted
<kmath> <stephentyrone> #FloatingPointWithAtlas https://t.co/rIMQcB4PGo
<egg> all hail the floating kitty
icefire has quit [Read error: Connection reset by peer]
* UmbralRaptor stabs email, and tries to figure out why a letter of recommendation request is not going through.
<UmbralRaptor> fma?
<egg> UmbralRaptor: fused multiply and add
<egg> UmbralRaptor: usually you deal with single operations such as (here [] shall denote exact rounding to the current rounding mode) [x+y] [x*y] [x/y] [sqrt(x)]; fused multiply and add provides you with [x*y+z]
<egg> UmbralRaptor: from which it is easily seen that [x*y-[x*y]] is the rounding of the difference between x*y and [x*y]; the slightly tricky part is to show that there's no rounding going on here, i.e., that this difference is representable; this is because if you multiply a 53-bit number by a 53-bit number, you get a 106-bit number
<egg> thus [x*y-[x*y]] = x*y-[x*y], quod erat demonstrandum
egg|cell|egg has quit [Remote host closed the connection]
<UmbralRaptor> Makes sense.
<egg> UmbralRaptor: numerics is fun!
<UmbralRaptor> Bleah. Sending out a pair of work/troubleshooting-related emails at 0925, reasonable. On a Saturday, erm...
<UmbralRaptor> egg: s/fun/Fun/
<Qboid> UmbralRaptor thinks egg meant to say: UmbralRaptor: numerics is Fun!
<egg> that, too
<Iskierka> hm. skyrim dwarves did spectrometry
<UmbralRaptor> But were numerics why they vanished?
<Iskierka> I don't know
<Iskierka> the guy who is theorising that this oculary collected starlight and "split it, somehow" doesn't know much more than anyone else
* egg gives UmbralRaptor a spectre.
<egg> !wpn whitequark
* Qboid gives whitequark an injective fan
<UmbralRaptor> !wpn egg
* Qboid gives egg an intensive ⚛
<UmbralRaptor> !wpn -add:wpn polarimeter
<Qboid> UmbralRaptor: Weapon added!
<UmbralRaptor> !wpn -add:adj polarized
<Qboid> UmbralRaptor: Adjective added!
<UmbralRaptor> !wpn -add:adj imaging
<Qboid> UmbralRaptor: Adjective added!
<egg> UmbralRaptor: with principia#1405 R3Element will support inhomogeneous entries, which will be used for homogeneous coordinates
<Qboid> [#1405] title: Support for the real projective plane | | https://github.com/mockingbirdnest/principia/issues/1405
<egg> UmbralRaptor: this polysemy of homogeneous is not at all confusing
* UmbralRaptor blames mathematicians for that one.
<egg> but actually it's a bad idea to introduce inhomogeneous R3Element, we're not using the vector structure
<egg> !wpn Ellied
* Qboid gives Ellied a characteristic 0 quokka with a pentode attachment
icefire has joined #kspacademia
<kmath> <ObservatoryCats> Any astronomers want to run this account for a week starting Monday and post cat pictures?
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a dorsal ⚛
<UmbralRaptor> egg: insufficient cats available locally.
* egg pets UmbralRaptor with a cat
* UmbralRaptor purrs.
<egg> UmbralRaptor: Cauchy will have speed indications on Ap/Pe/closest approach/AN/DN markers!
<egg> (for Ap Pe & closest approach, speed in the frame, for AN/DN, speed normal to the reference plane)
egg is now known as egg|nomz|egg
egg|nomz|egg is now known as egg
<egg> UmbralRaptor: https://twitter.com/ObservatoryCats/status/868525734737793024 you should tweet catpics, it is saturday
<kmath> <ObservatoryCats> Happy Caturday from Poppy! https://t.co/RLYn79TJA3
<egg> s/sat/cat
<Qboid> egg meant to say: UmbralRaptor: https://twitter.com/ObservatoryCats/status/868525734737793024 you should tweet catpics, it is caturday
<kmath> <ObservatoryCats> Happy Caturday from Poppy! https://t.co/RLYn79TJA3
<egg> s/cat/сat
<Qboid> egg meant to say: UmbralRaptor: https://twitter.com/Observatoryсats/status/868525734737793024 you should tweet catpics, it is saturday
<egg> uuuuuh
<egg> s/sat/сat
<Qboid> egg meant to say: UmbralRaptor: https://twitter.com/ObservatoryCats/status/868525734737793024 you should tweet catpics, it is сaturday
<kmath> <ObservatoryCats> Happy Caturday from Poppy! https://t.co/RLYn79TJA3
<egg> !u с
<Qboid> U+0441 CYRILLIC SMALL LETTER ES (с)
<UmbralRaptor> But there are no cats near me.
<UmbralRaptor> (though there is a russian style cat.)
<kmath> <stephentyrone> Oh, hello Atlas. https://t.co/CpCM4zlbd8
<egg> ferram4: we're going to have our own projections!
<ferram4> Hooray?
<egg> so now we'll do the rendering ourselves instead of using Unity's cameras
<egg> (yes there's actually a reason for that: we need to project to use downsampling algorithms)
ferram4 has quit [Read error: Connection reset by peer]
ferram4 has joined #kspacademia
<kmath> <stephentyrone> Oh, hello Atlas. https://t.co/CpCM4zlbd8
egg is now known as egg|df|egg
<egg|df|egg> UmbralRaptor: Nomal is anxious after discussing water displacement.
<egg|df|egg> UmbralRaptor: she's discussing equations now.
<egg|df|egg> specifically, methods for solving equations involving powers higher than the quadratic
<egg|df|egg> Cardano? Ferrari? ... theta functions and modular functions?