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
egg|cell|egg has quit [Ping timeout: 194 seconds]
<discord->
lpg. — Reproducible. first crash was going from VAB to flight scene; but now that .sfs crashes when loading the career. That means no journal, I think. Will open issue, can attach .sfs to it, but won't help much with finding out where the corruption (assuming it is) came from in the first place
<_whitenotifier-9244>
[Principia] lpgagnon commented on issue #2641: Crash when staging/decoupling - https://git.io/JkM4D
<_whitenotifier-9244>
[Principia] lpgagnon opened issue #2796: Crash on career load; .sfs corruption - https://git.io/JkMBn
egg|cell|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
Mike` has quit [Ping timeout: 189 seconds]
Mike` has joined #principia
<_whitenotifier-9244>
[Principia] kbsj forked the repository - https://git.io/JkDqH
<_whitenotifier-9244>
[Principia] pleroy synchronize pull request #2795: Use jthread in the orbit analyzer - https://git.io/JkMLm
<_whitenotifier-9244>
[Principia] eggrobin labeled pull request #2795: Use jthread in the orbit analyzer - https://git.io/JkMLm
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #principia
<discord->
Sir Mortimer. — Soo. Junior will be tested.
egg|laptop|egg has joined #principia
<discord->
egg. — in welchem Sinne?
<discord->
Sir Mortimer. — I just gave him a couple of math problems that are more than one year above his grade. He gnawed on them for a while and is now asking for seconds.
<discord->
egg. — :D
<discord->
egg. — Try *Moderne Algebra*, and do binary search from there :D
<discord->
egg. — it’s fun
<discord->
Stonesmile. — I read that as 'teach him binary search' 😆 not the intended message I assume
<discord->
Sir Mortimer. — `# git bisect`
<discord->
Sir Mortimer. — `# math bisect`
<discord->
egg. — eggsactly
<discord->
Sir Mortimer. — Thing is, while he's capable of more, he's still lacking the foundations. They've just started with multiplications and divisions
<discord->
egg. — yeah, but any decent algebra book will start with foundations
<discord->
egg. — I mean, maths prior to somewhere in gymnasium has little to do with maths and is largely just learning to do some calculations
<discord->
egg. — (*Moderne Algebra* is probably a bit too much to be easy to get into, but getting him acquainted with algebra & theorem-proving in general may be fun)
<discord->
Sir Mortimer. — We just arranged a test of sorts for next week, where he'll be gauged by some sort of official capacity. If things go as I think they might, that will help him at school.
<discord->
Sir Mortimer. — I'll probably confront him with some abstraction problems, puzzles that can be done with what he knows but require a different approach. Like simple equation systems.
<discord->
egg. — yeah, that can be fun
<discord->
egg. — also elementary group theory (maybe made concrete with numbers or Rubik’s cubes or something)
<discord->
egg. — e.g., using the group axioms, prove that there is no number x other than 0 such that for all y, x+y = y
<discord->
Sir Mortimer. — yeah, I see what you mean
<discord->
egg. — (I remember my father showing me that when I was in a similar situation, that was entertaining)
<discord->
egg. — also the transformations of the Rubik’s cube as a group (which is a useful way to look at it, because then you can do simple transformations using commutators)
umbralraptop has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
<_whitenotifier-9244>
[Principia] pleroy synchronize pull request #2795: Use jthread in the orbit analyzer - https://git.io/JkMLm
<_whitenotifier-9244>
[Principia] pleroy commented on issue #2788: [Question] Recommanded tool to simulate n-body to test modified system - https://git.io/Jkyxr
umbralraptop has quit [Ping timeout: 378 seconds]
<_whitenotifier-9244>
[Principia] pleroy opened pull request #2797: Adhere to the semantics of stop_token::stop_requested - https://git.io/JkypX