egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Гельфонд. We currently target 1.8.1, 1.9.1, and 1.10.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large
<raptop> Select a reference frame that means that earth is not the center of the solar system?
* raptop is confused by some of the planets not doing weird rosettes, though
<discord-> S​tonesmile. — Ecef vs eci I believe
egg|laptop|egg has joined #principia
<discord-> l​pg. — speaking of reference frames, is there a way to stop the game from automatically switching between `*C*F` and `*CI` when passing certain altitude tresholds?
<discord-> e​gg. — this is a consequence of a a stock « feature » (whereby the velocity changes from surface to inertial at some altitude)
<discord-> e​gg. — unsure how hard it would be to kill it, unsure whether some might miss it, also being a somewhat independent stock thing perhaps killing it should be the job of a separate mod ?
<raptop> The reference frame change, or the surface -> orbit switch on the navball?
<discord-> e​gg. — those are coupled in Principia
<discord-> e​gg. — the speed display always shows the speed in the current reference frame
<raptop> ah
Mike` has quit [Ping timeout: 378 seconds]
Mike` has joined #principia
egg|cell|egg has quit [Ping timeout: 204 seconds]
Webchat542 has quit [Quit: webchat.esper.net]
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-8975> [Principia] Kerbinator-CN opened issue #2823: [New Feature] Orbit Inspector for non-repetitive orbit analysis - https://git.io/JLyi9
<discord-> K​erbinator. — Lol
<discord-> K​erbinator. — As there are analysis tool of stable orbits
<discord-> K​erbinator. — how about unstable orbits 🙃
<discord-> K​erbinator. — how about unstable orbits 🙃 (flyby assists) (edited)
<discord-> B​utcher. — Trapped under a cat, send help.
<UmbralRaptor> why would the cat need help? It appears to be sleeping comfortably
<discord-> S​tonesmile. — You are lucky the cat didn't take the keyboard and mouse hostage, that can really degrade productivity
<discord-> B​utcher. — I tried to offer the cat help, it hissed at me. The cat is once again sleeping peacefully.
<discord-> K​erbinator. — 🌚
<discord-> Z​eusbeer. — You are now stuck with cat till he decides that he's hungry
<discord-> B​utcher. — I kicked her off. 😿
<discord-> K​erbinator. — 😶
egg|laptop|egg has joined #principia
<discord-> e​gg. — @Butcher can you open an issue for the target prediction thingy lest I forget? I’d like to unbreak that in the next release, not having a prediction when doing rendez-vous sounds rather annoying
<discord-> S​tonesmile. — Just throwing another data point into the mix; it *does* work for me for some reason 🤷‍♂️
<discord-> e​gg. — curiouser and curiouser
<_whitenotifier-8975> [Principia] RCrockford opened issue #2824: Predicted trajectory updates very slowly whilst a target is selected - https://git.io/JLSvr
<_whitenotifier-8975> [Principia] eggrobin labeled issue #2824: Predicted trajectory updates very slowly whilst a target is selected - https://git.io/JLSvr
<_whitenotifier-8975> [Principia] eggrobin assigned issue #2824: Predicted trajectory updates very slowly whilst a target is selected - https://git.io/JLSvr
<discord-> e​gg. — oh, it does not affect the target LVLH frame? fun
<discord-> B​utcher. — It;s not super consistent, sometimes it works slowly, others it;s completely frozen. If you're in target ref frame it works normally.
<discord-> B​utcher. — It's not super consistent, sometimes it works slowly, others it;s completely frozen. If you're in target ref frame it works normally. (edited)
<discord-> e​gg. — OK, so less gamebreaking than I feared
<discord-> e​gg. — still a dumb regression
<discord-> S​tonesmile. — That's a different situation than I thought; mine might not work either then
<discord-> B​utcher. — Yes, I noticed it when I was trying to rendezvous with my lunar station - I was setting up the TLI burn with the station targetted to get into an approximately correct intercept.
<discord-> B​utcher. — Once I got into orbit and was doing phasing and inclination correction it was all fine as I was in the target LVLH frame.
<discord-> e​gg. — Likewise
<discord-> e​gg. — I have been thinking about the « ±1 revolution button » thing lately, and about how to deal with the 57 varieties of « 1 revolution » (anomalistic, e.g., next apogee? nodal, e.g., next node? sun-synodic, e.g. for constant ejection angle from a parking orbit?) Having a host of buttons for all of those kinds of things seems wildly impractical, especially since they would all do roughly the
<discord-> e​gg. —
<discord-> e​gg. — I am thinking, instead, of having a way to change how a manœuvre is *anchored*, i.e., instead of just burning Δt after the previous manœuvre, burn after the mean anomaly/mean argument of latitude/local mean solar time has advanced by `2π * number of revolutions`. Changing the number of revolutions can then be achieved by changing the integer part of that field.
<discord-> e​gg. — This would have the nice side-effect that an anomalistically anchored manœuvre would stay at apogee when you move earlier manœuvres, etc.
<discord-> e​gg. — thoughts?
<discord-> e​gg. — This would have the nice side-effect that an anomalistically anchored manœuvre at apogee would stay at apogee when you move earlier manœuvres, etc. (edited)
<discord-> l​pg. — alternatives to "Δt after the previous manœuvre" sounds useful. I have no idea about those particular examples
<discord-> S​tonesmile. — How much math would this force the end user to do compared to a way of selecting different meanings of a revolution?
<discord-> e​gg. — editing a number in a text field, e.g., changing `3.5 revolutions` to `4.5 revolutions`
<discord-> S​tonesmile. — Would this be able to fix a burn to lunar pe after TLI?
<discord-> e​gg. — and other than that this *is* a way of selecting a different meaning of revolution, it just ties into the existing UI instead of adding to the tax form
<discord-> e​gg. — Probably not, because you are not in lunar orbit before capture, so we cannot run the analyser there
<discord-> S​tonesmile. — Understandable
<discord-> l​pg. — not being able to run the analyzer on the "outcome" of a flight plan is a limitation I've been running into a lot lately
<discord-> e​gg. — yeah that is a prerequisite for most of this anyway; I should get around to adding it
<discord-> e​gg. — also, it is good to know that you are running into limitations related to the analyzer, that means it is useful to start with :D
<discord-> e​gg. — [Hooray, I’m useful! I’m having a wonderful time! (V) (;,;) (V)]
<discord-> e​gg. — Hooray, I’m useful! I’m having a wonderful time! (V) (;,;) (V) (edited)
<discord-> e​gg. — Hooray, I’m useful! I’m having a wonderful time. (V) (;,;) (V) (edited)
<discord-> l​pg. — keeping satellites in orbit of Io and Europa would be quite the pain without it
<discord-> (​experimentalshells?). — I could see an instance where this might cause a problem, but I'm unsure.
<discord-> (​experimentalshells?). — If one is on a Keplerian (for the sake of example) orbit with a period of 240 minutes, and their mean/true anomaly at t = 0 is 0, they, for example, could plot a manœuvre at t = 121 and another at apoapsis. If they then perform an unscheduled engine burn in the tangential direction, increasing the apoapsis, then the order of the two future manœuvres would be reversed. Will this cau
<discord-> (​experimentalshells?). — If one is on a Keplerian (for the sake of example) orbit with a period of 240 minutes, and their mean/true anomaly at t = 0 is 0, they, for example, could plot a manœuvre at t = 121 and another at apoapsis. If they then perform an unscheduled engine burn in the tangential direction, increasing the apoapsis, then the order of the two future manœuvres would be reversed. Will this cau
<discord-> l​pg. — I'd sort of expect all maneuvers to _always_ use "after the last maneuver" as a lower bound, regardless of other "anchors"
<discord-> B​utcher. — @egg what happens if you're not in orbit?
<discord-> (​experimentalshells?). — that is the issue, the apoapsis manœuvre was scheduled before the t = 121 manœuvre. but then they switched.
<discord-> (​experimentalshells?). — we just need to make sure that this is not a problem.
<discord-> e​gg. — oh yeah that is a good point I am saying inconsistent things
<discord-> e​gg. — if it is some ΔM or Δu after the last manœuvre, it is not at fixed M or u
<discord-> B​utcher. — If I'm on a trajectory that ejects my probe from the solar system, there isn't another revolution.
<discord-> e​gg. — if things are not applicable your manœuvre would become anomalous and you would have to switch to time-based
<discord-> e​gg. — but this is the part that is worrisome, what do I want exactly
<discord-> e​gg. — is it ΔM, or is it M
* discord- e​gg. — ponders
* discord- e​gg. — goes to fetch some wood
egg|laptop|egg has quit [Remote host closed the connection]
<discord-> B​utcher. — I fetched wood this morning, it is a useful task.
<discord-> l​pg. — > but then they switched.
<discord-> l​pg. — I'm saying I'd expect that they _cannot_ switch. the initial maneuvers would _not_ be "t=121" and "apoapsis (t=120)", they'd be "apopasis (t=120)" and "t=last+1". changing the Ap would preserve that
<discord-> l​pg. — > but then they switched.
<discord-> l​pg. — I'm saying I'd expect that they _cannot_ switch. the initial maneuvers would _not_ be "t=121" and "apoapsis (t=120)", they'd be "apopasis (t=120)" and "t=apoapsis+1". changing the Ap would preserve that (edited)
<discord-> l​pg. — > but then they switched.
<discord-> l​pg. — I'm saying I'd expect that they _cannot_ switch. the initial maneuvers would _not_ be "t=121" and "apoapsis (t=120)", they'd be "apoapsis (t=120)" and "t=apoapsis+1". changing the Ap would preserve that (edited)
<discord-> (​experimentalshells?). — this sounds good right up until I burn my engines and inject into an escape trajectory
<discord-> (​experimentalshells?). — wheeeeeee
<discord-> l​pg. — then Ap becomes Ap around the sun 😛
<discord-> (​experimentalshells?). — not sure that would help things rather than make things worse
<discord-> (​experimentalshells?). — perhaps I didn't pick up on your sarcasm?
egg|laptop|egg has joined #principia
<discord-> l​pg. — once you've changed trajectory that radically, I don't expect there's going to be much value in any part of an existing flight plan
<discord-> (​experimentalshells?). — that's fair.
<discord-> l​pg. — _except_, perhaps, the entertainment value of seeing what principia makes of it
<discord-> e​gg. — indeed; at this point the only thing that matters is that it doesn’t crash, but if it says « nope, get back into orbit » that is fine
<discord-> l​pg. — we're all here for the unexpected noodles, after all
<discord-> e​gg. — but yes, @experimentalshells raises a good point; instead of « this burn is at apoapsis » I was thinking of « this burn is half an anomalistic orbit after the preceding one ». The question is whether that is good enough, or whether we really want anchoring at M rather than previous + ΔM
egg|laptop|egg has quit [Remote host closed the connection]
<discord-> l​pg. — to me a "flight plan" necessarily means a series of step in which order is crucial. "this burn is at apoapsis" _must_ imply [, whatever that apoapsis has become after all prior maneuvers have completed] to be meaningful at all
<discord-> S​tonesmile. — One simple example would be a hohmann transfer, having the Ap change to the *current* Ap because you delayed the first burn doesn't sound like what we want
<discord-> (​experimentalshells?). — oh, and we cannot have two manœuvres executing simultaneously, i.e. if the apoapsis manœuvre starts at t = 120 and lasts 4 minutes, then it would cause some issues in the way of executing another manœuvre at t = 121
<discord-> l​pg. — hm. I wonder if there _could_ exist useful cases for "burn thus much starting at this time. _while you're doing that_, also burn in this other direction for this much time"
<discord-> l​pg. — hm. I wonder if there _could_ exist useful cases for "burn this much starting at this time. _while you're doing that_, also burn in this other direction for this much time" (edited)
<discord-> l​pg. — (obviously the same result could be achieved by just breaking up the longer burn into multiple segments)
egg|laptop|egg has joined #principia
<discord-> e​gg. — OK so to focus the discussion a bit, changing the order of manœuvres is not on the table, nor is overlapping manœuvres
<discord-> e​gg. — manœuvres becoming anomalous is fine (you can have that already)
<discord-> e​gg. — but my question is whether we actually need « this manœuvre is at apoapsis » (which would be absolute anchoring rather than just relative with different units), or whether « this manœuvre half an anomalistic revolution after the preceding one » does the job
<discord-> (​experimentalshells?). — this becomes more complicated when I try to plot manœuvres at orbital nodes for inclination changes to geostationary
<discord-> (​experimentalshells?). — do we fix the manœuvre to precisely when the next AN is, or something else
<discord-> S​tonesmile. — You probably want a burn to begin approximately half the time before the point of interest, so maybe a button to set the time to a node from which you can fine tune? (I know this has already been suggested and the main issue was adding to the tax form)
egg|laptop|egg has quit [Remote host closed the connection]
<discord-> S​tonesmile. — You probably want a burn to begin approximately half the time before the point of interest, so maybe a button to set the time to a node from which you can fine tune? (I know this has already been suggested and the main issue was adding clutter to the tax form) (edited)
egg|laptop|egg has joined #principia
<_whitenotifier-8975> [Principia] pleroy opened pull request #2825: Reduction mod 2π - https://git.io/JLStn
<_whitenotifier-8975> [Principia] pleroy opened pull request #2826: Mathematica output of DoublePrecision - https://git.io/JLStW
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4687/
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] pleroy opened pull request #2827: Output of triangular arrays - https://git.io/JLSt9
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4687/
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4688/
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4688/
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4689/
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4689/
<_whitenotifier-8975> [Principia] eggrobin opened pull request #2828: A HexLiteral for the IEEE754FloatingPoint package - https://git.io/JLSOt
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4690/
<discord-> e​gg. — 🦗 🦗 🦗
<discord-> l​pg. — I'm struggling to find use cases for that _other_ than hohmann transfers
<_whitenotifier-8975> [Principia] pleroy labeled pull request #2828: A HexLiteral for the IEEE754FloatingPoint package - https://git.io/JLSOt
<discord-> e​gg. — plane changes, except s/anomaly/argument of latitude/
<discord-> l​pg. — I'm not seeing it. a plane change sounds like something else that wants absolute anchoring
<discord-> e​gg. — ah, you meant *that* as in relative anchoring by revolutions
<discord-> e​gg. — I thought you meant *that* as in anything described in my sentence
<discord-> l​pg. — I meant "that" as in
<discord-> l​pg. — > « this manœuvre half an anomalistic revolution after the preceding one »
<discord-> e​gg. — right
<discord-> e​gg. — in principle yes, and even Hohmann burns would want absolute anchoring in anomaly; the question is whether relative anchoring in the relevant element is good enough to fudge it without having all the UX & logic problems of absolute anchoring
<discord-> e​gg. — probably not
<discord-> l​pg. — being limited to things that _have a "preceding one" seems very restrictive. hohmann transfers are the only thing that come to mind that involves 2 maneuvers with a well-defined "fraction of revolution" interval between them
<discord-> l​pg. — being limited to things that _have_ a "preceding one" seems very restrictive. hohmann transfers are the only thing that come to mind that involves 2 maneuvers with a well-defined "fraction of revolution" interval between them (edited)
<discord-> e​gg. — OK, how about anchoring that is absolute mod 2π but relative in number of revolutions, e.g., « manœuvre #2 is at the apoapsis 5 rev. after manœuvre #1 »
<discord-> e​gg. — (I am mostly trying to avoid having to number revolutions absolutely)
<discord-> e​gg. — (and also trying to dodge the « out-of-order » situation obviously)
<discord-> l​pg. — the distinction isn't clear to me (between what you propose and want to avoid)
<discord-> e​gg. — > manœuvre #2 is at the apoapsis 5 rev. after manœuvre #1
<discord-> e​gg. — so moving #1 forward will bump #2 from time to time,
<discord-> e​gg. — rather than
<discord-> e​gg. — > manœuvre #2 is at the apoapsis of the 57th revolution
<discord-> e​gg. — where moving #1 would have no effect on #2 until they invert and #2 becomes anomalous; but what does « the 57th revolution » mean ?
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4690/
<discord-> l​pg. — ahh. Relative number of revolutions sounds like the more useful option (ref. my "a flight plan necessarily means a series of steps")
<discord-> e​gg. — that is good, because it side-steps the annoyance of absolutely numbering revolutions :D
<raptop> number them with smol red birbs?
<_whitenotifier-8975> [Principia] pleroy synchronize pull request #2827: Output of triangular arrays - https://git.io/JLSt9
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4691/
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2825 commit - https://git.io/JLSGo
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2825 commit - https://git.io/JLSGK
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2825 commit - https://git.io/JLSG6
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2825 commit - https://git.io/JLSGi
<_whitenotifier-8975> [Principia] eggrobin labeled pull request #2825: Reduction mod 2π - https://git.io/JLStn
Jesin has quit [Quit: Leaving]
egg|laptop|egg has quit [Remote host closed the connection]
Jesin has joined #principia
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
<discord-> e​gg. — > ⟨pleroy⟩ [translated] those people [in the discord] seem to be doing something that I don't understand, which is to play with our mod
<raptop> What are we supposed to do, use it to do simulations and write papers about what that means for solar system dynamics?
<discord-> P​aculino (ŝi/ri/she/they). — Any ideas why it would be only sometimes?
<discord-> P​aculino (ŝi/ri/she/they). — What is weird about that?
<discord-> P​aculino (ŝi/ri/she/they). — raptop, I was going to use it for extra credit in physics (calculating the Lagrange point positions), but after spending a weekend in spreadsheets.... I learned that it was merely a joke
<raptop> hah
<discord-> P​aculino (ŝi/ri/she/they). — What does pleroy use the mod for? Or is perfecting it what he derives pleasure from now?
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4691/
<discord-> S​tandecco. — rapotop: that's the intended use case, of course
<discord-> S​tandecco. — does the IRC bot handle message edits?
<discord-> S​tandecco. — raptop: that's the intended use case, of course (edited)
<raptop> the bot sends the edited message again
<discord-> S​tandecco. — ah, smart
<discord-> S​tandecco. — the intended use case for the mod is catalyzing math and cat talk while trying to explain random people why you can't create a Principia light
<discord-> S​tandecco. — and while you're at it write a few papers on integration and orbit history storage
<discord-> S​tandecco. — and while you're at it write a few papers on numerical integration and orbit history storage (edited)
<discord-> S​tandecco. — (I'll now feel bad every time I edit a message because the IRC people are going to see 4 copies of almost the same message)
<raptop> Also, practice at internationalization
<discord-> S​tandecco. — has principia been localized in cuneiform?
<raptop> Not that I'm aware of, though egg has been working on a cuneiform IME
<discord-> S​tandecco. — literally unplayable
<discord-> B​utcher. — I want principia light in cuneiform.
<raptop> We regret to inform you that it involves a flat earth, and heavy objects fall faster than lighter ones
<discord-> l​pg. — _finally_ we can play realistic ksp
<discord-> P​aculino (ŝi/ri/she/they). — Well, heavier objects fall faster than lighter ones assuming they are the same size and shape and are falling in a fluid
egg|cell|egg has joined #principia
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #principia
egg|laptop|egg has joined #principia
<discord-> e​gg. — beware what you wish for
<discord-> e​gg. — pleroy has never played KSP except to debug Principia
<egg|laptop|egg> hmm, the bot does not mark replies to a post as such
<discord-> S​kylar (She/Her). — I dont even know what that means lol
<egg|laptop|egg> maybe I should check if there is a new version of the bot
<discord-> e​gg. — 𒀀𒈾𒀭𒉺𒆠𒉈𒈠𒌝𒈠𒉭 cuneiform is this sort of thing, and « Principia light » is a reference to https://github.com/mockingbirdnest/Principia/issues/2810
<discord-> e​gg. — 𒀀𒈾𒊩𒀭𒉺𒆠𒉈𒈠𒌝𒈠𒁹𒉭 cuneiform is this sort of thing, and « Principia light » is a reference to https://github.com/mockingbirdnest/Principia/issues/2810 (edited)
<discord-> e​gg. — (that bit of cuneiform is *a-na* AN-*lar* *qí-bí-ma* *um-ma* NUNUZ, following th standard pattern of Babylonian letterheads, roughly « to Sky-lar, speak : thus says Egg »)
<discord-> e​gg. — (that bit of cuneiform is *a-na* ᶠAN-*lar* *qí-bí-ma* *um-ma* ᵐNUNUZ, following th standard pattern of Babylonian letterheads, roughly « to Sky-lar, speak : thus says Egg ») (edited)
<discord-> P​aculino (ŝi/ri/she/they). — Has any Principia version used Cunneiform names?
<discord-> e​gg. — not yet
<discord-> e​gg. — (that bit of cuneiform is *a-na* ᶠAN-*lar* *qí-bí-ma* *um-ma* ᵐNUNUZ, following the standard pattern of Babylonian letterheads, roughly « to Sky-lar, speak : thus says Egg ») (edited)
<raptop> It's not clear to me that we have babylonian mathematician names
<egg|laptop|egg> that is indeed an issue
<egg|laptop|egg> There appears to be someone called kidinnu
<egg|laptop|egg> OK, that is good to know, it is a j release then
<raptop> ...given those hieroglyphics blocks, I'm disapointed that wikipedia only has transliterations of his name
<discord-> e​gg. — Unicode hieroglyphs have not been adopted all that much; a recent proposal deals with some truly advanced features and massively expands the character set, hopefully it is more successful
<discord-> e​gg. — Sumero-Akkadian cuneiform has comparatively been quite well adopted, but the 2014 update hasn’t really made it into real-world usage
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #principia
<discord-> S​tandecco. — the dynamics of how this mod came to be are hard to imagine
<discord-> P​aculino (ŝi/ri/she/they). — Yes
<_whitenotifier-8975> [Principia] pleroy synchronize pull request #2825: Reduction mod 2π - https://git.io/JLStn
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4692/
<_whitenotifier-8975> [Principia] pleroy synchronize pull request #2827: Output of triangular arrays - https://git.io/JLSt9
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4692/
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4693/
<discord-> e​gg. — Looks like that name is spelled 𓇹𓄟𓋴
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4693/
egg|laptop|egg has quit [Read error: Connection reset by peer]
egg|laptop|egg has joined #principia