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.
awang has quit [Ping timeout: 194 seconds]
awang has joined #kspacademia
ferram4 has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
ferram4 has joined #kspacademia
icefire has quit [Quit: Leaving]
<AASRaptor> soundnfury: that's considerably less bad, though.
awang has quit [Ping timeout: 383 seconds]
<soundnfury> it'd be difficult to be considerably _more_ bad ;)
e_14159 has quit [Ping timeout: 198 seconds]
e_14159 has joined #kspacademia
<kmath> <Helios748> She sleep https://t.co/RMRGbGzYbp
<kmath> <Helios748> She looks up and paws at me if I move my hand https://t.co/ihlVOwhPVe
awang has joined #kspacademia
AASRaptor is now known as UmbralRaptor
ferram4 has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
ferram4_ has joined #kspacademia
<kmath> <allgebrah> Ouroboros theory 201: * Linking universes with Borromean ouroboroi * Beyond the unknot: Care and feeding of trefoil… https://t.co/EKS3LwS4lv
icefire has joined #kspacademia
icefire has quit [Read error: Connection reset by peer]
icefire has joined #kspacademia
* soundnfury gives UmbralRaptor a boustrophedon
<soundnfury> !wpn -add:adj menacing
<Qboid> soundnfury: Adjective added!
<soundnfury> !wpn -add:wpn octopus
<Qboid> soundnfury: Weapon added!
icefire has quit [Read error: Connection reset by peer]
ferram4_ has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
ferram4 has joined #kspacademia
<egg|phone|egg> Whitequark: I don't understand, how is this used? https://mobile.twitter.com/whitequark/status/952101736839307265
<kmath> https://twitter.com/whitequark/status/952101736839307265 <whitequark> hilarious C++ fact #2: because of templates, the name mangling grammar includes... the complete C++ expression gram… https://t.co/0w1zll8IkY
<Qboid> [#2] title: Porting geometry to c++ | | https://github.com/mockingbirdnest/principia/issues/2
<egg|phone|egg> No qboid
<egg|phone|egg> Appropriate though
<whitequark> egg|phone|egg: template<class T> f()
<whitequark> f<double[true?2:3]>() should get a different name than f<double[false?2:3]>()
<whitequark> or... something like that
<egg|phone|egg> Why aren't those double[2] and double [3]?
<whitequark> no idea
<whitequark> ask someone who knows C++
<whitequark> why the fuck do you think I know
ferram4 has quit [Ping timeout: 198 seconds]
<egg|zzz|egg> whitequark: I don't know, you where tweeting about it :-p
<egg|zzz|egg> whitequark: also, are there people who know C++
APlayer has joined #kspacademia
ferram4 has joined #kspacademia
<whitequark> egg|zzz|egg: [citation needed]
<egg|zzz|egg> whitequark: ?
<whitequark> for the claim that there are people who know C++
<egg|zzz|egg> whitequark: I had omitted the final question mark, but check the word order
<egg|zzz|egg> (I should have put a trailing comma I guess)
BPlayer has joined #kspacademia
<egg|zzz|egg> (and yes I agree that the answer to this question is negative)
APlayer has quit [Ping timeout: 383 seconds]
BPlayer has quit [Ping timeout: 207 seconds]
<whitequark> oh, "are"
<whitequark> I missed that
<whitequark> not enoughsleep
BPlayer has joined #kspacademia
APlayer has joined #kspacademia
BPlayer has quit [Ping timeout: 383 seconds]
icefire has joined #kspacademia
<egg|zzz|egg> ENOSLP
<APlayer> Well, shit
<Qboid> APlayer: Ellied left a message for you in #kspacademia [11.01.2018 21:33:33]: "I added a special entry in my hosts file for sci-hub.org so it redirects to that IP; you might try something similar"
<APlayer> I am running, probably for the first time of this PC's life, a real deep AV scan
<APlayer> Took 15 hours so far and is only 50 % done, but found four trojans
<e_14159> APlayer: Wipe everything?
<APlayer> e_14159: Might be a sensible thing to do, but what for? May as well wipe everything every two years then, as a preventive measure
<APlayer> Can't have a 100% clean PC nowadays
<e_14159> Well, if you have malware on your computer, you can - under the admittedly somewhat pessimistic assumption of a competent author - assume you'll never get rid of it.
<e_14159> Why not?
<e_14159> (Discounting hardware security issues, of course)
<APlayer> Wiping and re-installing the whole system would take two or three days, of which at least a few hours of my immediate work
<APlayer> I don't use online banking or similar from this machine, and I honestly don't think it's worth this work
<APlayer> At worst, this PC will be part of some botnet, because whatever else might happen would be some sort of ads
<APlayer> And I can take different countermeasures against ads than wiping the system
<e_14159> Well, if you don't have any sensitive stuff at all on that computer...
<APlayer> What would be sensitive enough to wipe the system, anyway?
<APlayer> Aside from NDA stuff, let's say
<e_14159> Well, banking data should be safe enough due to TFA. Mail accounts, generally passwords, paypal, etc.
<e_14159> Plus, it's the principle of the thing :-)
<APlayer> No paypal, one mail account (But come on, what is there? Internship inquiries? Me sending people some of my programming projects?)
<e_14159> Well, worst-case, it could be used to send your contacts malware-mails.
<APlayer> I have no contacts on my mail account, even
<e_14159> You have sent mails, right?
<APlayer> Well, yes I did
<APlayer> But that would require a careful analysis of the mails I sent and their recipients
<APlayer> And anyway, this has not happened
icefire has quit [Read error: Connection reset by peer]
<whitequark> APlayer: yes, wiping everything every two years is actually a good idea
<whitequark> *cough*or not running windows*cough*
<whitequark> (or at least installing updates religiously)
<APlayer> I'd prefer the latter
<APlayer> The second, that is
<APlayer> When the scan is done, let me see what the trojans even are, might be false alarms
<APlayer> (Though I doubt it)
<APlayer> It seems to have sped up a lot during the last half hour, 94 % done now
<egg|zzz|egg> whitequark: hey, remember https://twitter.com/whitequark/status/839132773788987392
<kmath> <whitequark> OH: (paraphrased) "we use UTC, UT1 and TAI literals in our C++ code so that unit tests can verify that eclipses happen at the right time"
<egg|zzz|egg> whitequark: it's time for a Principia pull request: https://datacenter.iers.org/eop/-/somos/5Rgv/getTX/16/bulletinc-055.txt
<APlayer> Alright, Trojan Nr.1 is actually a stray file left from a legit install I performed a while ago
<APlayer> No idea what the hell the other three are, though
<APlayer> Anyway, off into quarantine with them
<APlayer> Ellied: Sounds useful, will do that on my home PC. Knowing sci-hub's IP is still useful for school PCs, though
APlayer has quit [Ping timeout: 383 seconds]
APlayer has joined #kspacademia
<whitequark> egg|zzz|egg: haha
<egg|zzz|egg> whitequark: so technically since I have UT1 I could make a pull request every time the EOP C04 series gets an update, which, is um, probably daily? But I just batch it in with the leap seconds
<UmbralRaptor> This felt like a metaphor for something https://photos.app.goo.gl/RgSb58gKa8Rds88e2
<UmbralRaptor> And that giant spider https://photos.app.goo.gl/bA03aDORiEvhoisN2
BPlayer has joined #kspacademia
APlayer has quit [Ping timeout: 383 seconds]
<egg|zzz|egg> UmbralRaptor: hmm
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a glider
<kmath> YouTube - Surgical removal of tumour from a betta aquarium fish with fish Veterinarian Dr Loh
APlayer has joined #kspacademia
<soundnfury> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a characteristic 0 arrow
icefire has joined #kspacademia
APlayer has quit [Ping timeout: 383 seconds]
APlayer has joined #kspacademia
BPlayer has quit [Quit: I will be back, and when I do, I will be stroger!]
BPlayer has joined #kspacademia
APlayer has quit [Killed (NickServ (GHOST command used by BPlayer))]
BPlayer is now known as APlayer
APlayer has quit [Ping timeout: 383 seconds]
APlayer has joined #kspacademia
<UmbralRaptor> "For example, physical constants have codata2014 (Mohr et al. 2016)
<UmbralRaptor> and codata2010 versions. Astronomical constants are organized into iau2015 and
<UmbralRaptor> iau2012 modules to indicate their sources"
* UmbralRaptor 🔪 pdfs
<Ellied> we have a CD lying around in the robotics club stuff that says "Contains Arduino example code PDFs"
<Ellied> because PDF is definitely the format you'd find most useful for source code
<APlayer> Program Development Files, yes
<APlayer> :P
<e_14159> Who publishes code as pdf?
<e_14159> That should be excel worksheets.
<egg|zzz|egg> e_14159: FORTRAN in excel worksheets, one character per column
* e_14159 burns egg|zzz|egg at the stake.
<UmbralRaptor> Ellied, egg: one moment, I'm staring at a PDF with 45 pages of FORTRAN.
<e_14159> C o_O
<UmbralRaptor> (pages 19-63)
<UmbralRaptor> "HITRAN resides on a tape which may be read off the CRAY-YMP computer."
<UmbralRaptor> okay…
<UmbralRaptor> There appears to be more FORTRAN later in the paper.
<soundnfury> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a Sapir-Whorf hypergolic surjection
<UmbralRaptor> !wpn soundnfury
* Qboid gives soundnfury a long-range implosion
<soundnfury> ... it's only onto if your language has words that ignite on contact?
<UmbralRaptor> Yes
<UmbralRaptor> Incidentally, the paper is excellent documentation. Or would be if I were a NASA employee in the early 1990s.
<e_14159> UmbralRaptor: I just thought the same thing. If I'm looking at ML papers, about 80% don't in any way publish their code. About 40% don't publish every detail needed to make it work.
<e_14159> And one example had published hyperparameters in the paper, different hyperparameters in their published code, and (according to the authors) yet a third set of hyperparameters used during the experiments.
<UmbralRaptor> e_14159: Have you tried setting the authors on fire, using their own paper as kindling?
<e_14159> A tactical nuclear weapon at NIPS sounds promising, yes.
<UmbralRaptor> e_14159: though with that ATRAN paper, the problem is that it's 2018, not 1992. There has to be a copy of the code and HITRAN database lying around on a server, right?
<e_14159> UmbralRaptor: I mean, yes, it would be nice to be able to reproduce papers after twentyfive years. But I'd be somewhat happy if we could at least reproduce a paper for a year or so.
<UmbralRaptor> e_14159: or with those authors, 30 seconds after typing "pdflatex"
<e_14159> True.
<e_14159> That's, by the way, what my whole setup is supposed to kind-of-solve: A singularity container plus a script to create encapsuled git-repo-managed folders to run experiments from.
<egg|zzz|egg> !wpn e_14159
* Qboid gives e_14159 a Kountdown
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a planetary espresso
<UmbralRaptor> exocoffee!
* UmbralRaptor 🔪 QM in the normalization.
APlayer has quit [Ping timeout: 383 seconds]
<UmbralRaptor> Hypothetical question: do journals besides ArXiv, PLOS, and sci-hub actually exist?
<UmbralRaptor> (Okay, okay. NTRS is also a journal.)
<soundnfury> UmbralRaptor: JIR
<UmbralRaptor> Fair enough.
<UmbralRaptor> maybe
<Ellied> the physics department chair here uses FORTRAN, sometimes if you stand outside his office you can hear him mash space 7 times to begin a line
<UmbralRaptor> That sounds oddly like a ghost story.
<soundnfury> maybe it is
<soundnfury> punch cards walk the halls at night, rattling their chads
<egg|zzz|egg> UmbralRaptor: oh did I tell you about Newhall's algorithm which we use in Principia
<UmbralRaptor> egg|zzz|egg: I don't think so.
<egg|zzz|egg> 2.3. THE EXPORT SOFTWARE
<egg|zzz|egg> The software package on the export tape sent to users contains a program for decoding
<egg|zzz|egg> the tape and creating a direct-access file on mass storage. It also includes subroutines for
<egg|zzz|egg> subsequent reading and interpolating the ephemeris file.
<egg|zzz|egg> doi:10.1007/BF01229014
<UmbralRaptor> o_O
<egg|zzz|egg> whitequark: ADS name mangling ^
<UmbralRaptor> Also, I'm afraid my IRC client can't urlify DOIs.
<egg|zzz|egg> well, the ads link works
<egg|zzz|egg> or
<egg|zzz|egg> s/doi:/sci-hub.hk/
<Qboid> egg|zzz|egg meant to say: sci-hub.hk10.1007/BF01229014
<egg|zzz|egg> argh
<egg|zzz|egg> s/doi:/sci-hub.hk\//
<Qboid> egg|zzz|egg meant to say: sci-hub.hk/10.1007/BF01229014
<egg|zzz|egg> Double-precision data present a problem. Fortran floating point printed numbers are
<egg|zzz|egg> mantissa, with the binary point assumed to be at the left of the mantissa.
<egg|zzz|egg> in general not exact representations of the binary quantities. On the Univac, floating
<egg|zzz|egg> point numbers are represented as a sign bit, an ll-bit biased exponent of 2, and a 60-bit
<egg|zzz|egg> cc bofh for Univac floating point fun
<kmath> <eevee> important: https://t.co/drREGQcQed