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.
e14159 has quit [Killed (NickServ (GHOST command used by e_14159!~kreios@dslb-188-104-083-247.188.104.pools.vodafone-ip.de))]
e_14159 has joined #kspacademia
e_14159 is now known as e14159
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 198 seconds]
<kmath> <ClaytonTLamb> That’s a winged moose https://t.co/WRPhedR1Pf
* UmbralRaptor recognizes the Hipparcos paper. >_> https://www.nature.com/articles/d41586-018-05161-6
<UmbralRaptor> (via bofh)
<bofh> It's a good paper!!!
StCipher has joined #kspacademia
StCypher has quit [Ping timeout: 202 seconds]
<kmath> <ejlflop> amazing https://t.co/ojjAzCVO1I
<egg|z|egg> bofh: #1835
<Qboid> [#1835] title: Support for disposable objects and DisposableIterator | Start to address #1834. The reader is invited to find all the memory leaks that this plugs. | https://github.com/mockingbirdnest/principia/issues/1835
<egg|z|egg> >_>
<iximeow> lol
* iximeow dies of Object reference not set to an instance of an object
<whitequark> !wpn egg
* Qboid gives egg a chickadee-like teletype
<whitequark> !wpn iximeow
* Qboid gives iximeow a bar pike-like fish
<egg|z|egg> !wpn whitequark
* Qboid gives whitequark a tree
<bofh> !wpn whitequark
* Qboid gives whitequark a gothic Oxford pattern generator
<iximeow> finally figured out my Object reference not set to an instance of object was due to an incorrect address
<iximeow> !wpn bofh
* Qboid gives bofh a phi fuse
<egg|z|egg> !seen rqou
<Qboid> egg|z|egg: I last saw rqou on [15.05.2018 03:58:59] in #kspacademia saying: "so I'm definitely guilty of saying things like "just/simply/obviously <xyz>""
* iximeow fixes type propagation through phis
<egg|z|egg> bofh: surely trivially is ok right,
<egg|z|egg> (otoh meaningless "simply" and similar adverbs in things like language references endlessly annoy me)
<bofh> I mean if it *legitimately* is a trivial consequence/immediate, sure.
<bofh> the usual complaint is when it's used with reeults that, well, aren't.
<egg|z|egg> bofh: I like the german word "unmittelbar" (which I learned in Moderne Algebra)
<egg|z|egg> bofh: morphologically it's basically "immediately" except the word "mittel" (middle) is very clearly there
<egg|z|egg> bofh: also back when I was reading Moderne Algebra it usually meant I had to stare at the line above and below for a little while :-p
<egg|z|egg> bofh: my gripe with "simply" etc. in standards is more that you never know whether something is a defined term
<egg|z|egg> bofh: so if you say that the macro is "simply defined as blah" does "simply defined" have a definition? or is it sloppy standards drafting
<egg|z|egg> bofh: afaict in the C standard it's the latter, there are a bunch of useless simplies peppered around
<egg|z|egg> bofh: but e.g. the Ada 83 reference manual does define "has no other effect", so it's not really outlandish for "simply <adjective>" to have some distinct meaning (see also mathematics)
<bofh> yeah I have less strong of an opinion wrt lang standards, tho not knowing if something is a defined term at times (at least ISO audio codec specs define those upfront) does make things annoying.
<bofh> also unmittelbar is handy. it sounds like the perfect way to describe most Corollaries in Big Rudin, lol.
<egg|z|egg> bofh: I mean if "the elaboration has no other effect" can be a defined term, and coming from mathematics where "simply <any adjective>" should be assumed to be a defined term, reading "The macro FE_ALL_EXCEPT is simply the bitwise OR of all floating-point exception macros defined by the implementation." is painful
<egg|z|egg> bofh: the Python reference is similarly awful
<egg|z|egg> bofh: it's like reading "if [...] then the manifold is simply smooth", I don't think "simply smooth" means something, but the adverb is simply unhelpful :-p
<egg|z|egg> !wpn bofh
* Qboid gives bofh a sigma /kick
<egg|z|egg> um
<egg|z|egg> bofh: what's big rudin?
<egg|z|egg> !wpn whitequark
* Qboid gives whitequark an equatorial counter
<egg|z|egg> !pet whitequark
* Qboid pets whitequark
awang has joined #kspacademia
awang_ has quit [Ping timeout: 198 seconds]
<egg|z|egg> whitequark: TIL (because factory.io redirects me to the french site) that PLC is API in french https://fr.wikipedia.org/wiki/Automate_programmable_industriel
<egg|z|egg> this is not confusing at all,
<egg|z|egg> whitequark: but API, when it is abbreviated, uses the english acronym so is also API
<UmbralRaptor> áâáâ
<UmbralRaptor> !wa 99 euro to usd
<Qboid> UmbralRaptor: convert euro99 (euros) to US dollars: $116.93 (US dollars)
<UmbralRaptor> !wa 695 euro to usd
<Qboid> UmbralRaptor: convert euro695 (euros) to US dollars: $820.86 (US dollars)
<egg|z|egg> Cabalistic Instruction Set Computer https://twitter.com/whitequark/status/991510367581884416
<kmath> <whitequark> @stephentyrone https://t.co/hdielJYYaU
<UmbralRaptor> Runic Instruction Set Computer
* egg|z|egg should get to work
<UmbralRaptor> Relativistic Instruction Set Computer? (This one presumably is the one you shake a black hole at)
tawny has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 182 seconds]
<kmath> https://twitter.com/stephentyrone/status/997062841323565056 <stephentyrone> @eggleroy @volatile_void @bofh453 When all the drawbacks of all other solutions combine, you arrive at the Most C++ Solution.
ferram4_ has quit [Read error: Connection reset by peer]
ferram4 has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Read error: Connection reset by peer]
awang has quit [Ping timeout: 198 seconds]
awang has joined #kspacademia
<egg|work|egg> bofh: I don't think I get it https://twitter.com/stephentyrone/status/997085446638309377
<kmath> <stephentyrone> @eggleroy @volatile_void @bofh453 Galaxy Brain: the only rounding modes for general operations should be default an… https://t.co/yub3lFh4Tl
<egg|work|egg> !wpn whitequark
* Qboid gives whitequark a hybrid winch/radix hybrid
<egg|work|egg> !wpn bofh
* Qboid gives bofh a dubious lemma/behaviour hybrid
<bofh> I'm not entirely sure I understand fp rounding well enough to understand why that works w/round-to-*odd* but not other rounding modes.
<egg|work|egg> bofh: well it's clear that it cannot work with ties to even
<egg|work|egg> bofh: also we got some savings in principia from doing this in Darboux https://twitter.com/pkhuong/status/996910195694596096
<kmath> <pkhuong> @stephentyrone @johnregehr @jfbastien Ofc, when lifetimes are bounded, I've had better performance with a bump-only… https://t.co/YPp7zIMoMO
<egg|work|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a Weierstraß sequence with a detector attachment
<bofh> egg|work|egg: I'm not surprised, I do that in my scientific code all the time.
<egg|work|egg> bofh: in our case it was in serialization/deserialization, so an even more obvious use case
<egg|work|egg> bofh: so obvious in fact that protobuf has arena support, so we just had to use it :-p
<egg|work|egg> bofh: #1825, #1826
<Qboid> [#1825] title: Use arenas to speed up proto allocation and destruction | Before:... | https://github.com/mockingbirdnest/principia/issues/1825
<Qboid> [#1826] title: Tweak the arena. | It is not clear whether this is much faster, but it should cost half the memory, and it makes no sense to have a maximum block size smaller than the chunk size when we are trying to optimize saves tha... | https://github.com/mockingbirdnest/principia/issues/1826
* egg|work|egg stares at ICU
<egg|work|egg> !scream into the void
<bofh> egg|work|egg: yeah, that's a perfect use case for arena allocators, yep.
<egg|work|egg> bofh: what, screaming into the void?
<egg|work|egg> or staring at ICU
<bofh> no, (de)serialization :P
<bofh> screaming into the void is implied by staring at ICU
<egg|work|egg> bofh: do you know about NumberFormatter
<egg|work|egg> New users are strongly encouraged to use NumberFormatter instead of NumberFormat
<bofh> nope, not at all
<egg|work|egg> new in ICU 60, so neither did I
<egg|work|egg> afaict it doesn't cover all the features of the things it replaces though
<egg|work|egg> !wpn whitequark
* Qboid gives whitequark a Ляпуно́в blurglecruncheon
APlayer has joined #kspacademia
<UmbralRaptor> ICU?
<Qboid> UmbralRaptor: [ICU] => International Components for Unicode
awang has quit [Remote host closed the connection]
<bofh> TIL "blurglecruncheon" is from Vogon Poetry.
APlayer has quit [Ping timeout: 182 seconds]
egg|phone|egg has joined #kspacademia
egg|mobile|egg has quit [Ping timeout: 194 seconds]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
<SnoopJeDi> oh snap, I just realized that those ultrasonic range-finders operate precisely in the middle of the vocal range of rats
<kmath> <TwidereProject> Don't be afraid of #BreakingMyTwitter . Just #BreakingTheirTOS https://t.co/zIkWwLq455 .
<UmbralRaptor> SnoopJeDi: rat echolocation?
<SnoopJeDi> I was thinking of rigging one up as a chatterbox for playing
<SnoopJeDi> A spectrum analyzer would be more generally useful though, they understand my natural sounds just fine
<SnoopJeDi> but it might make hand-wrestling more fun for them if it was accompanied by chirping
<SnoopJeDi> looks like SPM0404UD5 would be a pretty good sensor, 10 kHz ~ 65 kHz is pretty much spot-on
<SnoopJeDi> or whatever its more recent equivalent is, digikey says that one's obsolete heh
APlayer has joined #kspacademia
<bofh> SnoopJeDi: huh, interesting. but also sounds (heh) about right.
<SnoopJeDi> dunno where the heck I'd even try to buy something like that in pitifully-small quantity
<SnoopJeDi> looks like most raspi stuff is concerned with fixed-freq rangefinding
<SnoopJeDi> oh looks like mouser has pretty good selection
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
<bofh> So any USB soundcard that *actually* supports 192kHz samplerates will suffice to connect a max. 65kHz ultrasonic transducer to directly.
<bofh> (or just use an MC1496/NE602 w/a ~32.768kHz freq ref as a mixer to shift that down to the point where 96kHz or even 48kHz samplerates suffice)
<egg|z|egg> bofh: hm, when does one actually need other rounding modes? interval arithmetic, what else?
<egg|z|egg> !pet whitequark
* Qboid pets whitequark
egg|z|egg is now known as egg
<SnoopJeDi> bofh, yea heterodyne might be necessary. It'll be a fun walk down the signals road if I actually build this beyond a vague idea
<bofh> egg: IME, extremely rarely. most of the time I've only toyed w/rounding modes as a quick'n'hacky way to see how sensitive my code is to rounding differences/errors.
<bofh> SnoopJeDi: it's a fun way to learn basic analog signal processing if you do wind up going that route, & transfers directly to RF freqs for the most part.
<SnoopJeDi> yea, lot of that going around the RF world I know :)
<SnoopJeDi> I remember when stochastic cooling "clicked" for me, it was a fun time
<egg> bofh: should we ask the cat
<egg> also,
* egg pokes bofh in the doubledoubledouble
<bofh> ah right. poke me again in like 6hrs? have a bunch of papers I need to get thru right now.
<egg> !pet bofh
* Qboid pets bofh
<bofh> also where are my manners
<bofh> !wpn egg, SnoopJeDi et al
* Qboid gives egg, SnoopJeDi et al a tau egg|egg|egg
<egg> (cat imagery by UmbralRaptor)
<bofh> is th--ahh, was going to ask if that was ANBOcat
<egg> UmbralRaptor: so this is why all the ETHZ astronomers are in the particle physics & astrophysics institute of the physics dept http://www.sciencemag.org/news/2017/10/swiss-university-dissolves-astronomy-institute-after-misconduct-allegations
<SnoopJeDi> whoa
<egg> UmbralRaptor: namely the Schmid and Schawinski groups
<bofh> holy fuck
egg is now known as egg|nomz|egg
<UmbralRaptor> o_O
<bofh> "The article says that one-third of Carollo’s Ph.D. students failed to graduate" *wow*
<bofh> "Carollo expected “superhuman commitment,” including being reachable on weekends, rarely taking vacations, and participating in evening meetings that would sometimes go until midnight." call me cynical, but this is both a travesty and yet not at all uncommon in synthetic organic chem labs. :/
tawny has joined #kspacademia
<SnoopJeDi> it's universal
<SnoopJeDi> was talking about this with a CMS colleague
<SnoopJeDi> about how large collaborations specifically (but even individual profs) swallow students as labor instead of as human beings
<egg|nomz|egg> !wpn bofh, UmbralRaptor, SnoopJeDi, et al.
* Qboid gives bofh, UmbralRaptor, SnoopJeDi, et al. a Hittite osmium cylinder
<egg|nomz|egg> wait I cannot into alphabetical order
<egg|nomz|egg> !seen rqou
egg|nomz|egg is now known as egg
<Qboid> egg|nomz|egg: I last saw rqou on [15.05.2018 03:58:59] in #kspacademia saying: "so I'm definitely guilty of saying things like "just/simply/obviously <xyz>""
<rqou> hi
<rqou> !wpn egg
* Qboid gives egg a copper bombe/kitten hybrid
<iximeow> !wpn rqou
* Qboid gives rqou a Gregrox'd FBEventUpdateNotificationSubscriptionLevelMutationOptimisticPayloadFactoryProtocol-Protocol
* iximeow squints
<egg> rqou: you should cite Euler (1783), "De evolutione potestatis polynomialis cuiuscunque (1+x+x^2+x^3+x^4+etc.)^n", Nova acta Academiae scientiarum imperialis petropolitanae 12, p. 47 (https://archive.org/details/novaactaacademia12impe)
<rqou> lol ok
<rqou> I'll add it later
<egg> rqou: might be worth saying explicitly that they're the coefficients of (1+x+x^2+x^3+x^4+...)^S
<egg> rqou: in any case you should *definitely* call them 區 instead of f
<egg> f is a silly name
* UmbralRaptor stares at transportation options.
<UmbralRaptor> I swear, the Carnegie Department of Terrestrial Magnetism is deflecting the subway.
awang has joined #kspacademia
<egg> bofh: TIL MXCSR exception masks
<egg> bofh: I guess if you want to use sNaN for arithmetic extensions you'd use that?
<egg> unmask the invalid operation exception, and then do extended things with your sNaN
* iximeow wonders if anyone has laundered numbers through ldmxcsr/stmxcsr
<SnoopJeDi> !wpn -add:adj laundered
<Qboid> SnoopJeDi: Adjective added!
<SnoopJeDi> !wpn -add:adj dundered
<Qboid> SnoopJeDi: Adjective added!
<egg> bofh: do you know about the algebraic method in combinatorics https://twitter.com/bofh453/status/997149097151926272
<kmath> <bofh453> @mrkgrnao extremely same.
<bofh> egg: I know *of* it, but no details.
<egg> bofh: you should come here and sneak into a sudakov lecture
<bofh> egg: working on it :P shoulda caught me last Sept. when I was at EUCAS in Geneva...
<egg> bofh: why didn't you come here?!
<egg> /higham bofh
<bofh> completely slipped my mind, will let you know when I'm in Europe next (likely mid-Juneish).
<bofh> https://twitter.com/JanelleCShane/status/997190921958473729 want to start a band called "Gingered Bearship" myself now.
<kmath> <JanelleCShane> Does anyone run a metal-themed ice cream shop? Because if so, I have a confused neural net for you - trained on bot… https://t.co/kk3R989GpM
<egg> bofh: clearly you should bring an UmbralRaptor with you >_>
<egg> bofh: I'm confused by the IEEE 754 exception names, why is it "invalid operation" but "divideByZero"
<SnoopJeDi> bofh, I love her nets so so much, particularly SkyKnit
<SnoopJeDi> encouraged a friend to reach out to her with an idea they described to me. Can't recall what the idea was though, now...
<bofh> egg: ¯\_(ツ)_/¯
<egg> :-p
<egg> also how can we lure the ~Long Long Cat~ here
<bofh> I tried, they're apparently busy and don't IRC much. Maybe Fiora has a better idea?
<UmbralRaptor> egg: maybe. Would customs get annoyed at a shady dromeosaur in the luggage?
<kmath> <whitequark> @AcademicsSay @FioraAeterna clopen access
<kmath> <MuseumMichael> did you ever notice the "OR" train car at Conjunction Junction is carrying... ore https://t.co/mvG91lJlVv
<UmbralRaptor> ow
<kmath> <mhoye> I feel like there's a kickstarter arbitrage opportunity for somebody willing to charge you a fifth the price, send… https://t.co/9MIp6r6NXx
<SnoopJeDi> lol
<kmath> <n_category> I only eat yogurt with spin ½ https://t.co/oaaXe8ir8E
<SnoopJeDi> quark isn't yoghurt :P
<SnoopJeDi> although it sounds quite tasty
<kmath> <gross_its_me> Faceswapped a cat and a husky and made a cursed image https://t.co/tsFqS2lewY
APlayer has quit [Ping timeout: 182 seconds]
<SnoopJeDi> ooooh, the author of that neat Apollo 11 scheduler article has a book out now http://www.sunburstandluminary.com/SLhome.html
<kmath> <sondy> Margaret defended her thesis and we filled her office with inflatable cats. https://t.co/lr8vCHYUWm
<egg> UmbralRaptor: should I play DF
<egg> or sleep
<UmbralRaptor> just one more season of DF.
<SnoopJeDi> ♫ this is the dawning of the age of insomniaaa ♫
<UmbralRaptor> >_>
<kmath> <meg_bedell> We live in a society https://t.co/J7M100Qrvv
<egg> UmbralRaptor: vaguely tempted to make a new world and choose the embark more carefully though (ideally next to elf and mixed dwarf-goblin civs to get lots of non-dwarf scholars)
<kmath> <Lioncache> @Helios748 Ceci n'est pas un port HTTP
<SnoopJeDi> UmbralRaptor, I'm inclined to agree with @EstherHanko, but zeros all the way is a bummer
<SnoopJeDi> shallow scicomms :/
<bofh> I agree with SnoopJeDi here for the most part.
<SnoopJeDi> I think some of the stuff around 'Oumuamua is an excellent example of how it can be done without compromising the science (even though people still largely didn't care beyond "ooh, pretty" or "ooh, aliens!")
<egg> !wpn коте and the котяchrome kitten
* Qboid gives коте and the котяchrome kitten an amphibious oncological baryon
<SnoopJeDi> relatedly, the SciPy plotting competition is open
<SnoopJeDi> if any of y'all have something you think looks nice, you should submit it! :D
<SnoopJeDi> (you don't have to attend SciPy to submit)
awang has quit [Killed (NickServ (GHOST command used by awang_))]
awang_ has joined #kspacademia
<bofh> SnoopJeDi: like it *does* frustrate me, partly b/c the astro data I care about is mostly energetic particle counts (in the tens of events/6 hrs) & anisotropies in the solar wind & regional magnetic field, which makes for a lot harder time when it comes to getting people to see why it's neat.
<SnoopJeDi> bofh, IIRC the work on the interaction of Rosetta's tail with the solar wind had some tasteful outreach art come out of it, but yea I hear you
<SnoopJeDi> As well as some good stuff generated around the time of passing the heliopause (did I get that right?)
<bofh> yep, for V1 at least.
<SnoopJeDi> it's an interesting cultural rift
<SnoopJeDi> scientists with no sense of aesthetic on one side (we're looking at you, CMS/ATLAS), and shallow click culture on the other (IFLScience)
<SnoopJeDi> in CMS's defense, the black/white Sketchup models of the detector are actually pretty beautiful, and are on display in the shaft access building
<UmbralRaptor> SnoopJeDi: comic sans?
<SnoopJeDi> yup
<bofh> but it's one of those "here's what happens on a sketch" kinda things, yeah. (tbqh my fav analogy is uh https://twitter.com/bofh453/status/861748170195439616 )
<kmath> <bofh453> Ahh, of course. @NASAVoyager ⏎ ⏎ (This is actually a surprisingly good analogy) https://t.co/LXRYLbd6Qr
<SnoopJeDi> holy shit
<SnoopJeDi> right you are
<SnoopJeDi> bofh, I really like the "quasihorse" illustration from Mattuck's book http://online.kitp.ucsb.edu/online/intertwined_c17/kim/oh/02.jpg
<UmbralRaptor> Hah!
<bofh> LOL
<bofh> I MEAN IT'S NOT WRONG.
<iximeow> gigglin at quazi horses
<iximeow> quasi
<iximeow> typing
<bofh> also Mattuck is a good text.
<SnoopJeDi> I know next to nothing of Feynman diagrams and wouldn't mind reading it In A Perfect Universe™
<bofh> they're essentially a way to treat these divergent 4-integrals that you run into when dealing with particle scattering/interaction problems.
<SnoopJeDi> "Our results show that the magnetic interaction from not sufficiently shielded cables or thrusters are a major factor that needs to be taken into account for proper µN thrust measurements for these type of devices."
<SnoopJeDi> #theydidthemath
<bofh> Nice.
<bofh> also "µN". Nice \DeltaV capability there (I guess if you keep it constant over long enough timeframes, it works out usefully).
<egg> UmbralRaptor: so um, "neighbours: tower" might not be a good place to build a university, right >_>
<UmbralRaptor> egg: uh, is the tower made of ivory?
<egg> UmbralRaptor: undead elephants? D:
<UmbralRaptor> Oops
<UmbralRaptor> bofh: So, uh, pretty small compared with the 10s-100s of mN that hall effect thrusters provide?
<UmbralRaptor> (or gridded ion engines like NSTAR, HiPEP, and NEXT)
<egg> NSTAR?
<egg> HiPEP?
<egg> NEXT?
* egg pokes Qboid
<UmbralRaptor> !acr -add:HiPEP High Power Electric Propulsion
<Qboid> UmbralRaptor: I added the explanation for this acronym.
<UmbralRaptor> !acr -add:XIPS Xenon Ion Propulsion System
<Qboid> UmbralRaptor: I added the explanation for this acronym.
<UmbralRaptor> !acr -add:NSTAR NASA Solar Technology Application Readiness
<Qboid> UmbralRaptor: I added the explanation for this acronym.
<UmbralRaptor> !acr -add:NEXT NASA Evolutionary Xenon Thruster
<Qboid> UmbralRaptor: I added the explanation for this acronym.
<egg> GOCE?
<egg> !acr -add:GOCE Gravity Field and Steady-State Ocean Circulation Explorer
<Qboid> egg: I added the explanation for this acronym.
<UmbralRaptor> GOES?
<Qboid> UmbralRaptor: [GOES] => Geostationary Operational Environmental Satellite
<egg> ARTES?
<egg> !acr -add:ARTES Advanced Research in TElecommunications Systems
<Qboid> egg: I added the explanation for this acronym.
<egg> EUMETSAT?
<Qboid> egg: [EUMETSAT] => EUropean organisation for the exploitation of METeorological SATellites
<egg> !acr -add:SMILE Solar wind Magnetosphere Ionosphere Link Explorer
<Qboid> egg: I already know an explanation for SMILE! (Update it with !acr -update:SMILE Solar wind Magnetosphere Ionosphere Link Explorer)
<egg> SMILE?
<Qboid> egg: [SMILE] => Solar wind Magnetosphere Ionosphere Link Explorer
<egg> :-p
<UmbralRaptor> RBSP?
<UmbralRaptor> !acr -add:Radiation Belt Storm Probes
<Qboid> UmbralRaptor: I added the explanation for this acronym.
* egg is being followed by iximeow
* egg pets iximeow
* iximeow binoculars
<iximeow> can't get over dazzling security people with uhhhh 20 year old compiler theory
<egg> iximeow: binoculars?
<iximeow> egg: for better following
<egg> guidescope
<egg> adaptive opticks
<iximeow> somewhere on my next two months' todo is writing some code to do object tracking
<egg> build it on top of principia! :D
<iximeow> i was thinking planes and things, though that's an interesting idea
* iximeow coughs
<iximeow> planes and rockets and things
<egg> definitely build it on top of principia :-p
<egg> also ping lamont if you need guidance code
<iximeow> silly question, what of principia is useful for that project? i don't really much about it
<egg> geometry libs
<egg> strongly typed physical quantities and reference frames
<egg> also maybe there's some numerics, I don't know how/what you want to track
<egg> but not mixing reference frames and not mixing inhomogeneous quantities sounds useful
<iximeow> the more pressing thing is literally tracking rockets (i want my telescope to track launches for me)
<iximeow> less so is correcting for my telescope's slight error in tracking, but i need to figure out if that's the clutch not being tightened properly first
<bofh> so I need to find a sufficiently cheap sodium d-line laser for DIY adaptive optics
<egg> laser guide cows!
* iximeow moos
<UmbralRaptor> egg: oh, *population inversion* is why those ANBO pics are upside down!
* iximeow moos upside down
<UmbralRaptor> 🐄🙃
<iximeow> !u 🐄🙃
<Qboid> U+1F404 COW (🐄)
<Qboid> U+1F643 UPSIDE-DOWN FACE (🙃)
* UmbralRaptor should edit this keyboard so I can output zero width joiners.
<kmath> <Swansontea> According to Zeno and Associates, if you have only saved half of your retirement by any age whatsoever, you will never be able to retire.