raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Gateaux. 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
<discord->
egg. — No, I'm trying to and failing at joining the QQ
<discord->
egg. — No, I'm trying to join, and failing at joining, the QQ (edited)
egg|laptop|egg has joined #principia
mkalte has joined #principia
<_whitenotifier-9244>
[Principia] eggrobin opened pull request #2789: Bring back some designated initializers - https://git.io/JkzJp
mkalte_ has joined #principia
egg|cell|egg has quit [Ping timeout: 189 seconds]
mkalte has quit [*.net *.split]
umbralraptop has quit [Ping timeout: 194 seconds]
umbralraptop has joined #principia
egg|cell|egg has joined #principia
<discord->
Kerbinator. — oh my
<discord->
Kerbinator. — Trying to get contact with Reach or other moderators of the QQ chat
<discord->
Reach. — I made a mistake. Such newly created accounts without avatars can easily be mistaken for fraud or advertising.
<discord->
egg. — yeah, that’s understandable
<discord->
egg. — I should probably change the photo from the default penguin to a penguin egg or something :-p
<umbralraptop>
Change it to the old Twitter egg
umbralra1top has joined #principia
umbralraptop has quit [Ping timeout: 194 seconds]
umbralra1top is now known as umbralraptop
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
egg|cell|egg has quit [Ping timeout: 194 seconds]
egg|cell|egg has joined #principia
raptop has quit [Remote host closed the connection]
UmbralRaptor has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
<discord->
egg. — some of the terminology is a bit dated, because Bourbaki’s words made it int oGerman since then (he writes linkseindeutig for injektiv, eineindeutig for bijektiv)
<discord->
egg. — but it’s nice, starts from the beginning, and ramps up fast
<discord->
egg. — some of the terminology is a bit dated, because Bourbaki’s words made it into German since then (he writes linkseindeutig for injektiv, eineindeutig for bijektiv) (edited)
<discord->
egg. — some of the terminology is a bit dated, because Bourbaki’s words made it into German since then (e.g. he writes linkseindeutig for injektiv, eineindeutig for bijektiv) (edited)
<discord->
Standecco. — I'm wondering how you know a random 1930s german math book
<discord->
egg. — When I was at the lycée I asked an ETHZ maths professor who was a parent of a friend for recommendations on german books so I could learn some German
<discord->
Standecco. — > linkseindeutig and eineindeutig
<discord->
Standecco. — How would you literally translate those? I suppose they mean injective and bijective, but literally?
<discord->
egg. — left-unique, uni-unique
<discord->
Standecco. — wish I had access to ETH professors in liceo (or even now)
<discord->
egg. — well, I guess you could unpack things a bit more, left-one-meaning, one-one-meaning, but eindeutig means "unique" among other things
<discord->
Standecco. — mh, I see why they'd replace that terminology
<discord->
egg. — in French the pre-Bourbaki terminology was univoque, biunivoque
<discord->
egg. — and I would guess in Italian, univoco, biunivoco
<discord->
Standecco. — we use iniettiva and biettiva, but I've also heard biunivoca
<discord->
Sir Mortimer. — @egg Algebra might be a tad too steep right now. I just tested him with a few exercises from next year’s textbook. I had to bribe him to get him to do it.
<discord->
Sir Mortimer. — I’ll increase the difficulty tomorrow 🙂
<discord->
egg. — @Sir Mortimer it’s probably a bit steep, but also it’s so different from the stuff you do at least pre-gymnasium that it probably doesn’t make much of a difference
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|laptop|egg has joined #principia
<_whitenotifier-9244>
[Principia] pleroy labeled pull request #2789: Bring back some designated initializers - https://git.io/JkzJp
<discord->
AgustinCaniglia. — are there principia missions in rp1¡
<discord->
AgustinCaniglia. — are there principia missions in rp1? (edited)
<discord->
AgustinCaniglia. — I remember reading something about it
<discord->
egg. — Not that I know of, and my impression is that by the time the Principia-specific aspects get really interesting the stock career model isn’t really the right one (you want to be doing mission design)
<discord->
egg. — @Sir Mortimer’s Kerbalism Contracts is being designed with Principia in mind (albeit not a requirement), but that will take a while
<discord->
AgustinCaniglia. — everything looks interesting with principia
<discord->
egg. — yes, but my point is that with Principia there is a really interesting "which orbit should I pick" aspect, and at the same time the "get in this orbit" model completely falls apart (for instance because "this orbit" is not actually a thing that works with the perturbations)