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))]
<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
<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
<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
<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>
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
<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>
<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
<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
<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.
<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.