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
<discord-> A​shnoom. — Python is ❤️ Python is life
<_whitenotifier-8975> [Principia] eggrobin synchronize pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4743/
<discord-> A​shnoom. — and python indenting is as awkward as you set it. Do you prefer tabs? use tabs. Do you prefer 2 spaces, use two space, Do you prefer the best number of spaces (4), then use 4
<discord-> A​shnoom. — use a static analyzer and automatic formatter which can warn you on wrong indenting
<raptop> That you can use tabs for python indents is apparently some sort of secret
<discord-> A​shnoom. — possibly* wrong indentation
<discord-> A​shnoom. — Any one using tabs in any language should be removed from the keyboard that they are working on
<discord-> e​gg. — OK the programming language opinions will now relocate to #offtopic
<discord-> A​shnoom. — You can, if you so wish, use mixed indentation in python, as long as it isn't in the same block scope
<discord-> A​shnoom. — 😦
<raptop> Anyway, :%s/ /\t/g is a thing >_>
<raptop> Or flip the spaces and tab, depending on how you roll. So fixing a person following the wrong design doc is often not *that* hard
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4743/
<_whitenotifier-8975> [Principia] RyanPersson starred Principia - https://git.io/JLNug
<_whitenotifier-8975> [Principia] eggrobin synchronize pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4744/
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4744/
Jesin has quit [Remote host closed the connection]
Mike` has quit [Ping timeout: 194 seconds]
Mike` has joined #principia
<_whitenotifier-8975> [Principia] pleroy reviewed pull request #2848 commit - https://git.io/JLAUR
<_whitenotifier-8975> [Principia] pleroy commented on pull request #2848: Plan analysis - https://git.io/JLAUE
Jesin has joined #principia
egg|anbo|egg_ has joined #principia
egg|anbo|egg has quit [Ping timeout: 189 seconds]
<_whitenotifier-8975> [Principia] eggrobin synchronize pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4745/
egg|anbo|egg has joined #principia
egg|anbo|egg_ has quit [Ping timeout: 194 seconds]
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4745/
<_whitenotifier-8975> [Principia] eggrobin closed pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] eggrobin pushed 47 commits to master [+33/-1/±325] https://git.io/JLA2q
<_whitenotifier-8975> [Principia] eggrobin 811e406 - Merge branch 'insert' into plan-analysis
<_whitenotifier-8975> [Principia] eggrobin 712e3ca - Merge branch 'insert' into plan-analysis
<_whitenotifier-8975> [Principia] eggrobin ab0ec5a - Merge branch 'insert' into plan-analysis
<_whitenotifier-8975> [Principia] ... and 44 more commits.
egg|anbo|egg_ has joined #principia
egg|anbo|egg__ has joined #principia
egg|anbo|egg has quit [Ping timeout: 198 seconds]
egg|anbo|egg_ has quit [Ping timeout: 204 seconds]
egg|anbo|egg has joined #principia
egg|anbo|egg__ has quit [Ping timeout: 204 seconds]