raptop 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. | We can haz pdf
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
Technicalfool has joined #kspacademia
Technicalfool_ has quit [Ping timeout: 190 seconds]
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
<UmbralRaptor> egg|zzz|egg, bofh: I can get a sim card from a vending machine at ZHR the way I could at LHR, right?
egg|laptop|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
<bofh> UmbralRaptor: haven't tried due to lack of phone, but it was trivial to get SIMs in FR, I assume the same is true in CH
<bofh> egg|cell|egg: ^
* UmbralRaptor caws at œuf
* UmbralRaptor sort of wishes for a laptop with a satellite link
<UmbralRaptor> Please put down the monkey's paw
<bofh> I mean Inmarsat *does* sell satellite data modems
<bofh> you pay thru the nose for every kb, tho.
<bofh> also like, I honestly think HSPA+ is sufficient
<bofh> heck for me *eduroam* is often sufficient, lol.
WetLemons has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
Moistmelon has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
* UmbralRaptor keeps on forgetting about eduroam because I didn't have access to it until I started at GMU
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
_whitelogger has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
whitequark has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|laptop|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|laptop|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
APlayer has joined #kspacademia
APlayer has quit [Ping timeout: 190 seconds]
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
<galois> title: Robin Leroy on Twitter: "That was Ada 95; horrid indent and spacing, as well as boring implementation, because that was the only thing I was able to fit in a tweet; a couple of implementations that may be slightly more amusing: https://t.co/r5WknlHg8vhttps://t.co/jn3k3lqAAd"
<galois> title: D Dino: "for those wondering how to establish trade relati…" - Toot.Cat
<galois> title: Jeff Foust on Twitter: "Buried at the bottom: the budget provides no funding for the WFIRST space telescope, the Office of STEM Engagement, and two (unnamed) Earth science missions. Such cuts have been proposed in the past but rejected by Congress."
<bofh> egg|laptop|egg: mirrored qbrt.pdf at the usual
<bofh> also I went thru some of my images and I found this: http://csclub.uwaterloo.ca/~pbarfuss/riced_out_horse.jpg
<galois> title: Computer Science Club of the University of Waterloo: Home
<egg|zzz|egg> bofh: I have a copy anyway, it's just odd that it got 403ed
<bofh> which I have no clue what it's from, but I recall using it to test ffmpeg's mjpeg encoder once
<egg|zzz|egg> bofh: also how do you like my three rot13s
<bofh> sec, opening that thread
<bofh> -- Subtypes and generics, generalizing to an involutive Caesar cipher on ranges.
<bofh> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaokay that makes perfect sense BUT STIL
<bofh> STILL*
<egg|laptop|egg> bofh: it's fairly lengthy but sort of overly-idomatically cute
<egg|laptop|egg> bofh: stereotypically ada approach
<bofh> also I should do one in Fortran, at least if character handling and I/O weren't both unholy nightmares in Fortran
<egg|laptop|egg> what if we made everything a type
<egg|laptop|egg> bofh: also subtype C is Character; in the tweet one is just there to save space
<egg|laptop|egg> bofh: for subprograms and packages, you can rename things with renames
<bofh> I'm amused at how similar the Arrays one is to the C program I'd write for the same task.
<bofh> s/C/VHDL/
<galois> bofh meant to say: I'm amused at how similar the Arrays one is to the VHDL program I'd write for the same task.
<egg|laptop|egg> bofh: but for types, renaming would be redundant with unconstrained subtyping
<egg|laptop|egg> bofh: I think both ought to work in VHDL
<egg|laptop|egg> I don't think I use anything from 95, and most of 83 is in VHDL
<egg|laptop|egg> there's no tasking
<egg|laptop|egg> bofh: so subtyping is *the* way to rename a type
<egg|laptop|egg> and since that implementation has to talk about Character a lot in a space-constrained environment, subtype C is Character; saves space :-p
<bofh> > most of 83 is in VHDL
<bofh> I somehow keep forgetting this, despite always being amazed at how much Ada83 looks like VHDL >_<
<bofh> Like I expect it to be a drastically simplified version since it targets hardware
<egg|laptop|egg> VHDL is Ada 83 minus tasking with warts on top
<bofh> But somehow it's really not that simplified
<egg|laptop|egg> you can't really simplify it, the bits all fit together nicely
<bofh> (Also this leads to the hilarious result of me being able to read Ada83 easily and being *very confused* as to why, since I've never written Ada in my life)
<egg|laptop|egg> bofh: also, "involutive Caesar cipher" seems to be the best rot13 generalization
<egg|laptop|egg> monoalphabetic substitution is boring
<bofh> I mean monoalphabetic substitution is the obvious one, involutive Cæsar Cipher is the full one that's arguably less obvious.
<egg|laptop|egg> yes but it's the one that makes rot13 rot13
<egg|laptop|egg> you could say "any involutive monoalphabetic cipher" but then it's a mess to check the constraint
<egg|laptop|egg> bofh: also, implementing rot13 with two subtypes and two generic instantiations (that call a subprogram that checks a constraint at instantiation time) is somehow satisfying
<egg|laptop|egg> bofh: also have you looked at rootn
<bofh> egg|laptop|egg: no, I really need to. this semester has been a disasterfuck. please poke me on the weekend if I don't get around to it by then.
<egg|laptop|egg> bofh: how is the thesis going
<egg|laptop|egg> bofh: have you given your advisor a flyswatter
<bofh> tediously :P but there is a light at the end of the tunnel. no verdict as to whether it's the sun or a lightbulb in front of a painted-on exit on a wall, tho. :P
<SnoopJeDi> that familiar feel
<egg|laptop|egg> bofh: e.g. you could generalize ROT13 to process digits as well, and the natural thing would be to ROT5 those; the generic implementation extends more nicely to that than the array one
* egg|laptop|egg meows at bofh
<bofh> mew~
* SnoopJeDi stares at DOE section of White House budget proposal
<UmbralRaptor> !u 喵~
<galois> 喵: U+55b5 CJK UNIFIED IDEOGRAPH-55B5
<galois> ~: U+ff5e FULLWIDTH TILDE
SecondNik has joined #kspacademia
SecondNik has quit [Remote host closed the connection]
CPlayer has joined #kspacademia
<egg|laptop|egg> bofh: do you know of any SP3-c (or -d) files with EV or EP records?
CPlayer is now known as APlayer
<SilverFox> so can someone help me out here, dude is doing maths in korean and drew a vector of 1m/s/s and then drew two more vectors at right angles, but along the other axis; x and y, where initial vector is along z axis, and said that the resulting vectors for x and y axis are 1/sqrt(2) m/s^2, how does this work out?
<APlayer> Did he add x + z and y + z?
<SilverFox> no idea
* UmbralRaptor feels like something is missing
<SilverFox> this is in an entirely different language
<SilverFox> im not fluent enough in korean to understand this rap god
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<SilverFox> there's now v,x and v,y, where v is 0 in both instances at time 2s
<SilverFox> this is madness
<SilverFox> here is a screenshot
<bofh> egg|laptop|egg: not off the top of my head, but let me check in an hour
<SilverFox> oh I see, if you add two vectors of 1 length, you get 1/sqrt(2)?
<egg|laptop|egg> bofh: also how did you know about those NGA SP3 files, I had only come across the IDS, ILRS, and IGS ones
<SilverFox> or just sqrt(2)?
<SnoopJeDi> the magnitude of the vector sum depends on the angle between them
<UmbralRaptop> ^
<UmbralRaptop> √2 for a pair of perpendicular vectors of length 1
<UmbralRaptop> (right triangles, etc)
<SilverFox> huh, neato
<SilverFox> angle was 90*
<SnoopJeDi> if you don't speak the language and aren't familiar with the math, I would say it seems weird to be watching these lecture videos.
<SilverFox> i'm watching korean tv
<SilverFox> this is what was on one of the channels
<egg|laptop|egg> DGFI?
<egg|laptop|egg> !acr -add:DGFI Deutsches Geodätisches ForschungsInstitut
<galois> Definition added!
<egg|laptop|egg> EDC?
<galois> EDC: EUROLAS Data Center
<egg|laptop|egg> EUROLAS?
<egg|laptop|egg> CDDIS?
<galois> CDDIS: Crustal Dynamics Data Information System
<egg|laptop|egg> MGEX?
<galois> MGEX: Multi-GNSS EXperiment
<bofh> egg|laptop|egg: I did a bit of SATCOM (mostly in 2015), those were the products I used then mostly (got them off an old Halifax ham).
<egg|laptop|egg> bofh: I have to say they are a bit weird
<egg|laptop|egg> bofh: they are conformant SP3-a afaict
<egg|laptop|egg> but
<egg|laptop|egg> bofh: they are SP3-a
<egg|laptop|egg> in the year 2019
e_14159 has quit [Remote host closed the connection]
e_14159 has joined #kspacademia
<bofh> look, it's NGA, that code was prolly written a decade ago and multiple things critically depend on it being SP3-a :p
<egg|laptop|egg> a decade? you are confused
<egg|laptop|egg> bofh: for reference, SP3-b was introduced in 1998-10-27; arguably SP3-b was designed specifically for IGEX98 so it's niche, but SP3-c is a general-purpose update, and was introduced 2002-09-05
<bofh> egg|laptop|egg: I was trying to be conservative in age, but my point still stands, it's the NGA, it was prolly written once, is still using that exact same code, and multiple downstream things depend on it being SP3-a (likely using code written around that same time).
e_14159 has quit [Remote host closed the connection]
e_14159 has joined #kspacademia
<egg|laptop|egg> bofh: admittedly considering how good the various agencies are at producing correct SP3, the upgrade would be tricky :-p
<egg|laptop|egg> bofh: re. https://twitter.com/stephentyrone/status/1104883900378238976, how does that work out if higher precisions end up being more than what you have at hand though
<egg|laptop|egg> bofh: implementing an elementary function for double-double sounds eggstremely unpleasant
<egg|laptop|egg> (not that this makes correctly-rounded double elementary functions fun tbh, since it probably involves the same except more)
<bofh> I mean on the one hand yes it DOES, on the other hand for a lot of elementary functions to guarantee correct rounding you get nearly as much pain.
<bofh> Like there's a libm that implements correctly-rounded sincos, and the impl. involves bignums.
<bofh> And not just for Payne-Hanek, you need bignums even when evaluating part of your series.
<bofh> At that point double-double seems preferable :p
<egg|laptop|egg> yeah
<egg|laptop|egg> bofh: and even for an algebraic function, you'll easily need several times your precision in unpleasant cases
<egg|laptop|egg> bofh: can you reasonably do faithful in double-double though?
<egg|laptop|egg> bofh: I'm also weirded out that those NGA files don't end up on the IGS data centres
<bofh> egg|laptop|egg: I have actually no clue, I recall that was one of the questions from the last ANBO excursion and I haven't had time (or, honestly, focus) to look at it since.
<bofh> clearly we should look at it the next time we're both at ANBO, then start ANBO Letters as a formal publication :p
<egg|laptop|egg> bofh: I have questions about this URL http://ftp.aiub.unibe.ch/papers/hhdiss.pdf
<egg|laptop|egg> IGEX?
<galois> IGEX: International ГЛОНАСС EXperiment
<egg|laptop|egg> !acr -add:IGLOS International ГЛОНАСС Service
<galois> Definition added!
<egg|laptop|egg> !acr -add:IGLOS-PP IGLOS Pilot Project
<galois> Definition added!
<bofh> hhdiss?
<egg|laptop|egg> bofh: ?
<egg|laptop|egg> bofh: no hhdiss is reasonable
<egg|laptop|egg> bofh: Heinz Habrich inaugural DISSertation
<egg|laptop|egg> bofh: it's more http://ftp.
<bofh> oh I see that all the time
<bofh> it's daft but I expect it at this point.
<egg|laptop|egg> bofh: is there ftp://http.
<egg|laptop|egg> bofh: https://http.ftp.telnet.meow.mil
<SnoopJeDi> LOL meow.mil
UmbralRaptop has quit [Quit: Bye]
<egg|laptop|egg> bofh egg|laptop|egg: I did a bit of SATCOM << also that's how the NGA calls satellite centre of mass for maximal confusion
<egg|laptop|egg> (as opposed to SATAPC)
UmbralRaptop has joined #kspacademia
<galois> title: Principia/README.md at grgs · eggrobin/Principia · GitHub
<egg|laptop|egg> LEGOS?
<galois> LEGOS: Laboratoire d’Études en Géophysique et Océanographie Spatiales
<egg|laptop|egg> DORIS?
<galois> DORIS: Détermination d’Orbite et Radiopositionnement Intégré par Satellite / Doppler Orbitography and Radiopositioning Integrated by Satellite
<egg|laptop|egg> Détermination d'Orbite et Radio positionnement Intégrés par Satellite says LEGOS
<egg|laptop|egg> CNES says Détermination d’Orbite et de Radio positionnement Intégré par Satellite
<egg|laptop|egg> what is grammar
<egg|laptop|egg> ENSG?
<galois> ENSG: École Nationale des Sciences Géographiques
APlayer has quit [Ping timeout: 189 seconds]
egg|laptop|egg has quit [Ping timeout: 183 seconds]
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Client Quit]
UmbralRaptop has joined #kspacademia
<SnoopJeDi> bofh, I agree
<iximeow> good art
<galois> title: Massimo on Twitter: "A vapor cone, also known as shock collar or shock egg, is a visible cloud of condensed water which can sometimes form around an object moving at high speed through moist air, for example an aircraft flying at transonic speeds https://t.co/IDCX27Jwlrhttps://t.co/vQbP59HS85"
<UmbralRaptop> bofh: Some sort of Atelier thing?
<bofh> yeah