<whitequark> apple paid the certification fee and got a piece of paper
<soundnfury> so you may be Unix, but you sure as hell ain't a unix.
<whitequark> that's why it can call itself UNIX(R)
<whitequark> the kernel is not microkernel for a very long time
<whitequark> to the degree that BSD subsystem processes are mutually incompatible with some Mach APIs
<bofh> are there any actual microkernels used anywhere non-embedded?
<whitequark> soundnfury: don't quote esr at me.
<bofh> ugh, ESR
<soundnfury> whitequark: I'll quote esr at whomever I wish
<bofh> soundnfury: that's unnecessarily mean.
<whitequark> soundnfury: welcome to /ignore
<whitequark> bofh: you could argue that xen qualifies as a microkernel, sort of, sometimes
<whitequark> xen with unikernels is a microkernel if you squint at it.
<whitequark> but instead of RPC you have... IP
<soundnfury> whitequark: be that way; I'll be over here with the dread reposturgeon
<bofh> I guess. It's hard thinking of xen as anything other than a virtualization system
<whitequark> is it still a microkernel if it requires linux to run?
<whitequark> and other philosophical questions
<bofh> LOL
<bofh> going to go with "no" on that one
<whitequark> I mean, compare to seL4
<whitequark> which most people would put into "definitely a microkernel" camp
<whitequark> but in real world it will usually be used with linux anyway!
<whitequark> you'd IOMMU-passthrough most non-essential devices into the linux instance and run your crappy linux apps there
<whitequark> isolating the mission-critical parts in seL4 land itself
<whitequark> (that's how seL4copter was set up; DoD had a red team that couldn't do anything despite having root on the inner linux)
<bofh> well yes, but there's a difference between inner linux and outer linux
<whitequark> I thought dom0 isn't special in any way except having a hold of most devices by default plus access to management interface
<whitequark> like it is definitely running in a VM
<whitequark> it allocates memory through Xen and so on
<bofh> "isn't special in any way except being the thing that has the default device access ability"
<bofh> that's, uh, pretty special
<bofh> like at the end of the day the main thing distinguishing the hypervisor from the guest instance is that one has direct access to hardware devices
<whitequark> mmh
<bofh> (this is at least my perception, feel free to correct me)
<whitequark> not *default*, I think?
<whitequark> like if you have IOMMU then dom0 just gets all the forwards because that's what you usually want
<whitequark> not because the design of Xen inherently requires dom0 to have access to all hardware
<bofh> ahh.
<bofh> well okay IOMMU simplifies a lot of things
<bofh> related, why did it take so long for those to exist in even server hardware?
<bofh> like I feel they weren't popular until at least 2004-2005
<whitequark> I don't think we had hardware-assisted virtualization in 2004-2005
<whitequark> vt-x is 2006
<whitequark> ... I suppose v86 counts as hardware-assisted virtualization
<whitequark> technically
<whitequark> oh wow
<whitequark> bofh: I just discovered that Intel Iris+ supports *time-sharing* virtualization
<bofh> wait what
<bofh> *boggle*
<whitequark> looks like for VT-d to work you need: chipset support, firmware support, FLR, MSI...
<whitequark> so I suppose just the usual legacy crap prevented it from being very useful
regex has quit [Remote host closed the connection]
<whitequark> (might even be MSI-X, not sure)
<egg> whitequark: on an unrelated note, have you managed to put some food inside of you? you probably should >_>
<whitequark> egg: nope
<whitequark> I'm refactoring some C++
<egg> I have done that today and I can confirm that this is not a nutritive activity
<egg> anyway, I should sleep
<egg> goodnight!
<UmbralRaptor> egg: Uh, I'm not that familiar with Sex. I think there are some distant galaxy clusters there, but try someone who lives in the southern hemisphere?
<egg> (and try to eat at some point in the foreseeable future)
<whitequark> it's... very addictive
<whitequark> the C++ that is
* UmbralRaptor wonders what the Calorie per KLOC ratio is.
* Iskierka wonders if she missed a line somewhere
* Iskierka should probably also go to bed though
<egg> UmbralRaptor: wait, don't you get to see Sex from where you are? you are further south than I am, right?
<UmbralRaptor> Well, sorta. I had to grab a sky chart.
<UmbralRaptor> Between Leo and Hydra, apparently.
<egg> tbh the asterism is dull as can be
<bofh> https://nationalmaglab.org/media/k2/items/cache/6cdb4ac6ccf86fc9922b1b1ecf5faa0d_L.jpg oh hey cool they have a picture of the magnet I've been working with
<bofh> can confirm, the NON-MAGNETIC sticker is there IRL
<bofh> (also speaking of things that started out old and got more old: getting escorted off LANL premises every night b/c foreign national)
<UmbralRaptor> ...someone stuck a "non-magnetic" sticker on a giant magnet?
<bofh> (I will not miss that)
<bofh> so I suspect that's either a joke or refers to the material of the outside of the magnet
<bofh> then again the field is surprisingly well contained on that one
<bofh> like I think it's rated for <1.5T outside from a few cm away (the peak field is 60T for about a second)
<egg> UmbralRaptor: so, from the Snowder blog, Population III stars, and a dim galaxy edge-on; so in a smallish scope, Sex is indeed as boring as it looks.
<bofh> egg: had to look up what you meant and yeah asterism does apparently mean different things in astronomy and materials science
<bofh> was very confused for a second
<UmbralRaptor> bofh: Also
<UmbralRaptor> Er, also editing paragraphs! ⁂‏
<UmbralRaptor> !u ⁂‏
<Qboid> U+2042 ASTERISM (⁂)
<Qboid> U+200F RIGHT-TO-LEFT MARK (‏)
<bofh> ooh, handy to know
<UmbralRaptor> egg: If you're looking for Pop III stars, may I suggest an 8 m scope instead of an 8 cm? >_>;;
<bofh> also damn some nice Enceladus pics complete with cryovolcano on this Cassini downlink pass
<egg> UmbralRaptor: indeed, also you have a giant spider next to you again in that emoticon
<UmbralRaptor> If that's a spider, then are its mandibles glowing?
* soundnfury gives UmbralRaptor a pilcrow
<UmbralRaptor> soundnfury: I feel like that should let me use a paragraph as a polearm.
<soundnfury> !wpn -add:wpn pilcrow
<Qboid> soundnfury: Weapon added!
<soundnfury> (gmta)
<soundnfury> the paragraph _is_ mightier than the glaive...
<bofh> for instance
<soundnfury> bofh: mmm, space :)
<bofh> let's see, do I hate myself enough to finish implementing J_{nu}(z)/I_{nu}(z) for complex z tonight?
<bofh> probably
<egg> bofh: I watched it launch on a NeXT :-p (also apparently I was 3-4 years old?)
Wetmelon has quit [Ping timeout: 201 seconds]
<egg> I think I vaguely remember watching it though
<bofh> egg: wait, Cassini? its launch was in like 2003 or 2005 or something iirc
<bofh> or am I misremembering that badly
<UmbralRaptor> !wpn -add:wpn asterism
<Qboid> UmbralRaptor: Weapon added!
<egg> bofh: 1997
<egg> you're thinking Huygens sep
<egg> (and arrival)
<bofh> ahh. indeed, makes sense.
<bofh> huh also you're like 3 years younger than I am
* bofh feels old now
<egg> whitequark: this is becoming a recurring theme
<soundnfury> what bofh said
<egg> bofh: I think I had looked at that at the time too https://en.wikipedia.org/wiki/Cassini%E2%80%93Huygens#/media/File:Cassini-huygens_anim.gif
<egg> fancy CG from '97 \o/
<soundnfury> such colour, many lighting, so banding
<bofh> gotta love specular reflections in a shoddy 256-colour palette
<pizzaoverhead> Very 90s-futuristic.
<egg> bofh: so yeah, Cassini's been around for as long as I can remember, pretty much literally
<egg> ---and now it's going to end :'(
<bofh> yeah I'm quite sad about that
<egg> what's the next outer solar system thing
<egg> JUICE?
<Qboid> egg: [JUICE] => Jupiter ICy moons Explorer
<bofh> I don't actually know.
<bofh> like part of the issue is that Jupiter sort of moved out of the way of things so it's not terribly useful for gravity assists to planets beyond it for another 2-3 decades
<bofh> which really irritates me since I want an ice giant orbiter damnit
<egg> there's JUICE in 22 arriving in 30 to Jupiter and in 33 to Ganymede orbit and help those year numbers are too big
<bofh> wow
<bofh> also man one of the best bits of last year was watching the Juno orbital insertion
<bofh> wait, Galileo took 6 years and Juno took 5. 8 seems a bit long.
<bofh> Are they not doing any grav assists with JUICE or something?
<bofh> holy shit why four
<egg> Earth Venus Earth (are we sure we're on the right road) Earth (please check the map)
<bofh> sec
<egg> oh fuck the instrument names :D
<egg> !acr -add:JANUS Jovis, Amorum ac Natorum Undique Scrutator
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:MAJIS Moons And Jupiter Imaging Spectrometer
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:UVS UV imaging Spectrograph
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:SWI Sub-millimeter Wave Instrument
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:GALA GAnymede Laser Altimeter
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:RIME Radar for Icy Moons Exploration
<Qboid> egg: I added the explanation for this acronym.
<bofh> oh so the EVEE insanity is b/c they don't have a budget for a large rocket
<bofh> so they need that to get sufficient delta-v
<egg> well it's an Ariane 5
<egg> that's not puny
<egg> and it's an esa mission, so that's their biggest launcher
<egg> unless they ask for trouble and a proton
<bofh> well yes, but couldn't they have convinced NASA to let them use a Titan IV/Centaur or something?
<whitequark> bofh: wait what?!
<whitequark> 2-3 decades?!
<whitequark> that sucks
<egg> bofh: the thing used to be an ESA/NASA mission, then NASA got Congressified, and ESA got sick of it
<egg> !acr -add:RIME Radar for Icy Moons Exploration
<Qboid> egg: I already know an explanation for RIME! (Update it with !acr -update:RIME Radar for Icy Moons Exploration)
<egg> !acr -add:J-MAG JUICE MAGnetometer
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:PEP Particle Environment Package
<Qboid> egg: I added the explanation for this acronym.
<bofh> whitequark: egg: so there was a wikipedia page that listed times when outer planets lined up for gravity assists being viable
<bofh> but I can't seem to find it
<egg> hmm
<egg> bofh: oh that reminds me, did you see that ESA posting about that competition for global trajectory optimization?
<bofh> (actually Uranus I think had a time in 2030 when Jupiter would be usable, but that would require building and launching the probe in like 3 years)
<bofh> nope!
<egg> apparently that competition is a thing
<egg> sounds fun :-p
<egg> !acr -add:RPWI Radio & Plasma Wave Investigation
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:3GM Gravity & Geophysics of jupiter and Galilean Moons
<Qboid> egg: I added the explanation for this acronym.
<bofh> though like ORNL is finally making Pu-238 at non-glacial speeds so that's at least approaching feasible now
<egg> !acr -add:PRIDE Planetary Radio Interferometer & Doppler Experiment
<Qboid> egg: I added the explanation for this acronym.
<bofh> also like you know that aphorism "if con- is the opposite of pro-, what is the opposite of progress?..."
<bofh> well it's fucking true
<whitequark> lol
<egg> bofh: I have ceased have any expectations from NASA tbh, even before this administration
<bofh> so like I ceased to have expectations from NASA since GWB's admin
<egg> ESA seems to have a whole lot more stability in its projects
<egg> not sure how the chinese work (in mysterious ways), since documentation on their plans is scarce
<egg> !acr -add:ORNL Oak Ridge National Laboratory
<Qboid> egg: I added the explanation for this acronym.
<egg> also wow there are a lot of acronyms; the OS talk above had some but I didn't follow that closely
<bofh> yeah appologies
<egg> it's fine :-p
<egg> I'm just permanently impressed at the amount of silly acronyms that get produced
<egg> aerospace is good at it
<bofh> yup
<bofh> PEPSSI is still one of my favourites
<egg> !acr -add:PEPSSI Pluto Energetic Particle Spectrometer Science Investigation
<Qboid> egg: I added the explanation for this acronym.
<egg> bofh: Qboid should have the rosetta instruments
<egg> CONSERT?
<Qboid> egg: [CONSERT] => COmet Nucleus Sounding Experiment by Radiowave Transmission
<egg> OSIRIS?
<Qboid> egg: [OSIRIS] => Optical, Spectroscopic, and Infrared Remote Imaging System
<bofh> on an unrelated note it continues to amuse me that we have so many spacecraft orbiting Mars that RF interference/congestion among them is actually a thing
<egg> oh? neat
<whitequark> amazing
<egg> soo more than an hour ago I said that I should sleep :-p
egg is now known as egg|zzz|egg
<egg|zzz|egg> goodnight
<kmath_> <nascom1> Showing that even around Mars there can be conjestion (of the RF type). Poor @MAVEN2Mars first showing clean gets s… https://t.co/kfXKkB8fle
<egg|zzz|egg> whitequark: also try putting food inside of you eventually
<bofh> ^
<bofh> I also recommend food at some point
* whitequark sighs
<whitequark> but I just started a new round of refactoring C++
<egg|zzz|egg> >_>
<whitequark> lemme just refactor the rest of solvespace and I'll get food?!
<bofh> again the nutritive value of C++ is questionable :P
<bofh> fine
<egg|zzz|egg> "the rest of solvespace" uh
<egg|zzz|egg> how big is this codebase again
<bofh> fairly large
<whitequark> 40kloc
<egg|zzz|egg> does that include tests?
<whitequark> no
<whitequark> neither it includes vendored libs
<bofh> like in theory the human body can survive a few weeks w/o food if you make sure to handle micronutrients
<whitequark> solvespace is incredibly small for a cad
<whitequark> bofh: right
<bofh> mind you the few days it takes for your neurons to pullstart the enzymes needed to function on ketones sounds like a very unpleasant time
<egg|zzz|egg> bofh: ... please don't give whitequark ideas
<whitequark> egg|zzz|egg: oh it's nothing particularly new
<whitequark> i'm aware of ketosis
<egg|zzz|egg> :-p
<whitequark> egg|zzz|egg: there's nothing more dangerous (to oneself) than free access to the entirety of pubmed :p
<bofh> I'd jokingly wonder whether whitequark winds up eating something first or I wind up sleeping first but he has like a good 10 hours head-start
<bofh> (got 5 hours of sleep last night)
<whitequark> i'm not a he
<bofh> er
<bofh> apologies :(
<bofh> as for pubmed, just don't try testing arsine poisoning remedies :P
<whitequark> I'm not *nearly* mad enough to work with arsine
<whitequark> at least, not without far better PPE
<bofh> heh, reminds me I still need to find some fluorochemists
<whitequark> (for the rest of the channel, the gist of it is: you inhale air with like 50ppm of arsine and all your red blood cells instantly explode)
<bofh> apparently the one lab in Canada that does radical-phase fluorochemistry has an alarm for detecting fluorine leaks
<whitequark> I feel like that could be a good replacement for those "no trespassing" signs
<whitequark> "we have an alarm for detecting fluorine leaks"
<bofh> if you are in the part of the lab that works with the fluorine, you have 30-60 seconds to get out before essentially 5cm thick metal/glass doors slam shut all around
<bofh> and if you're inside, well enjoy the F2/F-
<bofh> (you probably won't)
<whitequark> I recall someone in my high school asked what happens if a human gets exposed to fluorine
<whitequark> the answer was short: "human fluoride"
<egg|zzz|egg> whitequark: so, principia has 60431 lines of manually-written C++, including tests; as well as 5047 lines of C#; of the C++, 22282 is tests and 2066 are utilities for tests
<whitequark> egg|zzz|egg: before i took over solvespace it didn't have tests
<egg|zzz|egg> so, by you metric... solvespace is still slightly bigger than my KSP mod :-p
<egg|zzz|egg> s/you/your
<Qboid> egg|zzz|egg meant to say: so, by your metric... solvespace is still slightly bigger than my KSP mod :-p
<egg|zzz|egg> [my ksp mod is silly]
<whitequark> solvespace is a very... interconnected codebase
<bofh> this is insane
<whitequark> by which is mean it is goddamn full of spaghetti
<egg|zzz|egg> bofh: ?
<bofh> "...demonstrated the extraordinary oxidative fluorinating ability of KrF2 by using it to prepare IF7 and XeF6"
<egg|zzz|egg> oh
<egg|zzz|egg> wait
<egg|zzz|egg> you're fluorinating *what* ? O_o
<UmbralRaptor> Yeah, it turns out noble gases don't live up to their rep when faced with fluorine.
<whitequark> oh god flying with XeF6
<egg|zzz|egg> flying?
<egg|zzz|egg> whitequark: what you want to take a tank of the stuff through customs?
<bofh> "On another occasion on a Saturday morning whilst they were trying to get a KrF2/AuF5 mixture (actually KrF2/[Kr2F3]+[AuF6]-) mixture into solution with HF, the mixture incandesced in the tube and as Gary threw it clear, it exploded leaving him (luckily) without fluorine burns but with a gold-plated hand.
<bofh> +"*
<whitequark> egg|zzz|egg: it's from the book
<egg|zzz|egg> OO_Oo
<UmbralRaptor> ...why is the book $364? Is this one of those Ignition! like things where it's way out of print?
<whitequark> egg|zzz|egg: also I refuse to handle anything even slightly explosive myself
<whitequark> I like my fingers and I'm not deluded enough to think I have the necessary discipline or skill
<egg|zzz|egg> whitequark: oh, you're actually somewhat sane on some aspects :-)
* egg|zzz|egg still can't quite wrap his head around the dental madness though :-p
<whitequark> .... why does everyone hang onto that specific thing
<whitequark> it wasn't even particularly painful
<egg|zzz|egg> well, self surgery isn't exactly something common is it?
<whitequark> define surgery
<whitequark> piercing a nail to drain a hematoma under it counts as "surgery" too under this definition
<bofh> ^
<egg|zzz|egg> hmm
<bofh> whitequark: my god this keeps getting more and more insane
<bofh> like it's not just they got it through customs
<bofh> they flew it to Strasbourg
<whitequark> yeah that's what I was referring to
<bofh> from CANADA
<whitequark> XeF6 isn't that bad even
<whitequark> XeO3 is what *really* bothers me
<egg|zzz|egg> the tooth thing is rather more permanent though?
<whitequark> like okay they probably don't have enough to breach the plane
<whitequark> but if the dewar is, the plane is now full of LN2 that rapidly stops being L
<whitequark> and it's well enough to displace all oxygen inside
<bofh> so it said dry ice so I hope that's the case
<bofh> b/c otherwise yeah, a pressurized LN2 dewar is a lot of N2
<whitequark> this was actually the argument of the airport security for not letting me fly with a canister of R-141b
<bofh> that's not a wholly unreasonable argument fwiw
<whitequark> its vapor pressure at the temperature in the luggage compartment is very low
<whitequark> but yes
<whitequark> I agreed with them
<bofh> so yeah it appears all fluorochemists are bonkers
<bofh> and this is why I need to go talk to them more
<bofh> (I still can't believe someone thought that O2F2 didn't have enough oxygen so they one-upped it to O3F2, and then someone one-upped that still to O4F2)
<bofh> I don't *think* anyone's succeeded in making O5F2 yet
<whitequark> I'm not sure if that would qualify as "success"
<whitequark> ... oh
<whitequark> >Publication Date: January 1966
<egg|zzz|egg> sooo
<bofh> okay so let me amend that to I don't *think* anyone's succeeded in making O7F2
<egg|zzz|egg> the sort of thing that's in Ignition, then
<egg|zzz|egg> in time and nature
<whitequark> so you could power a rocket with, say, O6F2 and dimethylmercury...
e_14159 has quit [Ping timeout: 180 seconds]
<bofh> I'm not sure how my brain wants to react to that. I think it slightly BSOD'd a bit
<egg|zzz|egg> I
<egg|zzz|egg> words
<bofh> like that would work, you use the Me2Hg as the fuel and the O6F2 as the oxidizer
<egg|zzz|egg> no
<egg|zzz|egg> no.
<UmbralRaptor> Besides the obvious wrongery, Hg will kill your Isp.
<whitequark> UmbralRaptor: I think the idea here is to use Hg as working fluid
<whitequark> like the USG actually tested a motor that used Hg for that (successfully)
<whitequark> not Me2Hg mind you, just Hg plus (iirc) MMH
<UmbralRaptor> Having a molecular weight 10x that of a hydrolox engine would be, uh, interesting.
e_14159 has joined #kspacademia
GreeningGalaxy has joined #kspacademia
<egg|zzz|egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a theta counter which vaguely resembles a quill
<GreeningGalaxy> !wpn egg
* Qboid gives egg a radioactive tangential ram
<GreeningGalaxy> egg|zzz|egg: isn't it 3 AM there?
<egg|zzz|egg> uuh yes, I've said that I should sleep at 1:26 then at 2:28
<egg|zzz|egg> I shall extrapolate and predict that I will say it at 3:30
<egg|zzz|egg> GreeningGalaxy: also from time to time we try to remind whitequark that they should eat
<egg|zzz|egg> GreeningGalaxy: oh and fluorine chemistry
<whitequark> !wpn
* Qboid gives whitequark a morphism
<egg|zzz|egg> !wpn -add:adj fluorinated
<Qboid> egg|zzz|egg: Adjective added!
<whitequark> useful.
<egg|zzz|egg> whitequark: not sure which kind of morphism though
<kmath_> <michiexile> The morphism zoo… homo, iso, mono, epi, endo, auto, homeo, diffeo, ana, cata, meta, hylo, zygo, para, apo, skeu… #didImissany #1notlikeother
<whitequark> a zygohistomorphic prepromorphism!
<whitequark> !wpn -add:adj zygohistomorphic
<Qboid> whitequark: Adjective added!
<egg|zzz|egg> oh wtf
* egg|zzz|egg stares at abstract nonsense
<GreeningGalaxy> well, it's good to have you periodically reminded about what it feels like to look at a link of eggsplanations that are hard to understand.
<egg|zzz|egg> GreeningGalaxy: nah, but that's bona fide abstract nonsense
<whitequark> "And from the new implementation it should be obvious how to implement a generalized zygohistomorphic prepromorphism [...]"
<GreeningGalaxy> oh, well that one basically backfired as hard as it's possible to backfire. Okay, I'll wander back to ##electronics
<egg|zzz|egg> GreeningGalaxy: nah, it's fine (also I frankly have no clue what it says or does)
<whitequark> it's actually a joke
<egg|zzz|egg> I'm not that into abstract nonsense
<egg|zzz|egg> whitequark: yeah, but it seems entirely meaningful
<egg|zzz|egg> albeit a bit niche
<egg|zzz|egg> niche abstract nonsense?
<egg|zzz|egg> eh, not worse than "long exact sequence"
<egg|zzz|egg> whitequark: a long exact sequence is infinite; a short exact sequence has three arrows.
<egg|zzz|egg> no five
<bofh> see also: the long line
<egg|zzz|egg> and but that's really long
<bofh> I believe wikipedia still describes it as "the real line, except much longer"
<egg|zzz|egg> that's a good description
<egg|zzz|egg> :D
<bofh> (it's ω_1 x [0,1))
<bofh> oh I should probably mention my undergrad was in pmath, mostly functional analysis. so unfortunately a lot of this is familiar to me.
<whitequark> ω?
<bofh> whitequark: first uncountable ordinal
<egg|zzz|egg> the first infinite ordinal
<whitequark> is it like ヽ(*・ω・)ノ
<bofh> LOL
<egg|zzz|egg> uh, right, uncountable
<egg|zzz|egg> that's _1
* egg|zzz|egg slaps egg
<egg|zzz|egg> bofh: well, did a BS and MSc. in math, so I've done that nonsense too :D
<whitequark> oh i'll just get some fast food
<whitequark> ._.
<egg|zzz|egg> all those glorious spaces that serve as counterexamples in topology
<egg|zzz|egg> whitequark: sure, that counts as food, I am confused as to what is conveyed by that emoticon though
<whitequark> egg|zzz|egg: i *ought* to cook something but am too immersed in C++
<whitequark> (is "immersion in C++" one of those occasions they have eyewash stations for?)
<egg|zzz|egg> I was thinking it was a differential geometry thing
<egg|zzz|egg> whitequark: immersion, submersion, and embedding; sadly embedding doesn't have the same sort of feel to it in english
<whitequark> (I recall a story about some guy who got immersed in fairly concentrated hydrofluoric acid, and survived, thanks to a particular formulation of a neutralizing solution, even without disability)
<whitequark> egg|zzz|egg: so if I'm working on a remotely-operated underwater vehicle
<whitequark> all three are ambiguous
<egg|zzz|egg> the french word for embedding is plongement, so that also means... basically the same thing as immersion and submersion :D
<whitequark> lol
<egg|zzz|egg> nice naming scheme
<whitequark> also "plongement" sounds totally made-up
<egg|zzz|egg> very submarine-themed
<egg|zzz|egg> whitequark: plonger, to submerge (or to dive)
<bofh> LOL
<bofh> it does sound totally made up, yes
<egg|zzz|egg> I guess you could call embeddings divings
<bofh> 02:24 <@egg|zzz|egg> all those glorious spaces that serve as counterexamples in topology
<whitequark> egg|zzz|egg: it's like if someone tried to make a "simple english" neologism but mostly failed
<bofh> I still say my favourite name-wise is Cantor's Leaky Tent
<whitequark> up goer five
<egg|zzz|egg> whitequark: I gather you speak french?
<whitequark> egg|zzz|egg: not a word
<egg|zzz|egg> ah, this isn't a tolstoi novel then
<bofh> counterexample-wise I'm partial to the Moore plane and the Topologist's sine curve
<bofh> ALSO
<bofh> ...
<bofh> who the heck names these things?
<egg|zzz|egg> mathematicians! we are very sane people
<whitequark> mathematicians?
<egg|zzz|egg> bofh: but still, I think we should have diving instead of embedding to go with immersion and submersion
<egg|zzz|egg> (immersion and submersion are bourbachic terminology of course)
<egg|zzz|egg> so is plongement
<egg|zzz|egg> somehow plongement didn't make it into english
<egg|zzz|egg> so they kept embedding, which doesn't fit with the others :-\
<whitequark> coconutable topology
<egg|zzz|egg> is this a thing?
<whitequark> it's cocountable
<whitequark> but
<egg|zzz|egg> ah yes, cocountable is a thing.
<egg|zzz|egg> whitequark: do you know about pairs of pants?
<whitequark> vaguely recall
<egg|zzz|egg> you can stitch them together from right-angled hexagons
<GreeningGalaxy> whitequark: I'm still bubbling with curiosity about how you recovered your /usr after the NVMe incident, btw.
<egg|zzz|egg> and stitch two of them to make a surface with two holes
<egg|zzz|egg> also I should sleep
<egg|zzz|egg> (hm, 8 min late on my prediction)
egg|zzz|egg is now known as egg|zzzz|egg
<egg|zzzz|egg> goodnight
<bofh> lol
<GreeningGalaxy> night egg
<bofh> 'night
<GreeningGalaxy> I think Wikipedia has entries for "[arbitrary noun] (mathematics)"
<GreeningGalaxy> Toast with Cheese (mathematics)
<GreeningGalaxy> Stomp Rocket (mathematics)
<GreeningGalaxy> https://futurism.com/now-you-can-use-light-to-wirelessly-charge-your-devices/ "Here, mount this 10-watt IR laser on your ceiling! Whenever you walk in, it will target and fire at your phone, thus charging it! Your eyeballs will be JUST FINE WE PROMISE"
TonyC1 has joined #kspacademia
TonyC has quit [Ping timeout: 204 seconds]
<UmbralRaptor> ...
<UmbralRaptor> They actually claim to use IR lasers to charge stuff.
<GreeningGalaxy> I mean, that's not *impossible* but it certainly is insane
<whitequark> GreeningGalaxy: oh right I wanted to respond to that
<whitequark> but you left
<whitequark> GreeningGalaxy: so what I did is I found another install of Debian (that won't boot on this machine because... reasons)
<whitequark> union-mounted its /usr *below* the erased /usr
<whitequark> chrooted into it then aptitude reinstall $(dpkg --get-selections)
<GreeningGalaxy> wow
<whitequark> this naturally overwrote everything in the /usr, and of course the writes went to the erased one
<GreeningGalaxy> that's clever.
<whitequark> I had to do this from memory because I had neither inernet access nor a working smartphone (for... reasons)
<whitequark> that part was annoying
<whitequark> also mounting all this from initrd.
<GreeningGalaxy> The worst tale of linux woe I have is losing my graphics drivers to an update and not finding out until I rebooted, while working on an important project, very late at night.
<whitequark> so I use LVM
<whitequark> (I assume you know what is LVM)
<whitequark> once I discovered pvmove I became determined to find out if pvmove can be used on my root partiion
<GreeningGalaxy> I do, and I checked the box during install, but I'm not very good at operating it.
<whitequark> to move it to an USB drive
<whitequark> I haven't realized that the port is flaky.
<GreeningGalaxy> oh.
<whitequark> okay. sure. rebooting. it's sorta messed up
<whitequark> then I discover that LVM actually puts its metadata in string form near the beginning of the PV
<whitequark> cool
<whitequark> I do this again sometime later and discover that it just doesn't actually work for some reason, even if the USB port isn't flaky
<whitequark> the good thing was that I already knew how to recover :p
<whitequark> GreeningGalaxy: for added fun I suggest porting linux to something.
<whitequark> I ported linux to a video ad once
<bofh> heh
<bofh> oh god that
<GreeningGalaxy> eek
<bofh> (best linux port)
<GreeningGalaxy> oh yeah, once a kernel update (4.4 to 4.5 under Arch) did something dreadful to my mediocre HP laptop that made it look like the HDD was dying. It started giving me the same { DRDY ERR } { ABRT } things that my old old Dell laptop sometimes gets when its HDD runs over too many bad sectors.
<whitequark> >Arch
<GreeningGalaxy> wait, actually that was the OpenSuSE install first. I thought it was a corrupted install and nuked it, and then it claimed the Arch one too.
<bofh> Arch is somewhat of a tire fire
<GreeningGalaxy> I completely agree
<GreeningGalaxy> I use Manjaro now. That has me on a more reasonable update schedule (more incremental, less immediate) but still reasonably up-to-date. And I rather like pacman.
<bofh> Hm, curious what the worst thing I did to a system.
<bofh> Okay, overwriting part of the UEFI NVRAM via poking all of the i2c space to see what was there was *annoying*, but only took like 6 hours to fix
<whitequark> did you have to desolder the SPI flash
<bofh> (and I swear at least one of those was just me screaming internally on how it loads code out of a battery EEPROM and executes it in SMM to determine charge levels and alert timers)
<GreeningGalaxy> (I'll be back in about 30 minutes, gotta go home)
<whitequark> oh it was EEPROM
<whitequark> also WHAT
<whitequark> IT DOES FUCKING WHAT
<whitequark> CHRIST
<whitequark> wait
<bofh> so like I overwrote more than one thing
<whitequark> ... is it signed
<whitequark> because we don't have an overabundance of SMM exploits
<bofh> I have no idea, it's a 1K EEPROM
<bofh> I assume this is specific to that line of shitty Asus knockoff netbooks
<bofh> I could try to desolder it tomorrow and see what the heck is in it
<whitequark> that would be interesting
<bofh> (I cracked that battery open when trying to resurrect it due to charge controller chip failure)
<whitequark> to dmytro oleksyuk i think
<bofh> (holy flying fuck laptop batteries are INSANE)
<bofh> like I think it was uh
<bofh> superglue, then 3 layers of ultrasonic welding
<whitequark> that's completely within my expectations
<bofh> I basically had to use a hacksaw to start the cut then a knife to open the rest of it
GreeningGalaxy has quit [Ping timeout: 206 seconds]
<bofh> like jeez I'm pretty sure I've run across gloveboxes/anoxic storage chambers that were less hermetically sealed.
<bofh> https://en.wikipedia.org/wiki/Irrational_cable_on_a_torus unrelated but have more math insanity
icefire has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
zlaing has joined #kspacademia
<GreeningGalaxy> re: Linux distros, basically, I like my Plasma 5, I don't like Kubuntu (and my current main hardware is 32-bit, so no Neon for me), and I have enough Stockholm syndrome to think that I like managing Arch-based systems as much as Debian-based ones. Thus, I use Manjaro.
<GreeningGalaxy> My HP laptop (which I don't use because its chassis is so shitty) still has an Arch install on it, but it's broken and when I boot it up it's into Debian.
<whitequark> GreeningGalaxy: oh, same
<whitequark> i use plasma 5 with i3wm
<whitequark> i start it with a custom .xsession does this count as arch enough
<GreeningGalaxy> nifty
<whitequark> it's actually remarkable how well this works
<whitequark> at this point it needs basically zero hax
<whitequark> it used to need more but then kde advanced
<GreeningGalaxy> cool
<GreeningGalaxy> Yeah, KDE really made a big step at some point there. People still have the impression that the desktop environment is necessarily a resource hog, but I have mine (not modified much, still using Kwin even for compositing) running comfortably on an old Toughbook CF-30 with the lowest-end integrated Intel graphics around
<whitequark> I don't use compositing
<whitequark> (because well i3)
<whitequark> can't say how much of a resource hog it is but scrollin gon a 3200x1800 display isnt happening without acceleration
<GreeningGalaxy> sure, I should probably bother myself to move away from it, especially since my touchpad is so bad and I never have space for a mouse.
<GreeningGalaxy> I don't have any effects enabled, or even Vsync, but I mean it's still a stacking window manager
<GreeningGalaxy> and I'm still on ye olde 1024x768 so I suppose that helps
<GreeningGalaxy> one of the more annoying things about this machine is that it has no good way of scrolling. the touchpad is not only strictly single-touch, but apparently also strictly relative-only, so there's no provision for either two-finger or edge scrolling.
<whitequark> gross
<GreeningGalaxy> I've been toying with the idea of trying to install some kind of mechanical scrolling thing into the case next to it.
<GreeningGalaxy> or maybe some kind of thin touch sensor to act like edge scroll would, to avoid having to cut through the chassis
<whitequark> mmm
<whitequark> is the chassis plastic or metal
<whitequark> also how good are you with embedded
<whitequark> if it's plastic i'm thinking a vusb stack on an attiny, mounted on a kapton pcb, with capacitive sensing
<whitequark> should be fairly robust and the HID part is trivially implementable
<whitequark> mounting outside of the case seems unlikely to survive for long except with very careful use
<GreeningGalaxy> just starting out. I learn this kind of thing fast because I end up spending all my time on it, but I got to programming a Nucleo in mbed for the first time last weekend.
<GreeningGalaxy> mm, true
<bofh> wait are we talking DIYing a touchpad multitouch element?
<whitequark> singletouch
<whitequark> multitouch sounds pretty annoying to actually polish
<whitequark> and using a non-polished one would be nightmarish
<whitequark> also the reporting sucks
<GreeningGalaxy> the chassis has a lot going on. I haven't actually found a way to fully open it, but what I've seen inside it has a LOT of different layers of circuit board, and a pretty extensive armored endoskeleton which the literature tells me is a magnesium alloy. The exterior is all plastic.
<whitequark> so the reason i said "kapton tape pcb" is you might be able to put it between the chassis and the plastic case
<whitequark> however the plastic sounds pretty thick
<whitequark> so the next best thing is...
<whitequark> debug that thing really well, then gouge an indentation in the outer plastic, put the pcb there
<whitequark> and fill it with epoxy
<whitequark> it'll be smooth and good to touch, it'll be indestructible too
<GreeningGalaxy> sounds good
<GreeningGalaxy> if I ever do find a way to get this thing open, I have reason to believe there's an internal USB interface I'll be able to commandeer. There's a touchscreen digitizer on the screen that shows up in lsusb but I think is broken.
<GreeningGalaxy> I might even be able to get at it without significant disassembly, since the hinge cables are easy to get to.
<whitequark> yes, there is absolutely an internal usb interface
<whitequark> worst case you'll have to do with the one on the mini-pcie card
<GreeningGalaxy> (I tried the usual "$PRODUCT disassembly" video, but got stuck at a point where the guy goes "now just lift out the keyboard" and mine is still firmly stuck in place)
<whitequark> huh
<GreeningGalaxy> kinda wonder if the previous owner upgraded from the standard keyboard to the backlit island-style it has now and used some kind of glue.
<whitequark> ew
<GreeningGalaxy> could also just be really old double-sided tape
<GreeningGalaxy> An amusing feature this has is a BIOS 'odometer' type thing that counts up the total runtime hours of the machine. When I got it, it was at something like 35000 hours.
<GreeningGalaxy> Assuming that's to be trusted, it's aged really well. The external screws are a little tarnished, but other than that it looked basically new when I got it. (I've added my own scratches since then, though)
<whitequark> did it have any stickers
<whitequark> it could be from a company
<whitequark> ... hm
<whitequark> > 35000 hours / (8 hour/day)
<whitequark> 11 tropicalyear, 51 week, 8 hour, 3 minute, 34.27853 second (time)
<GreeningGalaxy> No company stickers. My best guess is that it spent its life in a cop car, because I've seen a lot of cop cars with very similar computers inside.
<whitequark> that's still a lot of years, even at 12 hours/day
<GreeningGalaxy> just the Intel Centrino Duo sticker, Energy Star, and a Windows Vista sticker which I peeled off and replaced with an Ubuntu sticker that I stole from one of my unis computers (they all have them, but none of them actually run it even as a dual boot)
<GreeningGalaxy> My machine doesn't either, but you know.
<whitequark> someone cheaped out!
<whitequark> I suppose they have some sort of enterprise windows license
<whitequark> but didn't bother to get PCs from an enterprise supplier
<GreeningGalaxy> That's probably it, which surprises me because they're all those fully mediocre dells that you'd expect to come from an enterprise supplier
<GreeningGalaxy> I suppose it also occurs to me that they could be from some secondhand refurb shop that put the stickers on them
<GreeningGalaxy> christ, I hate it when google puts words in my mouth. "touchpad scroll" [Enter] ~magically~ turns into "touchpad scrolling not working windows 10"
<whitequark> https://encrypted.google.com/search?tbs=li:1&btnG=Search&q=%1
<whitequark> add this as a search engine in your browser
<whitequark> this is "google verbatim"
<GreeningGalaxy> oh, bless you.
<whitequark> wait hang on
<whitequark> I think that's a wrong link, sec
<whitequark> https://encrypted.google.com/search?tbs=li:1&btnG=Search&q=%s
<whitequark> hm
<whitequark> no that was the right one
<whitequark> let me check it again
<whitequark> yeah it works
<kmath_> <mnxmnkmnd> Very little understanding of what i just drank https://t.co/CO2SHUeLGf
<GreeningGalaxy> ah, this is perfect. You have no idea how long I've wanted this but assumed it wasn't a thing.
<whitequark> same
<whitequark> @munin has shown it to me I think
<whitequark> I used to put quotes around things but google will STILL suggest you shit even then
<whitequark> "helpfully"
<whitequark> now I use duckduckgo though where that isn't a thing
<whitequark> and its autocrrects are less malicious but more irritating
<whitequark> it converts CFString to cstring
<whitequark> ddg why
<GreeningGalaxy> ...okay. I just heard heavy rain falling on the other side of my ceiling, which I thought was normal and relaxing for about five seconds before I remembered that 1) it's way too cold to be raining, and 2) I live in the garden apartment of a three-story building.
<whitequark> 'garden apartment'?
<GreeningGalaxy> pronounced "basement"
<whitequark> lolwhat
<GreeningGalaxy> I don't know whose idea it was first, but it's a very common thing around here to call the lowest floor (basement, if furnished) the "garden" level
<GreeningGalaxy> at least for apartments
<GreeningGalaxy> Anyway usually when I say "I live in a basement" on IRC, people assume it belongs to one or both of my parents (which is apparently somehow less desirable than having it belong to some rando landlord? IDK) so I thought for some admittedly tenuous reason that "garden" would be less ambiguous
<whitequark> ahh that makes esnse
<GreeningGalaxy> have you used nRF24L01+ modules much? I'm starting to get into them with my uni's robotics club.
<GreeningGalaxy> I think I almost got one working using someone else's C++ library today, but the problem is that I only got *one* to do anything, so I don't know if the link would actually have worked.
<whitequark> GreeningGalaxy: I kinda really wanted to use them but never had a chance
<GreeningGalaxy> It's kind of a funny story. Robotics club was going to a makerfaire, but our robots didn't have any way of being controlled wirelessly yet, and we had four days to go. We went to a local "robot store" which mostly sold novelty robot-ish things for parties but also had a few serious components and got four of these modules, and then promptly discovered that exactly one of us (me) even knew
<GreeningGalaxy> how to read the manual for how to use them.
<GreeningGalaxy> well, not promptly. Not until we actually got to the faire.
<whitequark> haa
<GreeningGalaxy> I've worked with SPI devices before, but these things are an order of magnitude more complicated than an MCP3008
<GreeningGalaxy> although it's pretty straightforward if you use some library, if that library actually works.
<GreeningGalaxy> The reason we never got them working in time was that I was the only one who knew how to read the 75-page datasheet, but I didn't know much about programming for Arduino, which is what we had. If I had then what I have now, I could've pulled it together on a Nucleo, but I didn't even know about Nucleos then.
<GreeningGalaxy> They're all CS and game design majors. I'd like to say that I have an easy time collaborating with them, but that would be lying.
<GreeningGalaxy> anyway, I need some sleep. see you around
GreeningGalaxy has quit [Quit: SIGNAL LOST]
<egg|zzzz|egg> !seen whitequark
<Qboid> egg|zzzz|egg: I last saw whitequark on [11.03.2017 05:41:32] in #kspacademia saying: "haa"
<whitequark> egg|zzzz|egg: wh
<egg|zzzz|egg> whitequark: principia is apparently a drink?
<whitequark> ye
<egg|zzzz|egg> whitequark: also I gather I should say something about nice parts per thousand
<whitequark> parts per thousand?
<egg|zzzz|egg> there's a percentage next to the drinks
<whitequark> oh
<egg|zzzz|egg> probably ethanol by either volume or mass?
<whitequark> yes, ABV
* egg|zzzz|egg stares at the pings in various other channels... pinging on "double" was a mistake
<whitequark> double trouble
<egg|zzzz|egg> eggsactly
<egg|zzzz|egg> !tell *Galaxy it's good to have you periodically reminded about what it feels like to look at a link of eggsplanations that are hard to understand. <<< abstract nonsense isn't a good way to do that, otoh the talk of eleggtronics or operating systems works well
<Qboid> egg|zzzz|egg: I'll redirect this as soon as they are around.
<egg|zzzz|egg> speaking of which there was apparently a scanlime stream while I was asleep
<egg|zzzz|egg> maybe someday I'll understand more than the cat in these streams
<egg|zzzz|egg> the cat's nice though
<kmath_> <sigfig> videogame physics engines need some renewed mathematical attention they do not have to be as unstable as they are
<egg|zzzz|egg> videogame people need some mathematics eggsplained to them >_>
<egg|zzzz|egg> or really, some numerics at least
<egg|zzzz|egg> I understand the convenience of having forces that you apply once per frame, but that doesn't necessarily mean doing it with Euler, they could use Newton-Delambre-Stoermer-Verlet (leapfrog) for the same cost
<egg|zzzz|egg> an they'd have higher order *and* symplecticity
<egg|zzzz|egg> or even a multistep method I guess, if they're willing to store the forces from previous frames; but then you'd need to mark discontinuities somehow, so that's perhaps not ideal
<egg|zzzz|egg> anyway, enough ranting, there's principia#1241 to review
<Qboid> [#1241] title: Remove compatibility code | | https://github.com/mockingbirdnest/principia/issues/1241
<egg|zzzz|egg> hmm, the idea of a game engine using a multistep method sounds fun though
<egg|zzzz|egg> how would one deal with discontinuities...
<egg|zzzz|egg> blarg
<egg|zzzz|egg> !wpn
* Qboid gives egg|zzzz|egg a shippy fibre
<egg|zzzz|egg> !wpn -add:adj multistep
<Qboid> egg|zzzz|egg: Adjective added!
<egg|zzzz|egg> !wpn -add:adj adaptive
<Qboid> egg|zzzz|egg: Adjective added!
<egg|zzzz|egg> !wpn -add:adj symplectic
<Qboid> egg|zzzz|egg: Adjective added!
<egg|zzzz|egg> huh, that wasn't there?
<egg|zzzz|egg> !wpn -add:wpn integrator
<Qboid> egg|zzzz|egg: Weapon added!
<e_14159> !wpn -add:adj Wasserstein
<Qboid> e_14159: Adjective added!
<egg|zzzz|egg> !acr -add: Lévy–Прохоров
<Qboid> egg|zzzz|egg: Invalid key!
<egg|zzzz|egg> !acr -add:adj Lévy–Прохоров
<Qboid> egg|zzzz|egg: I added the explanation for this acronym.
<egg|zzzz|egg> uh wait not acr
<egg|zzzz|egg> !wpn -add:adj Lévy–Прохоров
<Qboid> egg|zzzz|egg: Adjective added!
<egg|zzzz|egg> !acr -remove:adj
<Qboid> egg|zzzz|egg: I removed the explanation for adj
* egg|zzzz|egg evidently not awake yet
egg|zzzz|egg is now known as egg|zzz|egg
<egg|phone|egg> !acr -add:LLVM Low Level Virtual Machine
<Qboid> egg|phone|egg: I added the explanation for this acronym.
<egg|phone|egg> !Acr -add:NCSA National Center for Supercomputing Applications
<Qboid> egg|phone|egg: I added the explanation for this acronym.
<egg|zzz|egg> whitequark: do you know whether in clang-format there is an option to prefer foo->\nbar to foo\n->bar?
<egg|zzz|egg> Thomas: remember kountdown's .t?
<Thomas> sorry, no idea what that was
<egg|zzz|egg> Thomas: gave the time (arguably not very useful), but had an association of users and timezones, so you could do .t Thomas and see Thomas's local time
<Thomas> aha
<egg|zzz|egg> Thomas: now arguably given how screwed up everybody's sleep is around here this might be of limited usefulness
<egg|zzz|egg> ... or maybe we could set our effective time zones
<e_14159> egg|zzz|egg: For me, there's not really a difference.
<egg|zzz|egg> e_14159: yeah, and I think UmbralRaptor, Greening, and SnoopJeDi tend to have sane hours too
<egg|zzz|egg> maybe it's just me :-p
<egg|zzz|egg> not sure about bofh
<e_14159> Well, for some definition of sane.
icefire has joined #kspacademia
<egg|zzz|egg> o/ icefire
<egg|zzz|egg> icefire: why is kmath_ op? is it signed in as you?
<icefire> it uses the same account
<egg|zzz|egg> oh I see * [kmath_] is logged in as icefire
egg|zzz|egg is now known as egg|principia|egg
<whitequark> egg|principia|egg: LLVM is not a "Low Level Virtual Machine"
<whitequark> or an acronym for that matter
<whitequark> or a virtual machin
<egg|principia|egg> it used to be that acronym if wikipedia is to be believed, but yes, I know
<whitequark> it never was a virtual machine though
<whitequark> like it was a facet of very early design that never materialized
<egg|principia|egg> it was just weirdly named :-p
<egg|principia|egg> but I do put some no-longer current etymological things like that in Qboid
<egg|principia|egg> e.g.,
<egg|principia|egg> NEC?
<Qboid> egg|principia|egg: [NEC] => Nippon Electric Company
<egg|principia|egg> whitequark: also I see huberlab has 5ml flasks... tempted to get an even smoler flask than yours :-p
<egg|principia|egg> (I have no idea what I might use that for mind you, but they're cute)
<whitequark> egg|principia|egg: oh I think the smallest I can get is like 2.5ml
<whitequark> I just didn't need one
<egg|principia|egg> :D
<egg|principia|egg> <whitequark> or a virtual machin <<< "machin" is french for "thingy", this sounds amusing to me :-p
<egg|principia|egg> also https://en.wikipedia.org/wiki/Machin_series is a great source of hilarity in france
<egg|principia|egg> erm no wait not that
<whitequark> yeah, that's why I didn't correct that typo :p
<egg|principia|egg> formule de Machin
<egg|principia|egg> the horror, french wikipedia uses tan for tg https://fr.wikipedia.org/wiki/Formule_de_Machin
<egg|principia|egg> (traditionally, the tangent is tg, its inverse arc tg)
<egg|principia|egg> the hyperbolic functions are sh ch th, but that's still in common use, tg is going out of fashion
<egg|principia|egg> aaargh not enough sleep...
<whitequark> sleep? who needs that?
<egg|principia|egg> whitequark: eggs, apparently
<egg|principia|egg> whitequark: also considering your sleep and eating patterns I am wondering whether you might be a wolf. Or perhaps just a cat.
<whitequark> something catlike.
<egg|principia|egg> !wpn
* Qboid gives egg|principia|egg a diagonal wyvern
<egg|principia|egg> whitequark: btw, in case you don't know about them, what I meant by "japanese style" for the tilted wine bottle launch is the μ and ε rockets: http://www.space.com/images/i/000/032/077/original/epsilon-launch-vehicle-launch-point.jpg?interpolation=lanczos-none&downsize=660:*
<egg|principia|egg> O_o also why the hell does this url talk about Lanczos
<egg|principia|egg> so apparently Lanczos did a resampling thing as well as the better-known (to me) Lanczos algorithm
<egg|principia|egg> #kspacademia: linking a rocket picture and using it to veer off into numerical analysis
<egg|principia|egg> ...
<egg|principia|egg> Today in "KSP is dumb": the FloatingOrigin system puts the origin where the root part of the vessel is (i.e. at top typically). Then the camera is offset from that so that it's at the barycentre of the vessel.
<egg|principia|egg> because putting the barycentre of the thing to which physics happens at 0 and the camera looking there would be too sane
<whitequark> lol
<whitequark> clearly it's "kerbal space program" because it was written by kerbals
<egg|principia|egg> that... that explains a lot of things
<egg|principia|egg> also hello zlaing, I assume you're that astronomer bofh was talking about
<UmbralRaptor> egg|principia|egg: I try to keep sane hours, but failures happen.
<egg|principia|egg> UmbralRaptor: hah
<egg|principia|egg> !wa time in Kansas City
<Qboid> egg|principia|egg: current time in Kansas City, Missouri, United States: 9:06:57 am CST | Saturday, March 11, 2017
<egg|principia|egg> this is sane though
<egg|principia|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a samarium katana
<UmbralRaptor> !wpn egg|principia|egg
* Qboid gives egg|principia|egg a radial octahedron
<egg|principia|egg> also, hi Majiir
<UmbralRaptor> !wpn Majiir
* Qboid gives Majiir a reactive cow/suitcase hybrid
<egg|principia|egg> UmbralRaptor: samarium does not sound like a good material for a sword
<UmbralRaptor> Presumably it's a sword to get through customs, and can then be converted into something else?
<egg|principia|egg> *drops sword into deep fryer* *sword ignites*
<bofh> egg|principia|egg: feh, SmCo5 would make for a decent sword IMO
<bofh> now a cow/suitcase hybrid OTOH...
<egg|principia|egg> bofh: right, but that would be a samarium cobalt sword, which is something else that Qboid may generate
* UmbralRaptor doubts that it was both a cow and a suitcase at the same time.
<bofh> UmbralRaptor: so I'm assuming \frac{1}{\sqrt{2}}(|cow> + |suitcase>)
<egg|principia|egg> UmbralRaptor: cows are self-propelled leather suitcases used for the transport bovine products
* UmbralRaptor had entirely too much trouble parsing that LaTeX.
<bofh> egg|principia|egg: oh, so much like cars are basically a bunch of couches in a box that moves forward by blowing up really fast?
<egg|principia|egg> bofh: that's specifically petroleum cars though right
<egg|principia|egg> bofh: speaking of QM, I hope your client encloses nicks in <>
* UmbralRaptor hopes @ is hermetian.
<egg|principia|egg> oh
<egg|principia|egg> right if your client does that for ops my nickpun fails utterly
<bofh> ahh, I see
<bofh> well I can always just assume @egg and egg are different eigenstates :P
<egg|principia|egg> e.g. in the Thomas-whitequark logs it looks right:https://logs.tmsp.io/kspacademia/
<bofh> (treating principia here as some operator)
<bofh> brb, boarding a flight
<egg|principia|egg> yes, my status has to be an operator of sorts, maybe an observable?
<egg|principia|egg> bofh: have a good flight
Majiir is now known as Snoozee
egg|principia|egg is now known as egg|tea|egg
GreeningGalaxy has joined #kspacademia
<whitequark> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy an arsenic polonium counter
<whitequark> what a device
<GreeningGalaxy> !wpn whitequark
* Qboid gives whitequark an inert resistor
<Qboid> GreeningGalaxy: egg|zzzz|egg left a message for you in #kspacademia [11.03.2017 09:00:03]: "it's good to have you periodically reminded about what it feels like to look at a link of eggsplanations that are hard to understand. <<< abstract nonsense isn't a good way to do that, otoh the talk of eleggtronics or operating systems works well"
<GreeningGalaxy> whitequark: I can't tell, is that a generic counter made of arsenic and polonium, or a counter for counting polonium made of arsenic? Or something else
<whitequark> GreeningGalaxy: it's killing you.
<whitequark> *mic drop*
<GreeningGalaxy> well yes but I want to know what it's for and what it does before I succumb
<Iskierka> I think that's the mic drop
<UmbralRaptor> So that's why its MAX_INT is only 1?
<GreeningGalaxy> "how much polonium?" "one polonium"
<egg|tea|egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a pointy ㎭ refractor which strongly resembles a cabbage
egg|tea|egg is now known as egg
<egg> today in Ada anecdotes: Ada has rather a lot of keywords https://en.wikibooks.org/wiki/Ada_Programming/Keywords, and back when he was on the ARG, phl wanted to find a concept that would allow "is not at all" to mean something (he didn't find anything though)
<whitequark> "is not at all constant"
<egg> :D
<egg> whitequark: I am unsure what the dynamic semantics of that are, but it sounds scary :-p
<bofh> https://youtube.com/watch?v=C4OV2UofPFg&fmt=18 so clearly this is what the lasers are for
<kmath_> YouTube - Portal's 'Still Alive' Played by Fiber Laser
<bofh> namely, music
<whitequark> somehow, inexplicably, macos' download speed calculator is even worse than the windows copy dialog
<whitequark> "7 min remaining" *exactly seven minutes pass* "6 min remaining"
<whitequark> all at a constant rate
<whitequark> it also shows a speed that's completely impossible on my connect... wait a moment
<whitequark> I think the system timer is just fucked
<UmbralRaptor> !wa sqrt(1-7^(-2))
<Qboid> UmbralRaptor: sqrt(1 - 1/7^2) = (4 sqrt(3))/7
<egg> whitequark: the windows copy dialog got better since the xkcd afaict though :-p
<whitequark> no its still bad
<whitequark> they actually made it *worse* in vista
<whitequark> also I don't know about xkcd, I was mocking the windows copy dialog since at least win98
<bofh> so in vista/7 I've had it take more time to load and display the stupid dialog than it took to copy the file
<bofh> like, often
<whitequark> yep
<whitequark> kde doesn't even bother to show the dialog until the copy takes a second
<bofh> egg: also https://en.wikipedia.org/wiki/Lanczos_approximation is a useful thing if we're talking about our good friend Cornelius Lanczos
<egg> bofh: I knew about his algorithm, but not his approximation (those are wonderfully descriptive names aren't they)
<bofh> yes
<bofh> 09:12 <@egg|zzzz|egg> I understand the convenience of having forces that you apply once per frame, but that doesn't necessarily mean doing it with Euler, they could use
<bofh> Newton-Delambre-Stoermer-Verlet (leapfrog) for the same cost
<bofh> who on earth calls leapfrog anything other than leapfrog? :P
<egg> so, it depends to whom you speak
<egg> astronomers say Leapfrog
<egg> molecular dynamicists say Verlet
<SnoopJeDi> PIC folks kinda use both
<egg> not sure who says Stoermer, they exist
<bofh> oh, point, I do vaguely recall Verlet at times
<egg> and I learned Stoermer-Verlet
<egg> bofh: and then, I looked that mess up
<whitequark> god damn it
<whitequark> now it failed the download
<whitequark> itunes is written by completely incompetent people
<bofh> yes
<bofh> yes it fucking is
<bofh> so did I tell you about the iTunes VM? I have a Windows 7 VM that I cloned from the same image I use to disassemble malware.
<bofh> Its sole purpose is to run iTunes on the rare occasion someone gifts me an album on there.
<egg> from #RO: <stratochief> egg: I made a stage in your honour: http://imgur.com/e4t4s48
<bofh> egg: "Notably, it appears in Philosophiae Naturalis Principia Mathematica, in section II (De inventione Virium centripetarum), in the proof of theorem I."
<egg> it's true, you can check :-p
<egg> there's even a link \o/
<bofh> ooh, this is a nice pdf of it
<egg> welp someone is looking for trouble (and finds it) https://github.com/mockingbirdnest/Principia/issues/1244
<Qboid> [#1244] title: Is there a commit I can build that will work with 1.2.2? | I was wondering if there's a commit that'd work with 1.2.2. I know how to build the project, and already tried building both the latest commits in the master and Cardano branches. The Cardano behaves ... | https://github.com/mockingbirdnest/Principia/issues/1244
<bofh> man I now want to make music via 20W fiber laser + steel plates
<bofh> time for more flying, though with wifi this time.
<bofh> can't wait to be back in the land of America's Maximally Asshole Drivers
<egg> bofh: are they more assholeish than parisian drivers though
<GreeningGalaxy> I still have my old iPod touch in here somewhere. That device followed a satisfaction curve about exactly proportional to 1/t
<GreeningGalaxy> Day 1: "cool, my first pocket-sized device with wifi!" Day 50: "I want music but my storage is completely flooded with "other."
<GreeningGalaxy> then the home button "broke" even though the hardware was fine. It would do nothing on the first press, then register a double-press when you pushed it again.
<GreeningGalaxy> It's only been about 3 years, but the battery is now scarcely better than no battery. I don't get how people think apple stuff is good-quality, honestly.
<GreeningGalaxy> !wpn egg
* Qboid gives egg an eta intensive pigeon
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a serpentine repeater
<bofh> egg: it's been like over a decade since I was last in Paris and I don't recall much about the drivers there.
<bofh> (flight delay, yaey)
<bofh> egg: Illinois drivers are in some ways worse than the ones in Rome, some ways better
<bofh> though honestly I feel like that's at least half due to there being less one-way roads in Chicago
<egg> Rome has some resemblences with Pariss let's say
<egg> s/ss/s
<Qboid> egg meant to say: Rome has some resemblences with Paris let's say
<GreeningGalaxy> bofh: heh, my neighborhood in Chicago is entirely 1-way roads
<egg> bofh: mind you, I don't drive, so I can only tell you about drivers from the pedestrian perspective of a pedestrian
<egg> pedestrian puns
<bofh> GreeningGalaxy: my condolences.
<bofh> egg: I also can't drive, so
<GreeningGalaxy> me either
<bofh> but the experience of almost getting run over every time I go to see the symphony orchestra is ""fun""
<GreeningGalaxy> I do bike, but mostly illegally (e.g. on the sidewalks, because I don't have any lights)
* egg has a bicycle, but too much slope here :-p
* egg lazy
* GreeningGalaxy pokes egg with gears
* egg pokes GreeningGalaxy with a gravitational potential
<GreeningGalaxy> I used to bike between my house in Edgewater and my job in Evanston over the summer, but usually only on the way home at night for some reason
<GreeningGalaxy> (I would ride the train with my bike on the way out)
<GreeningGalaxy> I'm luck I didn't get hurt doing that, probably. It was kind of a long ride down dark streets with no lights or reflectors to speak of.
<GreeningGalaxy> (I did wear a helmet, I'm not a madwoman)
<egg> GreeningGalaxy: also, because I nerd-sniped myself into doing the calculation, I need to expend about 590 J/kg to go from ETHZ to my house
<GreeningGalaxy> that's not too bad
<egg> also that's a terrible lower bound :-p
<GreeningGalaxy> so if an egg weighs 70 kg and a kcal is 4184 J, that's not a lot of food
<egg> also while we're doing silly unit things that's 3.7 TeV per microgram
<egg> GreeningGalaxy: mind you that's just the gravitational potential, I utterly ignored things like my house not being right above ETHZ and efficiencies
<GreeningGalaxy> ah, fair enough
* egg doesn't actually live in a house floating 60 m above ETHZ)
<GreeningGalaxy> ok, I need to lever myself up and go get some stuff done, it's after noon and I haven't done anything today besides clean up my kitchen a little
<SnoopJeDi> There's definitely defensible measured numbers for energy expenditure in the literature
GreeningGalaxy has quit [Ping timeout: 180 seconds]
<SnoopJeDi> Doubly-labeled water, mostly
<bofh> as in... tritated and what else?
<SnoopJeDi> hm?
<bofh> oh and oxygen-18
<bofh> was wondering what the second "label" waals
<bofh> was*
<SnoopJeDi> ahh
<egg> bofh: ... physicist autocorrect, was->Waals? :D
Snoozee is now known as Majiir
<egg> o/ Majiir
<bofh> egg: rofl
<Majiir> \o
<bofh> egg: please, that would require an autocorrect service to be smart enough to be either useful or clever :P
<egg> Majiir: so, how is the understading of numerical integration going
<kmath_> <eggleroy> <Majiir> I really am imagining egg just drowning in a sea of papers https://t.co/P2iqkDT7CN
<bofh> egg: someone did taylor expansions of what into the restricted 3-body problem
<bofh> like, how does that work, some extension of the Frobenius method?
<egg> those are all integration papers
<egg> so probably an integration method based on taylor expansion?
<egg> iirc it wasn't a very interesting paper
<bofh> oh, so the simple/obvious thing then
<egg> there are better ones in the wave that comes crashing down upon me
<egg> also to the left of the frame
<bofh> also is there actually much of a benefit of using RK>4 for any problems? for most problems?
<bofh> well, RKN
<egg> bofh: a tweet about something else, but shows the performance of our 37 integrators on a Keplerian orbit https://twitter.com/eggleroy
<egg> erm
<kmath_> <eggleroy> Double-double sum vs. ill-conditioned compensated summation in multistep integrators: hitting the floor vs. going u… https://t.co/0C7k1P7sUm
<egg> bofh: ^
<bofh> ooh. that is cool.
<bofh> "in a plume of roundoffs"
<whitequark> 37 integrators?
<egg> whitequark: clearly I need 20 more https://goo.gl/photos/VAHd56U8X4SkmUfR8
<bofh> naturally I am curious how well Clenshaw-Curtis/Fejér Quadrature worked :P
<egg> oh hello again Чебышёв
<egg> bofh: we only have SPRKs, SRKNs, and some conjugate symplectic (symmetric) linear multistep integrators
<bofh> I see you've just given up on deciding how to transliterate 'ё' :P
<egg> I've given up on transliterating all of his name
<egg> well, we have an adaptive stepsize ERKN too
<egg> bofh: english wikipedia: His name can be alternatively transliterated as Chebychev, Chebysheff, Chebychov, Chebyshov; or Tchebychev, Tchebycheff (French transcriptions); or Tschebyschev, Tschebyschef, Tschebyscheff (German transcriptions). But, that's not all! Italian wikipedia uses the ISO 9 Čebyšëv, and mentions Cebisceff e Chebycheff in italiano; and in romanian you have Cebîșev :D
<egg> while we're at it, hu Csebisev, pl Czebyszow, fi Tšebyšov
<bofh> "Čebyšëv"
<bofh> that's a thing? fucking seriously.
<egg> bofh: note that there are plenty of variants on how to transliterate ы, all of which are terrible
<egg> bofh: that's a thing, and one of the earliest ISO standards (9 !!!)
<egg> you rarely see an ISO number that low
<egg> the point is bijectivity
<bofh> what's wrong with using 'io' or 'jo' for 'ë' there?
<bofh> also I use y for 'ы' since that's what slavic langs written in latin script use
<egg> that maps one letter to several
<egg> and then reversing may be ambiguous
<bofh> oh if you use j then 'j + vowel' is unambiguous with Cyr/Lat transliterations
<egg> bofh: we're talking 1954, so that may have had applications such as "unambigously typewriting cyrillic on a western machine" or whatnot
<bofh> also in that case how do you transliterate я? ä?
<egg> well see the Wikipedia page
<bofh> touché
<egg> in the 1995 version of the standard, â
<bofh> rofl, the fuck is 'Ю̄-with-macron?'
<bofh> ^whitequark
<whitequark> bofh: haven't a faintest clue
<egg> ISO 9 sadly doesn't cover the Ꙭ etc.
<whitequark> bofh: wait what
<whitequark> (re y)
<bofh> ctrl+f "u circumflex with macron"
<bofh> what the hell uses that?
<whitequark> like I know y is used in *translit*, but translit is basically completely unrelated to what people use to *properly* write slavic langs in latin
<whitequark> this would be a pretty impressive coincidence
<bofh> oh re: y
<bofh> tho apparently the russian one is more a Close central unrounded vowel
<bofh> (fuck the IPA vowel system)
<bofh> (well more just fuck vowels full stop)
<egg> bofh: as I was telling whitequark in another channel, that sound [ɨ] exists in viet (and thus I can pronounce it), but not in any western language that I know of; it's pretty much the dotless i in turkish though
<egg> whitequark: and yes, 37 symplectic or conjugate-symplectic integrators \o/
<egg> (this is obviously a very reasonable KSP mod)
<egg> bofh: I mean if you want IPA [y] that's just the german ue (can't be arsed to type an umlaut :-p) or the french u
<bofh> no I don't mean IPA [y]
<bofh> I mean IPA [ɨ], which is written in Polish/Czech/Serbian/etc orthography as 'y'
<bofh> oh yaey flight delayed another 3 hours
<egg> huh, Serbian has that? O_o
<egg> doesn't appear on the relevant page
<bofh> oh, maybe I'm wrong on serbian
<bofh> also PITCH ACCENT?!?
<egg> bofh: in viet it's ư :D
<egg> bofh: so maybe I should write it chê bư sop (don't think you can have a final [f])
<egg> bofh: but chê bư sop pronounced in viet should be the right consonants and vowels for everything except the final consonant
<bofh> oh my god
<egg> wait what the hell am I doing with a final p
<egg> that's not a thing
<bofh> unfortunately I don
<egg> bofh: hmm perhaps the best I can do is chê bư so, missing the final but otherwise correct :D
<bofh> unfortunately I don't know enough (or really any) vietnamese phonology to correct you there :P
<egg> and it probably means something
<egg> bofh: so, word-for-word wiktionary tells me criticize silly firstborn :-p
egg is now known as egg|nomz|egg
<bofh> egg|nomz|egg: I hope that's not a full sentence :P
<bofh> (your nick that is)
<egg|nomz|egg> hah
<egg|nomz|egg> bofh: well, so far I have nomzed a sort of variant daiquiri and nuts & canapés with salmon tartar
<egg|nomz|egg> bofh: next is beef cooked over the fire
<egg|nomz|egg> which is being cooked by phl
<bofh> ...so I just ate airport hamburger. so jealous.
<egg|nomz|egg> bofh: :-p
<bofh> oh speaking of airports I like how I to this day have yet to find a shittier airport than CDG.
<whitequark> \o/ CDG
icefire has quit [Read error: Connection reset by peer]
<UmbralRaptor> !w CDG
<whitequark> !w ?
<UmbralRaptor> Apparently not a feature. Too many bots. >_>
<Thomas> .w used to query wikipedia
<Thomas> then the bots who did it died
<UmbralRaptor> Well, when kountdown was alive.
<UmbralRaptor> Didn't kmath at some point have ;w?
<Thomas> ;w test
<Thomas> Probably :D
<bofh> UmbralRaptor: Charles de Gaulle Airport, Paris
<bofh> finally, boarding.
<egg|nomz|egg> bofh: dunno, my experience with SVO was worse than anything at CDG
<egg|nomz|egg> also CDG T1 is delightfully 60s futurist :-p
* egg|nomz|egg stabs twitter for doing things with stray keypresses
egg|nomz|egg is now known as egg
<egg> I think at some point I muted whitequark by accident like that
* e_14159 mutes egg
<egg> that was before I followed them though, so it didn't really matter, I just went to twitter.com/whitequark
<egg> ... which I still do
* egg is bad at twitter
<egg> !wpn e_14159
* Qboid gives e_14159 a nukular expression
<e_14159> Stand back! I know nukular expressions!
Majiir is now known as Snoozee
<whitequark> bofh: lolwhat
<whitequark> but yeah, it doesn't seem to carry the same connotation of class as it does in US
Snoozee is now known as Majiir
<UmbralRaptor> Majiir: Only sleeping for 10 minute?
<UmbralRaptor> *minutes
* egg pokes Majiir with a stick
<egg> !wpn
* Qboid gives egg a terbium magnesium ☣
<egg> !wpn
* Qboid gives egg a scandium loop space
<bofh> whitequark: like starting meeting someone at a McDicks and starting to date them to me isn't all that odd to me
<egg> !me pokes Majiir with a scandium loop space
<bofh> but, like, I've had stranger meetings so
<whitequark> >McDicks
<UmbralRaptor> egg: Not going to poke people with a biohazard?
<egg> bofh: I was not aware of that name for that fast food chain O_o
<bofh> https://en.wikipedia.org/wiki/McDicks aw that redirect is gone
<whitequark> LOL
<bofh> https://en.wikipedia.org/wiki/Toxic_Hell oh hey this one still exists
<bofh> (I know the person responsible for both)
<egg> heh
<whitequark> LOL
<whitequark> bofh: so I want to know one thing
<whitequark> for whon the taco bell tolls
<bofh> LOL
<egg> !wpn whitequark
* Qboid gives whitequark a charm slug with a ? attachment
<egg> ah yes, we have charm etc. as adjectives in Qboid :-p
<egg> also there's a hieroglyphic knife somehow
<egg> !u ?
<Qboid> U+1332A EGYPTIAN HIEROGLYPH T030 (?)
<whitequark> !u
<Qboid> What code point do you want me to look up?
<whitequark> !u !u
<Qboid> U+0021 EXCLAMATION MARK (!)
<Qboid> U+0075 LATIN SMALL LETTER U (u)
<whitequark> !u U+0021 EXCLAMATION MARK (!)
<Qboid> That's not a valid code point.
<Qboid> whitequark: Object reference not set to an instance of an object
<whitequark> ... hm
<egg> please don't feed it a long string
<egg> !u U+0021
<Qboid> U+0021 EXCLAMATION MARK (!)
<egg> !u long
<Qboid> U+006C LATIN SMALL LETTER L (l)
<Qboid> U+006F LATIN SMALL LETTER O (o)
<Qboid> U+006E LATIN SMALL LETTER N (n)
<Qboid> U+0067 LATIN SMALL LETTER G (g)
<whitequark> egg: what, does it have buffer overflows
<egg> no, it just spams
<egg> !u spam
<Qboid> U+0073 LATIN SMALL LETTER S (s)
<Qboid> U+0070 LATIN SMALL LETTER P (p)
<Qboid> U+0061 LATIN SMALL LETTER A (a)
<Qboid> U+006D LATIN SMALL LETTER M (m)
<egg> it's still useful to have it look up several chars for grapheme clusters
<whitequark> !u U+20AB
<Qboid> U+20AB DONG SIGN (₫)
<egg> whitequark: folding pictures of bac ho
<whitequark> ⅟₂
<whitequark> hm
<whitequark> ₂⅟
<whitequark> !u ⅟₂
<Qboid> U+215F FRACTION NUMERATOR ONE (⅟)
<Qboid> U+2082 SUBSCRIPT TWO (₂)
<egg> Bác Hồ with the proper diacritics
<egg> !u ồ
<Qboid> U+1ED3 LATIN SMALL LETTER O WITH CIRCUMFLEX AND GRAVE (ồ)
<egg> it doesn't do nfd/nfc/nfkd/nfkc
<egg> Thomas: maybe it should? :-p
<Thomas> I have no idea what you are talking about and at 10pm I dont care
<whitequark> unicode normalization
<egg> this is useful for that btw http://minaret.info/test/normalize.msp
<egg> bofh: silly thing in mathematical terminology: in geometric group theory, one says that a group that has a finite index subgroup which is <property> is *virtually <property>*.
<egg> bofh: this is usually used to say "virtually cyclic" or "virtually free" or "virtually abelian" or "virtually free abelian" or whatnot
<egg> bofh: but of course now you can call finite groups "virtually trivial groups" :D
<whitequark> virtually destructed
<bofh> rofl
<whitequark> hm, I need some sort of image
<bofh> so this reminds me that one can say incredibly precise statements like "almost all real numbers are irrational"
<whitequark> liberally licensed
<whitequark> #notallrealnumbers
<egg> bofh: technically you need to specify a measure
<egg> which can lead to some weird things like μ-almost all :-p
<bofh> egg: so I always assume that if unspecified and on the reals, it's just the standard Lebesgue measure or a scaling thereof
<egg> yeah, of course
<bofh> whitequark: okay this reminds me of the dumbest thing I've ever seen when marking intro to real analysis assignments back in undergrad
<egg> bofh: otoh, I like how you can write discrete sums with a long s and say "oh but I'm using the counting measure"
<egg> whitequark: some sort of image?
<egg> what do you mean
<whitequark> egg: it's for solvespace tests
<whitequark> i don't want to check in something that's non-free because that just creates headache downstream
technicalfool_ has joined #kspacademia
<egg> whitequark: can I donate a photo of ANBOcat?
<bofh> the question was "prove that x^3 - \pi*x + 2 = 0 has at least one real root"
<bofh> this is, like, a 1-line intermediate value proof
<whitequark> egg: not anime enough!
<egg> but cat
<bofh> this person somehow wrote a paragraph featuring things including:
<bofh> - replace x with x + \epsilon and rearrange
technicalfool has quit [Ping timeout: 206 seconds]
<bofh> er, sorry, it was x^3 + \pi*x - 3 = 0
<bofh> - the line "let \epsilon > 0 and 3 be ANY real number"
<whitequark> https://www.flickr.com/photos/tjflickr/8577743945/ what the hell is this
<bofh> - a paragraph of more shit I just stopped reading
<egg> an axe of sort I assume
<bofh> - the line at the end "therefore by the principle of mathematical induction, was x^3 + \pi*x - 3 = 0 has at least one real root"
<bofh> I was so incredibly tempted to give them a mark of "3/5, where 3 can be any real number, but in this case is 0"
<bofh> like either they were the most confused person in the world or they were literally just throwing shit at me and seeing what stuck
<egg> whitequark: also, this axe reminds me that I have a century-old hammer here
<egg> my father's mother's mother's father's hammer I think
<bofh> egg: link ANBOcat plz? :3
* whitequark types "gost drawing" into duckduckgo
<whitequark> ddg helpfully corrects it to "ghost drawing"
<whitequark> ddg no
<whitequark> this is not how any of this works
<e_14159> egg: It appears to be a cat.
<whitequark> oh I know
<whitequark> I'll take a drawing from the ГОСТ for Днище эллиптическое
<bofh> whitequark: do you mean Гост drawing?
<egg> bofh: also including a photo of the refractor with the cat
<whitequark> they're all non-copyrighted
<whitequark> bofh: ye
<whitequark> public domain
<egg> whitequark: you can also take NASA imagery
<whitequark> (I'd wager none of you really recognize how exactly "днище эллиптическое" sounds to my ear)
<whitequark> (which is a pity)
<whitequark> egg: yes but I'm making an mCAD
<egg> whitequark: how does it sound
<egg> Google Tranlsate says "the bottom is elliptical"
<whitequark> unfortunately a dictionary won't help you
<egg> which sounds weird but Tranlate is weird
<whitequark> hm, I need... reverse search in urbandictionary
<whitequark> it literally means "tank head"
<egg> tank head?
<egg> ah
<egg> for reasons that are unlikely to become clear again, this part of a tank has become known as a "tank butt" in the KSP circles
<egg> blame NathanKell :-p
<egg> (that's because they're part of the engine traditionally in KSP)
<egg> and the engine is at the bottom, so that's clearly a tank butt
<egg> and we complain that they shouldn't be part of the engine
<egg> thus clamours for buttless engines
<whitequark> ... huh
<egg> at some point I tried to collect all the real buttless engines we had https://goo.gl/photos/54pujnZuUSJgN58o9
<egg> (top hydrolox, bottom kerolox I think? apparently I didn't do the hypergolics)
<whitequark> so I actually can't explain how it sounds because my knowledge of english slang is not nearly vast enough
<whitequark> but "днище" also can literally translate to "rock bottom", except with 500% more of "we're *so* doomed" connotation
<bofh> egg: so my extensive use to cloud2butt has meant I keep trying to backtranslate that as "tank cloud"
<whitequark> imagine if you had an ISO standard for "Elliptical [single word for someone spending 14hr/day in profanity-laden arguments on 4chan]"
<egg> hah
<egg> bofh: huh
<egg> btw this general review of buttless engines is likely quite outdated
<bofh> 21:48 <@whitequark> imagine if you had an ISO standard for "Elliptical [single word for someone spending 14hr/day in profanity-laden arguments on 4chan]"
<bofh> so like that would be a very useful single word
<egg> I feel like I should learn russian slang and profanity
<egg> though I have to say french isn't bad at profanity and generally colourful expressions
<whitequark> egg: english profanity is so tame it barely registers in my mind at all
<egg> (a favourite example of mine is "splitting hairs", for which we have two expressions: the boring "quartering hairs", and "fucking flies in the arse")
<whitequark> actually, I think at this point I suspect most of the actual obscene words are derived from descriptors of social conflict
<whitequark> which is rather interesting
<whitequark> like Dutch profanity is, I think, mostly diseases
<whitequark> russian is mostly genital-oriented
<egg> yeah we do have quite a bit of that in french
<egg> I mean "con" for stupid, which is extremely common, is etymologically cognate to "cunt" (though has a very different meaning)
<egg> if you add to it the pejorative suffix -ard, you get connard, which roughly translates to (metaphorical) arsehole
<egg> if you say (literally) arsehole (trou du cul, abbreviated to trouduc'), it sounds very mild
<egg> whitequark: oh, there is this weird thing, it might be slang emanating from the places of higher education, the verb "biter" (from bite, slang for penis) means "to understand"
<whitequark> um
<egg> whitequark: also the grandes écoles have weird slang, not profanity, but... well, Polytechnique is called the X, and those who take 2 years of preparatory school to get there are called 3/2, those who fail the exam on the first try, 5/2
<egg> because they integrate X from 1 to 2, resp. 2 to 3
<egg> whitequark: also they call their sword the tangent
<egg> because it's tangent to seam of the trousers
<whitequark> *facedesk*
<bofh> *facepalm*
Majiir is now known as Snoozee
<bofh> whitequark: so in RU social conflict in large part is due to genitalia is what you're saying?
<whitequark> bofh: no I mean the modern english profanity is based on social conflict
<bofh> what would you classify as "modern english profanity"?
<egg> whitequark: does russian have composability of profanity like french? in french you can take basically anything that can be used as profanity and use it as an intensifier as '<profanity> de'
<whitequark> egg: yeah
<whitequark> you turn it into an adjective
<egg> whereas english is pretty limited intensifiers once you're past fucking, sodding, bloody, damn, and a few of others
<egg> s/few of/few
<whitequark> and you can also turn it into a prefix and put it onto that adjective
<Qboid> egg meant to say: whereas english is pretty limited intensifiers once you're past fucking, sodding, bloody, damn, and a few others
<egg> whitequark: hmm
<whitequark> in which state does "bloody" count as profanity
<egg> whitequark: grammatically it's that kind of intensifier
<whitequark> ah
<e_14159> whitequark: s/state/kingdom
<Qboid> e_14159 thinks whitequark meant to say: in which kingdom does "bloody" count as profanity
<egg> yes, that, too :-p
<egg> whitequark: clearly I should learn russian to complement french to express my feelings about programming languages
<whitequark> egg: do it
<egg> whitequark: an advantage of having family who did language design: I am from the outset firmly convinced that any programming language sucks, it might just suck in a different way :-p
pizzaoverhead_ has joined #kspacademia
<egg> hmm, time to try out ksp_plugin serialization in game
* egg eggspects hilarious failure
pizzaoverhead has quit [Ping timeout: 190 seconds]
<egg> well it doesn't seem to fail too much
<egg> I feel like we're getting closer to Cardano
<egg> btw, RFC: phl wants to switch to a regular release system after Cardano, where we release whatever we have every, e.g., 6 weeks; that sounds like a good idea (otherwise we end up with nonsense like Cardano's WIP since August), but I worry about quick fixes for bugs (we always increment the mathematician when making a new version)
<bofh> by Cardano you mean his formula for solving the quartic?
<egg> by Cardano we mean the mathematician, the releases of Principia are named after mathematicians
<soundnfury> egg: maybe you could name bugfix releases "Cardano b", "Cardano c" like eggsoplanets
<soundnfury> or "β Cardano"
<bofh> rofl
<egg> bofh: oh, amusing coincidence, Cardano introduces Cardano angles in the geometry library
<egg> (as well as Euler angles)
soundnfury has quit [Ping timeout: 206 seconds]
SnoopJeDi has quit [Ping timeout: 206 seconds]
soundnfury has joined #kspacademia
<egg> UmbralRaptor: thoughts?
SnoopJeDi has joined #kspacademia
<UmbralRaptor> β Cardano
<UmbralRaptor> But I'm not sure if after hitting omega you should go with numbers or a different alphabet (Hebrew?)
<egg> UmbralRaptor: ... I certainly hope if we have a 6-week cycle between mathematicians we wouldn't hit ω bugs in that time
<UmbralRaptor> Also I suppose one should have a few years of mathematicians in reserve?
<egg> oh yeah we're not at Zermelo yet
<egg> UmbralRaptor: oh actually we do have a precedent of a hotfix name
Wetmelon has joined #kspacademia
<egg> that's <mathematician> <number of commits since mathematician>
<UmbralRaptor> OTOH, this would mean we could actually get to Kolmogorov.
<egg> UmbralRaptor: how many releases to that though
<egg> UmbralRaptor: here is a reference to that hotfix convention: https://github.com/mockingbirdnest/Principia/wiki/Change-Log#burnside
<egg> "This is the hotfix previously released as Буняковский 6."
<egg> (also note the delightfully confusing italics of cyrillic)
GreeningGalaxy has joined #kspacademia
<egg> I wonder why we call Чебышёв polynomials T
<egg> it's not like mathematicians shy away from the greek and hebrew alphabets, why not Ч
GreeningGalaxy is now known as TentacularGalaxy
<TentacularGalaxy> !wpn egg
* Qboid gives egg a caramelized counter
<egg> !wpn TentacularGalaxy
* Qboid gives TentacularGalaxy a tantalum silicon perturbation
<egg> UmbralRaptor: a perturbed galaxy!
<egg> with metals in her spectra too
<TentacularGalaxy> metal hydroxides according to whitequark
* egg was referring to the tantalum silicon perturbation
<egg> but yes, there's a dissolved coin too
<egg> TentacularGalaxy: tbh, in a metal hydroxide you have a lot of astronomer's metal: the metal, and the oxygen
<egg> Hmm, "Preparing psychohistory of vessel Velociraptor (5355923d-904d-4573-98c9-56ccd5346fde) at +0.00000000000000000e+00 s"
<egg> why is that 0
<egg> ah
<UmbralRaptor> egg: It gets sillier at times. There are also "alpha-enriched" spectra.
* UmbralRaptor isn't certain if that means more helium, carbon, or oxygen.
<egg> ... so phl just tried to merge a 2000 line string constant https://github.com/mockingbirdnest/Principia/pull/1247/files >_>
<Qboid> [#1247] title: Reinstate the interface test. | | https://github.com/mockingbirdnest/Principia/issues/1247
* egg assumes he was too lazy to put it in a file because half past midnight
<UmbralRaptor> o_O
<egg> UmbralRaptor: he has been told to put them in a proto.bin resp. proto.hex
<egg> UmbralRaptor: mind you we do have large source files, but 1. they're .generated.h, not in the middle of handwritten stuff, and 2. in this case this is test data, there's no problem with reading things from a file https://github.com/mockingbirdnest/Principia/blob/master/astronomy/eop_c04.generated.h
<egg> whereas the EOP tables are needed at compile time for UT1 literals
* UmbralRaptor stabs semi-continuous leap seconds.
<bofh> egg: italic handwritten cyrillic is fucking hell to read
<egg> UmbralRaptor: leap seconds are still better than the frequency offsets + leaps they had before
<bofh> it might as well be steganography
<egg> bofh: have you tried mathematician-written fraktur though
<egg> I don't think I've had two profs who wrote that in similar ways
<bofh> egg: there is no reason for leapseconds existing for most uses of time. Most people actually want TAI.
<bofh> so, like
<egg> use TAI then \o/
<egg> our internal type is TT
<bofh> I've both tried and USED mathematician-written fraktur
<bofh> so really my main issue is NTP uses UTC
<bofh> were it not for that decision leapseconds would be both: little-known and uncontrovertial
<UmbralRaptor> Can we just spin up the Earth instead of using UT1?
<bofh> since NTP is the only way that everyone does timesync for most cases
<egg> NTP sucks
<egg> also unixtime is stupidly defined
<bofh> agreed, but it's what everyone uses
<egg> yup
<egg> but indeed, if you want TAI, use TAI
<whitequark> UmbralRaptor: there was a whatif about this
<whitequark> the answer is this would solve the UT1 problem but not how you think it will
<egg> UmbralRaptor: well if we can manage to spin up the earth and keep it at a constant rate, UT1, TT, TAI, and UTC run parallel
TentacularGalaxy has quit [Read error: Connection reset by peer]
<UmbralRaptor> If it doesn't solve the spinning and it doesn't kill everyone, I will be very confused.
<bofh> egg: the problem is I want *NTP* to use TAI
<egg> ah, but NTP sucks
<egg> :-p
<egg> (partly because it doesn't)
<bofh> but everyone uses NTP and that seems easier than getting everyone else to use some other timesync algorithm
<egg> partly for other reasons iirc, but I'm rather incompetent here
<bofh> (in large part b/c time synchronization is hard)
TentacularGalaxy has joined #kspacademia
<egg> bofh: time is hard, too.
<egg> I mean explain what the difference between TAI, TT, and TDB is to somebody
<soundnfury> #taimasterrace
<egg> and how it varied through IAU resolutions
<soundnfury> egg: but who cares what the IAU say? After all, they think Pluto isn't a planet :P
<UmbralRaptor> Incidentally, the definition of a parsec now means that sin(x) == x
* UmbralRaptor slaps soundnfury around with Ceres, Eris, Haumea, Makemake, and Sedna.
* soundnfury throws a Hydra at UmbralRaptor
<UmbralRaptor> Hrm. Senda isn't officially a dwarf planet.
<egg> bofh: (currently, TT is a linear scaling of TCG; TAI is a *measurement* of TT---with a non-integer second offset for meaningful historical reasons---, TDB is a linear scaling of TCB that's chosen to be close enough to TT for a good while)
<bofh> like isn't TAI just an averaging over a bunch of atomic clocks to minimize collective phase jitter?
<bofh> 23:33 <@UmbralRaptor> Incidentally, the definition of a parsec now means that sin(x) == x
<bofh> WAIT WHAT
<egg> but since TAI is a measurement, after a while you get a bulletin telling you "we have measured the measurement errors, here is how much TAI is off from TT at this date"
<egg> TAI isn't actually parallel to TT, it's whatever is measured
<bofh> shouldn't it be at most a few hundred microseconds?
<egg> oh sure
<bofh> the measurement error shouldn't be too large, since TT is defined in terms of Cs-135 hyperfine transitions iirc
<egg> but it's conceptually a very different thing
<egg> TT being *actually time* (scaled linearly)
<bofh> so if the delta is so small as to be practically meaningful, I don't care :p
<UmbralRaptor> bofh: Okay, to explain a bit, the AU is currently (since 2012 or 2015 or so) as 149,597,870,700 m. The parsec is defined as 648,000/π AU.
<egg> it's the time coordinate of the GCRS, scaled linearly
<egg> UmbralRaptor: the recommended abbreviation by the IAU resolution is au
<bofh> sorta like how in numerics if the taylor series error term winds up being < DBL_EPSILON it might as well be zero
<UmbralRaptor> egg: doh.
<egg> UmbralRaptor: prior to that the BIPM recommended ua fwiw :-p
<egg> because franzosen
<UmbralRaptor> egg: I'd probably read that as unified atomic mass >_>
<UmbralRaptor> bofh: But, yeah. Think of a right triangle with the short leg 1 au long, the long leg 1 pc long, and the angle between the long leg and the hypotenuse is 1 arcsecond.
<bofh> egg: ua?
<bofh> UmbralRaptor: same
* soundnfury gives UmbralRaptor a simple pendulum
<UmbralRaptor> And, well, since every star is >1 pc away (<1"), the errors are quite small.
<bofh> re: unified mass
<egg> bofh: unité astronomique
GreeningGalaxy has joined #kspacademia
<soundnfury> egg: I'd just assume they meant micro-astronomers but didn't have a μ in ASCII :P
<egg> that would be micro ares
<soundnfury> ... good point
* GreeningGalaxy reads this morning's scrollback, imagines egg hoisting himself upwards on a rope from ETHZ to his floating house
* GreeningGalaxy using a bicycle, that is
<soundnfury> so a µa is... a cm ²?
<whitequark> egg: easy question
<whitequark> let's say i am drawing a quad
<egg> a quad?
<whitequark> i have the o, u and v vectors
<whitequark> a... rectangle
* soundnfury is totally going to start calling square centimetres µa :)
<egg> a quadrilateral?
<whitequark> yeah
<egg> what are o, u, and v?
<soundnfury> I'm guessing normal and two edges?
<whitequark> some point and the two sides adjacent to that point
<egg> [talking to me tends to require definitions, because I'm really not familiar with CG stuff]
<whitequark> u and v are perpendicular
<whitequark> i'm not familiar with it either :]
<egg> ok
<whitequark> so now i need a matrix
<egg> also the word lerp should die in a fire
<egg> and the word slerp in a metal-fluoride fire
* soundnfury gives egg an affine hull
<whitequark> transformation matrix, to be precise
<whitequark> erm, let me give you a bit more context
<whitequark> i'm doing a software renderer because $REASONS
<soundnfury> whitequark: u and v are thereby also basis vectors for your co-ordinate system on the quad, yes?
<whitequark> i have a method to draw a quad, which takes 3-vectors o, u and v, and a texture
<whitequark> now i need to project it onto a 2d surface
<whitequark> i *think* i can apply the camera transformation to all three vectors then just discard z
<egg> well how is the camera transformation defined :-p
<soundnfury> yup, as long as it's linear
<whitequark> oh the camera transformation is ... um
<whitequark> i dont really understand it but it works
<soundnfury> (what you really want is f(o + u) - f(o), which is just f(u) for a linear f)
<egg> soundnfury: I am confused as to what one wants that for
<soundnfury> egg: the projected version of u
<soundnfury> i.e. the vector from origin-vertex to u-vertex, in the projected image
<soundnfury> (u being the vector from origin-vertex to u-vertex in 3-space)
<egg> soundnfury: right, well if f is your projection that's by definition f(u), what's with all the adding o and subtracting through linear maps
* whitequark stares at code
<soundnfury> egg: it's only f(u) if your projection is linear
<soundnfury> projected-origin-vertex is f(o),
<soundnfury> projected-u-vertex is f(o + u)
<egg> soundnfury: right, but if you say projected version of u, that means it's linear
<egg> you're not going to have vectors meaningfully project as vectors if it isn't
<soundnfury> ehh.
<whitequark> it's actually kind of more annoying because I have to split it into triangles so I can output it into paint order
<egg> (really o here is a point and not a vector of course)
<whitequark> but I can't because my meshes don't have texture coordinates
<egg> (one should keep one's affine spaces in order)
<soundnfury> egg do you have an affinity for affine spaces?
<soundnfury> are you affable towards them?
<egg> yes, and puns puns puns
* whitequark stares at code some more
* whitequark just comments it out
<soundnfury> or is your affection just an affectation?
<egg> whitequark: so whatever the ProjectPoint3RH function does, it's linear, and it appears to be orthogonal too.
<egg> which means it's not really a projection, but ahem.
<whitequark> wait what
<egg> right and up are orthogonal I gather
<egg> their cross product completes the basis
<whitequark> ye
<egg> that's an orthogonal matrix
<egg> you're multiplying by an orthogonal matrix
<egg> ... on the right apparently
<egg> and then you're scaling, ok
<egg> but still you preserve angles
<egg> whitequark: it's not a projection, it doesn't reduce the dimension
<whitequark> um
<egg> so what's probably meant is that you then reduce the dimension by killing a coordinate
<whitequark> oh i see what you mean
<egg> this makes me sad in some linear algebra sense
<whitequark> the z coordinate is then used for occlusion
<egg> but I mean, you have a perfectly good 3d space coming out of that so-called projection
<egg> which is probably oriented right for the camera
<egg> and scaled somehow for the camera
<egg> oh wait, that thing isn't linear, w depends on the z that comes out of the orthogonal map
<soundnfury> egg: does there exist a basis in which you are not sad, or is sadness a property in the vector space?
<egg> soundnfury: it's intrinsic! I am coordinate free
<soundnfury> egg: are you still sad in left-handed bases?
<egg> ah, it might not be independent of orientation
<soundnfury> (or are you only pseudosad, like the sad product?)
<egg> something something electroweak
<soundnfury> you're either sad, or happy going backwards in time
<egg> soundnfury: ... this sounds bleak